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_KnotPipatsrisawat_random-net-300-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1529
c lw 2080
c lw 3116
c lw 4405
c lw 6084
c lw 6511
c lw 8285
c lw 8333
c lw 8980
c lw 10128
c lw 11793
c lw 12969
c lw 13789
c lw 14114
c lw 15386
c lw 16181
c lw 16353
c lw 17444
c lw 18568
c lw 19667
c lw 20482
c lw 20693
c lw 22400
c lw 23902
c lw 25567
c lw 26652
c lw 28083
c lw 28833
c lw 29402
c lw 30730
c lw 31200
c lw 32733
c lw 33500
c lw 33623
c lw 34262
c lw 34892
c lw 36434
c lw 37303
c lw 38648
c lw 40310
c lw 41690
c lw 42945
c lw 43645
c lw 44579
c lw 45614
c lw 46702
c lw 47006
c lw 49219
c lw 49583
c lw 50566
c lw 50803
c lw 51496
c lw 51834
c lw 51990
c lw 52289
c lw 52334
c lw 52692
c lw 53348
c lw 53465
c lw 53630
c lw 54668
c lw 54902
c lw 55381
c lw 55928
c lw 57792
c lw 58545
c lw 58949
c lw 59545
c lw 59836
c lw 59871
c lw 60415
c lw 61423
c lw 61713
c lw 62548
c lw 62664
c lw 62671
c lw 63216
c lw 63390
c lw 63760
c lw 64077
c lw 64138
c lw 64143
c lw 64539
c lw 65741
c lw 65921
c lw 67072
c lw 67549
c lw 68349
c lw 69644
c lw 69777
c lw 70116
c lw 70427
c lw 70666
c lw 70989
c lw 71476
c lw 71607
c lw 71962
c lw 71996
c lw 72460
c lw 72911
c lw 73257
c lw 74316
c lw 75019
c lw 75047
c lw 75130
c lw 75203
c lw 75457
c lw 76058
c lw 76359
c lw 76507
c lw 76728
c lw 76807
c lw 77384
c lw 77428
c lw 77510
c lw 78226
c lw 78289
c lw 78575
c lw 78685
c lw 78745
c lw 79307
c lw 79571
c lw 80167
c lw 80305
c lw 80457
c lw 80464
c lw 80501
c lw 81116
c lw 81174
c lw 81816
c lw 82037
c lw 82455
c lw 83153
c lw 83759
c lw 84158
c lw 84262
c lw 84712
c lw 84974
c lw 85803
c lw 85922
c lw 86056
c lw 86248
c lw 86987
c lw 87821
c lw 88044
c lw 88380
c lw 88671
c lw 88682
c lw 88739
c lw 88944
c lw 89158
c lw 89293
c lw 89922
c lw 90179
c lw 90358
c lw 90787
c lw 91230
c lw 91327
c lw 91618
c lw 91842
c lw 92056
c lw 92067
c lw 92756
c lw 93315
c lw 93705
c lw 93852
c lw 93891
c lw 93933
c lw 94023
c lw 94036
c lw 94239
c lw 94265
c lw 94309
c lw 94467
c lw 94608
c lw 95200
c lw 95508
c lw 95646
c lw 95664
c lw 95776
c lw 95983
c lw 96473
c lw 96726
c lw 97064
c lw 98093
c lw 98182
c lw 98499
c lw 98627
c lw 98781
c lw 98953
c lw 99244
c lw 100614
c lw 100850
c lw 100930
c lw 101085
c lw 101187
c lw 102144
c lw 102297
c lw 102644
c lw 103217
c lw 103253
c lw 103879
c lw 104392
c lw 104621
c lw 104934
c lw 105077
c lw 105101
c lw 105160
c lw 105183
c lw 105210
c lw 105291
c lw 105758
c lw 106223
c lw 106379
c lw 106469
c lw 106683
c lw 106738
c lw 106746
c lw 106783
c lw 106795
c lw 106827
c lw 106834
c lw 106967
c lw 107059
c lw 107306
c lw 107440
c lw 107679
c lw 108334
c lw 108657
c lw 108715
c lw 108941
c lw 109144
c lw 109275
c lw 109630
c lw 109858
c lw 109939
c lw 110144
c lw 110496
c lw 110550
c lw 111627
c lw 111698
c lw 111706
c lw 111936
c lw 112680
c lw 112686
c lw 112714
c lw 113094
c lw 113117
c lw 113297
c lw 113463
c lw 113853
c lw 113931
c lw 113959
c lw 114032
c lw 114076
c lw 114638
c lw 114796
c lw 115079
c lw 115525
c lw 115675
c lw 115701
c lw 116822
c lw 116947
c lw 116956
c lw 117396
c lw 117829
c lw 118189
c lw 118242
c lw 118728
c lw 119188
c lw 119272
c lw 120416
c lw 120429
c lw 121655
c lw 122918
c lw 122937
c lw 123521
c lw 124101
c lw 124216
c lw 124219
c lw 124276
c lw 124603
c lw 124734
c lw 124797
c lw 124920
c lw 124964
c lw 125008
c lw 125024
c lw 125046
c lw 125122
c lw 125194
c lw 125436
c lw 126009
c lw 126157
c lw 126508
c lw 126746
c lw 126880
c lw 127161
c lw 127305
c lw 127350
c lw 127471
c lw 127647
c lw 127666
c lw 127976
c lw 128485
c lw 128570
c lw 129521
c lw 129543
c lw 131009
c lw 131298
c lw 131653
c lw 132281
c lw 132414
c lw 132422
c lw 132566
c lw 132593
c lw 132594
c lw 132600
c lw 132731
c lw 132812
c lw 132836
c lw 133207
c lw 133219
c lw 133291
c lw 133314
c lw 133385
c lw 133843
c lw 133962
c lw 134096
c lw 134397
c lw 134625
c lw 134760
c lw 134801
c lw 134879
c lw 134939
c lw 135041
c lw 135468
c lw 135672
c lw 135850
c lw 136235
c lw 136571
c lw 137046
c lw 137105
c lw 138021
c lw 138306
c lw 138481
c lw 138526
c lw 138924
c lw 139081
c lw 139652
c lw 140230
c lw 140294
c lw 140447
c lw 140527
c lw 140629
c lw 140763
c lw 140783
c lw 140835
c lw 141112
c lw 141168
c lw 141345
c lw 141373
c lw 141409
c lw 141683
c lw 141765
c lw 142637
c lw 143059
c lw 143178
c lw 143306
c lw 143533
c lw 143600
c lw 144387
c lw 144530
c lw 144808
c lw 144810
c lw 145781
c lw 146181
c lw 146557
c lw 146635
c lw 146661
c lw 146751
c lw 147121
c lw 147157
c lw 147206
c lw 147211
c lw 147254
c lw 148308
c lw 148712
c lw 148761
c lw 148801
c lw 149771
c lw 149834
c lw 149883
c lw 150043
c lw 150291
c lw 150448
c lw 150457
c lw 150486
c lw 150615
c lw 150978
c lw 150991
c lw 151105
c lw 151107
c lw 151926
c lw 152326
c lw 152368
c lw 152573
c lw 153106
c lw 153113
c lw 153117
c lw 153285
c lw 153326
c lw 153458
c lw 153508
c lw 154359
c lw 154766
c lw 154768
c lw 154883
c lw 154986
c lw 155010
c lw 155031
c lw 155506
c lw 155930
c lw 156807
c lw 156850
c lw 156913
c lw 157105
c lw 157639
c lw 157746
c lw 157854
c lw 157897
c lw 158296
c lw 158558
c lw 159479
c lw 159591
c lw 160061
c lw 160520
c lw 160611
c lw 161285
c lw 161376
c lw 161397
c lw 161435
c lw 161627
c lw 161708
c lw 162094
c lw 162373
c lw 163050
c lw 163646
c lw 163768
c lw 163800
c lw 164036
c lw 164342
c lw 164798
c lw 165387
c lw 165617
c lw 166000
c lw 166342
c lw 166381
c lw 166460
c lw 166892
c lw 168014
c lw 168142
c lw 168169
c lw 168505
c lw 168598
c lw 168637
c lw 169204
c lw 169275
c lw 169744
c lw 169907
c lw 170443
c lw 170878
c lw 172113
c lw 172148
c lw 173183
c lw 173396
c lw 173434
c lw 173436
c lw 173519
c lw 173679
c lw 173714
c lw 173906
c lw 174301
c lw 174402
c lw 174691
c lw 174949
c lw 175056
c lw 175145
c lw 175515
c lw 175673
c lw 175794
c lw 175910
c lw 175955
c lw 175961
c lw 175989
c lw 176051
c lw 176121
c lw 176128
c lw 176129
c lw 176183
c lw 176522
c lw 176810
c lw 176965
c lw 177027
c lw 177097
c lw 177264
c lw 177357
c lw 177436
c lw 177447
c lw 177571
c lw 177718
c lw 177751
c lw 177801
c lw 177813
c lw 177867
c lw 178124
c lw 178228
c lw 179391
c lw 179404
c lw 179808
c lw 179921
c lw 180010
c lw 180018
c lw 180123
c lw 180208
c lw 180280
c lw 181009
c lw 181112
c lw 181496
c lw 181554
c lw 181616
c lw 182183
c lw 182209
c lw 183109
c lw 183112
c lw 183176
c lw 183204
c lw 183309
c lw 183318
c lw 183340
c lw 183350
c lw 183363
c lw 183370
c lw 183379
c lw 184433
c lw 184462
c lw 184607
c lw 184638
c lw 185158
c lw 185227
c lw 185318
c lw 185646
c lw 185723
c lw 185998
c lw 186366
c lw 186698
c lw 187038
c lw 187216
c lw 187804
c lw 187946
c lw 188223
c lw 188428
c lw 188771
c lw 188838
c lw 189370
c lw 189563
c lw 189655
c lw 190752
c lw 190839
c lw 191874
c lw 191888
c lw 191917
c lw 191919
c lw 191954
c lw 192057
c lw 192308
c lw 192324
c lw 192359
c lw 192408
c lw 192687
c lw 192874
c lw 192920
c lw 193193
c lw 193290
c lw 193336
c lw 193343
c lw 194200
c lw 194414
c lw 194510
c lw 194644
c lw 194660
c lw 195043
c lw 195089
c lw 195096
c lw 195119
c lw 195142
c lw 195168
c lw 195244
c lw 195315
c lw 195486
c lw 195524
c lw 195806
c lw 195814
c lw 196039
c lw 196191
c lw 196202
c lw 196876
c lw 197007
c lw 197399
c lw 197461
c lw 197531
c lw 197580
c lw 197624
c lw 197629
c lw 197650
c lw 197676
c lw 197712
c lw 197720
c lw 197725
c lw 197730
c lw 197731
c lw 197738
c lw 197764
c lw 197766
c lw 197773
c lw 197774
c lw 197779
c lw 197787
c lw 197791
c lw 197792
c lw 197795
c lw 197797
c lw 197802
c lw 197808
c lw 198017
c lw 198113
c lw 198483
c lw 198897
c lw 198963
c lw 199102
c lw 199206
c lw 199522
c lw 199785
c lw 199876
c lw 200056
c lw 200354
c lw 200732
c lw 200878
c lw 201334
c lw 201420
c lw 201733
c lw 202090
c lw 202495
c lw 202538
c lw 202961
c lw 203076
c lw 203107
c lw 203412
c lw 203973
c lw 204425
c lw 204489
c lw 204782
c lw 205053
c lw 205409
c lw 205484
c lw 205816
c lw 205924
c lw 206245
c lw 206344
c lw 206462
c lw 206630
c lw 206705
c lw 206770
c lw 206775
c lw 206974
c lw 207036
c lw 207041
c lw 207049
c lw 207436
c lw 207601
c lw 208025
c lw 208511
c lw 208560
c lw 208672
c lw 208862
c lw 209216
c lw 209392
c lw 210816
c lw 210864
c lw 210876
c lw 211011
c lw 211017
c lw 211064
c lw 211621
c lw 212253
c lw 212720
c lw 213220
c lw 213239
c lw 213322
c lw 213324
c lw 213371
c lw 213418
c lw 213692
c lw 213791
c lw 213794
c lw 213823
c lw 214264
c lw 214395
c lw 214551
c lw 214605
c lw 215432
c lw 215508
c lw 215845
c lw 215968
c lw 216119
c lw 216238
c lw 216263
c lw 216326
c lw 216334
c lw 216335
c lw 216345
c lw 216353
c lw 216354
c lw 216459
c lw 216487
c lw 216496
c lw 216503
c lw 216516
c lw 216526
c lw 216548
c lw 216558
c lw 216559
c lw 216567
c lw 216630
c lw 216637
c lw 216638
c lw 217436
c lw 217444
c lw 217449
c lw 217487
c lw 217527
c lw 217655
c lw 218012
c lw 218060
c lw 218121
c lw 218252
c lw 218402
c lw 219405
c lw 219543
c lw 219672
c lw 219701
c lw 220183
c lw 220486
c lw 220700
c lw 221019
c lw 221107
c lw 222248
c lw 222249
c lw 222401
c lw 222475
c lw 223568
c lw 223570
c lw 223688
c lw 223711
c lw 223782
c lw 223878
c lw 224194
c lw 224219
c lw 224819
c lw 224956
c lw 225575
c lw 225578
c lw 226436
c lw 226490
c lw 227133
c lw 227269
c lw 227650
c lw 227719
c lw 227967
c lw 228005
c lw 228017
c lw 228449
c lw 228658
c lw 228673
c lw 228720
c lw 228740
c lw 228861
c lw 229990
c lw 230041
c lw 230106
c lw 230413
c lw 230431
c lw 230451
c lw 231416
c lw 232074
c lw 232109
c lw 232159
c lw 232372
c lw 232374
c lw 232804
c lw 232839
c lw 233218
c lw 233245
c lw 234638
c lw 234696
c lw 234814
c lw 235720
c lw 235807
c lw 235992
c lw 236534
c lw 236624
c lw 236780
c lw 237020
c lw 237054
c lw 237070
c lw 237081
c lw 237111
c lw 237205
c lw 237213
c lw 237569
c lw 237696
c lw 237723
c lw 237825
c lw 237853
c lw 237991
c lw 238082
c lw 238090
c lw 238092
c lw 238227
c lw 238746
c lw 238766
c lw 238837
c lw 240183
c lw 240538
c lw 240707
c lw 240844
c lw 241962
c lw 242100
c lw 242171
c lw 242848
c lw 242864
c lw 243228
c lw 243970
c lw 244489
c lw 244525
c lw 244779
c lw 244796
c lw 244815
c lw 244854
c lw 244863
c lw 244870
c lw 244977
c lw 244981
c lw 245109
c lw 245178
c lw 245537
c lw 245574
c lw 246066
c lw 246067
c lw 246069
c lw 246072
c lw 246077
c lw 246080
c lw 246091
c lw 246092
c lw 246093
c lw 246095
c lw 246100
c lw 246101
c lw 246105
c lw 246126
c lw 246128
c lw 246133
c lw 246154
c lw 246157
c lw 246170
c lw 246179
c lw 246187
c lw 246188
c lw 246196
c lw 246322
c lw 246328
c lw 246507
c lw 246526
c lw 246563
c lw 246595
c lw 246654
c lw 246955
c lw 247485
c lw 248097
c lw 248392
c lw 248530
c lw 248562
c lw 248602
c lw 249358
c lw 249724
c lw 249776
c lw 250157
c lw 250502
c lw 250565
c lw 250973
c lw 251072
c lw 251132
c lw 251161
c lw 251657
c lw 251682
c lw 252001
c lw 252794
c lw 253117
c lw 253193
c lw 253274
c lw 253355
c lw 253436
c lw 253645
c lw 253945
c lw 254812
c lw 255180
c lw 255434
c lw 255576
c lw 255835
c lw 255853
c lw 255950
c lw 255993
c lw 256055
c lw 256085
c lw 256098
c lw 256136
c lw 256167
c lw 256282
c lw 256336
c lw 256342
c lw 256364
c lw 256413
c lw 257496
c lw 257636
c lw 257730
c lw 257841
c lw 257953
c lw 259000
c lw 259586
c lw 259591
c lw 259595
c lw 259682
c lw 259825
c lw 259959
c lw 259999
c lw 260709
c lw 261241
c lw 261674
c lw 261918
c lw 262243
c lw 262623
c lw 262841
c lw 263137
c lw 263649
c lw 263788
c lw 263983
c lw 263997
c lw 264006
c lw 264028
c lw 264036
c lw 264721
c lw 265163
c lw 265504
c lw 266002
c lw 266030
c lw 266050
c lw 266103
c lw 266351
c lw 266566
c lw 267379
c lw 267687
c lw 267953
c lw 268064
c lw 268080
c lw 268248
c lw 268258
c lw 268377
c lw 268522
c lw 268524
c lw 268530
c lw 268540
c lw 268543
c lw 268687
c lw 268689
c lw 269254
c lw 269554
c lw 269555
c lw 269591
c lw 269802
c lw 269805
c lw 269824
c lw 269849
c lw 269868
c lw 269871
c lw 269880
c lw 269896
c lw 269906
c lw 269941
c lw 269943
c lw 270024
c lw 270209
c lw 270300
c lw 270308
c lw 270318
c lw 270319
c lw 270327
c lw 270390
c lw 270397
c lw 270398
c lw 270420
c lw 270430
c lw 270443
c lw 270450
c lw 270459
c lw 270487
c lw 270592
c lw 270593
c lw 270636
c lw 270732
c lw 270744
c lw 270760
c lw 270774
c lw 270781
c lw 270782
c lw 270786
c lw 271387
c lw 271899
c lw 271942
c lw 272426
c lw 272843
c lw 273597
c lw 273721
c lw 274420
c lw 274732
c lw 274785
c lw 274906
c lw 274908
c lw 275618
c lw 275943
c lw 276708
c lw 276883
c lw 276957
c lw 277451
c lw 278508
c lw 278602
c lw 278956
c lw 279013
c lw 279075
c lw 279143
c lw 279345
c lw 279507
c lw 279963
c lw 280444
c lw 281500
c lw 281623
c lw 281686
c lw 282220
c lw 282228
c lw 282229
c lw 282231
c lw 282233
c lw 282235
c lw 282244
c lw 282250
c lw 282263
c lw 282264
c lw 282269
c lw 282272
c lw 282273
c lw 282277
c lw 282283
c lw 282292
c lw 282294
c lw 282296
c lw 282316
c lw 282318
c lw 282327
c lw 283319
c lw 283661
c lw 283750
c lw 284201
c lw 284351
c lw 284429
c lw 284681
c lw 284787
c lw 285770
c lw 285876
c lw 285878
c lw 285883
c lw 285913
c lw 285976
c lw 285977
c lw 285978
c lw 285981
c lw 285982
c lw 285983
c lw 285984
c lw 285985
c lw 285986
c lw 285987
c lw 285988
c lw 286603
c lw 286687
c lw 286781
c lw 286841
c lw 287020
c lw 287062
c lw 287604
c lw 288198
c lw 288239
c lw 288380
c lw 288628
c lw 289046
c lw 289449
c lw 289453
c lw 289454
c lw 289466
c lw 289502
c lw 289544
c lw 289635
c lw 289774
c lw 289996
c lw 289997
c lw 290682
c lw 290689
c lw 290724
c lw 291930
c lw 292314
c lw 292408
c lw 292412
c lw 292817
c lw 292876
c lw 292878
c lw 293046
c lw 293047
c lw 293048
c lw 293049
c lw 293050
c lw 293051
c lw 293052
c lw 293053
c lw 293054
c lw 293055
c lw 293056
c lw 293057
c lw 293058
c lw 293059
c lw 293060
c lw 293061
c lw 293062
c lw 293063
c lw 293064
c lw 293065
c lw 293066
c lw 293067
c lw 293068
c lw 293070
c lw 293071
c lw 293072
c lw 293073
c lw 293074
c lw 293075
c lw 293076
c lw 293077
c lw 293078
c lw 293079
c lw 293080
c lw 293081
c lw 293082
c lw 293083
c lw 293084
Killed
1812.839u 6.946s 30:21.00 99.9%	0+0k 0+0io 2pf+0w