Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_90_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_90_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 866
c lw 1225
c lw 1732
c lw 2450
c lw 2598
c lw 3464
c lw 3675
c lw 4330
c lw 4900
c lw 5196
c lw 6062
c lw 6125
c lw 6928
c lw 7350
c lw 7933
c lw 8575
c lw 8938
c lw 9800
c lw 9943
c lw 10948
c lw 11025
c lw 11953
c lw 12250
c lw 12958
c lw 13475
c lw 14100
c lw 14700
c lw 15242
c lw 15925
c lw 16384
c lw 17150
c lw 17609
c lw 18375
c lw 18834
c lw 19600
c lw 20059
c lw 20825
c lw 21284
c lw 22050
c lw 22509
c lw 22936
c lw 23275
c lw 23702
c lw 24500
c lw 24927
c lw 25015
c lw 25442
c lw 25725
c lw 26152
c lw 26950
c lw 27377
c lw 27521
c lw 27948
c lw 28175
c lw 28602
c lw 29400
c lw 29827
c lw 30027
c lw 30454
c lw 30625
c lw 31030
c lw 31442
c lw 31861
c lw 32288
c lw 32464
c lw 32715
c lw 33142
c lw 33569
c lw 33996
c lw 34303
c lw 34423
c lw 34850
c lw 35277
c lw 35704
c lw 36131
c lw 36142
c lw 36558
c lw 36985
c lw 37412
c lw 37839
c lw 37981
c lw 38095
c lw 38522
c lw 38949
c lw 39376
c lw 39803
c lw 39820
c lw 40230
c lw 40247
c lw 40657
c lw 40674
c lw 41084
c lw 41101
c lw 41511
c lw 41528
c lw 41938
c lw 41955
c lw 42365
c lw 42382
c lw 42792
c lw 42809
c lw 42826
c lw 43219
c lw 43236
c lw 43253
c lw 43629
c lw 43646
c lw 43663
c lw 43680
c lw 43777
c lw 43788
c lw 44056
c lw 44073
c lw 44204
c lw 44215
c lw 44483
c lw 44500
c lw 44631
c lw 44642
c lw 44751
c lw 44893
c lw 44910
c lw 44927
c lw 45178
c lw 45320
c lw 45337
c lw 45354
c lw 45605
c lw 45736
c lw 45764
c lw 45907
c lw 46107
c lw 46334
c lw 46498
c lw 46534
c lw 46761
c lw 46937
c lw 47152
c lw 47188
c lw 47364
c lw 47439
c lw 47579
c lw 47779
c lw 47783
c lw 47991
c lw 48006
c lw 48188
c lw 48332
c lw 48615
c lw 48633
c lw 48759
c lw 48898
c lw 48986
c lw 49060
c lw 49231
c lw 49487
c lw 49557
c lw 49570
c lw 49743
c lw 50029
c lw 50202
c lw 50323
c lw 50782
c lw 50795
c lw 51089
c lw 51254
c lw 51548
c lw 51561
c lw 52020
c lw 52244
c lw 52261
c lw 52562
c lw 52637
c lw 52869
c lw 53079
c lw 53166
c lw 53345
c lw 53422
c lw 54007
c lw 54150
c lw 54350
c lw 54713
c lw 54869
c lw 54992
c lw 55291
c lw 55452
c lw 55515
c lw 55795
c lw 56091
c lw 56318
c lw 56365
c lw 56529
c lw 56973
c lw 57121
c lw 57231
c lw 57590
c lw 57691
c lw 57738
c lw 57766
c lw 57909
c lw 58109
c lw 58336
c lw 58456
c lw 58503
c lw 58557
c lw 58613
c lw 58714
c lw 58761
c lw 58768
c lw 58862
c lw 58916
c lw 59017
c lw 59064
c lw 59111
c lw 59118
c lw 59165
c lw 59167
c lw 59174
c lw 59212
c lw 59214
c lw 59216
c lw 59218
c lw 59223
c lw 59225
c lw 59230
c lw 59232
c lw 59234
c lw 59235
c lw 59241
c lw 59244
c lw 59266
c lw 59268
c lw 59269
c lw 59270
c lw 59275
c lw 59276
c lw 59277
c lw 59278
c lw 59279
c lw 59280
c lw 59281
c lw 59282
c lw 59283
c lw 59284
c lw 59285
c lw 59286
c lw 59287
c lw 59288
c lw 59289
c lw 59290
c lw 59291
c lw 59292
c lw 59293
c lw 59305
c lw 59306
c lw 59307
c lw 59308
c lw 59309
c lw 59318
c lw 59320
c lw 59321
c lw 59323
c lw 59324
c lw 59325
c lw 59326
c lw 59487
c lw 59550
c lw 59645
c lw 59669
c lw 59670
c lw 59671
c lw 59672
c lw 59673
c lw 59674
c lw 59675
c lw 59676
c lw 59677
c lw 59678
c lw 59679
c lw 59680
c lw 59681
c lw 59682
c lw 59683
c lw 59792
c lw 59800
c lw 59915
c lw 59923
c lw 59953
c lw 59961
c lw 60002
c lw 60003
c lw 60004
c lw 60012
c lw 60037
c lw 60040
c lw 60042
c lw 60044
c lw 60045
c lw 60046
c lw 60047
c lw 60048
c lw 60049
c lw 60055
c lw 60066
c lw 60096
c lw 60099
c lw 60101
c lw 60102
c lw 60156
c lw 60157
c lw 60158
c lw 60159
c lw 60161
c lw 60162
c lw 60164
c lw 60165
c lw 60169
c lw 60172
c lw 60173
c lw 60174
c lw 60175
c lw 60176
c lw 60177
c lw 60180
c lw 60181
c lw 60182
c lw 60183
c lw 60184
c lw 60186
c lw 60189
c lw 60190
c lw 60191
c lw 60192
c lw 60193
c lw 60194
c lw 60195
c lw 60196
c lw 60197
c lw 60198
c lw 60199
c lw 60200
c lw 60201
c lw 60202
c lw 60203
c lw 60204
c lw 60205
c lw 60206
c lw 60207
c lw 60208
c lw 60209
c lw 60210
c lw 60211
c lw 60212
c lw 60213
c lw 60214
c lw 60220
c lw 60221
c lw 60222
c lw 60233
c lw 60234
c lw 60235
c lw 60236
c lw 60237
c lw 60238
c lw 60239
c lw 60240
c lw 60241
c lw 60384
c lw 60488
c lw 60565
c lw 60634
c lw 60684
c lw 60761
c lw 60830
c lw 60880
c lw 60973
c lw 60974
c lw 60975
c lw 60976
c lw 60977
c lw 60978
c lw 60979
c lw 60980
c lw 60981
c lw 60982
c lw 60983
c lw 60984
c lw 61034
c lw 61035
c lw 61036
c lw 61037
c lw 61038
c lw 61039
c lw 61040
c lw 61041
c lw 61042
c lw 61043
c lw 61044
c lw 61047
c lw 61057
c lw 61065
c lw 61140
c lw 61156
c lw 61159
c lw 61225
c lw 61230
c lw 61247
c lw 61355
c lw 61365
c lw 61373
c lw 61376
c lw 61430
c lw 61438
c lw 61446
c lw 61455
c lw 61462
c lw 61472
c lw 61498
c lw 61500
c lw 61503
c lw 61511
c lw 61521
c lw 61546
c lw 61553
c lw 61563
c lw 61572
c lw 61574
c lw 61578
c lw 61580
c lw 61581
c lw 61582
c lw 61583
c lw 61584
c lw 61585
c lw 61586
c lw 61587
c lw 61588
c lw 61594
c lw 61595
c lw 61597
c lw 61599
c lw 61600
c lw 61601
c lw 61602
c lw 61603
c lw 61604
c lw 61605
c lw 61609
c lw 61610
c lw 61611
c lw 61714
c lw 61715
c lw 61716
c lw 61717
c lw 61718
c lw 61719
c lw 61720
c lw 61721
c lw 61722
c lw 61723
c lw 61724
c lw 61725
c lw 61726
c lw 61727
c lw 61728
c lw 61729
c lw 61730
c lw 61731
c lw 61732
c lw 61733
c lw 61734
c lw 61735
c lw 61736
c lw 61737
c lw 61738
c lw 61739
c lw 61740
c lw 61741
c lw 61742
c lw 61743
c lw 61744
c lw 61745
c lw 61746
c lw 61747
c lw 61748
c lw 61749
c lw 61750
c lw 61751
c lw 61752
c lw 61753
c lw 61754
c lw 61755
c lw 61756
c lw 61757
c lw 61758
c lw 61759
c lw 61760
c lw 61761
c lw 61762
c lw 61763
c lw 61764
c lw 61765
c lw 61766
c lw 61767
c lw 61768
c lw 61769
c lw 61770
c lw 61771
c lw 61772
c lw 61773
c lw 61774
c lw 61775
c lw 61776
c lw 61777
c lw 61778
c lw 61779
c lw 61780
c lw 61781
c lw 61782
c lw 61783
c lw 61784
c lw 61785
c lw 61786
c lw 61787
c lw 61788
c lw 61789
c lw 61790
c lw 61791
c lw 61792
c lw 61793
c lw 61794
c lw 61795
c lw 61796
c lw 61797
c lw 61798
c lw 61799
c lw 61800
c lw 61801
c lw 61802
c lw 61845
c lw 61846
c lw 61847
c lw 61848
c lw 61849
c lw 61850
c lw 61851
c lw 61852
c lw 61857
c lw 61858
c lw 61859
c lw 61860
c lw 61866
c lw 61867
c lw 61868
c lw 61869
c lw 61870
c lw 61871
c lw 61872
c lw 61873
c lw 61874
c lw 61875
c lw 61876
c lw 61877
c lw 61878
c lw 61879
c lw 61908
c lw 61909
c lw 61910
c lw 61911
c lw 61940
c lw 61941
c lw 61942
c lw 61943
c lw 61944
c lw 61945
c lw 61946
c lw 61947
c lw 61948
c lw 61949
c lw 61950
c lw 61951
c lw 61952
c lw 61953
c lw 61954
c lw 61955
c lw 61956
c lw 61957
c lw 61958
Killed
1816.579u 3.191s 30:22.36 99.8%	0+0k 0+0io 0pf+0w