Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wms_crafted-_home_maxsat_benchmarks_wms_crafted_ramsey_ram_k3_n14.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n14.ra1.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 506	Core Weight: 3	Total Weight: 3
c Current CPU time: 1.87172 s
c
c core #2
c 
c 
c Core size: 219	Core Weight: 3	Total Weight: 6
c Current CPU time: 3.3075 s
c
c core #3
c 
c 
c Core size: 231	Core Weight: 7	Total Weight: 13
c Current CPU time: 4.97224 s
c
c core #4
c 
c 
c Core size: 212	Core Weight: 1	Total Weight: 14
c Current CPU time: 6.37103 s
c
c core #5
c 
c 
c Core size: 217	Core Weight: 19	Total Weight: 33
c Current CPU time: 7.9118 s
c
c core #6
c 
c 
c Core size: 364	Core Weight: 1	Total Weight: 34
c Current CPU time: 8.62569 s
c
c core #7
c 
c 
c Core size: 335	Core Weight: 2	Total Weight: 36
c Current CPU time: 9.10862 s
c
c core #8
c 
c 
c Core size: 334	Core Weight: 2	Total Weight: 38
c Current CPU time: 10.8743 s
c
c core #9
c 
c 
c Core size: 372	Core Weight: 3	Total Weight: 41
c Current CPU time: 12.7731 s
c
c core #10
c 
c 
c Core size: 339	Core Weight: 1	Total Weight: 42
c Current CPU time: 13.9809 s
c
c core #11
c 
c 
c Core size: 331	Core Weight: 1	Total Weight: 43
c Current CPU time: 15.3567 s
c
c core #12
c 
c 
c Core size: 406	Core Weight: 2	Total Weight: 45
c Current CPU time: 16.1985 s
c
c core #13
c 
c 
c Core size: 329	Core Weight: 3	Total Weight: 48
c Current CPU time: 16.7215 s
c
c core #14
c 
c 
c Core size: 332	Core Weight: 3	Total Weight: 51
c Current CPU time: 18.2862 s
c
c core #15
c 
c 
c Core size: 346	Core Weight: 2	Total Weight: 53
c Current CPU time: 19.616 s
c
c core #16
c 
c 
c Core size: 330	Core Weight: 1	Total Weight: 54
c Current CPU time: 20.2629 s
c
c core #17
c 
c 
c Core size: 342	Core Weight: 1	Total Weight: 55
c Current CPU time: 20.7358 s
c
c core #18
c 
c 
c Core size: 321	Core Weight: 1	Total Weight: 56
c Current CPU time: 22.1486 s
c
c core #19
c 
c 
c Core size: 341	Core Weight: 1	Total Weight: 57
c Current CPU time: 22.5856 s
c
c core #20
c 
c 
c Core size: 340	Core Weight: 1	Total Weight: 58
c Current CPU time: 22.9775 s
c
c core #21
c 
c 
c Core size: 338	Core Weight: 1	Total Weight: 59
c Current CPU time: 24.9202 s
c
c core #22
c 
c 
c Core size: 380	Core Weight: 1	Total Weight: 60
c Current CPU time: 25.3591 s
c
c core #23
c 
c 
c Core size: 331	Core Weight: 3	Total Weight: 63
c Current CPU time: 25.7101 s
c
c core #24
c 
c 
c Core size: 332	Core Weight: 2	Total Weight: 65
c Current CPU time: 27.0629 s
c
c core #25
c 
c 
c Core size: 332	Core Weight: 1	Total Weight: 66
c Current CPU time: 28.3207 s
c
c core #26
c 
c 
c Core size: 326	Core Weight: 1	Total Weight: 67
c Current CPU time: 28.8446 s
c
c core #27
c 
c 
c Core size: 344	Core Weight: 1	Total Weight: 68
c Current CPU time: 29.4175 s
c
c core #28
c 
c 
c Core size: 331	Core Weight: 1	Total Weight: 69
c Current CPU time: 30.5364 s
c
c core #29
c 
c 
c Core size: 347	Core Weight: 1	Total Weight: 70
c Current CPU time: 31.3602 s
c
c core #30
c 
c 
c Core size: 337	Core Weight: 1	Total Weight: 71
c Current CPU time: 32.1321 s
c
c core #31
c 
c 
c Core size: 333	Core Weight: 1	Total Weight: 72
c Current CPU time: 32.4771 s
c
c core #32
c 
c 
c Core size: 331	Core Weight: 1	Total Weight: 73
c Current CPU time: 32.862 s
c
c core #33
c 
c 
c Core size: 328	Core Weight: 1	Total Weight: 74
c Current CPU time: 33.2649 s
c
c core #34
c 
c 
c Core size: 340	Core Weight: 1	Total Weight: 75
c Current CPU time: 33.9788 s
c
c core #35
c 
c 
c Core size: 332	Core Weight: 1	Total Weight: 76
c Current CPU time: 34.7067 s
c
c core #36
c 
c 
c Core size: 334	Core Weight: 2	Total Weight: 78
c Current CPU time: 35.9455 s
c
c core #37
c 
c 
c Core size: 331	Core Weight: 1	Total Weight: 79
c Current CPU time: 37.5313 s
c
c core #38
c 
c 
c Core size: 343	Core Weight: 1	Total Weight: 80
c Current CPU time: 37.9542 s
c
c core #39
c 
c 
c Core size: 357	Core Weight: 1	Total Weight: 81
c Current CPU time: 38.9041 s
c
c core #40
c 
c 
c Core size: 352	Core Weight: 1	Total Weight: 82
c Current CPU time: 39.657 s
c
c core #41
c 
c 
c Core size: 357	Core Weight: 1	Total Weight: 83
c Current CPU time: 40.3919 s
c
c core #42
c 
c 
c Core size: 370	Core Weight: 1	Total Weight: 84
c Current CPU time: 41.0348 s
c
c core #43
c 
c 
c Core size: 321	Core Weight: 2	Total Weight: 86
c Current CPU time: 42.2316 s
c
c core #44
c 
c 
c Core size: 355	Core Weight: 1	Total Weight: 87
c Current CPU time: 42.9645 s
c
c core #45
c 
c 
c Core size: 341	Core Weight: 1	Total Weight: 88
c Current CPU time: 43.5424 s
c
c core #46
c 
c 
c Core size: 326	Core Weight: 3	Total Weight: 91
c Current CPU time: 45.2991 s
c
c core #47
c 
c 
c Core size: 336	Core Weight: 1	Total Weight: 92
c Current CPU time: 45.769 s
c
c core #48
c 
c 
c Core size: 328	Core Weight: 1	Total Weight: 93
c Current CPU time: 46.204 s
c
c core #49
c 
c 
c Core size: 327	Core Weight: 2	Total Weight: 95
c Current CPU time: 46.7449 s
c
c core #50
c 
c 
c Core size: 344	Core Weight: 1	Total Weight: 96
c Current CPU time: 47.2708 s
c
c core #51
c 
c 
c Core size: 380	Core Weight: 1	Total Weight: 97
c Current CPU time: 48.4986 s
c
c core #52
c 
c 
c Core size: 341	Core Weight: 1	Total Weight: 98
c Current CPU time: 49.1155 s
c
c core #53
c 
c 
c Core size: 355	Core Weight: 1	Total Weight: 99
c Current CPU time: 50.4063 s
c
c core #54
c 
c 
c Core size: 356	Core Weight: 1	Total Weight: 100
c Current CPU time: 50.7663 s
c
c core #55
c 
c 
c Core size: 375	Core Weight: 1	Total Weight: 101
c Current CPU time: 51.4182 s
c
c core #56
c 
c 
c Core size: 367	Core Weight: 1	Total Weight: 102
c Current CPU time: 52.375 s
c
c core #57
c 
c 
c Core size: 402	Core Weight: 1	Total Weight: 103
c Current CPU time: 53.6848 s
c
c core #58
c 
c 
c Core size: 340	Core Weight: 1	Total Weight: 104
c Current CPU time: 54.4817 s
c
c core #59
c 
c 
c Core size: 342	Core Weight: 1	Total Weight: 105
c Current CPU time: 55.2296 s
c
c core #60
c 
c 
c Core size: 443	Core Weight: 1	Total Weight: 106
c Current CPU time: 56.4124 s
c
c core #61
c 
c 
c Core size: 346	Core Weight: 1	Total Weight: 107
c Current CPU time: 56.8294 s
c
c core #62
c 
c 
c Core size: 410	Core Weight: 1	Total Weight: 108
c Current CPU time: 57.6692 s
c
c core #63
c 
c 
c Core size: 355	Core Weight: 1	Total Weight: 109
c Current CPU time: 58.3271 s
c
c core #64
c 
c 
c Core size: 352	Core Weight: 1	Total Weight: 110
c Current CPU time: 59.5379 s
c
c core #65
c 
c 
c Core size: 412	Core Weight: 1	Total Weight: 111
c Current CPU time: 60.6968 s
c
c core #66
c 
c 
c Core size: 333	Core Weight: 1	Total Weight: 112
c Current CPU time: 61.6556 s
c
c core #67
c 
c 
c Core size: 331	Core Weight: 1	Total Weight: 113
c Current CPU time: 62.3495 s
c
c core #68
c 
c 
c Core size: 409	Core Weight: 1	Total Weight: 114
c Current CPU time: 64.0273 s
c
c core #69
c 
c 
c Core size: 329	Core Weight: 4	Total Weight: 118
c Current CPU time: 64.5842 s
c
c core #70
c 
c 
c Core size: 346	Core Weight: 1	Total Weight: 119
c Current CPU time: 65.558 s
c
c core #71
c 
c 
c Core size: 479	Core Weight: 1	Total Weight: 120
c Current CPU time: 69.6494 s
c
c core #72
c 
c 
c Core size: 325	Core Weight: 1	Total Weight: 121
c Current CPU time: 70.2983 s
c
c core #73
c 
c 
c Core size: 346	Core Weight: 1	Total Weight: 122
c Current CPU time: 71.4281 s
c
c core #74
c 
c 
c Core size: 342	Core Weight: 1	Total Weight: 123
c Current CPU time: 72.7209 s
c
c core #75
c 
c 
c Core size: 332	Core Weight: 1	Total Weight: 124
c Current CPU time: 73.2779 s
c
c core #76
c 
c 
c Core size: 505	Core Weight: 1	Total Weight: 125
c Current CPU time: 74.4097 s
c
c core #77
c 
c 
c Core size: 345	Core Weight: 1	Total Weight: 126
c Current CPU time: 75.1636 s
c
c core #78
c 
c 
c Core size: 332	Core Weight: 1	Total Weight: 127
c Current CPU time: 76.5674 s
c
c core #79
c 
c 
c Core size: 374	Core Weight: 1	Total Weight: 128
c Current CPU time: 78.1061 s
c
c core #80
c 
c 
c Core size: 340	Core Weight: 1	Total Weight: 129
c Current CPU time: 78.84 s
c
c core #81
c 
c 
c Core size: 330	Core Weight: 1	Total Weight: 130
c Current CPU time: 79.248 s
c
c core #82
c 
c 
c Core size: 404	Core Weight: 1	Total Weight: 131
c Current CPU time: 80.9117 s
c
c core #83
c 
c 
c Core size: 548	Core Weight: 1	Total Weight: 132
c Current CPU time: 83.6953 s
c
c core #84
c 
c 
c Core size: 372	Core Weight: 1	Total Weight: 133
c Current CPU time: 84.9881 s
c
c core #85
c 
c 
c Core size: 489	Core Weight: 1	Total Weight: 134
c Current CPU time: 85.718 s
c
c core #86
c 
c 
c Core size: 353	Core Weight: 1	Total Weight: 135
c Current CPU time: 86.2589 s
c
c core #87
c 
c 
c Core size: 335	Core Weight: 1	Total Weight: 136
c Current CPU time: 86.8828 s
c
c core #88
c 
c 
c Core size: 335	Core Weight: 1	Total Weight: 137
c Current CPU time: 87.4707 s
c
c core #89
c 
c 
c Core size: 368	Core Weight: 1	Total Weight: 138
c Current CPU time: 88.1196 s
c
c core #90
c 
c 
c Core size: 332	Core Weight: 1	Total Weight: 139
c Current CPU time: 88.5735 s
c
c core #91
c 
c 
c Core size: 332	Core Weight: 1	Total Weight: 140
c Current CPU time: 89.2384 s
c
c core #92
c 
c 
c Core size: 387	Core Weight: 1	Total Weight: 141
c Current CPU time: 94.9636 s
c
c core #93
c 
c 
c Core size: 446	Core Weight: 1	Total Weight: 142
c Current CPU time: 97.1192 s
c
c core #94
c 
c 
c Core size: 368	Core Weight: 1	Total Weight: 143
c Current CPU time: 98.9939 s
c
c core #95
c 
c 
c Core size: 347	Core Weight: 1	Total Weight: 144
c Current CPU time: 99.8878 s
c
c core #96
c 
c 
c Core size: 373	Core Weight: 1	Total Weight: 145
c Current CPU time: 100.859 s
c
c core #97
c 
c 
c Core size: 510	Core Weight: 1	Total Weight: 146
c Current CPU time: 103.532 s
c
c core #98
c 
c 
c Core size: 431	Core Weight: 1	Total Weight: 147
c Current CPU time: 104.434 s
c
c core #99
c 
c 
c Core size: 513	Core Weight: 1	Total Weight: 148
c Current CPU time: 106.499 s
c
c core #100
c 
c 
c Core size: 440	Core Weight: 1	Total Weight: 149
c Current CPU time: 107.356 s
c
c core #101
c 
c 
c Core size: 528	Core Weight: 1	Total Weight: 150
c Current CPU time: 109.778 s
c
c core #102
c 
c 
c Core size: 469	Core Weight: 1	Total Weight: 151
c Current CPU time: 115.24 s
c
c core #103
c 
c 
c Core size: 372	Core Weight: 1	Total Weight: 152
c Current CPU time: 116.299 s
c
c core #104
c 
c 
c Core size: 499	Core Weight: 1	Total Weight: 153
c Current CPU time: 117.502 s
c
c core #105
c 
c 
c Core size: 666	Core Weight: 1	Total Weight: 154
c Current CPU time: 122.597 s
c
c core #106
c 
c 
c Core size: 348	Core Weight: 1	Total Weight: 155
c Current CPU time: 123.765 s
c
c core #107
c 
c 
c Core size: 435	Core Weight: 9	Total Weight: 164
c Current CPU time: 125.676 s
c
c core #108
c 
c 
c Core size: 416	Core Weight: 1	Total Weight: 165
c Current CPU time: 126.36 s
c
c core #109
c 
c 
c Core size: 341	Core Weight: 1	Total Weight: 166
c Current CPU time: 127.25 s
c
c core #110
c 
c 
c Core size: 555	Core Weight: 1	Total Weight: 167
c Current CPU time: 129.678 s
c
c core #111
c 
c 
c Core size: 364	Core Weight: 1	Total Weight: 168
c Current CPU time: 131.072 s
c
c core #112
c 
c 
c Core size: 507	Core Weight: 1	Total Weight: 169
c Current CPU time: 132.452 s
c
c #cores: 112
s UNKNOWN
1800.003u 5.094s 30:06.93 99.8%	0+0k 0+0io 0pf+0w