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-40-2_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 331
c lw 831
c lw 1284
c lw 2251
c lw 4029
c lw 5191
c lw 5617
c lw 6398
c lw 6544
c lw 6703
c lw 6926
c lw 6979
c lw 7520
c lw 8049
c lw 8320
c lw 8322
c lw 8388
c lw 8422
c lw 8935
c lw 8989
c lw 9651
c lw 9802
c lw 10268
c lw 10270
c lw 10589
c lw 10643
c lw 11065
c lw 11256
c lw 11287
c lw 11596
c lw 11762
c lw 11811
c lw 11886
c lw 12002
c lw 12232
c lw 12410
c lw 12544
c lw 12583
c lw 12706
c lw 12799
c lw 12807
c lw 13018
c lw 13276
c lw 13389
c lw 13589
c lw 13688
c lw 13755
c lw 13757
c lw 13902
c lw 14174
c lw 14486
c lw 14547
c lw 14559
c lw 14605
c lw 14911
c lw 15297
c lw 15502
c lw 15596
c lw 15811
c lw 15931
c lw 15986
c lw 16014
c lw 16146
c lw 16154
c lw 16182
c lw 16187
c lw 16195
c lw 16235
c lw 16253
c lw 16262
c lw 16265
c lw 16816
c lw 16818
c lw 16887
c lw 16934
c lw 16942
c lw 16975
c lw 16999
c lw 17012
c lw 17049
c lw 17058
c lw 17107
c lw 17274
c lw 17319
c lw 17392
c lw 17791
c lw 17902
c lw 17936
c lw 18022
c lw 18050
c lw 18127
c lw 18189
c lw 18234
c lw 18265
c lw 18307
c lw 18341
c lw 18501
c lw 18873
c lw 18887
c lw 18912
c lw 19022
c lw 19037
c lw 19051
c lw 19068
c lw 19084
c lw 19126
c lw 19129
c lw 19136
c lw 19140
c lw 19160
c lw 19178
c lw 19202
c lw 19232
c lw 19236
c lw 19237
c lw 19401
c lw 19620
c lw 19632
c lw 19655
c lw 19656
c lw 19660
c lw 19675
c lw 19688
c lw 20034
c lw 20042
c lw 20258
c lw 20307
c lw 20607
c lw 20748
c lw 20759
c lw 20790
c lw 20888
c lw 20922
c lw 21070
c lw 21091
c lw 21150
c lw 21218
c lw 21251
c lw 21295
c lw 21304
c lw 21371
c lw 21501
c lw 21510
c lw 21666
c lw 21749
c lw 21787
c lw 21793
c lw 21838
c lw 21922
c lw 21925
c lw 21936
c lw 21960
c lw 22007
c lw 22196
c lw 22292
c lw 22408
c lw 22419
c lw 22478
c lw 22512
c lw 22630
c lw 23759
c lw 23969
c lw 23996
c lw 24099
c lw 24117
c lw 24134
c lw 24208
c lw 24271
c lw 24287
c lw 24331
c lw 24360
c lw 24405
c lw 24449
c lw 24487
c lw 24525
c lw 24536
c lw 24893
c lw 25054
c lw 25075
c lw 25131
c lw 25142
c lw 25312
c lw 25446
c lw 25543
c lw 25600
c lw 25669
c lw 26441
c lw 26510
c lw 26873
c lw 26914
c lw 26942
c lw 26975
c lw 26983
c lw 27001
c lw 27017
c lw 27019
c lw 27030
c lw 27034
c lw 27055
c lw 27066
c lw 27074
c lw 27099
c lw 27101
c lw 27107
c lw 27127
c lw 27135
c lw 27149
c lw 27162
c lw 27164
c lw 27290
c lw 27470
c lw 27472
c lw 27483
c lw 27484
c lw 27485
c lw 27487
c lw 27495
c lw 27497
c lw 27503
c lw 27505
c lw 27508
c lw 27511
c lw 27517
c lw 27519
c lw 27634
c lw 28350
c lw 28524
c lw 29422
c lw 29512
c lw 29549
c lw 29646
c lw 29655
c lw 29741
c lw 29870
c lw 29905
c lw 29907
c lw 29910
c lw 29911
c lw 29913
c lw 29916
c lw 29917
c lw 29919
c lw 29921
c lw 29927
c lw 29929
c lw 29937
c lw 29939
c lw 29940
c lw 29941
c lw 30190
c lw 30201
c lw 30203
c lw 30206
c lw 30208
c lw 30234
c lw 30245
c lw 30256
c lw 30258
c lw 30260
c lw 30265
c lw 30267
c lw 30269
c lw 30271
c lw 30273
c lw 30275
c lw 30276
c lw 30278
c lw 30281
c lw 30282
c lw 30283
c lw 30287
c lw 30298
c lw 30303
c lw 30307
c lw 30309
c lw 30311
c lw 30313
c lw 30315
c lw 30318
c lw 30319
c lw 30320
c lw 30321
c lw 30328
c lw 30329
c lw 30331
c lw 30334
c lw 30336
c lw 30337
c lw 30339
c lw 30340
c lw 30342
c lw 30343
c lw 30344
c lw 30345
c lw 30346
c lw 30348
c lw 30349
c lw 30350
c lw 30351
c lw 30352
c lw 30353
c lw 30355
c lw 30356
c lw 30362
c lw 30363
c lw 30364
c lw 30365
c lw 30366
c lw 30370
c lw 30371
c lw 30372
c lw 30373
c lw 30374
c lw 30377
c lw 30378
c lw 30380
c lw 30383
c lw 30384
c lw 30386
c lw 30388
c lw 30389
c lw 30392
c lw 30393
c lw 30394
c lw 30396
c lw 30397
c lw 30399
c lw 30400
c lw 30401
c lw 30402
c lw 30403
c lw 30404
c lw 30405
c lw 30406
c lw 30407
c lw 30412
c lw 30413
c lw 30414
c lw 30415
c lw 30416
c lw 30417
c lw 30418
c lw 30419
c lw 30420
c lw 30421
c lw 30422
c lw 30425
c lw 30426
c lw 30429
c lw 30436
c lw 30944
c lw 30981
c lw 31132
c lw 31216
c lw 31309
c lw 31338
c lw 31594
c lw 31623
c lw 31637
c lw 31693
c lw 32150
c lw 32205
c lw 32407
c lw 32724
c lw 33295
c lw 33296
c lw 33297
c lw 33298
c lw 33299
c lw 33300
c lw 33301
c lw 33302
c lw 33303
c lw 33304
c lw 33305
c lw 33306
c lw 33307
c lw 33308
c lw 33310
c lw 33311
c lw 33312
c lw 33313
c lw 33314
c lw 33315
c lw 33316
c lw 33317
c lw 33318
c lw 33319
c lw 33320
c lw 33321
c lw 33322
c lw 33323
c lw 33324
c lw 33325
c lw 33326
c lw 33327
c lw 33328
c lw 33329
v 1 -2 3 -4 -5 6 -7 -8 -9 10 -11 -12 -13 14 -15 -16 -17 18 19 -20 21 -22 -23 -24 25 -26 27 -28 -29 -30 31 -32 -33 -34 35 36 -37 -38 -39 40 -41 -42 43 -44 -45 -46 47 -48 -49 50 -51 -52 -53 54 55 -56 -57 -58 59 -60 -61 -62 63 -64 -65 -66 -67 68 -69 70 -71 -72 -73 74 -75 -76 -77 78 -79 -80 81 -82 83 84 -85 -86 -87 88 -89 90 -91 -92 -93 94 95 -96 -97 98 -99 100 -101 -102 103 -104 -105 106 -107 108 -109 -110 -111 112 
o 33329
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-2.net.wcnf 33329
268.030u 1.976s 4:30.58 99.7%	0+0k 0+0io 0pf+0w