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_PATHS_cat_paths_60_110_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 859
c lw 1718
c lw 2761
c lw 2764
c lw 3677
c lw 4590
c lw 4676
c lw 5223
c lw 5969
c lw 6206
c lw 7189
c lw 7935
c lw 8172
c lw 9155
c lw 9252
c lw 9554
c lw 9856
c lw 10144
c lw 10689
c lw 10799
c lw 11344
c lw 11454
c lw 11996
c lw 12570
c lw 13440
c lw 14310
c lw 14383
c lw 15038
c lw 15180
c lw 15288
c lw 16050
c lw 16851
c lw 16993
c lw 17396
c lw 17936
c lw 18472
c lw 18762
c lw 18879
c lw 19478
c lw 20511
c lw 21544
c lw 22577
c lw 23157
c lw 23240
c lw 23782
c lw 24815
c lw 25848
c lw 25891
c lw 26637
c lw 26881
c lw 27957
c lw 29033
c lw 29869
c lw 30411
c lw 30584
c lw 31247
c lw 31410
c lw 31632
c lw 32554
c lw 32625
c lw 32790
c lw 33504
c lw 33630
c lw 34472
c lw 35047
c lw 35254
c lw 35799
c lw 35819
c lw 36271
c lw 36374
c lw 36875
c lw 36935
c lw 37122
c lw 37204
c lw 37481
c lw 37855
c lw 38194
c lw 38533
c lw 39042
c lw 39519
c lw 39893
c lw 40579
c lw 40873
c lw 40985
c lw 41924
c lw 42330
c lw 43269
c lw 43582
c lw 44268
c lw 44455
c lw 44515
c lw 44934
c lw 45340
c lw 45885
c lw 46198
c lw 46435
c lw 46706
c lw 46788
c lw 46891
c lw 47185
c lw 47204
c lw 47314
c lw 47426
c lw 47602
c lw 47904
c lw 48126
c lw 48152
c lw 48197
c lw 48348
c lw 48360
c lw 48472
c lw 48584
c lw 49287
c lw 49411
c lw 49434
c lw 49684
c lw 49840
c lw 50347
c lw 50520
c lw 50637
c lw 50699
c lw 50927
c lw 51013
c lw 51239
c lw 51469
c lw 51611
c lw 51872
c lw 51948
c lw 52270
c lw 52412
c lw 52522
c lw 52527
c lw 52600
c lw 52620
c lw 52827
c lw 53052
c lw 53152
c lw 53244
c lw 53718
c lw 53907
c lw 53941
c lw 54263
c lw 54558
c lw 54795
c lw 54925
c lw 55007
c lw 55033
c lw 55067
c lw 55544
c lw 55693
c lw 55736
c lw 56726
c lw 56769
c lw 56835
c lw 57030
c lw 57098
c lw 57748
c lw 57751
c lw 57992
c lw 58035
c lw 58074
c lw 58118
c lw 58283
c lw 58447
c lw 58470
c lw 58979
c lw 59188
c lw 59256
c lw 59262
c lw 60189
c lw 60208
c lw 60215
c lw 60265
c lw 60266
c lw 60347
c lw 60353
c lw 60365
c lw 60409
c lw 60420
c lw 60426
c lw 60440
c lw 60463
c lw 60478
c lw 60501
c lw 60519
c lw 60524
c lw 60538
c lw 60544
c lw 60558
c lw 60581
c lw 60582
c lw 60587
c lw 60594
c lw 60610
c lw 60720
c lw 60777
c lw 60889
c lw 60901
c lw 60912
c lw 61013
c lw 61065
c lw 61091
c lw 61136
c lw 61139
c lw 61140
c lw 61219
c lw 61232
c lw 61239
c lw 61282
c lw 61593
c lw 62272
c lw 62275
c lw 62298
c lw 62329
c lw 62345
c lw 62351
c lw 62359
c lw 62371
c lw 62377
c lw 62378
c lw 62379
c lw 62425
c lw 62428
c lw 62431
c lw 62432
c lw 62433
c lw 62436
c lw 62438
c lw 62442
c lw 62443
c lw 62444
c lw 62445
c lw 62450
c lw 62451
c lw 62456
c lw 62460
c lw 62492
c lw 62494
c lw 62497
c lw 62498
c lw 62499
c lw 62500
c lw 62501
c lw 62502
c lw 62503
c lw 62509
c lw 62510
c lw 62529
c lw 62531
c lw 62532
c lw 62533
c lw 62534
c lw 62536
c lw 62540
c lw 62542
c lw 62543
c lw 62546
c lw 62548
c lw 62549
c lw 62550
c lw 62551
c lw 62553
c lw 62560
c lw 62561
c lw 62565
c lw 62567
c lw 62579
c lw 62621
c lw 62624
c lw 62628
c lw 62658
c lw 62660
c lw 62661
c lw 62662
c lw 62663
c lw 62664
c lw 62669
c lw 62678
c lw 62685
c lw 62692
c lw 62710
c lw 62714
c lw 62716
c lw 62733
c lw 62737
c lw 62739
c lw 62741
c lw 62744
c lw 62745
c lw 62746
c lw 62747
c lw 62748
c lw 62749
c lw 62750
c lw 62751
c lw 62752
c lw 62753
c lw 62754
c lw 62755
c lw 62756
c lw 62757
c lw 62758
c lw 62765
c lw 62766
c lw 62767
c lw 62768
c lw 62769
c lw 62772
c lw 62777
c lw 62778
c lw 62785
c lw 62789
c lw 62791
c lw 62792
c lw 62794
c lw 62821
c lw 62826
c lw 62837
c lw 62839
c lw 62862
c lw 62863
c lw 62868
c lw 62876
c lw 62879
c lw 62881
c lw 62884
c lw 62885
c lw 62886
c lw 62887
c lw 62888
c lw 62889
c lw 62890
c lw 62891
c lw 62892
c lw 62893
c lw 62894
c lw 62895
c lw 62896
c lw 62897
c lw 62898
c lw 62899
c lw 62900
c lw 62901
c lw 62902
c lw 62903
c lw 62905
c lw 62906
c lw 62907
c lw 62908
c lw 62909
c lw 62910
c lw 62911
c lw 62912
c lw 62913
c lw 62914
c lw 62915
c lw 62916
c lw 62917
c lw 62918
c lw 62919
c lw 62920
c lw 62921
c lw 62925
c lw 62926
c lw 62931
c lw 62936
c lw 62946
c lw 62949
c lw 62957
c lw 62958
c lw 62959
c lw 62960
c lw 62961
c lw 62962
c lw 62963
c lw 62964
c lw 62965
c lw 62966
c lw 62967
c lw 62968
c lw 62969
c lw 62970
c lw 62971
c lw 62972
c lw 62973
c lw 62974
c lw 62975
c lw 62976
c lw 62977
c lw 62978
c lw 62979
c lw 62980
c lw 62981
c lw 62982
c lw 62983
c lw 62984
c lw 63055
c lw 63056
c lw 63057
c lw 63058
c lw 63059
c lw 63090
c lw 63093
c lw 63128
c lw 63129
c lw 63130
c lw 63131
c lw 63148
c lw 63180
c lw 63182
c lw 63189
c lw 63263
c lw 63264
c lw 63265
c lw 63269
c lw 63270
c lw 63271
c lw 63272
c lw 63273
c lw 63276
c lw 63277
c lw 63278
c lw 63279
c lw 63280
c lw 63281
c lw 63282
c lw 63283
c lw 63284
c lw 63285
c lw 63286
c lw 63288
c lw 63289
c lw 63290
c lw 63291
c lw 63292
c lw 63293
c lw 63294
c lw 63295
c lw 63296
c lw 63297
c lw 63298
c lw 63299
c lw 63300
c lw 63301
c lw 63308
c lw 63309
c lw 63310
c lw 63311
c lw 63319
c lw 63322
c lw 63323
c lw 63334
c lw 63354
c lw 63355
c lw 63356
c lw 63357
c lw 63358
c lw 63359
c lw 63360
c lw 63361
c lw 63381
c lw 63382
c lw 63383
c lw 63384
c lw 63385
c lw 63386
c lw 63387
c lw 63422
c lw 63423
c lw 63429
c lw 63430
c lw 63441
c lw 63443
c lw 63464
c lw 63470
c lw 63496
c lw 63561
c lw 63567
c lw 63611
c lw 63627
c lw 63638
c lw 63639
c lw 63640
c lw 63641
c lw 63642
c lw 63704
c lw 63815
c lw 63821
c lw 63870
c lw 63873
c lw 63876
c lw 63877
c lw 63878
c lw 63879
c lw 63880
c lw 63881
c lw 63882
c lw 63883
c lw 63884
c lw 63886
c lw 63887
c lw 63888
c lw 63889
c lw 63890
c lw 63891
c lw 63892
c lw 63893
c lw 63894
c lw 63895
c lw 63896
c lw 63897
c lw 63898
c lw 63900
c lw 63909
c lw 63910
c lw 63913
c lw 63917
c lw 63920
c lw 63921
c lw 63922
c lw 63923
c lw 63924
c lw 63925
c lw 63926
c lw 63927
c lw 63928
c lw 63943
c lw 63945
c lw 63946
c lw 63987
c lw 64011
c lw 64012
c lw 64022
c lw 64024
c lw 64025
c lw 64026
c lw 64027
c lw 64028
c lw 64029
c lw 64030
c lw 64031
c lw 64032
c lw 64033
c lw 64034
c lw 64035
c lw 64036
c lw 64037
c lw 64038
c lw 64039
c lw 64040
c lw 64041
c lw 64042
c lw 64044
c lw 64045
c lw 64046
c lw 64047
c lw 64048
c lw 64049
c lw 64050
c lw 64051
c lw 64052
c lw 64053
c lw 64054
c lw 64055
c lw 64056
c lw 64057
c lw 64058
c lw 64059
c lw 64060
c lw 64061
c lw 64062
c lw 64063
c lw 64064
c lw 64065
c lw 64066
c lw 64067
c lw 64068
c lw 64069
c lw 64070
c lw 64071
c lw 64072
c lw 64073
c lw 64109
c lw 64150
c lw 64158
c lw 64159
c lw 64160
c lw 64170
c lw 64172
c lw 64186
c lw 64192
c lw 64193
c lw 64197
c lw 64198
c lw 64199
c lw 64200
c lw 64201
c lw 64202
c lw 64203
c lw 64204
c lw 64205
c lw 64206
c lw 64207
c lw 64208
c lw 64232
c lw 64233
c lw 64234
c lw 64236
c lw 64237
c lw 64239
c lw 64246
c lw 64247
c lw 64248
c lw 64251
c lw 64259
c lw 64266
c lw 64267
c lw 64270
c lw 64271
c lw 64274
c lw 64288
c lw 64289
c lw 64290
c lw 64291
c lw 64292
c lw 64293
c lw 64294
c lw 64295
c lw 64296
c lw 64297
c lw 64298
c lw 64299
c lw 64300
c lw 64301
c lw 64302
c lw 64303
c lw 64304
c lw 64305
c lw 64306
c lw 64307
c lw 64308
c lw 64309
c lw 64310
c lw 64311
c lw 64312
c lw 64313
c lw 64314
c lw 64315
c lw 64317
c lw 64318
c lw 64319
c lw 64320
c lw 64321
c lw 64322
c lw 64325
c lw 64326
c lw 64327
c lw 64372
c lw 64373
c lw 64374
c lw 64375
c lw 64376
c lw 64377
c lw 64378
c lw 64379
c lw 64380
c lw 64381
c lw 64382
c lw 64383
c lw 64384
c lw 64385
c lw 64386
c lw 64387
c lw 64388
c lw 64389
c lw 64393
c lw 64394
c lw 64395
c lw 64396
c lw 64398
c lw 64400
c lw 64401
c lw 64402
c lw 64407
c lw 64408
c lw 64409
c lw 64411
c lw 64412
c lw 64413
c lw 64414
c lw 64415
c lw 64416
c lw 64417
c lw 64418
c lw 64419
c lw 64420
c lw 64421
c lw 64422
c lw 64423
c lw 64424
c lw 64426
c lw 64427
c lw 64428
c lw 64429
c lw 64430
c lw 64431
c lw 64432
c lw 64434
c lw 64435
c lw 64436
c lw 64440
c lw 64441
c lw 64442
c lw 64443
c lw 64444
c lw 64445
c lw 64446
c lw 64447
c lw 64448
c lw 64449
c lw 64450
c lw 64451
c lw 64452
c lw 64453
c lw 64456
c lw 64457
c lw 64458
c lw 64459
c lw 64460
c lw 64461
c lw 64462
c lw 64463
c lw 64464
c lw 64465
c lw 64466
c lw 64467
c lw 64468
c lw 64469
c lw 64470
c lw 64471
c lw 64472
c lw 64473
c lw 64474
c lw 64475
c lw 64476
c lw 64477
c lw 64478
c lw 64479
Killed
1814.392u 5.370s 30:20.41 99.9%	0+0k 0+0io 1pf+0w