Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxsat_Power-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-60-2_network-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WMaxsat_Power/WMaxsat_Power
c Instance info: p wcnf 161 1068 2033802
c 0 161 2033802
c WARNING: Ubcsat problem.
o 2033802
o 201686
o 201638
o 200218
o 200191
o 199877
o 199850
o 199755
o 199728
o 199377
o 199350
o 199334
o 199307
o 198956
o 198929
o 197657
o 197630
o 197316
o 197289
o 197194
o 197167
o 196816
o 196789
o 196776
o 196728
o 195308
o 195281
o 194967
o 194940
o 194845
o 194818
o 194467
o 194440
o 194424
o 194397
o 194046
o 194019
o 192747
o 192720
o 192406
o 192379
o 192284
o 192257
o 191906
o 191879
o 191874
o 191605
o 191578
o 191264
o 191237
o 191142
o 191115
o 190764
o 190737
o 190721
o 190694
o 190343
o 190316
o 189044
o 189017
o 188703
o 188676
o 188581
o 188554
o 188203
o 188176
o 188171
o 187249
o 187222
o 186908
o 186881
o 186786
o 186759
o 186408
o 186381
o 186376
o 186256
o 186229
o 186213
o 186186
o 185835
o 185808
o 184536
o 184509
o 184195
o 184168
o 184073
o 184046
o 183695
o 183668
o 183663
o 182741
o 182714
o 182400
o 182373
o 182278
o 182251
o 181900
o 181873
o 181868
o 181671
o 181644
o 181549
o 181522
o 181171
o 181144
o 181139
o 180117
o 180090
o 179776
o 179749
o 179654
o 179627
o 179276
o 179249
o 179244
o 178322
o 178295
o 177981
o 177954
o 177859
o 177832
o 177481
o 177454
o 177449
o 177252
o 177225
o 177130
o 177103
o 176752
o 176725
o 176720
o 176650
o 176623
o 176272
o 176245
o 176240
o 176217
o 176043
o 176016
o 175921
o 175894
o 175543
o 175516
o 175511
o 175190
o 175163
o 174849
o 174822
o 174727
o 174700
o 174349
o 174322
o 174148
o 174121
o 174026
o 173999
o 173648
o 173621
o 173616
o 173395
o 173368
o 173054
o 173027
o 172932
o 172905
o 172554
o 172527
o 172353
o 172326
o 172231
o 172204
o 171853
o 171826
o 171821
o 171798
o 171624
o 171597
o 171502
o 171475
o 171124
o 171097
o 171092
o 171077
o 171050
o 171045
o 170975
o 170948
o 170597
o 170570
o 170565
o 170542
o 170368
o 170341
o 170246
o 170219
o 169868
o 169841
o 169836
o 169515
o 169488
o 169174
o 169147
o 169052
o 169025
o 168674
o 168647
o 168473
o 168446
o 168351
o 168324
o 167973
o 167946
o 167941
o 167720
o 167693
o 167379
o 167352
o 167257
o 167230
o 166879
o 166852
o 166678
o 166651
o 166556
o 166529
o 166178
o 166151
o 166146
o 166123
o 165949
o 165922
o 165827
o 165800
o 165449
o 165422
o 165417
o 165359
o 165332
o 164981
o 164954
o 164725
o 164698
o 164693
o 164628
o 164601
o 164287
o 164260
o 164165
o 164138
o 163787
o 163760
o 163586
o 163559
o 163464
o 163437
o 163086
o 163059
o 162830
o 162803
o 162798
o 162492
o 162465
o 162370
o 162343
o 161992
o 161965
o 161791
o 161764
o 161669
o 161642
o 161291
o 161264
o 161035
o 161008
o 161003
o 160940
o 160913
o 160562
o 160535
o 160306
o 160279
o 160274
o 159970
o 159943
o 159848
o 159821
o 159470
o 159443
o 159269
o 159242
o 159147
o 159120
o 158769
o 158742
o 158513
o 158486
o 158481
o 158418
o 158391
o 158040
o 158013
o 157784
o 157757
o 157752
o 157577
o 157550
o 157376
o 157349
o 157254
o 157227
o 156876
o 156849
o 156620
o 156593
o 156588
o 156282
o 156255
o 156160
o 156133
o 155782
o 155755
o 155581
o 155554
o 155459
o 155432
o 155081
o 155054
o 154825
o 154798
o 154793
o 154730
o 154703
o 154352
o 154325
o 154096
o 154069
o 154064
o 153782
o 153755
o 153660
o 153633
o 153282
o 153255
o 153081
o 153054
o 152959
o 152932
o 152581
o 152554
o 152325
o 152298
o 152293
o 152230
o 152203
o 151852
o 151825
o 151596
o 151569
o 151564
o 151343
o 151316
o 151311
o 151248
o 151221
o 150870
o 150843
o 150614
o 150587
o 150582
o 150419
o 150392
o 150163
o 150136
o 150131
o 149825
o 149798
o 149703
o 149676
o 149325
o 149298
o 149124
o 149097
o 149002
o 148975
o 148624
o 148597
o 148368
o 148341
o 148336
o 148273
o 148246
o 147895
o 147868
o 147639
o 147612
o 147607
o 147325
o 147298
o 147203
o 147176
o 146825
o 146798
o 146624
o 146597
o 146502
o 146475
o 146124
o 146097
o 145868
o 145841
o 145836
o 145773
o 145746
o 145395
o 145368
o 145139
o 145112
o 145107
o 144886
o 144859
o 144854
o 144791
o 144764
o 144413
o 144386
o 144157
o 144130
o 144125
o 144086
o 144059
o 144054
o 143991
o 143964
o 143613
o 143586
o 143357
o 143330
o 143325
o 143320
o 143291
o 143264
o 143091
o 143064
o 143059
o 1429