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_110_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_110_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 768
c lw 1536
c lw 2304
c lw 3072
c lw 3840
c lw 4608
c lw 5376
c lw 6144
c lw 6912
c lw 7680
c lw 8448
c lw 9216
c lw 9984
c lw 10752
c lw 11520
c lw 11634
c lw 11640
c lw 11748
c lw 11760
c lw 11862
c lw 11880
c lw 11982
c lw 12000
c lw 12102
c lw 12120
c lw 12222
c lw 12240
c lw 12342
c lw 12360
c lw 12462
c lw 12480
c lw 12582
c lw 12600
c lw 12702
c lw 12720
c lw 12822
c lw 12840
c lw 12942
c lw 12960
c lw 13062
c lw 13080
c lw 13182
c lw 13200
c lw 13302
c lw 13320
c lw 13422
c lw 13440
c lw 13542
c lw 13560
c lw 13662
c lw 13680
c lw 13782
c lw 13800
c lw 13902
c lw 13920
c lw 14022
c lw 14040
c lw 14142
c lw 14160
c lw 14262
c lw 14280
c lw 14382
c lw 14400
c lw 14502
c lw 14520
c lw 14622
c lw 14640
c lw 14742
c lw 14760
c lw 14862
c lw 14880
c lw 15000
c lw 15102
c lw 16485
c lw 17868
c lw 19251
c lw 20634
c lw 22017
c lw 23400
c lw 24783
c lw 26166
c lw 27549
c lw 28932
c lw 30315
c lw 31698
c lw 33081
c lw 34464
c lw 35847
c lw 36462
c lw 37077
c lw 37230
c lw 37692
c lw 38307
c lw 38613
c lw 39690
c lw 39996
c lw 41073
c lw 41379
c lw 42456
c lw 42762
c lw 43839
c lw 44145
c lw 45222
c lw 45426
c lw 46605
c lw 46689
c lw 47988
c lw 48072
c lw 49371
c lw 49455
c lw 49608
c lw 49917
c lw 50685
c lw 50754
c lw 50838
c lw 51144
c lw 51453
c lw 51984
c lw 52104
c lw 52188
c lw 52632
c lw 52734
c lw 52938
c lw 53181
c lw 53487
c lw 53811
c lw 54258
c lw 54564
c lw 54579
c lw 55194
c lw 55641
c lw 55809
c lw 55947
c lw 56886
c lw 56904
c lw 56988
c lw 57006
c lw 57024
c lw 57090
c lw 57108
c lw 57126
c lw 57192
c lw 57210
c lw 57228
c lw 57294
c lw 57312
c lw 57330
c lw 57396
c lw 57414
c lw 57432
c lw 57498
c lw 57516
c lw 57534
c lw 57600
c lw 57618
c lw 57636
c lw 57702
c lw 57720
c lw 57738
c lw 57804
c lw 57822
c lw 57840
c lw 57906
c lw 57924
c lw 57942
c lw 58008
c lw 58026
c lw 58044
c lw 58110
c lw 58128
c lw 58146
c lw 58212
c lw 58224
c lw 58230
c lw 58236
c lw 58320
c lw 58344
c lw 58650
c lw 59727
c lw 60033
c lw 61110
c lw 61416
c lw 62493
c lw 62799
c lw 63876
c lw 64182
c lw 65259
c lw 65565
c lw 66642
c lw 66948
c lw 68001
c lw 68769
c lw 69537
c lw 70305
c lw 71073
c lw 71841
c lw 71994
c lw 72147
c lw 72915
c lw 73683
c lw 74451
c lw 74466
c lw 74772
c lw 75219
c lw 75987
c lw 76011
c lw 76077
c lw 76083
c lw 76089
c lw 76095
c lw 76101
c lw 76107
c lw 76113
c lw 76119
c lw 76131
c lw 76137
c lw 76149
c lw 76179
c lw 76185
c lw 76203
c lw 76209
c lw 76215
c lw 76221
c lw 76227
c lw 76239
c lw 76245
c lw 76257
c lw 76263
c lw 76269
c lw 76275
c lw 76293
c lw 76299
c lw 76305
c lw 76323
c lw 76329
c lw 76335
c lw 76341
c lw 76359
c lw 76377
c lw 76395
c lw 76413
c lw 76431
c lw 76443
c lw 76461
c lw 76479
c lw 76497
c lw 76515
c lw 76533
c lw 76551
c lw 76563
c lw 76581
c lw 76599
c lw 76617
c lw 76635
c lw 76653
c lw 76671
c lw 76683
c lw 76701
c lw 76719
c lw 76737
c lw 76755
c lw 76773
c lw 76803
c lw 76821
c lw 76857
c lw 76923
c lw 77208
c lw 77490
c lw 78258
c lw 78282
c lw 78591
c lw 78873
c lw 79641
c lw 79665
c lw 79974
c lw 80256
c lw 81024
c lw 81048
c lw 81357
c lw 81495
c lw 81639
c lw 82110
c lw 82125
c lw 82278
c lw 82281
c lw 82347
c lw 82500
c lw 82653
c lw 82710
c lw 83016
c lw 83100
c lw 83268
c lw 83442
c lw 83667
c lw 83703
c lw 83751
c lw 83769
c lw 83805
c lw 84111
c lw 84129
c lw 84147
c lw 84177
c lw 84189
c lw 84195
c lw 84207
c lw 84231
c lw 84243
c lw 84249
c lw 84261
c lw 84267
c lw 84273
c lw 84279
c lw 84285
c lw 84297
c lw 84303
c lw 84309
c lw 84315
c lw 84327
c lw 84333
c lw 84339
c lw 84345
c lw 84351
c lw 84357
c lw 84363
c lw 84369
c lw 84375
c lw 84381
c lw 84387
c lw 84393
c lw 84408
c lw 84411
c lw 84417
c lw 84423
c lw 84429
c lw 84435
c lw 84561
c lw 84579
c lw 84585
c lw 84591
c lw 84714
c lw 84720
c lw 84771
c lw 84837
c lw 84843
c lw 84846
c lw 84849
c lw 84852
c lw 84855
c lw 84858
c lw 84861
c lw 84864
c lw 84867
c lw 84870
c lw 84873
c lw 84879
c lw 84882
c lw 84885
c lw 84888
c lw 84891
c lw 84894
c lw 85077
c lw 85092
c lw 85206
c lw 85341
c lw 85365
c lw 85464
c lw 85497
c lw 85509
c lw 85515
c lw 85521
c lw 85533
c lw 85539
c lw 85545
c lw 85551
c lw 85557
c lw 85581
c lw 85596
c lw 85599
c lw 85602
c lw 85605
c lw 85608
c lw 85611
c lw 85617
c lw 85623
c lw 85629
c lw 85635
c lw 85641
c lw 85647
c lw 85653
c lw 85659
c lw 85665
c lw 85671
c lw 85677
c lw 85683
c lw 85689
c lw 85695
c lw 85701
c lw 85707
c lw 85710
c lw 85716
c lw 85722
c lw 85728
c lw 85974
c lw 86097
c lw 86766
c lw 86805
c lw 86904
c lw 87174
c lw 87819
c lw 87822
c lw 87825
c lw 87828
c lw 87834
c lw 87858
c lw 87861
c lw 87945
c lw 87969
c lw 87981
c lw 88263
c lw 88287
c lw 88347
c lw 88350
c lw 88353
c lw 88356
c lw 88359
c lw 88362
c lw 88365
c lw 88428
c lw 88431
c lw 88437
c lw 88440
c lw 88443
c lw 88467
c lw 89235
c lw 89298
c lw 89310
c lw 89322
c lw 89334
c lw 89397
c lw 89421
c lw 89433
c lw 89436
c lw 89439
c lw 89442
c lw 89463
c lw 89466
c lw 89469
c lw 89472
c lw 89475
c lw 89478
c lw 89481
c lw 89487
c lw 89490
c lw 89493
c lw 89496
c lw 89499
c lw 89502
c lw 89505
c lw 89508
c lw 89511
c lw 89514
c lw 89517
c lw 89520
c lw 89523
c lw 89526
c lw 89529
c lw 89532
c lw 90102
c lw 90114
c lw 90126
c lw 90138
c lw 90165
c lw 90177
c lw 90189
c lw 90192
c lw 90195
c lw 90198
c lw 90201
c lw 90204
c lw 90207
c lw 90210
c lw 90213
c lw 90216
c lw 90219
c lw 90222
c lw 90225
c lw 90228
c lw 90231
c lw 90234
c lw 90237
c lw 90240
c lw 90252
c lw 90261
c lw 90264
c lw 90267
c lw 90270
c lw 90276
c lw 90282
c lw 90297
c lw 90312
c lw 90315
c lw 90318
c lw 90324
c lw 90327
c lw 90330
c lw 90333
c lw 90336
c lw 90339
c lw 90342
c lw 90345
c lw 90552
c lw 90555
Killed
1818.569u 1.206s 30:20.16 99.9%	0+0k 0+0io 2pf+0w