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_160_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 572
c lw 1132
c lw 1144
c lw 1314
c lw 2220
c lw 3126
c lw 3946
c lw 4032
c lw 4383
c lw 4636
c lw 4770
c lw 5560
c lw 6350
c lw 7140
c lw 7730
c lw 8529
c lw 9102
c lw 9675
c lw 10248
c lw 10632
c lw 10651
c lw 11189
c lw 11727
c lw 12184
c lw 12617
c lw 12907
c lw 13525
c lw 14621
c lw 15673
c lw 16725
c lw 17714
c lw 17777
c lw 17966
c lw 18082
c lw 18988
c lw 19026
c lw 19679
c lw 20086
c lw 20091
c lw 20714
c lw 21146
c lw 21639
c lw 22206
c lw 22982
c lw 23266
c lw 23925
c lw 24584
c lw 25537
c lw 26490
c lw 27443
c lw 28432
c lw 28762
c lw 29728
c lw 29751
c lw 30721
c lw 31691
c lw 32617
c lw 32661
c lw 33069
c lw 33240
c lw 33289
c lw 33503
c lw 33819
c lw 34290
c lw 34784
c lw 34792
c lw 35557
c lw 36266
c lw 36975
c lw 37684
c lw 38604
c lw 39366
c lw 39524
c lw 40286
c lw 40444
c lw 41364
c lw 41678
c lw 42247
c lw 43480
c lw 44713
c lw 44801
c lw 45634
c lw 45658
c lw 45932
c lw 46102
c lw 46864
c lw 47626
c lw 48334
c lw 49042
c lw 49489
c lw 49750
c lw 49970
c lw 50479
c lw 50525
c lw 51577
c lw 51676
c lw 52631
c lw 52728
c lw 53348
c lw 53408
c lw 53723
c lw 54339
c lw 54483
c lw 55253
c lw 56455
c lw 56757
c lw 57500
c lw 57600
c lw 57929
c lw 58337
c lw 58672
c lw 58751
c lw 59855
c lw 60761
c lw 61087
c lw 61093
c lw 61913
c lw 61989
c lw 62077
c lw 62253
c lw 62421
c lw 62756
c lw 63085
c lw 63387
c lw 63726
c lw 63773
c lw 64062
c lw 64085
c lw 64505
c lw 64630
c lw 64682
c lw 64720
c lw 64770
c lw 64806
c lw 64849
c lw 64949
c lw 65175
c lw 65257
c lw 65345
c lw 65421
c lw 65433
c lw 65444
c lw 65490
c lw 65515
c lw 65653
c lw 65673
c lw 65999
c lw 66003
c lw 66330
c lw 66595
c lw 66733
c lw 67162
c lw 67300
c lw 67349
c lw 67423
c lw 67471
c lw 67685
c lw 67787
c lw 67795
c lw 67818
c lw 68107
c lw 68289
c lw 68423
c lw 68661
c lw 68704
c lw 68728
c lw 68801
c lw 68917
c lw 69072
c lw 69078
c lw 69251
c lw 69313
c lw 69741
c lw 69869
c lw 70219
c lw 70263
c lw 70811
c lw 70924
c lw 70984
c lw 71206
c lw 71614
c lw 71632
c lw 71880
c lw 72539
c lw 72562
c lw 72738
c lw 72869
c lw 72966
c lw 73157
c lw 73174
c lw 73301
c lw 73313
c lw 73481
c lw 73630
c lw 73874
c lw 73932
c lw 73965
c lw 74064
c lw 74450
c lw 74731
c lw 74794
c lw 74932
c lw 75098
c lw 75291
c lw 75719
c lw 75881
c lw 76070
c lw 76385
c lw 76455
c lw 76529
c lw 76637
c lw 76656
c lw 76963
c lw 77044
c lw 77090
c lw 77328
c lw 77476
c lw 77481
c lw 77946
c lw 77951
c lw 78136
c lw 78366
c lw 78420
c lw 79042
c lw 79887
c lw 79952
c lw 79960
c lw 80241
c lw 80621
c lw 81158
c lw 81307
c lw 82111
c lw 82260
c lw 82661
c lw 83031
c lw 83081
c lw 83095
c lw 83219
c lw 83266
c lw 83391
c lw 83429
c lw 83443
c lw 83455
c lw 83462
c lw 83470
c lw 83474
c lw 83510
c lw 83534
c lw 83542
c lw 83551
c lw 83565
c lw 83600
c lw 83659
c lw 83746
c lw 83790
c lw 83814
c lw 83914
c lw 83972
c lw 83996
c lw 84002
c lw 84039
c lw 84046
c lw 84064
c lw 84119
c lw 84175
c lw 84193
c lw 84276
c lw 84314
c lw 84336
c lw 84383
c lw 84506
c lw 84529
c lw 84612
c lw 84637
c lw 84675
c lw 84787
c lw 84825
c lw 84852
c lw 84915
c lw 84989
c lw 85591
c lw 85605
c lw 85639
c lw 85655
c lw 85713
c lw 85729
c lw 85747
c lw 85753
c lw 85789
c lw 85841
c lw 85853
c lw 85991
c lw 86019
c lw 86034
c lw 86116
c lw 86121
c lw 86125
c lw 86128
c lw 86135
c lw 86144
c lw 86147
c lw 86151
c lw 86159
c lw 86177
c lw 86353
c lw 86515
c lw 86538
c lw 86541
c lw 86574
c lw 86632
c lw 86704
c lw 86754
c lw 86800
c lw 86804
c lw 86811
c lw 86814
c lw 86815
c lw 86821
c lw 86832
c lw 86834
c lw 86839
c lw 86840
c lw 86849
c lw 86850
c lw 86851
c lw 86852
c lw 86853
c lw 86855
c lw 86856
c lw 86857
c lw 86858
c lw 86908
c lw 86948
c lw 86949
c lw 87003
c lw 87021
c lw 87025
c lw 87028
c lw 87060
c lw 87061
c lw 87063
c lw 87072
c lw 87074
c lw 87075
c lw 87076
c lw 87077
c lw 87084
c lw 87089
c lw 87090
c lw 87091
c lw 87095
c lw 87100
c lw 87115
c lw 87139
c lw 87141
c lw 87142
c lw 87143
c lw 87144
c lw 87145
c lw 87146
c lw 87147
c lw 87148
c lw 87149
c lw 87150
c lw 87151
c lw 87152
c lw 87184
c lw 87188
c lw 87194
c lw 87211
c lw 87219
c lw 87292
c lw 87304
c lw 87310
c lw 87428
c lw 87442
c lw 87448
c lw 87451
c lw 87456
c lw 87466
c lw 87484
c lw 87497
c lw 87507
c lw 87538
c lw 87561
c lw 87567
c lw 87573
c lw 87574
c lw 87604
c lw 87610
c lw 87623
c lw 87654
c lw 87655
c lw 87658
c lw 87695
c lw 87696
c lw 87697
c lw 87729
c lw 87730
c lw 87731
c lw 87733
c lw 87741
c lw 87747
c lw 87774
c lw 87776
c lw 87777
c lw 87779
c lw 87780
c lw 87781
c lw 87782
c lw 87783
c lw 87784
c lw 87785
c lw 87789
c lw 87790
c lw 87796
c lw 87797
c lw 87798
c lw 87800
c lw 87801
c lw 87802
c lw 87803
c lw 87804
c lw 87805
c lw 87806
c lw 87807
c lw 87808
c lw 87809
c lw 87810
c lw 87811
c lw 87812
c lw 87813
c lw 87814
c lw 87815
c lw 87817
c lw 87820
c lw 87821
c lw 87823
c lw 87837
c lw 87839
c lw 87840
c lw 87841
c lw 87842
c lw 87843
c lw 87844
c lw 87845
c lw 87846
c lw 87847
c lw 87848
c lw 87849
c lw 87850
c lw 87851
c lw 87852
c lw 87853
c lw 87854
c lw 87855
c lw 87856
c lw 87857
c lw 87858
c lw 87859
c lw 87860
c lw 87861
c lw 87862
c lw 87863
c lw 87864
c lw 87865
c lw 87866
c lw 87867
c lw 87868
c lw 87869
c lw 87870
c lw 87871
c lw 87872
c lw 87873
c lw 87874
c lw 87875
c lw 87876
c lw 87877
c lw 87925
c lw 87926
c lw 87927
c lw 87928
c lw 87929
c lw 87930
c lw 87931
c lw 87932
c lw 87933
c lw 87934
c lw 87935
c lw 87936
c lw 87937
c lw 87938
c lw 87939
c lw 87940
c lw 88021
c lw 88050
c lw 88051
c lw 88052
c lw 88053
c lw 88054
c lw 88055
c lw 88056
c lw 88057
c lw 88058
c lw 88059
c lw 88070
c lw 88080
c lw 88122
c lw 88149
c lw 88187
c lw 88188
c lw 88189
c lw 88190
c lw 88191
c lw 88192
c lw 88193
c lw 88198
c lw 88203
c lw 88206
c lw 88207
c lw 88208
c lw 88209
c lw 88210
c lw 88211
c lw 88213
c lw 88216
c lw 88219
c lw 88220
c lw 88221
c lw 88222
c lw 88224
c lw 88225
c lw 88226
c lw 88229
c lw 88231
c lw 88253
c lw 88254
c lw 88257
c lw 88258
c lw 88261
c lw 88262
c lw 88263
c lw 88265
c lw 88266
c lw 88269
c lw 88270
c lw 88271
c lw 88272
c lw 88273
c lw 88274
c lw 88275
c lw 88277
c lw 88285
c lw 88286
c lw 88287
c lw 88288
c lw 88289
c lw 88290
c lw 88291
c lw 88292
c lw 88293
c lw 88294
c lw 88295
c lw 88296
c lw 88297
c lw 88298
c lw 88299
c lw 88300
c lw 88301
c lw 88302
c lw 88307
c lw 88376
c lw 88380
c lw 88483
c lw 88525
c lw 88526
c lw 88527
c lw 88528
c lw 88529
c lw 88530
c lw 88531
c lw 88532
c lw 88533
c lw 88537
c lw 88538
c lw 88539
c lw 88541
c lw 88545
c lw 88546
c lw 88547
c lw 88548
c lw 88549
c lw 88550
c lw 88553
c lw 88555
c lw 88556
c lw 88557
c lw 88558
c lw 88559
c lw 88560
c lw 88561
c lw 88562
c lw 88563
c lw 88564
c lw 88565
c lw 88581
c lw 88582
c lw 88583
c lw 88585
c lw 88606
c lw 88609
c lw 88610
c lw 88611
c lw 88612
c lw 88613
c lw 88614
c lw 88615
c lw 88616
c lw 88617
c lw 88618
c lw 88619
c lw 88620
c lw 88622
c lw 88623
c lw 88624
c lw 88625
c lw 88626
c lw 88631
c lw 88632
c lw 88633
c lw 88634
c lw 88635
c lw 88637
c lw 88638
c lw 88639
c lw 88640
c lw 88641
c lw 88642
c lw 88654
c lw 88667
c lw 88668
c lw 88669
c lw 88670
c lw 88671
c lw 88677
c lw 88686
c lw 88692
c lw 88693
c lw 88912
c lw 88921
c lw 88922
c lw 88925
c lw 88928
c lw 88929
c lw 88930
c lw 88931
c lw 88932
c lw 88933
c lw 88934
c lw 88936
c lw 88937
c lw 88938
c lw 88939
c lw 88940
c lw 88942
c lw 88943
c lw 88944
c lw 88945
c lw 88948
c lw 88949
c lw 88951
c lw 88953
c lw 88956
c lw 88959
c lw 88998
c lw 88999
c lw 89001
c lw 89002
c lw 89015
c lw 89033
c lw 89043
c lw 89045
c lw 89047
c lw 89048
c lw 89049
c lw 89050
c lw 89051
c lw 89052
c lw 89053
c lw 89054
c lw 89055
c lw 89056
c lw 89057
c lw 89058
c lw 89059
c lw 89060
c lw 89061
c lw 89062
c lw 89063
c lw 89064
c lw 89065
c lw 89066
c lw 89067
c lw 89068
c lw 89069
c lw 89070
c lw 89071
c lw 89072
c lw 89073
c lw 89074
c lw 89075
c lw 89076
c lw 89077
c lw 89078
c lw 89079
c lw 89080
c lw 89081
c lw 89082
c lw 89083
c lw 89084
c lw 89085
c lw 89086
c lw 89087
c lw 89088
c lw 89089
c lw 89090
c lw 89091
c lw 89100
c lw 89101
c lw 89102
c lw 89103
c lw 89104
c lw 89106
c lw 89107
c lw 89112
c lw 89113
c lw 89114
c lw 89116
c lw 89117
c lw 89121
c lw 89122
c lw 89123
c lw 89124
c lw 89125
c lw 89126
c lw 89127
c lw 89128
c lw 89129
c lw 89130
c lw 89131
c lw 89132
c lw 89133
c lw 89134
c lw 89196
c lw 89197
c lw 89198
c lw 89199
c lw 89200
c lw 89201
c lw 89202
c lw 89203
c lw 89204
c lw 89205
c lw 89206
c lw 89207
c lw 89208
c lw 89209
c lw 89210
c lw 89211
c lw 89212
c lw 89213
c lw 89214
c lw 89215
c lw 89216
c lw 89217
c lw 89218
c lw 89219
c lw 89220
c lw 89221
c lw 89222
c lw 89223
c lw 89224
c lw 89225
c lw 89226
c lw 89227
c lw 89228
c lw 89229
c lw 89239
c lw 89245
c lw 89268
c lw 89269
c lw 89270
c lw 89271
c lw 89272
c lw 89273
c lw 89274
c lw 89275
c lw 89276
c lw 89277
c lw 89278
c lw 89279
c lw 89280
c lw 89281
c lw 89282
c lw 89283
c lw 89284
c lw 89285
c lw 89286
c lw 89301
c lw 89305
c lw 89307
c lw 89327
c lw 89329
c lw 89333
c lw 89335
c lw 89340
c lw 89346
c lw 89373
c lw 89374
c lw 89375
c lw 89379
c lw 89380
c lw 89381
c lw 89387
c lw 89388
c lw 89398
c lw 89408
c lw 89409
c lw 89410
c lw 89411
c lw 89412
c lw 89413
c lw 89414
c lw 89452
c lw 89466
c lw 89467
c lw 89468
c lw 89472
c lw 89485
c lw 89486
c lw 89487
c lw 89488
Killed
1816.426u 3.326s 30:22.55 99.8%	0+0k 0+0io 0pf+0w