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_p_hat300-2.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/p_hat300-2.clq.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 3
c lw 5
c lw 7
c lw 8
c lw 11
c lw 15
c lw 17
c lw 18
c lw 23
c lw 26
c lw 33
c lw 34
c lw 35
c lw 38
c lw 40
c lw 41
c lw 45
c lw 48
c lw 53
c lw 57
c lw 61
c lw 64
c lw 65
c lw 66
c lw 71
c lw 72
c lw 75
c lw 79
c lw 80
c lw 81
c lw 83
c lw 87
c lw 89
c lw 90
c lw 91
c lw 93
c lw 95
c lw 97
c lw 102
c lw 103
c lw 104
c lw 110
c lw 112
c lw 117
c lw 119
c lw 125
c lw 127
c lw 133
c lw 134
c lw 135
c lw 136
c lw 137
c lw 138
c lw 139
c lw 143
c lw 148
c lw 150
c lw 151
c lw 153
c lw 154
c lw 162
c lw 166
c lw 167
c lw 169
c lw 171
c lw 174
c lw 176
c lw 178
c lw 180
c lw 184
c lw 185
c lw 191
c lw 197
c lw 198
c lw 201
c lw 202
c lw 204
c lw 208
c lw 209
c lw 211
c lw 213
c lw 217
c lw 221
c lw 222
c lw 224
c lw 227
c lw 228
c lw 230
c lw 231
c lw 233
c lw 234
c lw 236
c lw 239
c lw 240
c lw 241
c lw 243
c lw 245
c lw 248
c lw 249
c lw 250
c lw 253
c lw 255
c lw 257
c lw 261
c lw 263
c lw 267
c lw 269
c lw 271
c lw 272
c lw 274
c lw 275
c lw 276
c lw 277
c lw 278
c lw 281
c lw 283
c lw 288
c lw 289
c lw 290
c lw 291
c lw 292
c lw 296
c lw 297
c lw 300
c lw 301
c lw 303
c lw 308
c lw 309
c lw 315
c lw 318
c lw 324
c lw 325
c lw 329
c lw 331
c lw 334
c lw 335
c lw 336
c lw 337
c lw 338
c lw 339
c lw 340
c lw 342
c lw 345
c lw 346
c lw 348
c lw 349
c lw 351
c lw 353
c lw 356
c lw 357
c lw 359
c lw 361
c lw 362
c lw 363
c lw 370
c lw 373
c lw 380
c lw 384
c lw 387
c lw 390
c lw 392
c lw 393
c lw 394
c lw 395
c lw 398
c lw 400
c lw 403
c lw 407
c lw 408
c lw 410
c lw 411
c lw 416
c lw 417
c lw 421
c lw 426
c lw 428
c lw 429
c lw 430
c lw 431
c lw 432
c lw 433
c lw 434
c lw 439
c lw 442
c lw 448
c lw 449
c lw 450
c lw 455
c lw 458
c lw 460
c lw 462
c lw 463
c lw 464
c lw 466
c lw 467
c lw 468
c lw 473
c lw 475
c lw 477
c lw 478
c lw 481
c lw 482
c lw 485
c lw 486
c lw 488
c lw 489
c lw 490
c lw 491
c lw 492
c lw 493
c lw 494
c lw 495
c lw 496
c lw 497
c lw 498
c lw 501
c lw 502
c lw 503
c lw 505
c lw 512
c lw 513
c lw 515
c lw 516
c lw 517
c lw 518
c lw 519
c lw 521
c lw 525
c lw 526
c lw 527
c lw 528
c lw 530
c lw 531
c lw 533
c lw 534
c lw 536
c lw 537
c lw 538
c lw 539
c lw 540
c lw 541
c lw 542
c lw 543
c lw 544
c lw 545
c lw 546
c lw 548
c lw 549
c lw 550
c lw 551
c lw 552
c lw 553
c lw 554
c lw 555
c lw 556
c lw 557
c lw 558
c lw 559
c lw 560
c lw 562
c lw 563
c lw 564
c lw 566
c lw 567
c lw 568
c lw 569
c lw 570
c lw 571
c lw 572
c lw 573
c lw 574
c lw 575
c lw 576
c lw 577
c lw 578
c lw 579
c lw 580
c lw 581
c lw 582
c lw 583
c lw 584
c lw 585
c lw 586
c lw 587
c lw 588
c lw 589
c lw 590
c lw 591
c lw 592
c lw 593
c lw 594
c lw 595
c lw 596
c lw 597
c lw 598
c lw 599
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 611
c lw 612
c lw 613
c lw 614
c lw 615
c lw 616
c lw 617
c lw 618
c lw 619