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-240-1_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 297
c lw 1385
c lw 2983
c lw 4131
c lw 6723
c lw 7745
c lw 8898
c lw 10204
c lw 11148
c lw 11374
c lw 11777
c lw 12977
c lw 14003
c lw 14727
c lw 16101
c lw 17280
c lw 18230
c lw 19563
c lw 19648
c lw 20220
c lw 21210
c lw 22066
c lw 23313
c lw 23919
c lw 24264
c lw 25903
c lw 27643
c lw 28711
c lw 29001
c lw 29397
c lw 30104
c lw 31076
c lw 31857
c lw 33211
c lw 33480
c lw 33563
c lw 33824
c lw 34443
c lw 34994
c lw 35127
c lw 36456
c lw 36724
c lw 37095
c lw 38348
c lw 38793
c lw 38972
c lw 39018
c lw 39202
c lw 39247
c lw 39526
c lw 40048
c lw 40439
c lw 40448
c lw 41373
c lw 41438
c lw 41686
c lw 41802
c lw 41874
c lw 42174
c lw 42643
c lw 42677
c lw 42700
c lw 43384
c lw 44213
c lw 44624
c lw 45549
c lw 45792
c lw 46360
c lw 46511
c lw 46798
c lw 46848
c lw 47253
c lw 47329
c lw 47723
c lw 48094
c lw 48410
c lw 48992
c lw 49041
c lw 49538
c lw 49861
c lw 49921
c lw 50041
c lw 50136
c lw 50737
c lw 51062
c lw 51577
c lw 52144
c lw 52192
c lw 52249
c lw 53099
c lw 53101
c lw 53618
c lw 53803
c lw 53862
c lw 54534
c lw 54818
c lw 55129
c lw 55135
c lw 55712
c lw 56111
c lw 56380
c lw 56406
c lw 56523
c lw 56632
c lw 57190
c lw 57251
c lw 57558
c lw 57929
c lw 58020
c lw 58589
c lw 58932
c lw 58997
c lw 59207
c lw 59311
c lw 60029
c lw 60805
c lw 61483
c lw 61642
c lw 61783
c lw 61857
c lw 62554
c lw 62833
c lw 63112
c lw 63410
c lw 63594
c lw 64038
c lw 64060
c lw 64123
c lw 64905
c lw 64958
c lw 65167
c lw 65222
c lw 65465
c lw 65609
c lw 66141
c lw 66292
c lw 66466
c lw 67406
c lw 67418
c lw 67868
c lw 68404
c lw 69588
c lw 69727
c lw 69914
c lw 70379
c lw 70670
c lw 71685
c lw 71805
c lw 72025
c lw 72317
c lw 72389
c lw 72476
c lw 72596
c lw 73049
c lw 73275
c lw 73705
c lw 74646
c lw 74828
c lw 74831
c lw 74898
c lw 75012
c lw 75073
c lw 75151
c lw 75166
c lw 75469
c lw 76277
c lw 76290
c lw 76360
c lw 76372
c lw 76557
c lw 76766
c lw 76816
c lw 77082
c lw 77177
c lw 77917
c lw 78582
c lw 79053
c lw 79151
c lw 79531
c lw 79596
c lw 79615
c lw 79662
c lw 79826
c lw 80151
c lw 80654
c lw 80791
c lw 80942
c lw 81358
c lw 81490
c lw 81746
c lw 82527
c lw 82693
c lw 82889
c lw 84146
c lw 84149
c lw 85394
c lw 85615
c lw 85737
c lw 85869
c lw 86409
c lw 86465
c lw 86760
c lw 87542
c lw 87654
c lw 87786
c lw 87822
c lw 88497
c lw 89422
c lw 89560
c lw 90093
c lw 90826
c lw 90909
c lw 90968
c lw 90981
c lw 91188
c lw 91748
c lw 91753
c lw 92010
c lw 92335
c lw 92341
c lw 92509
c lw 92684
c lw 92707
c lw 92734
c lw 92972
c lw 93022
c lw 93681
c lw 93764
c lw 94162
c lw 94383
c lw 94444
c lw 94483
c lw 95162
c lw 95217
c lw 96375
c lw 96470
c lw 96493
c lw 96845
c lw 96956
c lw 97807
c lw 97856
c lw 97960
c lw 98367
c lw 98529
c lw 98649
c lw 98958
c lw 99011
c lw 99217
c lw 99229
c lw 99711
c lw 99956
c lw 100073
c lw 100388
c lw 100596
c lw 100941
c lw 100966
c lw 101036
c lw 101083
c lw 101317
c lw 101379
c lw 101620
c lw 101676
c lw 101939
c lw 102651
c lw 102742
c lw 102932
c lw 103119
c lw 103215
c lw 104448
c lw 104805
c lw 105316
c lw 105400
c lw 105482
c lw 105643
c lw 105732
c lw 106455
c lw 106615
c lw 106884
c lw 106899
c lw 107169
c lw 107281
c lw 107732
c lw 107977
c lw 108130
c lw 108256
c lw 108469
c lw 108542
c lw 108626
c lw 109061
c lw 109412
c lw 109458
c lw 109583
c lw 109815
c lw 109896
c lw 109917
c lw 109959
c lw 109972
c lw 110800
c lw 111539
c lw 111633
c lw 112295
c lw 112523
c lw 112643
c lw 112937
c lw 113158
c lw 113234
c lw 113586
c lw 114394
c lw 115104
c lw 115164
c lw 115520
c lw 115562
c lw 115631
c lw 115786
c lw 115917
c lw 115962
c lw 115970
c lw 116329
c lw 116504
c lw 116811
c lw 117382
c lw 117548
c lw 118207
c lw 118316
c lw 118426
c lw 118478
c lw 119110
c lw 119311
c lw 119820
c lw 120242
c lw 120275
c lw 120682
c lw 120693
c lw 120965
c lw 120979
c lw 121096
c lw 121223
c lw 121402
c lw 121462
c lw 121750
c lw 121934
c lw 122201
c lw 122478
c lw 122628
c lw 122633
c lw 122688
c lw 123006
c lw 123099
c lw 123182
c lw 123331
c lw 123520
c lw 123610
c lw 123922
c lw 124068
c lw 124940
c lw 124954
c lw 125224
c lw 125277
c lw 125848
c lw 125850
c lw 126156
c lw 126292
c lw 126308
c lw 126312
c lw 126548
c lw 126565
c lw 126958
c lw 127051
c lw 127579
c lw 128226
c lw 128422
c lw 128547
c lw 128701
c lw 128961
c lw 129079
c lw 130191
c lw 130352
c lw 130366
c lw 130389
c lw 130482
c lw 130678
c lw 131326
c lw 131570
c lw 131718
c lw 131932
c lw 132274
c lw 133194
c lw 133297
c lw 133530
c lw 133665
c lw 133688
c lw 133768
c lw 133821
c lw 133836
c lw 133855
c lw 133870
c lw 133893
c lw 133896
c lw 133907
c lw 133918
c lw 133948
c lw 133971
c lw 133985
c lw 133998
c lw 134011
c lw 134181
c lw 134188
c lw 134297
c lw 134868
c lw 134964
c lw 135305
c lw 135315
c lw 136305
c lw 136552
c lw 136849
c lw 137324
c lw 137340
c lw 137643
c lw 137815
c lw 138068
c lw 138113
c lw 138186
c lw 138364
c lw 138895
c lw 138939
c lw 139558
c lw 139768
c lw 139962
c lw 140135
c lw 140288
c lw 140468
c lw 140750
c lw 140800
c lw 141238
c lw 141336
c lw 141362
c lw 141799
c lw 141858
c lw 142018
c lw 143053
c lw 143133
c lw 144079
c lw 144122
c lw 144280
c lw 144332
c lw 144372
c lw 144421
c lw 144593
c lw 144683
c lw 145059
c lw 145286
c lw 145296
c lw 145976
c lw 146095
c lw 146145
c lw 146151
c lw 146168
c lw 146288
c lw 146319
c lw 146584
c lw 146644
c lw 147452
c lw 147512
c lw 147559
c lw 148634
c lw 148675
c lw 148692
c lw 148753
c lw 148839
c lw 148953
c lw 149097
c lw 149105
c lw 149178
c lw 149188
c lw 149266
c lw 149292
c lw 149499
c lw 150114
c lw 150743
c lw 150976
c lw 151006
c lw 151018
c lw 151318
c lw 151479
c lw 151675
c lw 151695
c lw 152056
c lw 152327
c lw 153092
c lw 153233
c lw 153558
c lw 153652
c lw 154025
c lw 154242
c lw 154331
c lw 154689
c lw 154709
c lw 154783
c lw 155510
c lw 155686
c lw 155734
c lw 155891
c lw 155964
c lw 155990
c lw 156380
c lw 156432
c lw 156446
c lw 156460
c lw 157154
c lw 157235
c lw 157249
c lw 157263
c lw 157526
c lw 157787
c lw 157938
c lw 157952
c lw 157956
c lw 157966
c lw 158055
c lw 158191
c lw 158257
c lw 158473
c lw 158778
c lw 159040
c lw 159146
c lw 159192
c lw 159194
c lw 159225
c lw 159501
c lw 159560
c lw 159571
c lw 159779
c lw 159809
c lw 159947
c lw 159961
c lw 160725
c lw 160743
c lw 160746
c lw 160747
c lw 160748
c lw 160773
c lw 160851
c lw 160859
c lw 160860
c lw 161151
c lw 161512
c lw 161596
c lw 161812
c lw 161896
c lw 162083
c lw 162097
c lw 162101
c lw 162107
c lw 162113
c lw 162234
c lw 162332
c lw 162694
c lw 162878
c lw 162976
c lw 163708
c lw 164531
c lw 164923
c lw 164939
c lw 165140
c lw 165150
c lw 165155
c lw 165194
c lw 165384
c lw 165678
c lw 165683
c lw 165694
c lw 166070
c lw 166471
c lw 166949
c lw 166953
c lw 166955
c lw 166958
c lw 167137
c lw 167165
c lw 168110
c lw 168149
c lw 168474
c lw 168534
c lw 169176
c lw 169500
c lw 169742
c lw 170153
c lw 170393
c lw 170595
c lw 171005
c lw 171041
c lw 171230
c lw 171250
c lw 172663
c lw 172737
c lw 172739
c lw 172749
c lw 173041
c lw 173227
c lw 173372
c lw 173843
c lw 173958
c lw 174094
c lw 174219
c lw 174533
c lw 175041
c lw 175189
c lw 175502
c lw 175558
c lw 176002
c lw 176003
c lw 176009
c lw 176020
c lw 176033
c lw 176034
c lw 176051
c lw 176052
c lw 176053
c lw 176069
c lw 176079
c lw 176084
c lw 176112
c lw 176115
c lw 176120
c lw 176904
c lw 176972
c lw 177026
c lw 177153
c lw 177206
c lw 177912
c lw 178057
c lw 178411
c lw 178704
c lw 178917
c lw 179036
c lw 179424
c lw 179484
c lw 179709
c lw 179936
c lw 180603
c lw 180863
c lw 180868
c lw 180951
c lw 181397
c lw 181864
c lw 181960
c lw 181961
c lw 181965
c lw 182048
c lw 182203
c lw 183093
c lw 183112
c lw 183113
c lw 183173
c lw 183177
c lw 183189
c lw 183228
c lw 183237
c lw 183246
c lw 183261
c lw 183439
c lw 184695
c lw 184727
c lw 185523
c lw 185549
c lw 185790
c lw 186260
c lw 186365
c lw 186501
c lw 186567
c lw 186730
c lw 187011
c lw 187378
c lw 187395
c lw 187620
c lw 187993
c lw 188221
c lw 188380
c lw 188452
c lw 188743
c lw 188978
c lw 189030
c lw 189069
c lw 189459
c lw 189478
c lw 189679
c lw 189994
c lw 190511
c lw 190820
c lw 190931
c lw 191076
c lw 191239
c lw 191789
c lw 192068
c lw 192299
c lw 192675
c lw 192969
c lw 193086
c lw 193090
c lw 193207
c lw 193630
c lw 193725
c lw 194144
c lw 194505
c lw 194767
c lw 195733
c lw 195880
c lw 196264
c lw 196614
c lw 196695
c lw 196752
c lw 196809
c lw 196836
c lw 196873
c lw 197407
c lw 198657
c lw 199173
c lw 199312
c lw 199317
c lw 199319
c lw 199529
c lw 199594
c lw 199613
c lw 200423
c lw 201531
c lw 201981
c lw 202467
c lw 202472
c lw 203268
c lw 203462
c lw 203576
c lw 203757
c lw 204017
c lw 204167
c lw 204574
c lw 204647
c lw 204892
c lw 205074
c lw 205202
c lw 205262
c lw 205335
c lw 205536
c lw 206409
c lw 206426
c lw 206768
c lw 207107
c lw 207116
c lw 207176
c lw 207203
c lw 207222
c lw 207225
c lw 207227
c lw 207236
c lw 207241
c lw 207244
c lw 207246
c lw 207263
c lw 207264
c lw 207272
c lw 207276
c lw 207280
c lw 207281
c lw 207285
c lw 207287
c lw 207288
c lw 207289
c lw 207292
c lw 207293
c lw 207295
c lw 207298
c lw 207301
c lw 207303
c lw 207313
c lw 207314
c lw 207316
c lw 207327
c lw 207329
c lw 207332
c lw 207337
c lw 207342
c lw 207344
c lw 207345
c lw 207346
c lw 207347
c lw 207349
c lw 207350
c lw 207352
c lw 207353
c lw 207354
c lw 207355
c lw 207356
c lw 207357
c lw 207358
c lw 207359
c lw 207361
c lw 207362
c lw 207363
c lw 207364
c lw 207365
c lw 207366
c lw 207367
c lw 207368
c lw 207369
c lw 207370
c lw 207371
c lw 207372
c lw 207373
c lw 207374
c lw 207375
c lw 207376
c lw 207377
c lw 207415
c lw 207582
c lw 207619
c lw 208035
c lw 209166
c lw 209421
c lw 209478
c lw 209538
c lw 209994
c lw 210011
c lw 210386
c lw 211694
c lw 211819
c lw 211865
c lw 212495
c lw 213023
c lw 213181
c lw 213353
c lw 213587
c lw 214401
c lw 214991
c lw 215104
c lw 215151
c lw 215252
c lw 215681
c lw 215702
c lw 215733
c lw 216032
c lw 216122
c lw 216200
c lw 216202
c lw 216223
c lw 216233
c lw 216241
c lw 216272
c lw 216303
c lw 216356
c lw 216371
c lw 216378
c lw 216890
c lw 217449
c lw 217455
c lw 217526
c lw 217585
c lw 217745
c lw 218207
c lw 218451
c lw 218676
c lw 218735
c lw 218940
c lw 218957
c lw 218974
c lw 220004
c lw 220108
c lw 220828
c lw 221218
c lw 221401
c lw 221525
c lw 221643
c lw 221916
c lw 222001
c lw 222028
c lw 222179
c lw 222189
c lw 222194
c lw 222303
c lw 222304
c lw 222318
c lw 222353
c lw 222433
c lw 222690
c lw 223322
c lw 223324
c lw 223388
c lw 223389
c lw 223390
c lw 223391
c lw 223392
c lw 223393
c lw 223394
c lw 223395
c lw 223396
c lw 223397
c lw 223398
c lw 223399
c lw 223400
c lw 223401
c lw 223402
c lw 223403
c lw 223404
c lw 223405
c lw 223406
c lw 223407
c lw 223408
c lw 223409
c lw 223410
c lw 223411