Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 15725
o 15721
o 15720
o 15716
o 15715
o 15711
o 15710
o 15706
o 15701
o 15698
o 15697
o 15696
o 15694
o 15691
o 15689
o 15688
o 15687
o 15684
o 15682
o 15679
o 15678
o 15674
o 15671
o 15669
o 15668
o 15667
o 15662
o 15661
o 15659
o 15656
o 15652
o 15646
o 15644
o 15643
o 15641
o 15638
o 15637
o 15636
o 15634
o 15633
o 15632
o 15631
o 15630
o 15629
o 15627
o 15624
o 15622
o 15620
o 15619
o 15618
o 15613
o 15609
o 15608
o 15605
o 15603
o 15602
o 15600
o 15597
o 15594
o 15593
o 15590
o 15589
o 15588
o 15586
o 15584
o 15583
o 15582
o 15581
o 15576
o 15572
o 15571
o 15568
o 15567
o 15562
o 15561
o 15560
o 15557
o 15556
o 15554
o 15553
o 15552
o 15551
o 15550
o 15548
o 15547
o 15546
o 15543
o 15542
o 15541
o 15539
o 15538
o 15537
o 15535
o 15533
o 15532
o 15531
o 15529
o 15527
o 15524
o 15523
o 15522
o 15519
o 15517
o 15516
o 15515
o 15514
o 15510
o 15507
o 15506
o 15505
o 15504
o 15503
o 15502
o 15499
o 15498
o 15497
o 15494
o 15492
o 15491
o 15489
o 15488
o 15487
o 15486
o 15485
o 15484
o 15483
o 15480
o 15479
o 15475
o 15474
o 15472
o 15471
o 15470
o 15469
o 15468
o 15467
o 15465
o 15464
o 15462
o 15459
o 15458
o 15457
o 15456
o 15454
o 15453
o 15452
o 15451
o 15450
o 15449
o 15446
o 15444
o 15443
o 15442
o 15441
o 15440
o 15439
o 15437
o 15435
o 15434
o 15433
o 15432
o 15431
o 15430
o 15429
o 15427
o 15424
o 15420
o 15418
o 15417
o 15416
o 15415
o 15414
o 15413
o 15410
o 15406
o 15405
o 15404
o 15402
o 15401
o 15400
o 15397
o 15396
o 15395
o 15393
o 15392
o 15391
o 15388
o 15385
o 15383
o 15381
o 15380
o 15379
o 15378
o 15377
o 15376
o 15375
o 15374
o 15373
o 15372
o 15371
o 15370
o 15368
o 15367
o 15366
o 15363
o 15360
o 15359
o 15358
o 15355
o 15354
o 15353
o 15352
o 15351
o 15350
o 15349
o 15348
o 15347
o 15346
o 15345
o 15344
o 15343
o 15342
o 15341
o 15340
o 15339
o 15338
o 15336
o 15335
o 15332
o 15329
o 15327
o 15325
o 15321
o 15320
o 15319
o 15318
o 15317
o 15315
o 15314
o 15313
o 15311
o 15310
o 15309
o 15307
o 15306
o 15304
o 15302
o 15301
o 15300
o 15298
o 15297
o 15296
o 15294
o 15293
o 15292
o 15289
o 15288
o 15285
o 15284
o 15282
o 15279
o 15278
o 15277
o 15275
o 15274
o 15273
o 15272
o 15270
o 15269
o 15265
o 15263
o 15259
o 15258
o 15257
o 15255
o 15254
o 15253
o 15252
o 15251
o 15250
o 15248
o 15247
o 15246
o 15244
o 15243
o 15242
o 15241
o 15240
o 15239
o 15238
o 15237
o 15236
o 15235
o 15234
o 15233
o 15232
o 15231
o 15229
o 15227
o 15226
o 15224
o 15223
o 15222
o 15220
o 15219
o 15217
o 15215
o 15214
o 15213
o 15211
o 15210
o 15209
o 15208
o 15207
o 15206
o 15205
o 15204
o 15203
o 15202
o 15201
o 15200
o 15199
o 15198
o 15197
o 15196
o 15195
o 15194
o 15193
o 15192
o 15191
o 15190
o 15189
o 15188
o 15187
o 15186
o 15185
o 15184
o 15183
o 15182
o 15181
o 15180
o 15179
o 15178
o 15177
o 15176
o 15175
o 15174
o 15173
o 15172
o 15171
o 15170
o 15169
o 15168
o 15167
o 15166
o 15165
o 15164
o 15163
o 15162
o 15161
o 15160
o 15159
o 15158
o 15157
o 15156
o 15155
o 15154
o 15153
o 15152
o 15151
o 15150
o 15149
o 15148
o 15147
o 15146
o 15145
o 15144
o 15143
o 15142
o 15141
o 15140
o 15139
o 15138
o 15137
o 15136
o 15135
o 15134
o 15133
o 15132
o 15131
o 15130
o 15129
o 15128
o 15127
o 15126
o 15125
o 15124
o 15123
o 15122
o 15121
o 15120
o 15119
o 15118
o 15117
o 15116
o 15115
o 15114
o 15113
o 15112
o 15111
o 15110
o 15109
o 15108
o 15107
o 15106
o 15105
c core #1
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 5
c
c
c core #2
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 6
c
c
c core #3
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 7
c
c
c core #4
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 8
c
c
c core #5
c 
c 
c Core size: 7	Core Weight: 4	Total Weight: 12
c
c
c core #6
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 15
c
c
c core #7
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 17
c
c
c core #8
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 18
c
c
c core #9
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 19
c
c
c core #10
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 21
c
c
c core #11
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 22
c
c
c core #12
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 25
c
c
c core #13
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 26
c
c
c core #14
c 
c 
c Core size: 6	Core Weight: 5	Total Weight: 31
c
c
c core #15
c 
c 
c Core size: 8	Core Weight: 4	Total Weight: 35
c
c
c core #16
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 36
c
c
c core #17
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 37
c
c
c core #18
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 42
c
c
c core #19
c 
c 
c Core size: 7	Core Weight: 8	Total Weight: 50
c
c
c core #20
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 51
c
c
c core #21
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 53
c
c
c core #22
c 
c 
c Core size: 8	Core Weight: 6	Total Weight: 59
c
c
c core #23
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 60
c
c
c core #24
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 61
c
c
c core #25
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 65
c
c
c core #26
c 
c 
c Core size: 8	Core Weight: 5	Total Weight: 70
c
c
c core #27
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 71
c
c
c core #28
c 
c 
c Core size: 8	Core Weight: 4	Total Weight: 75
c
c
c core #29
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 76
c
c
c core #30
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 77
c
c
c core #31
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 78
c
c
c core #32
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 80
c
c
c core #33
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 81
c
c
c core #34
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 84
c
c
c core #35
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 88
c
c
c core #36
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 91
c
c
c core #37
c 
c 
c Core size: 6	Core Weight: 3	Total Weight: 94
c
c
c core #38
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 96
c
c
c core #39
c 
c 
c Core size: 6	Core Weight: 7	Total Weight: 103
c
c
c core #40
c 
c 
c Core size: 6	Core Weight: 3	Total Weight: 106
c
c
c core #41
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 109
c
c
c core #42
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 114
c
c
c core #43
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 116
c
c
c core #44
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 118
c
c
c core #45
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 119
c
c
c core #46
c 
c 
c Core size: 8	Core Weight: 5	Total Weight: 124
c
c
c core #47
c 
c 
c Core size: 9	Core Weight: 5	Total Weight: 129
c
c
c core #48
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 132
c
c
c core #49
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 134
c
c
c core #50
c 
c 
c Core size: 8	Core Weight: 4	Total Weight: 138
c
c
c core #51
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 139
c
c
c core #52
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 141
c
c
c core #53
c 
c 
c Core size: 7	Core Weight: 7	Total Weight: 148
c
c
c core #54
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 151
c
c
c core #55
c 
c 
c Core size: 5	Core Weight: 2	Total Weight: 153
c
c
c core #56
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 154
c
c
c core #57
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 157
c
c
c core #58
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 158
c
c
c core #59
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 159
c
c
c core #60
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 160
c
c
c core #61
c 
c 
c Core size: 6	Core Weight: 3	Total Weight: 163
c
c
c core #62
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 165
c
c
c core #63
c 
c 
c Core size: 6	Core Weight: 4	Total Weight: 169
c
c
c core #64
c 
c 
c Core size: 6	Core Weight: 3	Total Weight: 172
c
c
c core #65
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 173
c
c
c core #66
c 
c 
c Core size: 6	Core Weight: 4	Total Weight: 177
c
c
c core #67
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 178
c
c
c core #68
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 181
c
c
c core #69
c 
c 
c Core size: 8	Core Weight: 4	Total Weight: 185
c
c
c core #70
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 190
c
c
c core #71
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 192
c
c
c core #72
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 194
c
c
c core #73
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 196
c
c
c core #74
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 197
c
c
c core #75
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 199
c
c
c core #76
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 200
c
c
c core #77
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 201
c
c