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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 15517
o 15514
o 15513
o 15511
o 15507
o 15504
o 15503
o 15500
o 15497
o 15495
o 15494
o 15490
o 15489
o 15487
o 15486
o 15483
o 15481
o 15479
o 15477
o 15476
o 15474
o 15473
o 15472
o 15471
o 15470
o 15469
o 15468
o 15467
o 15466
o 15465
o 15464
o 15463
o 15462
o 15460
o 15458
o 15455
o 15454
o 15452
o 15450
o 15449
o 15448
o 15445
o 15441
o 15440
o 15439
o 15438
o 15434
o 15433
o 15431
o 15429
o 15428
o 15426
o 15424
o 15423
o 15420
o 15419
o 15417
o 15416
o 15411
o 15410
o 15409
o 15407
o 15406
o 15405
o 15404
o 15403
o 15402
o 15400
o 15398
o 15397
o 15395
o 15393
o 15392
o 15386
o 15384
o 15377
o 15374
o 15372
o 15369
o 15367
o 15366
o 15365
o 15363
o 15362
o 15361
o 15360
o 15358
o 15357
o 15356
o 15355
o 15352
o 15350
o 15349
o 15348
o 15346
o 15344
o 15343
o 15342
o 15341
o 15340
o 15339
o 15338
o 15337
o 15336
o 15334
o 15331
o 15328
o 15327
o 15326
o 15325
o 15324
o 15322
o 15321
o 15319
o 15318
o 15317
o 15316
o 15314
o 15313
o 15312
o 15311
o 15310
o 15309
o 15308
o 15305
o 15304
o 15303
o 15301
o 15300
o 15298
o 15297
o 15296
o 15295
o 15294
o 15293
o 15292
o 15290
o 15289
o 15288
o 15287
o 15286
o 15284
o 15283
o 15282
o 15278
o 15277
o 15276
o 15275
o 15273
o 15272
o 15271
o 15270
o 15269
o 15268
o 15267
o 15266
o 15265
o 15264
o 15263
o 15262
o 15261
o 15259
o 15258
o 15257
o 15256
o 15255
o 15254
o 15253
o 15252
o 15251
o 15250
o 15249
o 15248
o 15247
o 15246
o 15244
o 15243
o 15242
o 15240
o 15239
o 15238
o 15237
o 15236
o 15235
o 15232
o 15231
o 15230
o 15229
o 15225
o 15224
o 15223
o 15222
o 15221
o 15220
o 15219
o 15217
o 15216
o 15215
o 15213
o 15212
o 15211
o 15209
o 15207
o 15206
o 15203
o 15201
o 15197
o 15194
o 15193
o 15192
o 15188
o 15186
o 15185
o 15184
o 15182
o 15181
o 15180
o 15179
o 15178
o 15174
o 15173
o 15172
o 15171
o 15170
o 15169
o 15168
o 15167
o 15166
o 15164
o 15163
o 15161
o 15160
o 15157
o 15155
o 15154
o 15151
o 15149
o 15148
o 15146
o 15145
o 15143
o 15141
o 15139
o 15138
o 15137
o 15135
o 15134
o 15133
o 15131
o 15130
o 15129
o 15128
o 15127
o 15126
o 15125
o 15122
o 15119
o 15118
o 15115
o 15113
o 15112
o 15111
o 15108
o 15107
o 15106
o 15105
o 15104
o 15103
o 15101
o 15099
o 15097
o 15096
o 15095
o 15094
o 15093
o 15092
o 15091
o 15090
o 15089
o 15088
o 15087
o 15085
o 15083
o 15082
o 15080
o 15078
o 15077
o 15076
o 15075
o 15074
o 15073
o 15072
o 15071
o 15069
o 15067
o 15066
o 15065
o 15064
o 15063
o 15062
o 15061
o 15060
o 15059
o 15058
o 15057
o 15056
o 15054
o 15053
o 15052
o 15050
o 15049
o 15048
o 15047
o 15045
o 15044
o 15043
o 15042
o 15041
o 15040
o 15039
o 15038
o 15037
o 15036
o 15035
o 15034
o 15033
o 15032
o 15031
o 15030
o 15029
o 15028
o 15027
o 15026
o 15025
o 15024
o 15023
o 15022
o 15021
o 15020
o 15019
o 15018
o 15017
o 15016
o 15015
o 15014
o 15013
o 15012
o 15011
o 15010
o 15009
o 15008
o 15007
o 15006
o 15005
o 15004
o 15003
o 15002
o 15001
o 15000
o 14999
o 14998
o 14997
o 14996
o 14995
o 14994
o 14993
o 14992
o 14991
o 14990
o 14989
o 14988
o 14987
o 14986
o 14985
o 14984
o 14983
o 14982
o 14981
o 14980
o 14979
o 14978
o 14977
o 14976
o 14975
o 14974
o 14973
o 14972
o 14971
o 14970
o 14969
o 14968
o 14967
o 14966
o 14965
o 14964
o 14963
o 14962
o 14961
o 14960
o 14959
o 14958
o 14957
o 14956
o 14955
o 14954
o 14953
o 14952
o 14951
o 14950
o 14949
o 14948
o 14947
o 14946
o 14945
o 14944
o 14943
o 14942
o 14941
o 14940
o 14939
o 14938
o 14937
o 14936
o 14935
o 14934
o 14933
o 14932
c core #1
c 
c 
c Core size: 14	Core Weight: 4	Total Weight: 11
c
c
c core #2
c 
c 
c Core size: 19	Core Weight: 4	Total Weight: 15
c
c
c core #3
c 
c 
c Core size: 13	Core Weight: 2	Total Weight: 17
c
c
c core #4
c 
c 
c Core size: 5	Core Weight: 1	Total Weight: 18
c
c
c core #5
c 
c 
c Core size: 13	Core Weight: 2	Total Weight: 20
c
c
c core #6
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 21
c
c
c core #7
c 
c 
c Core size: 15	Core Weight: 3	Total Weight: 24
c
c
c core #8
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 25
c
c
c core #9
c 
c 
c Core size: 12	Core Weight: 4	Total Weight: 29
c
c
c core #10
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 30
c
c
c core #11
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 32
c
c
c core #12
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 33
c
c
c core #13
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 34
c
c
c core #14
c 
c 
c Core size: 14	Core Weight: 3	Total Weight: 37
c
c
c core #15
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 38
c
c
c core #16
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 39
c
c
c core #17
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 40
c
c
c core #18
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 41
c
c
c core #19
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 43
c
c
c core #20
c 
c 
c Core size: 10	Core Weight: 6	Total Weight: 49
c
c
c core #21
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 50
c
c
c core #22
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 51
c
c
c core #23
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 52
c
c
c core #24
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 53
c
c
c core #25
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 54
c
c
c core #26
c 
c 
c Core size: 12	Core Weight: 5	Total Weight: 59
c
c
c core #27
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 60
c
c
c core #28
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 61
c
c
c core #29
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 62
c
c
c core #30
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 63
c
c
c core #31
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 64
c
c
c core #32
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 65
c
c
c core #33
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 68
c
c
c core #34
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 69
c
c
c core #35
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 70
c
c
c core #36
c 
c 
c Core size: 13	Core Weight: 2	Total Weight: 72
c
c
c core #37
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 75
c
c
c core #38
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 76
c
c
c core #39
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 77
c
c
c core #40
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 79
c
c
c core #41
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 81
c
c
c core #42
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 82
c
c
c core #43
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 83
c
c
c core #44
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 87
c
c
c core #45
c 
c 
c Core size: 12	Core Weight: 3	Total Weight: 90
c
c
c core #46
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 93
c
c
c core #47
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 94
c
c
c core #48
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 96
c
c
c core #49
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 97
c
c
c core #50
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 98
c
c
c core #51
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 100
c
c
c core #52
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 101
c
c
c core #53
c 
c 
c Core size: 10	Core Weight: 3	Total Weight: 104
c
c
c core #54
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 105
c
c
c core #55
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 106
c
c
c core #56
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 107
c
c
c core #57
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 108
c
c
c core #58
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 109
c
c
c core #59
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 111
c
c
c core #60
c 
c 
c Core size: 1