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_70_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 902
c lw 1804
c lw 2401
c lw 2706
c lw 2895
c lw 3378
c lw 3676
c lw 4168
c lw 4743
c lw 5758
c lw 6773
c lw 7788
c lw 8847
c lw 9906
c lw 10796
c lw 10965
c lw 12099
c lw 12366
c lw 13208
c lw 13233
c lw 13737
c lw 14367
c lw 14820
c lw 15501
c lw 16299
c lw 16781
c lw 17431
c lw 18152
c lw 18563
c lw 18634
c lw 18809
c lw 19567
c lw 19765
c lw 19842
c lw 20721
c lw 20824
c lw 21677
c lw 22109
c lw 22162
c lw 22566
c lw 22633
c lw 23017
c lw 23253
c lw 24490
c lw 25727
c lw 26559
c lw 26964
c lw 27004
c lw 28072
c lw 28478
c lw 29358
c lw 29763
c lw 30174
c lw 30824
c lw 30927
c lw 31062
c lw 31749
c lw 31942
c lw 32047
c lw 32345
c lw 32416
c lw 32529
c lw 32600
c lw 32651
c lw 32691
c lw 33057
c lw 33075
c lw 33142
c lw 33192
c lw 33245
c lw 33295
c lw 33542
c lw 33546
c lw 33782
c lw 33970
c lw 34148
c lw 34162
c lw 34239
c lw 34337
c lw 34920
c lw 34967
c lw 34992
c lw 35164
c lw 35373
c lw 35431
c lw 35834
c lw 36139
c lw 36190
c lw 36210
c lw 36643
c lw 36714
c lw 37044
c lw 37045
c lw 37222
c lw 37297
c lw 37303
c lw 37525
c lw 37558
c lw 37791
c lw 37792
c lw 37806
c lw 38274
c lw 38540
c lw 38709
c lw 39181
c lw 39205
c lw 39211
c lw 39324
c lw 39622
c lw 39861
c lw 39918
c lw 39931
c lw 40119
c lw 40530
c lw 40698
c lw 40769
c lw 40874
c lw 40941
c lw 40998
c lw 41162
c lw 41202
c lw 41321
c lw 41335
c lw 41338
c lw 41367
c lw 41414
c lw 41433
c lw 41507
c lw 41531
c lw 41700
c lw 41719
c lw 41770
c lw 41797
c lw 41799
c lw 41800
c lw 41801
c lw 41805
c lw 41806
c lw 41810
c lw 41812
c lw 41815
c lw 41829
c lw 41849
c lw 41851
c lw 41878
c lw 41879
c lw 41897
c lw 41903
c lw 41974
c lw 41978
c lw 42006
c lw 42022
c lw 42023
c lw 42025
c lw 42048
c lw 42107
c lw 42109
c lw 42125
c lw 42131
c lw 42137
c lw 42138
c lw 42222
c lw 42223
c lw 42225
c lw 42226
c lw 42265
c lw 42272
c lw 42286
c lw 42287
c lw 42296
c lw 42297
c lw 42298
c lw 42299
c lw 42317
c lw 42318
c lw 42319
c lw 42320
c lw 42321
c lw 42323
c lw 42324
c lw 42325
c lw 42326
c lw 42327
c lw 42334
c lw 42335
c lw 42336
c lw 42337
c lw 42338
c lw 42339
c lw 42340
c lw 42341
c lw 42342
c lw 42343
c lw 42345
c lw 42346
c lw 42347
c lw 42350
c lw 42351
c lw 42352
c lw 42353
c lw 42355
c lw 42356
c lw 42357
c lw 42358
c lw 42360
c lw 42384
c lw 42385
c lw 42386
c lw 42387
c lw 42388
c lw 42389
c lw 42390
c lw 42391
c lw 42392
c lw 42393
c lw 42394
c lw 42395
c lw 42396
c lw 42397
c lw 42398
c lw 42399
c lw 42400
c lw 42401
c lw 42402
c lw 42403
c lw 42404
c lw 42405
c lw 42406
c lw 42407
c lw 42408
c lw 42409
c lw 42410
c lw 42411
c lw 42412
c lw 42413
c lw 42414
c lw 42415
c lw 42416
c lw 42417
c lw 42418
c lw 42419
c lw 42420
c lw 42421
c lw 42422
c lw 42423
c lw 42424
c lw 42425
c lw 42426
c lw 42427
c lw 42428
c lw 42429
c lw 42430
c lw 42431
c lw 42432
c lw 42433
c lw 42434
c lw 42435
c lw 42436
c lw 42437
c lw 42438
c lw 42439
c lw 42440
c lw 42441
c lw 42442
c lw 42443
c lw 42447
c lw 42683
c lw 42713
c lw 42714
c lw 42726
c lw 42727
c lw 42728
c lw 42746
c lw 42747
c lw 42773
c lw 42774
c lw 42775
c lw 42787
c lw 42814
c lw 42840
c lw 42841
c lw 42842
c lw 42871
c lw 42872
c lw 42873
c lw 42874
c lw 42875
c lw 42876
c lw 42877
c lw 42910
c lw 42917
c lw 42931
c lw 42957
c lw 42981
c lw 43081
c lw 43287
c lw 43288
c lw 43309
c lw 43310
c lw 43311
c lw 43312
c lw 43313
c lw 43314
c lw 43315
c lw 43335
c lw 43345
c lw 43346
c lw 43347
c lw 43351
c lw 43352
c lw 43353
c lw 43375
c lw 43376
c lw 43380
c lw 43398
c lw 43399
c lw 43402
c lw 43403
c lw 43404
c lw 43405
c lw 43406
c lw 43432
c lw 43439
c lw 43446
c lw 43447
c lw 43448
c lw 43453
c lw 43454
c lw 43463
c lw 43480
c lw 43481
c lw 43482
c lw 43483
c lw 43484
c lw 43485
c lw 43487
c lw 43488
c lw 43489
c lw 43490
c lw 43491
c lw 43492
c lw 43493
c lw 43494
c lw 43495
c lw 43496
c lw 43497
c lw 43498
c lw 43499
c lw 43500
c lw 43501
c lw 43505
c lw 43506
c lw 43507
c lw 43508
c lw 43509
c lw 43510
c lw 43511
c lw 43512
c lw 43513
c lw 43514
c lw 43515
c lw 43516
c lw 43517
c lw 43518
c lw 43519
c lw 43520
c lw 43521
c lw 43522
c lw 43523
c lw 43526
c lw 43527
c lw 43528
c lw 43529
c lw 43539
c lw 43540
c lw 43591
c lw 43625
c lw 43629
c lw 43674
c lw 43675
c lw 43676
c lw 43682
c lw 43698
c lw 43699
c lw 43701
c lw 43702
c lw 43703
c lw 43710
c lw 43713
c lw 43717
c lw 43719
c lw 43720
c lw 43722
c lw 43724
c lw 43725
c lw 43726
c lw 43727
c lw 43729
c lw 43743
c lw 43745
c lw 43747
c lw 43748
c lw 43749
c lw 43750
c lw 43751
c lw 43752
c lw 43753
c lw 43754
c lw 43755
c lw 43756
c lw 43757
c lw 43758
c lw 43759
c lw 43760
c lw 43761
c lw 43762
c lw 43763
c lw 43764
c lw 43765
c lw 43766
c lw 43767
c lw 43768
c lw 43769
c lw 43770
c lw 43771
c lw 43772
c lw 43773
c lw 43774
c lw 43775
c lw 43776
c lw 43777
c lw 43778
c lw 43779
c lw 43780
c lw 43781
c lw 43782
c lw 43783
c lw 43784
c lw 43785
c lw 43786
c lw 43787
c lw 43823
c lw 43837
c lw 43855
c lw 43870
c lw 43898
c lw 43901
c lw 43904
c lw 43937
c lw 43967
c lw 43970
c lw 43984
c lw 43995
c lw 44002
c lw 44003
c lw 44004
c lw 44005
c lw 44006
c lw 44007
c lw 44008
c lw 44009
c lw 44010
c lw 44011
c lw 44012
c lw 44015
c lw 44018
c lw 44021
c lw 44022
c lw 44023
c lw 44024
c lw 44025
c lw 44026
c lw 44027
c lw 44028
c lw 44029
c lw 44030
c lw 44031
c lw 44032
c lw 44043
c lw 44044
c lw 44047
c lw 44051
c lw 44052
c lw 44054
c lw 44059
c lw 44061
c lw 44062
c lw 44063
c lw 44064
c lw 44065
c lw 44066
c lw 44067
c lw 44068
c lw 44144
c lw 44145
c lw 44148
c lw 44151
c lw 44152
c lw 44153
c lw 44157
c lw 44158
c lw 44159
c lw 44166
c lw 44171
c lw 44172
c lw 44173
c lw 44174