Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_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/LSW_Power/LSW_Power
c Instance info: p wcnf 161 1068 2033802
c WARNING: Ubcsat not found.
o 2033802
c local Search
o 201686
c local Search
o 201638
c local Search
o 200218
c local Search
o 200191
c local Search
o 199877
c local Search
o 199850
c local Search
o 199755
c local Search
o 199728
c local Search
o 199377
c local Search
o 199350
o 199334
c local Search
o 199307
c local Search
o 198956
c local Search
o 198929
c local Search
o 197657
o 197630
o 197316
c local Search
o 197289
c local Search
o 197194
c local Search
o 197167
o 196816
c local Search
o 196789
o 196776
o 196728
o 195308
o 195281
o 194967
c local Search
o 194940
c local Search
o 194845
c local Search
o 194818
c local Search
o 194467
c local Search
o 194440
o 194424
o 194397
o 194046
c local Search
o 194019
c local Search
o 192747
o 192720
o 192406
o 192379
o 192284
o 192257
c local Search
o 191906
o 191879
o 191874
c local Search
o 191605
o 191578
o 191264
o 191237
o 191142
o 191115
c local Search
o 190764
c local Search
o 190737
o 190721
c local Search
o 190694
o 190343
o 190316
c local Search
o 189044
c local Search
o 189017
o 188703
o 188676
o 188581
c local Search
o 188554
o 188203
c local Search
o 188176
c local Search
o 188171
o 187249
o 187222
c local Search
o 186908
o 186881
o 186786
o 186759
c local Search
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
c local Search
o 183668
o 183663
o 182741
o 182714
o 182400
o 182373
o 182278
o 182251
o 181900
c local Search
o 181873
c local Search
o 181868
o 181671
o 181644
c local Search
o 181549
o 181522
o 181171
o 181144
o 181139
o 180117
c local Search
o 180090
o 179776
o 179749
o 179654
o 179627
o 179276
c local Search
o 179249
o 179244
o 178322
c local Search
o 178295
o 177981
o 177954
c local Search
o 177859
o 177832
o 177481
o 177454
o 177449
o 177252
o 177225
o 177130
o 177103
o 176752
o 176725
c local Search
o 176720
o 176650
o 176623
o 176272
o 176245
c local Search
o 176240
o 176217
o 176043
o 176016
o 175921
o 175894
o 175543
o 175516
c local Search
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
c local Search
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 150