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_80_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 532
c lw 1514
c lw 2496
c lw 3466
c lw 3478
c lw 4410
c lw 5234
c lw 5342
c lw 6166
c lw 6274
c lw 7047
c lw 7206
c lw 8121
c lw 9025
c lw 9036
c lw 9940
c lw 10492
c lw 10855
c lw 11208
c lw 12215
c lw 13222
c lw 14192
c lw 14217
c lw 15137
c lw 15245
c lw 16273
c lw 17034
c lw 17494
c lw 18400
c lw 19284
c lw 19306
c lw 19858
c lw 20212
c lw 21096
c lw 21954
c lw 22812
c lw 23498
c lw 23645
c lw 24065
c lw 24658
c lw 24789
c lw 25475
c lw 25513
c lw 25865
c lw 26084
c lw 27054
c lw 27545
c lw 27616
c lw 28004
c lw 28392
c lw 28497
c lw 29321
c lw 29378
c lw 29766
c lw 29829
c lw 30389
c lw 30880
c lw 31371
c lw 31569
c lw 31932
c lw 32318
c lw 32340
c lw 32665
c lw 32872
c lw 33003
c lw 33087
c lw 33302
c lw 33521
c lw 33654
c lw 33692
c lw 33797
c lw 33862
c lw 33919
c lw 33956
c lw 34250
c lw 34309
c lw 34372
c lw 34531
c lw 34638
c lw 34675
c lw 34740
c lw 34743
c lw 34992
c lw 35190
c lw 35622
c lw 35730
c lw 35838
c lw 35964
c lw 36027
c lw 36135
c lw 36293
c lw 36315
c lw 36554
c lw 36959
c lw 37106
c lw 37430
c lw 37670
c lw 37962
c lw 38158
c lw 38484
c lw 38916
c lw 38941
c lw 38953
c lw 39012
c lw 39528
c lw 39911
c lw 39923
c lw 39994
c lw 40507
c lw 40510
c lw 40529
c lw 40905
c lw 41291
c lw 41294
c lw 41754
c lw 41837
c lw 41983
c lw 42052
c lw 42063
c lw 42212
c lw 42304
c lw 42363
c lw 42435
c lw 42504
c lw 42515
c lw 42526
c lw 42564
c lw 42623
c lw 42772
c lw 42809
c lw 42826
c lw 42829
c lw 42889
c lw 42892
c lw 42922
c lw 42947
c lw 43006
c lw 43220
c lw 43425
c lw 43437
c lw 43520
c lw 43666
c lw 43677
c lw 43746
c lw 43749
c lw 43750
c lw 43776
c lw 43778
c lw 43781
c lw 43782
c lw 43800
c lw 43845
c lw 43892
c lw 44088
c lw 44184
c lw 44187
c lw 44203
c lw 44206
c lw 44255
c lw 44274
c lw 44389
c lw 44560
c lw 44570
c lw 44582
c lw 44726
c lw 44822
c lw 44869
c lw 44937
c lw 44940
c lw 44985
c lw 44986
c lw 45044
c lw 45047
c lw 45084
c lw 45093
c lw 45159
c lw 45168
c lw 45171
c lw 45177
c lw 45179
c lw 45199
c lw 45202
c lw 45263
c lw 45280
c lw 45305
c lw 45308
c lw 45310
c lw 45355
c lw 45365
c lw 45390
c lw 45410
c lw 45412
c lw 45428
c lw 45441
c lw 45444
c lw 45453
c lw 45463
c lw 45488
c lw 45509
c lw 45512
c lw 45554
c lw 45556
c lw 45601
c lw 45626
c lw 45646
c lw 45662
c lw 45665
c lw 45667
c lw 45672
c lw 45681
c lw 45687
c lw 45719
c lw 45730
c lw 45731
c lw 45734
c lw 45736
c lw 45756
c lw 45757
c lw 45760
c lw 45767
c lw 45773
c lw 45785
c lw 45808
c lw 45838
c lw 45843
c lw 45844
c lw 45845
c lw 45853
c lw 45858
c lw 45859
c lw 45862
c lw 45865
c lw 45866
c lw 45867
c lw 45870
c lw 45871
c lw 45873
c lw 45875
c lw 45876
c lw 45878
c lw 45880
c lw 45888
c lw 45889
c lw 45890
c lw 45892
c lw 45893
c lw 45895
c lw 45899
c lw 45901
c lw 45915
c lw 45917
c lw 45976
c lw 45979
c lw 45981
c lw 45982
c lw 45984
c lw 45988
c lw 45989
c lw 45990
c lw 45992
c lw 45993
c lw 45995
c lw 45996
c lw 45998
c lw 46000
c lw 46002
c lw 46005
c lw 46008
c lw 46018
c lw 46021
c lw 46022
c lw 46023
c lw 46024
c lw 46025
c lw 46026
c lw 46027
c lw 46028
c lw 46029
c lw 46030
c lw 46031
c lw 46032
c lw 46033
c lw 46034
c lw 46035
c lw 46036
c lw 46037
c lw 46038
c lw 46039
c lw 46040
c lw 46041
c lw 46042
c lw 46043
c lw 46044
c lw 46045
c lw 46046
c lw 46068
c lw 46071
c lw 46072
c lw 46073
c lw 46074
c lw 46075
c lw 46076
c lw 46077
c lw 46078
c lw 46079
c lw 46080
c lw 46081
c lw 46083
c lw 46085
c lw 46088
c lw 46089
c lw 46090
c lw 46091
c lw 46092
c lw 46093
c lw 46095
c lw 46103
c lw 46104
c lw 46105
c lw 46106
c lw 46107
c lw 46108
c lw 46109
c lw 46110
c lw 46111
c lw 46112
c lw 46113
c lw 46114
c lw 46115
c lw 46116
c lw 46117
c lw 46118
c lw 46119
c lw 46120
c lw 46121
c lw 46122
c lw 46123
c lw 46124
c lw 46125
c lw 46126
c lw 46127
c lw 46128
c lw 46129
c lw 46130
c lw 46131
c lw 46132
c lw 46133
c lw 46134
c lw 46135
c lw 46136
c lw 46137
c lw 46138
c lw 46139
c lw 46140
c lw 46141
c lw 46142
c lw 46143
c lw 46144
c lw 46145
c lw 46146
c lw 46147
c lw 46148
c lw 46149
c lw 46150
c lw 46151
c lw 46152
c lw 46153
c lw 46154
c lw 46155
c lw 46156
c lw 46157
c lw 46158
c lw 46159
c lw 46160
c lw 46161
c lw 46162
c lw 46163
c lw 46164
c lw 46165
c lw 46166
c lw 46171
c lw 46172
c lw 46173
c lw 46174
c lw 46175
c lw 46176
c lw 46177
c lw 46178
c lw 46183
c lw 46184
c lw 46185
c lw 46186
c lw 46189
c lw 46190
c lw 46191
c lw 46192
c lw 46193
c lw 46194
c lw 46195
c lw 46196
c lw 46197
c lw 46198
c lw 46199
c lw 46202
c lw 46206
c lw 46207
c lw 46208
c lw 46209
c lw 46210
c lw 46211
c lw 46212
c lw 46213
c lw 46214
c lw 46215
c lw 46216
c lw 46217
c lw 46218
c lw 46219
c lw 46220
c lw 46221
c lw 46222
c lw 46223
c lw 46224
c lw 46225
c lw 46227
c lw 46228
c lw 46229
c lw 46230
c lw 46232
c lw 46233
c lw 46234
c lw 46235
c lw 46236
c lw 46238
c lw 46239
c lw 46240
c lw 46241
c lw 46242
c lw 46243
c lw 46247
c lw 46248
c lw 46249
c lw 46250
c lw 46251
c lw 46252
c lw 46253
c lw 46254
c lw 46255
c lw 46256
c lw 46257
c lw 46258
c lw 46266
c lw 46267
c lw 46268
c lw 46271
c lw 46303
c lw 46304
c lw 46305
c lw 46306
c lw 46307
c lw 46308
c lw 46309
c lw 46310
c lw 46311
c lw 46312
c lw 46313
c lw 46314
c lw 46315
c lw 46316
c lw 46317
c lw 46318
c lw 46319
c lw 46320
c lw 46321
c lw 46322
c lw 46323
c lw 46324
c lw 46325
c lw 46326
c lw 46327
c lw 46356
c lw 46382
c lw 46383
c lw 46389
c lw 46392
c lw 46393
c lw 46394
c lw 46395
c lw 46400
c lw 46460
c lw 46461
c lw 46462
c lw 46463
c lw 46464
c lw 46465
c lw 46466
c lw 46467
c lw 46468
c lw 46469
c lw 46470
c lw 46471
c lw 46472
c lw 46473
c lw 46474
c lw 46475
c lw 46476
c lw 46477
c lw 46478
c lw 46479
c lw 46480
c lw 46481
c lw 46482
c lw 46483
c lw 46489
c lw 46491
c lw 46520
c lw 46532
c lw 46534
c lw 46546
c lw 46547
c lw 46548
c lw 46549
c lw 46550
c lw 46551
c lw 46552
c lw 46553
c lw 46554
c lw 46555
c lw 46556
c lw 46557
c lw 46559
c lw 46560
c lw 46561
c lw 46562
c lw 46563
c lw 46564
c lw 46565
c lw 46566
c lw 46567
c lw 46568
c lw 46569
c lw 46570
c lw 46571
c lw 46573
c lw 46575
c lw 46581
c lw 46598
c lw 46642
c lw 46644
c lw 46650
c lw 46651
c lw 46652
c lw 46653
c lw 46658
c lw 46659
c lw 46660
c lw 46661
c lw 46662
c lw 46663
c lw 46664
c lw 46665
c lw 46667
c lw 46668
c lw 46669
c lw 46670
c lw 46671
c lw 46672
c lw 46673
c lw 46674
c lw 46675
c lw 46676
c lw 46677
c lw 46678
c lw 46679
c lw 46680
c lw 46681
c lw 46682
c lw 46683
c lw 46684
c lw 46685
c lw 46686
c lw 46687
c lw 46688
c lw 46689
c lw 46690
c lw 46691
c lw 46692
c lw 46693
c lw 46694
c lw 46695
c lw 46696
c lw 46697
c lw 46698
c lw 46699
c lw 46700
c lw 46701
c lw 46702
c lw 46703
c lw 46704
c lw 46705
c lw 46706
c lw 46707
c lw 46708
c lw 46709
c lw 46710
c lw 46711
c lw 46712
c lw 46713
c lw 46714
c lw 46715
c lw 46716
c lw 46717
c lw 46718
c lw 46719
c lw 46720
c lw 46721
c lw 46722
c lw 46723
c lw 46724
c lw 46725
c lw 46726
c lw 46727
c lw 46728
c lw 46729
c lw 46730
c lw 46731
c lw 46732
c lw 46733
c lw 46734
c lw 46735
c lw 46736
c lw 46737
c lw 46738
c lw 46739
c lw 46740
c lw 46741
c lw 46742
c lw 46743
c lw 46744
c lw 46745
c lw 46746
c lw 46747
c lw 46748
c lw 46749
c lw 46750
c lw 46751
c lw 46752
c lw 46777
c lw 46778
c lw 46779
c lw 46780
c lw 46781
c lw 46782
c lw 46783
c lw 46784
c lw 46785
c lw 46786
c lw 46787
c lw 46788
c lw 46789
c lw 46790
c lw 46791
c lw 46792
c lw 46793
c lw 46794
c lw 46795
c lw 46796
c lw 46797
c lw 46798
c lw 46799
c lw 46800
c lw 46801
c lw 46802
c lw 46803
c lw 46804
c lw 46805
c lw 46806
c lw 46815
c lw 46818
c lw 46821
c lw 46822
c lw 46823
c lw 46824
c lw 46825
c lw 46826
c lw 46827
c lw 46828
c lw 46829
Killed
1813.764u 6.003s 30:20.05 99.9%	0+0k 0+0io 0pf+0w