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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 531
c lw 1189
c lw 2871
c lw 3546
c lw 4613
c lw 6384
c lw 7462
c lw 8612
c lw 8747
c lw 8990
c lw 10704
c lw 11538
c lw 12235
c lw 12301
c lw 12551
c lw 12820
c lw 13937
c lw 14174
c lw 15211
c lw 16542
c lw 18536
c lw 18813
c lw 19398
c lw 19494
c lw 20208
c lw 20623
c lw 21393
c lw 22497
c lw 23367
c lw 25110
c lw 26696
c lw 27097
c lw 28007
c lw 28832
c lw 29455
c lw 30511
c lw 31068
c lw 32338
c lw 33354
c lw 34804
c lw 35510
c lw 35615
c lw 35800
c lw 37226
c lw 38795
c lw 38877
c lw 40359
c lw 40635
c lw 41452
c lw 41559
c lw 42316
c lw 42873
c lw 43039
c lw 43337
c lw 43369
c lw 44347
c lw 44379
c lw 45742
c lw 45812
c lw 45852
c lw 46305
c lw 46648
c lw 47503
c lw 48126
c lw 48926
c lw 48983
c lw 49116
c lw 49453
c lw 49993
c lw 50106
c lw 50213
c lw 50343
c lw 50711
c lw 51143
c lw 51642
c lw 51770
c lw 52232
c lw 52274
c lw 52684
c lw 53299
c lw 54164
c lw 55249
c lw 55344
c lw 55414
c lw 55656
c lw 56501
c lw 56593
c lw 56805
c lw 56989
c lw 57926
c lw 58310
c lw 59128
c lw 59415
c lw 59625
c lw 60046
c lw 61408
c lw 62494
c lw 62747
c lw 63222
c lw 63525
c lw 63551
c lw 63814
c lw 64466
c lw 64484
c lw 64851
c lw 65243
c lw 65869
c lw 66441
c lw 67208
c lw 67319
c lw 67491
c lw 67625
c lw 67836
c lw 68247
c lw 68350
c lw 68369
c lw 68854
c lw 69007
c lw 69298
c lw 69458
c lw 69703
c lw 70446
c lw 70655
c lw 71111
c lw 71194
c lw 71980
c lw 72058
c lw 72151
c lw 72199
c lw 73745
c lw 73779
c lw 73821
c lw 75108
c lw 75533
c lw 77126
c lw 77205
c lw 77542
c lw 78382
c lw 78427
c lw 78787
c lw 78826
c lw 78868
c lw 79226
c lw 79507
c lw 79800
c lw 80158
c lw 80192
c lw 80872
c lw 81084
c lw 81178
c lw 82094
c lw 82808
c lw 82816
c lw 83103
c lw 83301
c lw 83335
c lw 84486
c lw 85117
c lw 85398
c lw 85489
c lw 86542
c lw 86601
c lw 86675
c lw 87038
c lw 87493
c lw 87657
c lw 88042
c lw 88175
c lw 88316
c lw 89268
c lw 89681
c lw 90766
c lw 90792
c lw 90800
c lw 91314
c lw 91358
c lw 91492
c lw 91904
c lw 92539
c lw 92886
c lw 93044
c lw 93304
c lw 93567
c lw 93695
c lw 93763
c lw 93850
c lw 94146
c lw 94422
c lw 94970
c lw 95766
c lw 96161
c lw 96466
c lw 97152
c lw 97555
c lw 98373
c lw 99146
c lw 99733
c lw 100169
c lw 100271
c lw 100432
c lw 100548
c lw 100785
c lw 100872
c lw 102240
c lw 102365
c lw 102607
c lw 102886
c lw 104182
c lw 104200
c lw 104260
c lw 104486
c lw 104510
c lw 104558
c lw 104603
c lw 104702
c lw 104815
c lw 104999
c lw 105286
c lw 105496
c lw 105917
c lw 105964
c lw 106100
c lw 106446
c lw 106501
c lw 106522
c lw 106990
c lw 107586
c lw 107791
c lw 107809
c lw 108188
c lw 108593
c lw 108841
c lw 109068
c lw 109553
c lw 109895
c lw 109921
c lw 110184
c lw 110579
c lw 110815
c lw 110833
c lw 111019
c lw 111200
c lw 111592
c lw 111650
c lw 111887
c lw 111976
c lw 112600
c lw 112921
c lw 113250
c lw 113729
c lw 113840
c lw 113883
c lw 114012
c lw 114146
c lw 114356
c lw 114434
c lw 115243
c lw 115339
c lw 116134
c lw 116401
c lw 116798
c lw 116816
c lw 117142
c lw 117310
c lw 118305
c lw 118365
c lw 118468
c lw 118477
c lw 118555
c lw 118606
c lw 119844
c lw 120083
c lw 120848
c lw 121107
c lw 121243
c lw 121260
c lw 121551
c lw 121711
c lw 121990
c lw 122056
c lw 122151
c lw 122175
c lw 123007
c lw 123313
c lw 123524
c lw 123911
c lw 123990
c lw 124703
c lw 124892
c lw 125271
c lw 125530
c lw 125568
c lw 125589
c lw 125711
c lw 125926
c lw 126001
c lw 126692
c lw 126973
c lw 127532
c lw 127614
c lw 127687
c lw 127816
c lw 128530
c lw 128615
c lw 128860
c lw 129669
c lw 129866
c lw 130148
c lw 130318
c lw 130592
c lw 130849
c lw 130988
c lw 131218
c lw 131241
c lw 131327
c lw 131911
c lw 132204
c lw 133005
c lw 133168
c lw 133526
c lw 133627
c lw 133799
c lw 133848
c lw 134105
c lw 134333
c lw 134341
c lw 134496
c lw 134512
c lw 134653
c lw 135096
c lw 136200
c lw 136616
c lw 136750
c lw 136760
c lw 136962
c lw 137065
c lw 137085
c lw 137135
c lw 137738
c lw 137869
c lw 137942
c lw 138770
c lw 139112
c lw 139399
c lw 139452
c lw 139650
c lw 140617
c lw 140847
c lw 141077
c lw 141164
c lw 141244
c lw 141331
c lw 141346
c lw 141445
c lw 142099
c lw 142559
c lw 142627
c lw 142646
c lw 142766
c lw 143093
c lw 143980
c lw 144034
c lw 144087
c lw 144164
c lw 144181
c lw 144319
c lw 144579
c lw 144666
c lw 144732
c lw 144765
c lw 145095
c lw 145414
c lw 145616
c lw 146039
c lw 146551
c lw 147035
c lw 147077
c lw 147118
c lw 147215
c lw 147322
c lw 147648
c lw 148456
c lw 148642
c lw 148707
c lw 148968
c lw 149250
c lw 149477
c lw 149848
c lw 150076
c lw 150497
c lw 150594
c lw 150602
c lw 150719
c lw 151099
c lw 151149
c lw 151528
c lw 152335
c lw 152347
c lw 152711
c lw 152831
c lw 152867
c lw 152919
c lw 153050
c lw 153062
c lw 153086
c lw 153243
c lw 153267
c lw 153844
c lw 154188
c lw 154886
c lw 154954
c lw 155180
c lw 155388
c lw 155570
c lw 155580
c lw 155612
c lw 156252
c lw 156325
c lw 156399
c lw 157074
c lw 157094
c lw 157172
c lw 157359
c lw 157365
c lw 157403
c lw 157465
c lw 157475
c lw 157563
c lw 157825
c lw 158576
c lw 158647
c lw 159643
c lw 159983
c lw 160432
c lw 160753
c lw 160934
c lw 161154
c lw 161157
c lw 161592
c lw 161804
c lw 162071
c lw 162399
c lw 162975
c lw 163155
c lw 163979
c lw 164944
c lw 166117
c lw 166254
c lw 166441
c lw 166555
c lw 166605
c lw 166924
c lw 167022
c lw 167037
c lw 167503
c lw 167732
c lw 168192
c lw 168635
c lw 169027
c lw 169142
c lw 169294
c lw 169573
c lw 169617
c lw 169914
c lw 169946
c lw 170326
c lw 170815
c lw 170915
c lw 171238
c lw 171308
c lw 171490
c lw 171540
c lw 171700
c lw 172063
c lw 172131
c lw 172197
c lw 172450
c lw 173226
c lw 173228
c lw 173542
c lw 173795
c lw 174946
c lw 175220
c lw 175350
c lw 175388
c lw 175407
c lw 175492
c lw 175533
c lw 175744
c lw 175758
c lw 175820
c lw 175822
c lw 175861
c lw 175894
c lw 175984
c lw 175986
c lw 176060
c lw 176182
c lw 176227
c lw 176402
c lw 176407
c lw 176412
c lw 176415
c lw 176420
c lw 176423
c lw 176587
c lw 176632
c lw 176656
c lw 177286
c lw 177443
c lw 177454
c lw 177465
c lw 177969
c lw 178795
c lw 178919
c lw 179138
c lw 179775
c lw 179799
c lw 180293
c lw 180536
c lw 180942
c lw 181753
c lw 181772
c lw 181785
c lw 181800
c lw 182518
c lw 182521
c lw 182536
c lw 182859
c lw 182862
c lw 183080
c lw 183398
c lw 183412
c lw 183562
c lw 183669
c lw 183806
c lw 183921
c lw 183979
c lw 184056
c lw 184061
c lw 184184
c lw 184284
c lw 184304
c lw 184319
c lw 184343
c lw 184694
c lw 184702
c lw 185393
c lw 185420
c lw 185470
c lw 185571
c lw 186826
c lw 186929
c lw 187110
c lw 187389
c lw 187455
c lw 187698
c lw 187706
c lw 187856
c lw 188080
c lw 188119
c lw 188170
c lw 188361
c lw 188420
c lw 188511
c lw 188531
c lw 188963
c lw 189072
c lw 189094
c lw 189107
c lw 189115
c lw 189123
c lw 189133
c lw 189189
c lw 190032
c lw 190548
c lw 190808
c lw 191135
c lw 191426
c lw 191545
c lw 191663
c lw 191671
c lw 191701
c lw 191750
c lw 191928
c lw 192001
c lw 192019
c lw 192078
c lw 192100
c lw 192119
c lw 192120
c lw 192420
c lw 192438
c lw 193324
c lw 193439
c lw 193608
c lw 193616
c lw 193685
c lw 193742
c lw 194239
c lw 194659
c lw 194746
c lw 194858
c lw 194865
c lw 194906
c lw 195712
c lw 195823
c lw 196450
c lw 196621
c lw 196696
c lw 196736
c lw 197139
c lw 197621
c lw 198320
c lw 198426
c lw 198816
c lw 198898
c lw 198960
c lw 199061
c lw 199118
c lw 199134
c lw 199149
c lw 199218
c lw 199226
c lw 199262
c lw 199282
c lw 199298
c lw 199300
c lw 199331
c lw 199355
c lw 199362
c lw 199386
c lw 199417
c lw 199644
c lw 199814
c lw 199845
c lw 199975
c lw 200109
c lw 200811
c lw 200903
c lw 201114
c lw 201268
c lw 201334
c lw 201496
c lw 201545
c lw 201579
c lw 201678
c lw 202023
c lw 202032
c lw 202265
c lw 202273
c lw 202413
c lw 202457
c lw 202725
c lw 202804
c lw 202849
c lw 202907
c lw 202938
c lw 202957
c lw 203157
c lw 203268
c lw 203525
c lw 203874
c lw 204063
c lw 204075
c lw 204086
c lw 204344
c lw 205222
c lw 205395
c lw 205500
c lw 205502
c lw 205656
c lw 206355
c lw 207214
c lw 207283
c lw 207754
c lw 207801
c lw 208038
c lw 208232
c lw 208284
c lw 208795
c lw 208835
c lw 209148
c lw 209294
c lw 209300
c lw 209624
c lw 210070
c lw 210080
c lw 210662
c lw 210672
c lw 211014
c lw 211085
c lw 211183
c lw 211486
c lw 211816
c lw 211928
c lw 212365
c lw 212435
c lw 212524
c lw 212545
c lw 212734
c lw 213525
c lw 213999
c lw 214001
c lw 214024
c lw 214065
c lw 214127
c lw 214135
c lw 214137
c lw 215295
c lw 215360
c lw 215559
c lw 215615
c lw 215625
c lw 215648
c lw 215677
c lw 215715
c lw 215829
c lw 215875
c lw 215930
c lw 215986
c lw 216111
c lw 216118
c lw 216356
c lw 216363
c lw 216408
c lw 216452
c lw 216457
c lw 216476
c lw 216633
c lw 216736
c lw 216773
c lw 216828
c lw 216834
c lw 216839
c lw 217216
c lw 217334
c lw 217547
c lw 217561
c lw 217788
c lw 217800
c lw 217808
c lw 218228
c lw 218723
c lw 218797
c lw 218807
c lw 218812
c lw 218849
c lw 218886
c lw 219667
c lw 219726
c lw 219930
c lw 220635
c lw 220709
c lw 220760
c lw 220769
c lw 220798
c lw 220810
c lw 220818
c lw 220846
c lw 220854
c lw 220855
c lw 220879
c lw 220884
c lw 220909
c lw 220945
c lw 220957
c lw 220973
c lw 221158
c lw 221240
c lw 221250
c lw 221781
c lw 221888
c lw 222405
c lw 222406
c lw 222454
c lw 222491
c lw 222499
c lw 222539
c lw 222580
c lw 222609
c lw 222814
c lw 222859
c lw 223458
c lw 223543
c lw 223906
c lw 224304
c lw 225018
c lw 225055
c lw 225063
c lw 225064
c lw 225103
c lw 225111
c lw 225132
c lw 225746
c lw 225876
c lw 226052
c lw 226511
c lw 226708
c lw 226866
c lw 227006
c lw 227085
c lw 227184
c lw 227191
c lw 227375
c lw 227492
c lw 228008
c lw 228130
c lw 228155
c lw 228174
c lw 228453
c lw 228655
c lw 228756
c lw 228815
c lw 229197
c lw 229426
c lw 229481
c lw 229572
c lw 230874
c lw 230980
c lw 231209
c lw 231301
c lw 232173
c lw 232271
c lw 232272
c lw 232275
c lw 232315
c lw 232710
c lw 233342
c lw 233401
c lw 233789
c lw 233971
c lw 234031
c lw 234071
c lw 234100
c lw 234140
c lw 234143
c lw 234236
c lw 234276
c lw 234298
c lw 234308
c lw 234309
c lw 234393
c lw 234452
c lw 234463
c lw 234483
c lw 234491
c lw 234999
c lw 235002
c lw 235011
c lw 235014
c lw 235042
c lw 235047
c lw 235052
c lw 235055
c lw 235077
c lw 235082
c lw 235090
c lw 235095
c lw 235119
c lw 235136
c lw 235168
c lw 235171
c lw 235176
c lw 235191
c lw 235504
c lw 235507
c lw 235509
c lw 235515
c lw 235517
c lw 235545
c lw 235559
c lw 235684
c lw 235686
c lw 235687
c lw 235692
c lw 235694
c lw 235706
c lw 235707
c lw 235715
c lw 235717
c lw 235725
c lw 235732
c lw 235753
c lw 235760
c lw 235775
c lw 235796
c lw 235799
c lw 235842
c lw 235844
c lw 235847
c lw 235881
c lw 235900
c lw 235907
c lw 236003
c lw 236004
c lw 236023
c lw 236149
c lw 236151
c lw 236153
c lw 236156
c lw 236159
c lw 236161
c lw 236162
c lw 236166
c lw 236167
c lw 236174
c lw 236176
c lw 236180
c lw 236182
c lw 236184
c lw 236205
c lw 236207
c lw 236216
c lw 236248
c lw 236249
c lw 236251
c lw 236655
c lw 236667
c lw 236762
c lw 236851
c lw 236856
c lw 236860
c lw 236863
c lw 236865
c lw 236866
c lw 236868
c lw 236871
c lw 237186
c lw 237198
c lw 238678
c lw 238695
c lw 238699
c lw 238704
c lw 238709
c lw 238719
c lw 238720
c lw 238723
c lw 238731
c lw 238737
c lw 238748
c lw 238995
c lw 239687
c lw 240944
c lw 241039
c lw 241520
c lw 241664
c lw 242277
c lw 242565
c lw 242595
c lw 242704
c lw 242913
c lw 242915
c lw 243199
c lw 243524
c lw 243527
c lw 243759
c lw 243927
c lw 244337
c lw 244581
c lw 245048
c lw 245141
c lw 245166
c lw 245687
c lw 246008
c lw 246906
c lw 246960
c lw 246964
c lw 247023
c lw 247024
c lw 247027
c lw 247047
c lw 247055
c lw 247068
c lw 247086
c lw 247088
c lw 247091
c lw 247094
c lw 247096
c lw 247097
c lw 247101
c lw 247102
c lw 247108
c lw 247109
c lw 247110
c lw 247111
c lw 247115
c lw 247117
c lw 247118
c lw 247119
c lw 247130
c lw 247131
c lw 247132
c lw 247134
c lw 247135
c lw 247136
c lw 247138
c lw 247140
c lw 247141
c lw 247142
c lw 247460
c lw 247866
c lw 248092
c lw 248490
c lw 248745
c lw 248904
c lw 250253
c lw 250309
c lw 250665
c lw 250899
c lw 250952
c lw 251027
c lw 251164
c lw 251186
c lw 251280
c lw 251338
c lw 251355
c lw 251834
c lw 252031
c lw 252186
c lw 252204
c lw 252262
c lw 252383
c lw 252408
c lw 252656
c lw 252658
c lw 252673
c lw 252674
c lw 252676
c lw 252677
c lw 252683
c lw 253912
c lw 253930
c lw 253994
c lw 254290
c lw 254339
c lw 254353
c lw 254574
c lw 254851
c lw 255570
c lw 256031
c lw 256176
c lw 256699
c lw 256857
c lw 257002
c lw 257076
c lw 257166
c lw 258150
c lw 258448
c lw 258668
c lw 259658
c lw 259851
c lw 259890
c lw 259913
c lw 260834
c lw 261251
c lw 261305
c lw 261441
c lw 261469
c lw 262319
c lw 262376
c lw 262446
c lw 262639
c lw 263081
c lw 263556
c lw 263564
c lw 263571
c lw 263611
c lw 263617
c lw 263629
c lw 263838
c lw 263897
c lw 263929
c lw 264682
c lw 264691
c lw 266248
c lw 266610
c lw 267407
c lw 267637
c lw 267956
c lw 268377
c lw 268744
c lw 268784
c lw 269087
c lw 269162
c lw 269606
c lw 269615
c lw 269621
c lw 270119
c lw 270192
c lw 271166
c lw 272002
c lw 272208
c lw 272373
c lw 272562
c lw 272630
c lw 272981
c lw 272994
c lw 273491
c lw 273637
c lw 273866
c lw 273891
c lw 273926
c lw 274255
c lw 274755
c lw 274893
c lw 275139
c lw 275220
c lw 275228
c lw 275345
c lw 275393
c lw 275461
c lw 276019
c lw 276208
c lw 276416
c lw 276435
c lw 276439
c lw 276611
c lw 276613
c lw 276615
c lw 276641
c lw 276723
c lw 276733
c lw 276839
c lw 276844
c lw 276850
c lw 276869
c lw 276874
c lw 276879
c lw 276884
c lw 276885
c lw 276889
c lw 276894
c lw 276995
c lw 277087
c lw 277298
c lw 277392
c lw 277470
c lw 277475
c lw 277551
c lw 277868
c lw 277879
c lw 277896
c lw 278122
c lw 278144
c lw 279330
c lw 279372
c lw 279510
c lw 279514
c lw 279574
c lw 280262
c lw 280329
c lw 280356
c lw 280572
c lw 280596
c lw 280716
c lw 280719
c lw 280842
c lw 280924
c lw 282032
c lw 282212
c lw 282519
c lw 283409
c lw 283609
c lw 283650
c lw 284018
c lw 284105
c lw 284113
c lw 284114
c lw 284695
c lw 284697
c lw 284700
c lw 284701
c lw 284884
c lw 285012
c lw 285015
c lw 285018
c lw 285019
c lw 285026
c lw 285030
c lw 285032
c lw 285037
c lw 285042
c lw 285045
c lw 285051
c lw 285056
c lw 285060
c lw 285061
c lw 285063
c lw 285066
c lw 285077
c lw 285078
c lw 285081
c lw 285091
c lw 285092
c lw 285101
c lw 285109
c lw 285110
c lw 285112
c lw 285115
c lw 285116
c lw 285118
c lw 285121
c lw 285122
c lw 285123
c lw 285124
c lw 285125
c lw 285126
c lw 285127
c lw 285128
c lw 285129
c lw 285130
c lw 285131
c lw 285133
c lw 285135
c lw 285136
c lw 285137
c lw 285138
c lw 285140
c lw 285141
c lw 285143
c lw 285145
c lw 285146
c lw 285147
c lw 285148
c lw 285149
c lw 285150
c lw 285151
c lw 285152
c lw 285153
c lw 285154
c lw 285155
c lw 285156
c lw 285157
c lw 285158
c lw 285159
c lw 285160
c lw 285161
c lw 285162
c lw 285163
c lw 285164
c lw 285165
c lw 285166
c lw 285167
c lw 285168
c lw 285169
c lw 285170
c lw 285171
c lw 285172
c lw 285173
c lw 285174
c lw 285175
c lw 285176
c lw 285177
c lw 285178
c lw 285179
c lw 285180
c lw 285181
c lw 285182
c lw 285183
c lw 285184
c lw 285185
c lw 285186
c lw 285187
c lw 285188
c lw 285189
c lw 285190
c lw 285191
c lw 285192
c lw 285193
c lw 285194
c lw 285195
c lw 285196
c lw 285197
c lw 285198
c lw 285199
c lw 285200
c lw 285201
c lw 285202
c lw 285203
c lw 285233
c lw 285431
c lw 285432
c lw 285433
c lw 285434
c lw 285435
c lw 285436
c lw 285437
c lw 285438
c lw 285439
c lw 285440
c lw 285441
c lw 285442
c lw 285444
c lw 285445
c lw 285446
c lw 285447
Killed
1808.815u 10.961s 30:20.01 99.9%	0+0k 0+0io 0pf+0w