Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_WMAXCUT_DIMACS_MOD_brock200_2.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/brock200_2.clq.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1
c lw 5
c lw 6
c lw 7
c lw 15
c lw 17
c lw 18
c lw 21
c lw 24
c lw 25
c lw 26
c lw 29
c lw 30
c lw 37
c lw 38
c lw 41
c lw 47
c lw 49
c lw 53
c lw 56
c lw 58
c lw 63
c lw 65
c lw 66
c lw 67
c lw 69
c lw 71
c lw 72
c lw 74
c lw 76
c lw 82
c lw 84
c lw 85
c lw 89
c lw 91
c lw 92
c lw 99
c lw 100
c lw 101
c lw 104
c lw 106
c lw 109
c lw 111
c lw 112
c lw 113
c lw 118
c lw 121
c lw 123
c lw 125
c lw 130
c lw 132
c lw 135
c lw 137
c lw 140
c lw 144
c lw 147
c lw 149
c lw 151
c lw 153
c lw 156
c lw 159
c lw 161
c lw 163
c lw 165
c lw 166
c lw 168
c lw 173
c lw 180
c lw 182
c lw 184
c lw 186
c lw 189
c lw 191
c lw 197
c lw 200
c lw 201
c lw 205
c lw 207
c lw 210
c lw 215
c lw 219
c lw 220
c lw 223
c lw 225
c lw 226
c lw 227
c lw 233
c lw 235
c lw 236
c lw 238
c lw 239
c lw 240
c lw 241
c lw 245
c lw 247
c lw 249
c lw 253
c lw 254
c lw 255
c lw 256
c lw 258
c lw 262
c lw 263
c lw 265
c lw 266
c lw 267
c lw 271
c lw 272
c lw 273
c lw 275
c lw 278
c lw 279
c lw 282
c lw 285
c lw 287
c lw 292
c lw 293
c lw 296
c lw 297
c lw 301
c lw 302
c lw 304
c lw 306
c lw 308
c lw 311
c lw 312
c lw 314
c lw 315
c lw 316
c lw 317
c lw 318
c lw 319
c lw 323
c lw 324
c lw 328
c lw 329
c lw 330
c lw 332
c lw 337
c lw 338
c lw 341
c lw 343
c lw 344
c lw 346
c lw 347
c lw 349
c lw 353
c lw 362
c lw 363
c lw 364
c lw 365
c lw 368
c lw 369
c lw 374
c lw 378
c lw 379
c lw 380
c lw 381
c lw 384
c lw 388
c lw 390
c lw 391
c lw 392
c lw 393
c lw 394
c lw 396
c lw 397
c lw 398
c lw 399
c lw 401
c lw 402
c lw 403
c lw 405
c lw 408
c lw 412
c lw 415
c lw 416
c lw 417
c lw 418
c lw 419
c lw 420
c lw 423
c lw 424
c lw 425
c lw 428
c lw 432
c lw 438
c lw 439
c lw 441
c lw 442
c lw 445
c lw 446
c lw 448
c lw 450
c lw 455
c lw 460
c lw 461
c lw 462
c lw 463
c lw 464
c lw 468
c lw 469
c lw 471
c lw 472
c lw 477
c lw 478
c lw 480
c lw 485
c lw 487
c lw 488
c lw 489
c lw 494
c lw 496
c lw 499
c lw 500
c lw 502
c lw 503
c lw 506
c lw 507
c lw 509
c lw 514
c lw 516
c lw 519
c lw 521
c lw 522
c lw 523
c lw 525
c lw 527
c lw 528
c lw 531
c lw 532
c lw 533
c lw 536
c lw 538
c lw 544
c lw 547
c lw 549
c lw 553
c lw 554
c lw 556
c lw 558
c lw 559
c lw 560
c lw 561
c lw 562
c lw 563
c lw 564
c lw 565
c lw 566
c lw 568
c lw 571
c lw 572
c lw 576
c lw 577
c lw 578
c lw 580
c lw 581
c lw 582
c lw 583
c lw 584
c lw 586
c lw 587
c lw 588
c lw 589
c lw 590
c lw 591
c lw 592
c lw 600
c lw 601
c lw 602
c lw 603
c lw 604
c lw 605
c lw 606
c lw 607
c lw 608
c lw 609
c lw 610
c lw 612
c lw 613
c lw 614
c lw 615
c lw 616
c lw 617
c lw 618
c lw 619
c lw 620
c lw 621
c lw 623
c lw 624
c lw 625
c lw 626
c lw 627
c lw 628
c lw 629
c lw 630
c lw 631
c lw 632
c lw 633
c lw 637
c lw 639
c lw 644
c lw 646
c lw 647
c lw 648
c lw 649
c lw 650
c lw 651
c lw 652
c lw 653
c lw 654
c lw 655
c lw 656
c lw 657
c lw 658
c lw 659
c lw 660
c lw 661
c lw 662
c lw 663
c lw 664
c lw 665
c lw 666
c lw 667
c lw 668
c lw 669
c lw 670
c lw 671
c lw 672
c lw 673
c lw 674
c lw 675
c lw 676
c lw 677
c lw 678
c lw 679
c lw 680
c lw 681
c lw 682
c lw 683
c lw 684
c lw 685