0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3479268-1307448396.opb.
0.00/0.00	c Instance file HOME/instance-3479268-1307448396.opb
0.00/0.00	c File size is 314588 bytes.
0.00/0.02	c Highest Coefficient sum: 20
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      1372                                                |
0.00/0.02	c |  Number Clauses:        4944                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1255     4944    33432 |     5000        0   -nan |  0.000 % |
0.09/0.13	c core #1
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 118
0.09/0.13	c Current CPU time: 0.025996 s
0.09/0.13	c
0.09/0.13	c core #2
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 119
0.09/0.13	c Current CPU time: 0.028995 s
0.09/0.13	c
0.09/0.13	c core #3
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 120
0.09/0.13	c Current CPU time: 0.030995 s
0.09/0.13	c
0.09/0.13	c core #4
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 121
0.09/0.13	c Current CPU time: 0.033994 s
0.09/0.13	c
0.09/0.13	c core #5
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 5	Core Weight: 1	Total Weight: 122
0.09/0.13	c Current CPU time: 0.036994 s
0.09/0.13	c
0.09/0.13	c core #6
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 123
0.09/0.13	c Current CPU time: 0.038994 s
0.09/0.13	c
0.09/0.13	c core #7
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 5	Core Weight: 1	Total Weight: 124
0.09/0.13	c Current CPU time: 0.041993 s
0.09/0.13	c
0.09/0.13	c core #8
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 125
0.09/0.13	c Current CPU time: 0.044993 s
0.09/0.13	c
0.09/0.13	c core #9
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 126
0.09/0.13	c Current CPU time: 0.046992 s
0.09/0.13	c
0.09/0.13	c core #10
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 127
0.09/0.13	c Current CPU time: 0.049992 s
0.09/0.13	c
0.09/0.13	c core #11
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 128
0.09/0.13	c Current CPU time: 0.051992 s
0.09/0.13	c
0.09/0.13	c core #12
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 129
0.09/0.13	c Current CPU time: 0.054991 s
0.09/0.13	c
0.09/0.13	c core #13
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 130
0.09/0.13	c Current CPU time: 0.057991 s
0.09/0.13	c
0.09/0.13	c core #14
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 131
0.09/0.13	c Current CPU time: 0.06099 s
0.09/0.13	c
0.09/0.13	c core #15
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 5	Core Weight: 1	Total Weight: 132
0.09/0.13	c Current CPU time: 0.06299 s
0.09/0.13	c
0.09/0.13	c core #16
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 133
0.09/0.13	c Current CPU time: 0.065989 s
0.09/0.13	c
0.09/0.13	c core #17
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 134
0.09/0.13	c Current CPU time: 0.068989 s
0.09/0.13	c
0.09/0.13	c core #18
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 135
0.09/0.13	c Current CPU time: 0.070989 s
0.09/0.13	c
0.09/0.13	c core #19
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 136
0.09/0.13	c Current CPU time: 0.073988 s
0.09/0.13	c
0.09/0.13	c core #20
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 137
0.09/0.13	c Current CPU time: 0.076988 s
0.09/0.13	c
0.09/0.13	c core #21
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 138
0.09/0.13	c Current CPU time: 0.079987 s
0.09/0.13	c
0.09/0.13	c core #22
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 139
0.09/0.13	c Current CPU time: 0.081987 s
0.09/0.13	c
0.09/0.13	c core #23
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 5	Core Weight: 1	Total Weight: 140
0.09/0.13	c Current CPU time: 0.084987 s
0.09/0.13	c
0.09/0.13	c core #24
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 141
0.09/0.13	c Current CPU time: 0.087986 s
0.09/0.13	c
0.09/0.13	c core #25
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 142
0.09/0.13	c Current CPU time: 0.089986 s
0.09/0.13	c
0.09/0.13	c core #26
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 143
0.09/0.13	c Current CPU time: 0.092985 s
0.09/0.13	c
0.09/0.13	c core #27
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 144
0.09/0.13	c Current CPU time: 0.095985 s
0.09/0.13	c
0.09/0.13	c core #28
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 145
0.09/0.13	c Current CPU time: 0.098984 s
0.09/0.13	c
0.09/0.13	c core #29
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 146
0.09/0.13	c Current CPU time: 0.100984 s
0.09/0.13	c
0.09/0.13	c core #30
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 147
0.09/0.13	c Current CPU time: 0.103984 s
0.09/0.13	c
0.09/0.13	c core #31
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 148
0.09/0.13	c Current CPU time: 0.106983 s
0.09/0.13	c
0.09/0.13	c core #32
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 149
0.09/0.13	c Current CPU time: 0.109983 s
0.09/0.13	c
0.09/0.13	c core #33
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 150
0.09/0.13	c Current CPU time: 0.111982 s
0.09/0.13	c
0.09/0.13	c core #34
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 151
0.09/0.13	c Current CPU time: 0.114982 s
0.09/0.13	c
0.09/0.13	c core #35
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 152
0.09/0.13	c Current CPU time: 0.117982 s
0.09/0.13	c
0.09/0.13	c core #36
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 153
0.09/0.13	c Current CPU time: 0.120981 s
0.09/0.13	c
0.09/0.13	c core #37
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 9	Core Weight: 1	Total Weight: 154
0.09/0.13	c Current CPU time: 0.122981 s
0.09/0.13	c
0.09/0.13	c core #38
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 155
0.09/0.13	c Current CPU time: 0.12598 s
0.09/0.13	c
0.09/0.13	c core #39
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 156
0.09/0.13	c Current CPU time: 0.12898 s
0.09/0.13	c
0.09/0.13	c core #40
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 157
0.09/0.13	c Current CPU time: 0.131979 s
0.09/0.13	c
0.09/0.13	c core #41
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 158
0.09/0.13	c Current CPU time: 0.134979 s
0.09/0.13	c
0.09/0.13	c core #42
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 159
0.09/0.13	c Current CPU time: 0.136979 s
0.19/0.25	c
0.19/0.25	c core #43
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 160
0.19/0.25	c Current CPU time: 0.139978 s
0.19/0.25	c
0.19/0.25	c core #44
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 5	Core Weight: 1	Total Weight: 161
0.19/0.25	c Current CPU time: 0.142978 s
0.19/0.25	c
0.19/0.25	c core #45
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 162
0.19/0.25	c Current CPU time: 0.145977 s
0.19/0.25	c
0.19/0.25	c core #46
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 7	Core Weight: 1	Total Weight: 163
0.19/0.25	c Current CPU time: 0.147977 s
0.19/0.25	c
0.19/0.25	c core #47
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 164
0.19/0.25	c Current CPU time: 0.150977 s
0.19/0.25	c
0.19/0.25	c core #48
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 6	Core Weight: 1	Total Weight: 165
0.19/0.25	c Current CPU time: 0.153976 s
0.19/0.25	c
0.19/0.25	c core #49
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 166
0.19/0.25	c Current CPU time: 0.155976 s
0.19/0.25	c
0.19/0.25	c core #50
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 6	Core Weight: 1	Total Weight: 167
0.19/0.25	c Current CPU time: 0.158975 s
0.19/0.25	c
0.19/0.25	c core #51
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 168
0.19/0.25	c Current CPU time: 0.161975 s
0.19/0.25	c
0.19/0.25	c core #52
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 169
0.19/0.25	c Current CPU time: 0.164974 s
0.19/0.25	c
0.19/0.25	c core #53
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 170
0.19/0.25	c Current CPU time: 0.167974 s
0.19/0.25	c
0.19/0.25	c core #54
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 171
0.19/0.25	c Current CPU time: 0.169974 s
0.19/0.25	c
0.19/0.25	c core #55
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 172
0.19/0.25	c Current CPU time: 0.172973 s
0.19/0.25	c
0.19/0.25	c core #56
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 173
0.19/0.25	c Current CPU time: 0.175973 s
0.19/0.25	c
0.19/0.25	c core #57
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 174
0.19/0.25	c Current CPU time: 0.178972 s
0.19/0.25	c
0.19/0.25	c core #58
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 175
0.19/0.25	c Current CPU time: 0.180972 s
0.19/0.25	c
0.19/0.25	c core #59
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 176
0.19/0.25	c Current CPU time: 0.183972 s
0.19/0.25	c
0.19/0.25	c core #60
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 177
0.19/0.25	c Current CPU time: 0.186971 s
0.19/0.25	c
0.19/0.25	c core #61
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 178
0.19/0.25	c Current CPU time: 0.189971 s
0.19/0.25	c
0.19/0.25	c core #62
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 5	Core Weight: 1	Total Weight: 179
0.19/0.25	c Current CPU time: 0.19297 s
0.19/0.25	c
0.19/0.25	c core #63
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 180
0.19/0.25	c Current CPU time: 0.19597 s
0.19/0.25	c
0.19/0.25	c core #64
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 181
0.19/0.25	c Current CPU time: 0.197969 s
0.19/0.25	c
0.19/0.25	c core #65
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 182
0.19/0.25	c Current CPU time: 0.200969 s
0.19/0.25	c
0.19/0.25	c core #66
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 183
0.19/0.25	c Current CPU time: 0.203968 s
0.19/0.25	c
0.19/0.25	c core #67
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 184
0.19/0.25	c Current CPU time: 0.206968 s
0.19/0.25	c
0.19/0.25	c core #68
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 185
0.19/0.25	c Current CPU time: 0.209968 s
0.19/0.25	c
0.19/0.25	c core #69
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 186
0.19/0.25	c Current CPU time: 0.212967 s
0.19/0.25	c
0.19/0.25	c core #70
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 6	Core Weight: 1	Total Weight: 187
0.19/0.25	c Current CPU time: 0.214967 s
0.19/0.25	c
0.19/0.25	c core #71
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 188
0.19/0.25	c Current CPU time: 0.217966 s
0.19/0.25	c
0.19/0.25	c core #72
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 189
0.19/0.25	c Current CPU time: 0.220966 s
0.19/0.25	c
0.19/0.25	c core #73
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 190
0.19/0.25	c Current CPU time: 0.223965 s
0.19/0.25	c
0.19/0.25	c core #74
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 191
0.19/0.25	c Current CPU time: 0.226965 s
0.19/0.25	c
0.19/0.25	c core #75
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 192
0.19/0.25	c Current CPU time: 0.229965 s
0.19/0.25	c
0.19/0.25	c core #76
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 193
0.19/0.25	c Current CPU time: 0.231964 s
0.19/0.25	c
0.19/0.25	c core #77
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 194
0.19/0.25	c Current CPU time: 0.234964 s
0.19/0.25	c
0.19/0.25	c core #78
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 195
0.19/0.25	c Current CPU time: 0.237963 s
0.19/0.25	c
0.19/0.25	c core #79
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 196
0.19/0.25	c Current CPU time: 0.240963 s
0.19/0.25	c
0.19/0.25	c core #80
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 6	Core Weight: 1	Total Weight: 197
0.19/0.25	c Current CPU time: 0.243962 s
0.19/0.25	c
0.19/0.25	c core #81
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 198
0.19/0.25	c Current CPU time: 0.246962 s
0.19/0.25	c
0.19/0.25	c core #82
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 199
0.19/0.25	c Current CPU time: 0.249962 s
0.19/0.25	c
0.19/0.25	c core #83
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 5	Core Weight: 1	Total Weight: 200
0.19/0.25	c Current CPU time: 0.252961 s
0.19/0.25	c
0.19/0.25	c core #84
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 201
0.19/0.25	c Current CPU time: 0.255961 s
0.29/0.38	c
0.29/0.38	c core #85
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 6	Core Weight: 1	Total Weight: 202
0.29/0.38	c Current CPU time: 0.25796 s
0.29/0.38	c
0.29/0.38	c core #86
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 203
0.29/0.38	c Current CPU time: 0.26096 s
0.29/0.38	c
0.29/0.38	c core #87
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 6	Core Weight: 1	Total Weight: 204
0.29/0.38	c Current CPU time: 0.263959 s
0.29/0.38	c
0.29/0.38	c core #88
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 205
0.29/0.38	c Current CPU time: 0.266959 s
0.29/0.38	c
0.29/0.38	c core #89
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 206
0.29/0.38	c Current CPU time: 0.269958 s
0.29/0.38	c
0.29/0.38	c core #90
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 207
0.29/0.38	c Current CPU time: 0.272958 s
0.29/0.38	c
0.29/0.38	c core #91
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 208
0.29/0.38	c Current CPU time: 0.275958 s
0.29/0.38	c
0.29/0.38	c core #92
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 209
0.29/0.38	c Current CPU time: 0.278957 s
0.29/0.38	c
0.29/0.38	c core #93
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 210
0.29/0.38	c Current CPU time: 0.281957 s
0.29/0.38	c
0.29/0.38	c core #94
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 211
0.29/0.38	c Current CPU time: 0.283956 s
0.29/0.38	c
0.29/0.38	c core #95
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 212
0.29/0.38	c Current CPU time: 0.286956 s
0.29/0.38	c
0.29/0.38	c core #96
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 213
0.29/0.38	c Current CPU time: 0.289955 s
0.29/0.38	c
0.29/0.38	c core #97
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 214
0.29/0.38	c Current CPU time: 0.292955 s
0.29/0.38	c
0.29/0.38	c core #98
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 5	Core Weight: 1	Total Weight: 215
0.29/0.38	c Current CPU time: 0.295955 s
0.29/0.38	c
0.29/0.38	c core #99
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 8	Core Weight: 1	Total Weight: 216
0.29/0.38	c Current CPU time: 0.298954 s
0.29/0.38	c
0.29/0.38	c core #100
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 7	Core Weight: 1	Total Weight: 217
0.29/0.38	c Current CPU time: 0.301954 s
0.29/0.38	c
0.29/0.38	c core #101
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 218
0.29/0.38	c Current CPU time: 0.304953 s
0.29/0.38	c
0.29/0.38	c core #102
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 219
0.29/0.38	c Current CPU time: 0.307953 s
0.29/0.38	c
0.29/0.38	c core #103
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 5	Core Weight: 1	Total Weight: 220
0.29/0.38	c Current CPU time: 0.310952 s
0.29/0.38	c
0.29/0.38	c core #104
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 5	Core Weight: 1	Total Weight: 221
0.29/0.38	c Current CPU time: 0.313952 s
0.29/0.38	c
0.29/0.38	c core #105
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 222
0.29/0.38	c Current CPU time: 0.316951 s
0.29/0.38	c
0.29/0.38	c core #106
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 223
0.29/0.38	c Current CPU time: 0.319951 s
0.29/0.38	c
0.29/0.38	c core #107
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 5	Core Weight: 1	Total Weight: 224
0.29/0.38	c Current CPU time: 0.32295 s
0.29/0.38	c
0.29/0.38	c core #108
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 225
0.29/0.38	c Current CPU time: 0.32595 s
0.29/0.38	c
0.29/0.38	c core #109
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 5	Core Weight: 1	Total Weight: 226
0.29/0.38	c Current CPU time: 0.328949 s
0.29/0.38	c
0.29/0.38	c core #110
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 227
0.29/0.38	c Current CPU time: 0.331949 s
0.29/0.38	c
0.29/0.38	c core #111
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 7	Core Weight: 1	Total Weight: 228
0.29/0.38	c Current CPU time: 0.334949 s
0.29/0.38	c
0.29/0.38	c core #112
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 229
0.29/0.38	c Current CPU time: 0.337948 s
0.29/0.38	c
0.29/0.38	c core #113
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 230
0.29/0.38	c Current CPU time: 0.340948 s
0.29/0.38	c
0.29/0.38	c core #114
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 6	Core Weight: 1	Total Weight: 231
0.29/0.38	c Current CPU time: 0.343947 s
0.29/0.38	c
0.29/0.38	c core #115
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 232
0.29/0.38	c Current CPU time: 0.346947 s
0.29/0.38	c
0.29/0.38	c core #116
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 5	Core Weight: 1	Total Weight: 233
0.29/0.38	c Current CPU time: 0.349946 s
0.29/0.38	c
0.29/0.38	c core #117
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 5	Core Weight: 1	Total Weight: 234
0.29/0.38	c Current CPU time: 0.352946 s
0.29/0.38	c
0.29/0.38	c core #118
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 5	Core Weight: 1	Total Weight: 235
0.29/0.38	c Current CPU time: 0.355945 s
0.29/0.38	c
0.29/0.38	c core #119
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 236
0.29/0.38	c Current CPU time: 0.358945 s
0.29/0.38	c
0.29/0.38	c core #120
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 237
0.29/0.38	c Current CPU time: 0.361944 s
0.29/0.38	c
0.29/0.38	c core #121
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 238
0.29/0.38	c Current CPU time: 0.364944 s
0.29/0.38	c
0.29/0.38	c core #122
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 8	Core Weight: 1	Total Weight: 239
0.29/0.38	c Current CPU time: 0.367944 s
0.29/0.38	c
0.29/0.38	c core #123
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 9	Core Weight: 1	Total Weight: 240
0.29/0.38	c Current CPU time: 0.370943 s
0.29/0.38	c
0.29/0.38	c core #124
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 241
0.29/0.38	c Current CPU time: 0.373943 s
0.29/0.38	c
0.29/0.38	c core #125
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 242
0.29/0.38	c Current CPU time: 0.376942 s
0.29/0.38	c
0.29/0.38	c core #126
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 5	Core Weight: 1	Total Weight: 243
0.49/0.50	c Current CPU time: 0.379942 s
0.49/0.50	c
0.49/0.50	c core #127
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 8	Core Weight: 1	Total Weight: 244
0.49/0.50	c Current CPU time: 0.382941 s
0.49/0.50	c
0.49/0.50	c core #128
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 245
0.49/0.50	c Current CPU time: 0.385941 s
0.49/0.50	c
0.49/0.50	c core #129
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 246
0.49/0.50	c Current CPU time: 0.38894 s
0.49/0.50	c
0.49/0.50	c core #130
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 5	Core Weight: 1	Total Weight: 247
0.49/0.50	c Current CPU time: 0.39194 s
0.49/0.50	c
0.49/0.50	c core #131
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 248
0.49/0.50	c Current CPU time: 0.394939 s
0.49/0.50	c
0.49/0.50	c core #132
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 5	Core Weight: 1	Total Weight: 249
0.49/0.50	c Current CPU time: 0.397939 s
0.49/0.50	c
0.49/0.50	c core #133
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 11	Core Weight: 1	Total Weight: 250
0.49/0.50	c Current CPU time: 0.400939 s
0.49/0.50	c
0.49/0.50	c core #134
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 251
0.49/0.50	c Current CPU time: 0.403938 s
0.49/0.50	c
0.49/0.50	c core #135
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 252
0.49/0.50	c Current CPU time: 0.406938 s
0.49/0.50	c
0.49/0.50	c core #136
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 11	Core Weight: 1	Total Weight: 253
0.49/0.50	c Current CPU time: 0.409937 s
0.49/0.50	c
0.49/0.50	c core #137
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 254
0.49/0.50	c Current CPU time: 0.412937 s
0.49/0.50	c
0.49/0.50	c core #138
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 255
0.49/0.50	c Current CPU time: 0.415936 s
0.49/0.50	c
0.49/0.50	c core #139
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 256
0.49/0.50	c Current CPU time: 0.418936 s
0.49/0.50	c
0.49/0.50	c core #140
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 257
0.49/0.50	c Current CPU time: 0.421935 s
0.49/0.50	c
0.49/0.50	c core #141
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 6	Core Weight: 1	Total Weight: 258
0.49/0.50	c Current CPU time: 0.424935 s
0.49/0.50	c
0.49/0.50	c core #142
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 259
0.49/0.50	c Current CPU time: 0.427934 s
0.49/0.50	c
0.49/0.50	c core #143
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 7	Core Weight: 1	Total Weight: 260
0.49/0.50	c Current CPU time: 0.429934 s
0.49/0.50	c
0.49/0.50	c core #144
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 261
0.49/0.50	c Current CPU time: 0.433934 s
0.49/0.50	c
0.49/0.50	c core #145
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 5	Core Weight: 1	Total Weight: 262
0.49/0.50	c Current CPU time: 0.436933 s
0.49/0.50	c
0.49/0.50	c core #146
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 263
0.49/0.50	c Current CPU time: 0.439933 s
0.49/0.50	c
0.49/0.50	c core #147
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 5	Core Weight: 1	Total Weight: 264
0.49/0.50	c Current CPU time: 0.442932 s
0.49/0.50	c
0.49/0.50	c core #148
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 6	Core Weight: 1	Total Weight: 265
0.49/0.50	c Current CPU time: 0.445932 s
0.49/0.50	c
0.49/0.50	c core #149
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 266
0.49/0.50	c Current CPU time: 0.448931 s
0.49/0.50	c
0.49/0.50	c core #150
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 8	Core Weight: 1	Total Weight: 267
0.49/0.50	c Current CPU time: 0.451931 s
0.49/0.50	c
0.49/0.50	c core #151
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 268
0.49/0.50	c Current CPU time: 0.45493 s
0.49/0.50	c
0.49/0.50	c core #152
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 9	Core Weight: 1	Total Weight: 269
0.49/0.50	c Current CPU time: 0.45893 s
0.49/0.50	c
0.49/0.50	c core #153
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 6	Core Weight: 1	Total Weight: 270
0.49/0.50	c Current CPU time: 0.461929 s
0.49/0.50	c
0.49/0.50	c core #154
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 6	Core Weight: 1	Total Weight: 271
0.49/0.50	c Current CPU time: 0.464929 s
0.49/0.50	c
0.49/0.50	c core #155
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 272
0.49/0.50	c Current CPU time: 0.467928 s
0.49/0.50	c
0.49/0.50	c core #156
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 273
0.49/0.50	c Current CPU time: 0.470928 s
0.49/0.50	c
0.49/0.50	c core #157
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 7	Core Weight: 1	Total Weight: 274
0.49/0.50	c Current CPU time: 0.473927 s
0.49/0.50	c
0.49/0.50	c core #158
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 5	Core Weight: 1	Total Weight: 275
0.49/0.50	c Current CPU time: 0.477927 s
0.49/0.50	c
0.49/0.50	c core #159
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 13	Core Weight: 1	Total Weight: 276
0.49/0.50	c Current CPU time: 0.480926 s
0.49/0.50	c
0.49/0.50	c core #160
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 14	Core Weight: 1	Total Weight: 277
0.49/0.50	c Current CPU time: 0.483926 s
0.49/0.50	c
0.49/0.50	c core #161
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 7	Core Weight: 1	Total Weight: 278
0.49/0.50	c Current CPU time: 0.486925 s
0.49/0.50	c
0.49/0.50	c core #162
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 15	Core Weight: 1	Total Weight: 279
0.49/0.50	c Current CPU time: 0.489925 s
0.49/0.50	c
0.49/0.50	c core #163
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 9	Core Weight: 1	Total Weight: 280
0.49/0.50	c Current CPU time: 0.493924 s
0.49/0.50	c
0.49/0.50	c core #164
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 8	Core Weight: 1	Total Weight: 281
0.49/0.50	c Current CPU time: 0.496924 s
0.49/0.50	c
0.49/0.50	c core #165
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 282
0.49/0.50	c Current CPU time: 0.499924 s
0.49/0.50	c
0.49/0.50	c core #166
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 6	Core Weight: 1	Total Weight: 283
0.49/0.50	c Current CPU time: 0.502923 s
0.49/0.50	c
0.49/0.50	c core #167
0.49/0.50	c 
0.49/0.50	c 
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 284
0.49/0.50	c Current CPU time: 0.506922 s
0.59/0.64	c
0.59/0.64	c core #168
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 6	Core Weight: 1	Total Weight: 285
0.59/0.64	c Current CPU time: 0.509922 s
0.59/0.64	c
0.59/0.64	c core #169
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 286
0.59/0.64	c Current CPU time: 0.512922 s
0.59/0.64	c
0.59/0.64	c core #170
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 287
0.59/0.64	c Current CPU time: 0.515921 s
0.59/0.64	c
0.59/0.64	c core #171
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 11	Core Weight: 1	Total Weight: 288
0.59/0.64	c Current CPU time: 0.51992 s
0.59/0.64	c
0.59/0.64	c core #172
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 289
0.59/0.64	c Current CPU time: 0.52292 s
0.59/0.64	c
0.59/0.64	c core #173
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 290
0.59/0.64	c Current CPU time: 0.52592 s
0.59/0.64	c
0.59/0.64	c core #174
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 291
0.59/0.64	c Current CPU time: 0.528919 s
0.59/0.64	c
0.59/0.64	c core #175
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 292
0.59/0.64	c Current CPU time: 0.531919 s
0.59/0.64	c
0.59/0.64	c core #176
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 293
0.59/0.64	c Current CPU time: 0.534918 s
0.59/0.64	c
0.59/0.64	c core #177
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 294
0.59/0.64	c Current CPU time: 0.538918 s
0.59/0.64	c
0.59/0.64	c core #178
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 295
0.59/0.64	c Current CPU time: 0.541917 s
0.59/0.64	c
0.59/0.64	c core #179
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 17	Core Weight: 1	Total Weight: 296
0.59/0.64	c Current CPU time: 0.544917 s
0.59/0.64	c
0.59/0.64	c core #180
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 297
0.59/0.64	c Current CPU time: 0.547916 s
0.59/0.64	c
0.59/0.64	c core #181
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 298
0.59/0.64	c Current CPU time: 0.550916 s
0.59/0.64	c
0.59/0.64	c core #182
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 8	Core Weight: 1	Total Weight: 299
0.59/0.64	c Current CPU time: 0.554915 s
0.59/0.64	c
0.59/0.64	c core #183
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 300
0.59/0.64	c Current CPU time: 0.557915 s
0.59/0.64	c
0.59/0.64	c core #184
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 16	Core Weight: 1	Total Weight: 301
0.59/0.64	c Current CPU time: 0.560914 s
0.59/0.64	c
0.59/0.64	c core #185
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 302
0.59/0.64	c Current CPU time: 0.564914 s
0.59/0.64	c
0.59/0.64	c core #186
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 303
0.59/0.64	c Current CPU time: 0.567913 s
0.59/0.64	c
0.59/0.64	c core #187
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 304
0.59/0.64	c Current CPU time: 0.570913 s
0.59/0.64	c
0.59/0.64	c core #188
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 14	Core Weight: 1	Total Weight: 305
0.59/0.64	c Current CPU time: 0.573912 s
0.59/0.64	c
0.59/0.64	c core #189
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 10	Core Weight: 1	Total Weight: 306
0.59/0.64	c Current CPU time: 0.576912 s
0.59/0.64	c
0.59/0.64	c core #190
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 307
0.59/0.64	c Current CPU time: 0.579911 s
0.59/0.64	c
0.59/0.64	c core #191
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 308
0.59/0.64	c Current CPU time: 0.582911 s
0.59/0.64	c
0.59/0.64	c core #192
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 309
0.59/0.64	c Current CPU time: 0.58691 s
0.59/0.64	c
0.59/0.64	c core #193
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 310
0.59/0.64	c Current CPU time: 0.58991 s
0.59/0.64	c
0.59/0.64	c core #194
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 13	Core Weight: 1	Total Weight: 311
0.59/0.64	c Current CPU time: 0.592909 s
0.59/0.64	c
0.59/0.64	c core #195
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 312
0.59/0.64	c Current CPU time: 0.596909 s
0.59/0.64	c
0.59/0.64	c core #196
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 313
0.59/0.64	c Current CPU time: 0.599908 s
0.59/0.64	c
0.59/0.64	c core #197
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 11	Core Weight: 1	Total Weight: 314
0.59/0.64	c Current CPU time: 0.602908 s
0.59/0.64	c
0.59/0.64	c core #198
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 315
0.59/0.64	c Current CPU time: 0.606907 s
0.59/0.64	c
0.59/0.64	c core #199
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 316
0.59/0.64	c Current CPU time: 0.609907 s
0.59/0.64	c
0.59/0.64	c core #200
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 317
0.59/0.64	c Current CPU time: 0.612906 s
0.59/0.64	c
0.59/0.64	c core #201
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 318
0.59/0.64	c Current CPU time: 0.616906 s
0.59/0.64	c
0.59/0.64	c core #202
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 319
0.59/0.64	c Current CPU time: 0.619905 s
0.59/0.64	c
0.59/0.64	c core #203
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 320
0.59/0.64	c Current CPU time: 0.623905 s
0.59/0.64	c
0.59/0.64	c core #204
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 5	Core Weight: 1	Total Weight: 321
0.59/0.64	c Current CPU time: 0.626904 s
0.59/0.64	c
0.59/0.64	c core #205
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 8	Core Weight: 1	Total Weight: 322
0.59/0.64	c Current CPU time: 0.629904 s
0.59/0.64	c
0.59/0.64	c core #206
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 323
0.59/0.64	c Current CPU time: 0.633903 s
0.59/0.64	c
0.59/0.64	c core #207
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 324
0.59/0.64	c Current CPU time: 0.636903 s
0.59/0.64	c
0.59/0.64	c core #208
0.59/0.64	c 
0.59/0.64	c 
0.59/0.64	c Core size: 6	Core Weight: 1	Total Weight: 325
0.59/0.64	c Current CPU time: 0.639902 s
0.59/0.64	c
0.59/0.64	c core #209
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 326
0.69/0.79	c Current CPU time: 0.643902 s
0.69/0.79	c
0.69/0.79	c core #210
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 327
0.69/0.79	c Current CPU time: 0.646901 s
0.69/0.79	c
0.69/0.79	c core #211
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 328
0.69/0.79	c Current CPU time: 0.650901 s
0.69/0.79	c
0.69/0.79	c core #212
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 5	Core Weight: 1	Total Weight: 329
0.69/0.79	c Current CPU time: 0.6539 s
0.69/0.79	c
0.69/0.79	c core #213
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 330
0.69/0.79	c Current CPU time: 0.6569 s
0.69/0.79	c
0.69/0.79	c core #214
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 6	Core Weight: 1	Total Weight: 331
0.69/0.79	c Current CPU time: 0.660899 s
0.69/0.79	c
0.69/0.79	c core #215
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 332
0.69/0.79	c Current CPU time: 0.663899 s
0.69/0.79	c
0.69/0.79	c core #216
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 10	Core Weight: 1	Total Weight: 333
0.69/0.79	c Current CPU time: 0.667898 s
0.69/0.79	c
0.69/0.79	c core #217
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 8	Core Weight: 1	Total Weight: 334
0.69/0.79	c Current CPU time: 0.670898 s
0.69/0.79	c
0.69/0.79	c core #218
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 6	Core Weight: 1	Total Weight: 335
0.69/0.79	c Current CPU time: 0.674897 s
0.69/0.79	c
0.69/0.79	c core #219
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 336
0.69/0.79	c Current CPU time: 0.677896 s
0.69/0.79	c
0.69/0.79	c core #220
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 9	Core Weight: 1	Total Weight: 337
0.69/0.79	c Current CPU time: 0.681896 s
0.69/0.79	c
0.69/0.79	c core #221
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 338
0.69/0.79	c Current CPU time: 0.685895 s
0.69/0.79	c
0.69/0.79	c core #222
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 5	Core Weight: 1	Total Weight: 339
0.69/0.79	c Current CPU time: 0.688895 s
0.69/0.79	c
0.69/0.79	c core #223
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 340
0.69/0.79	c Current CPU time: 0.692894 s
0.69/0.79	c
0.69/0.79	c core #224
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 5	Core Weight: 1	Total Weight: 341
0.69/0.79	c Current CPU time: 0.696894 s
0.69/0.79	c
0.69/0.79	c core #225
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 342
0.69/0.79	c Current CPU time: 0.699893 s
0.69/0.79	c
0.69/0.79	c core #226
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 343
0.69/0.79	c Current CPU time: 0.703892 s
0.69/0.79	c
0.69/0.79	c core #227
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 11	Core Weight: 1	Total Weight: 344
0.69/0.79	c Current CPU time: 0.707892 s
0.69/0.79	c
0.69/0.79	c core #228
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 7	Core Weight: 1	Total Weight: 345
0.69/0.79	c Current CPU time: 0.711891 s
0.69/0.79	c
0.69/0.79	c core #229
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 8	Core Weight: 1	Total Weight: 346
0.69/0.79	c Current CPU time: 0.714891 s
0.69/0.79	c
0.69/0.79	c core #230
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 13	Core Weight: 1	Total Weight: 347
0.69/0.79	c Current CPU time: 0.71889 s
0.69/0.79	c
0.69/0.79	c core #231
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 12	Core Weight: 1	Total Weight: 348
0.69/0.79	c Current CPU time: 0.72289 s
0.69/0.79	c
0.69/0.79	c core #232
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 17	Core Weight: 1	Total Weight: 349
0.69/0.79	c Current CPU time: 0.726889 s
0.69/0.79	c
0.69/0.79	c core #233
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 10	Core Weight: 1	Total Weight: 350
0.69/0.79	c Current CPU time: 0.730888 s
0.69/0.79	c
0.69/0.79	c core #234
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 11	Core Weight: 1	Total Weight: 351
0.69/0.79	c Current CPU time: 0.733888 s
0.69/0.79	c
0.69/0.79	c core #235
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 16	Core Weight: 1	Total Weight: 352
0.69/0.79	c Current CPU time: 0.737887 s
0.69/0.79	c
0.69/0.79	c core #236
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 7	Core Weight: 1	Total Weight: 353
0.69/0.79	c Current CPU time: 0.741887 s
0.69/0.79	c
0.69/0.79	c core #237
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 17	Core Weight: 1	Total Weight: 354
0.69/0.79	c Current CPU time: 0.744886 s
0.69/0.79	c
0.69/0.79	c core #238
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 10	Core Weight: 1	Total Weight: 355
0.69/0.79	c Current CPU time: 0.748886 s
0.69/0.79	c
0.69/0.79	c core #239
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 8	Core Weight: 1	Total Weight: 356
0.69/0.79	c Current CPU time: 0.752885 s
0.69/0.79	c
0.69/0.79	c core #240
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 10	Core Weight: 1	Total Weight: 357
0.69/0.79	c Current CPU time: 0.755885 s
0.69/0.79	c
0.69/0.79	c core #241
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 15	Core Weight: 1	Total Weight: 358
0.69/0.79	c Current CPU time: 0.759884 s
0.69/0.79	c
0.69/0.79	c core #242
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 18	Core Weight: 1	Total Weight: 359
0.69/0.79	c Current CPU time: 0.763883 s
0.69/0.79	c
0.69/0.79	c core #243
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 10	Core Weight: 1	Total Weight: 360
0.69/0.79	c Current CPU time: 0.767883 s
0.69/0.79	c
0.69/0.79	c core #244
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 13	Core Weight: 1	Total Weight: 361
0.69/0.79	c Current CPU time: 0.770882 s
0.69/0.79	c
0.69/0.79	c core #245
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 13	Core Weight: 1	Total Weight: 362
0.69/0.79	c Current CPU time: 0.774882 s
0.69/0.79	c
0.69/0.79	c core #246
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 18	Core Weight: 1	Total Weight: 363
0.69/0.79	c Current CPU time: 0.778881 s
0.69/0.79	c
0.69/0.79	c core #247
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 12	Core Weight: 1	Total Weight: 364
0.69/0.79	c Current CPU time: 0.78288 s
0.69/0.79	c
0.69/0.79	c core #248
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 13	Core Weight: 1	Total Weight: 365
0.69/0.79	c Current CPU time: 0.78688 s
0.69/0.79	c
0.69/0.79	c core #249
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 18	Core Weight: 1	Total Weight: 366
0.69/0.79	c Current CPU time: 0.790879 s
0.69/0.79	c
0.69/0.79	c core #250
0.69/0.79	c 
0.69/0.79	c 
0.69/0.79	c Core size: 13	Core Weight: 1	Total Weight: 367
0.79/0.84	c Current CPU time: 0.794879 s
0.79/0.84	c
0.79/0.84	c core #251
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 26	Core Weight: 1	Total Weight: 368
0.79/0.84	c Current CPU time: 0.798878 s
0.79/0.84	c
0.79/0.84	c core #252
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 15	Core Weight: 1	Total Weight: 369
0.79/0.84	c Current CPU time: 0.802877 s
0.79/0.84	c
0.79/0.84	c core #253
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 12	Core Weight: 1	Total Weight: 370
0.79/0.84	c Current CPU time: 0.806877 s
0.79/0.84	c
0.79/0.84	c core #254
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 19	Core Weight: 1	Total Weight: 371
0.79/0.84	c Current CPU time: 0.810876 s
0.79/0.84	c
0.79/0.84	c core #255
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 17	Core Weight: 1	Total Weight: 372
0.79/0.84	c Current CPU time: 0.814876 s
0.79/0.84	c
0.79/0.84	c core #256
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 23	Core Weight: 1	Total Weight: 373
0.79/0.84	c Current CPU time: 0.818875 s
0.79/0.84	c
0.79/0.84	c core #257
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 14	Core Weight: 1	Total Weight: 374
0.79/0.84	c Current CPU time: 0.822874 s
0.79/0.84	c
0.79/0.84	c core #258
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 21	Core Weight: 1	Total Weight: 375
0.79/0.84	c Current CPU time: 0.826874 s
0.79/0.84	c
0.79/0.84	c core #259
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 51	Core Weight: 1	Total Weight: 376
0.79/0.84	c Current CPU time: 0.830873 s
0.79/0.84	c
0.79/0.84	c core #260
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 26	Core Weight: 1	Total Weight: 377
0.79/0.84	c Current CPU time: 0.835872 s
0.79/0.84	c
0.79/0.84	c core #261
0.79/0.84	c 
0.79/0.84	c 
0.79/0.84	c Core size: 38	Core Weight: 1	Total Weight: 378
0.79/0.84	c Current CPU time: 0.839872 s
0.79/0.84	c
0.79/0.84	c ============================[ Search Statistics ]==============================
0.79/0.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.84	c ===============================================================================
0.79/0.84	c |         0 |    2287     6460    36966 |     5000        0   -nan |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.85	c core #262
0.79/0.85	c 
0.79/0.85	c 
0.79/0.85	c Core size: 16	Core Weight: 1	Total Weight: 379
0.79/0.85	c Current CPU time: 0.843871 s
0.79/0.85	c
0.79/0.85	c ============================[ Search Statistics ]==============================
0.79/0.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.85	c ===============================================================================
0.79/0.85	c |         0 |    2308     6461    37000 |     5000        0   -nan |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c core #263
0.79/0.85	c 
0.79/0.85	c 
0.79/0.85	c Core size: 42	Core Weight: 1	Total Weight: 380
0.79/0.85	c Current CPU time: 0.84887 s
0.79/0.85	c
0.79/0.85	c ============================[ Search Statistics ]==============================
0.79/0.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.85	c ===============================================================================
0.79/0.85	c |         0 |    2347     6462    37070 |     5000        0   -nan |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.86	c core #264
0.79/0.86	c 
0.79/0.86	c 
0.79/0.86	c Core size: 122	Core Weight: 1	Total Weight: 381
0.79/0.86	c Current CPU time: 0.85487 s
0.79/0.86	c
0.79/0.86	c ============================[ Search Statistics ]==============================
0.79/0.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.86	c ===============================================================================
0.79/0.86	c |         0 |    2463     6463    37291 |     5000        0   -nan |  0.000 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c core #265
0.79/0.86	c 
0.79/0.86	c 
0.79/0.86	c Core size: 29	Core Weight: 1	Total Weight: 382
0.79/0.86	c Current CPU time: 0.859869 s
0.79/0.86	c
0.79/0.86	c ============================[ Search Statistics ]==============================
0.79/0.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.86	c ===============================================================================
0.79/0.86	c |         0 |    2493     6464    37346 |     5000        0   -nan |  0.000 % |
0.79/0.86	c |       100 |    2493     6464    37346 |     5500      100     11 | 11.234 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c core #266
0.79/0.87	c 
0.79/0.87	c 
0.79/0.87	c Core size: 115	Core Weight: 1	Total Weight: 383
0.79/0.87	c Current CPU time: 0.868867 s
0.79/0.87	c
0.79/0.87	c ============================[ Search Statistics ]==============================
0.79/0.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.87	c ===============================================================================
0.79/0.87	c |         0 |    2604     6465    37563 |     5000        0   -nan |  0.000 % |
0.79/0.88	c |       104 |    2603     6465    37563 |     5500      104     14 | 11.203 % |
0.79/0.88	c |       254 |    2603     6465    37563 |     6050      254     25 | 11.203 % |
0.79/0.88	c ===============================================================================
0.79/0.89	c core #267
0.79/0.89	c 
0.79/0.89	c 
0.79/0.89	c Core size: 29	Core Weight: 1	Total Weight: 384
0.79/0.89	c Current CPU time: 0.881865 s
0.79/0.89	c
0.79/0.89	c ============================[ Search Statistics ]==============================
0.79/0.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.89	c ===============================================================================
0.79/0.89	c |         0 |    2628     6466    37605 |     5000        0   -nan |  0.000 % |
0.79/0.89	c |       100 |    2628     6466    37605 |     5500      100     20 |  9.969 % |
0.79/0.89	c ===============================================================================
0.79/0.90	c core #268
0.79/0.90	c 
0.79/0.90	c 
0.79/0.90	c Core size: 43	Core Weight: 1	Total Weight: 385
0.79/0.90	c Current CPU time: 0.891864 s
0.79/0.90	c
0.79/0.90	c ============================[ Search Statistics ]==============================
0.79/0.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.90	c ===============================================================================
0.79/0.90	c |         0 |    2667     6467    37681 |     5000        0   -nan |  0.000 % |
0.89/0.90	c |       101 |    2667     6467    37681 |     5500      101     21 |  9.777 % |
0.89/0.90	c |       253 |    2667     6467    37681 |     6050      253     23 |  9.777 % |
0.89/0.91	c |       478 |    2627     6467    37681 |     6655      478     28 | 11.130 % |
0.89/0.92	c |       819 |    2626     6467    37681 |     7320      819     28 | 11.164 % |
0.89/0.92	c ===============================================================================
0.89/0.93	c core #269
0.89/0.93	c 
0.89/0.93	c 
0.89/0.93	c Core size: 214	Core Weight: 1	Total Weight: 386
0.89/0.93	c Current CPU time: 0.922859 s
0.89/0.93	c
0.89/0.93	c ============================[ Search Statistics ]==============================
0.89/0.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.93	c ===============================================================================
0.89/0.93	c |         0 |    2907     6468    38130 |     5000        0   -nan |  0.000 % |
0.89/0.93	c |       101 |    2907     6468    38130 |     5500      101     10 |  8.152 % |
0.89/0.93	c |       251 |    2907     6468    38130 |     6050      251     11 |  8.152 % |
0.89/0.94	c |       477 |    2907     6468    38130 |     6655      477     12 |  8.183 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c core #270
0.89/0.94	c 
0.89/0.94	c 
0.89/0.94	c Core size: 79	Core Weight: 1	Total Weight: 387
0.89/0.94	c Current CPU time: 0.935857 s
0.89/0.94	c
0.89/0.94	c ============================[ Search Statistics ]==============================
0.89/0.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.94	c ===============================================================================
0.89/0.94	c |         0 |    2981     6469    38276 |     5000        0   -nan |  0.000 % |
0.89/0.94	c ===============================================================================
0.89/0.95	c core #271
0.89/0.95	c 
0.89/0.95	c 
0.89/0.95	c Core size: 92	Core Weight: 1	Total Weight: 388
0.89/0.95	c Current CPU time: 0.939857 s
0.89/0.95	c
0.89/0.95	c ============================[ Search Statistics ]==============================
0.89/0.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.95	c ===============================================================================
0.89/0.95	c |         0 |    3069     6470    38445 |     5000        0   -nan |  0.000 % |
0.89/0.95	c |       102 |    3064     6470    38445 |     5500      102     40 |  8.833 % |
0.89/0.95	c |       252 |    3063     6470    38445 |     6050      252     31 |  8.894 % |
0.89/0.96	c |       477 |    3063     6470    38445 |     6655      477     29 |  8.894 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c core #272
0.89/0.96	c 
0.89/0.96	c 
0.89/0.96	c Core size: 15	Core Weight: 1	Total Weight: 389
0.89/0.96	c Current CPU time: 0.957854 s
0.89/0.96	c
0.89/0.96	c ============================[ Search Statistics ]==============================
0.89/0.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.96	c ===============================================================================
0.89/0.96	c |         0 |    3081     6471    38467 |     5000        0   -nan |  0.000 % |
0.89/0.97	c |       100 |    3080     6471    38467 |     5500      100     14 |  7.424 % |
0.89/0.97	c |       251 |    3080     6471    38467 |     6050      251     14 |  7.424 % |
0.89/0.98	c |       476 |    3065     6471    38467 |     6655      476     16 |  7.875 % |
0.89/0.99	c |       820 |    3062     6471    38467 |     7320      820     15 |  7.965 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c core #273
0.89/0.99	c 
0.89/0.99	c 
0.89/0.99	c Core size: 203	Core Weight: 1	Total Weight: 390
0.89/0.99	c Current CPU time: 0.98485 s
0.89/0.99	c
0.89/0.99	c ============================[ Search Statistics ]==============================
0.89/0.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.99	c ===============================================================================
0.89/0.99	c |         0 |    3294     6472    38879 |     5000        0   -nan |  0.000 % |
0.89/0.99	c |       103 |    3294     6472    38879 |     5500      103     19 |  6.580 % |
0.99/1.02	c |       253 |    3294     6472    38879 |     6050      253     17 |  6.580 % |
0.99/1.02	c |       479 |    3294     6472    38879 |     6655      479     16 |  6.580 % |
0.99/1.02	c |       819 |    3294     6472    38879 |     7320      819     17 |  6.580 % |
0.99/1.02	c |      1326 |    3293     6472    38879 |     8052     1326     16 |  6.608 % |
0.99/1.04	c |      2086 |    3293     6472    38879 |     8857     2086     18 |  6.608 % |
0.99/1.07	c |      3226 |    3293     6472    38879 |     9743     3226     19 |  6.608 % |
1.11/1.13	c |      4935 |    3293     6472    38879 |    10717     4935     23 |  6.608 % |
1.19/1.24	c |      7503 |    3291     6472    38879 |    11789     7503     23 |  6.835 % |
1.29/1.31	c ===============================================================================
1.29/1.35	c core #274
1.29/1.35	c 
1.29/1.35	c 
1.29/1.35	c Core size: 96	Core Weight: 1	Total Weight: 391
1.29/1.35	c Current CPU time: 1.3288 s
1.29/1.35	c
1.29/1.35	c ============================[ Search Statistics ]==============================
1.29/1.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.35	c ===============================================================================
1.29/1.35	c |         0 |    3390     6473    39068 |     5000        0   -nan |  0.000 % |
1.29/1.35	c |       101 |    3390     6473    39068 |     5500      101     39 |  6.328 % |
1.29/1.36	c |       251 |    3390     6473    39068 |     6050      251     30 |  6.328 % |
1.29/1.36	c |       477 |    3390     6473    39068 |     6655      477     30 |  6.328 % |
1.29/1.38	c |       814 |    3390     6473    39068 |     7320      814     36 |  6.328 % |
1.29/1.39	c |      1320 |    3390     6473    39068 |     8052     1320     33 |  6.328 % |
1.39/1.42	c |      2082 |    3390     6473    39068 |     8857     2082     32 |  6.328 % |
1.39/1.48	c |      3222 |    3377     6473    39068 |     9743     3222     37 |  6.687 % |
1.49/1.55	c |      4931 |    3376     6473    39068 |    10717     4931     38 |  6.742 % |
1.59/1.69	c |      7494 |    3376     6473    39068 |    11789     7494     34 |  6.742 % |
1.99/2.01	c |     11338 |    3374     6473    39068 |    12968    11338     43 |  6.770 % |
2.09/2.16	c ===============================================================================
2.09/2.21	c core #275
2.09/2.21	c 
2.09/2.21	c 
2.09/2.21	c Core size: 330	Core Weight: 1	Total Weight: 392
2.09/2.21	c Current CPU time: 2.17867 s
2.09/2.21	c
2.09/2.21	c ============================[ Search Statistics ]==============================
2.09/2.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.09/2.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.09/2.21	c ===============================================================================
2.09/2.21	c |         0 |    3735     6474    39740 |     5000        0   -nan |  0.000 % |
2.09/2.22	c |       100 |    3735     6474    39740 |     5500      100     16 |  5.347 % |
2.21/2.22	c |       254 |    3735     6474    39740 |     6050      254     27 |  5.347 % |
2.21/2.23	c |       480 |    3735     6474    39740 |     6655      480     30 |  5.347 % |
2.21/2.24	c |       818 |    3735     6474    39740 |     7320      818     31 |  5.347 % |
2.21/2.27	c |      1324 |    3735     6474    39740 |     8052     1324     34 |  5.347 % |
2.29/2.30	c |      2086 |    3735     6474    39740 |     8857     2086     30 |  5.347 % |
2.29/2.31	c ===============================================================================
2.29/2.32	c core #276
2.29/2.32	c 
2.29/2.32	c 
2.29/2.32	c Core size: 213	Core Weight: 1	Total Weight: 393
2.29/2.32	c Current CPU time: 2.29065 s
2.29/2.32	c
2.29/2.32	c ============================[ Search Statistics ]==============================
2.29/2.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.32	c ===============================================================================
2.29/2.32	c |         0 |    3952     6475    40169 |     5000        0   -nan |  0.000 % |
2.29/2.33	c ===============================================================================
2.29/2.33	c core #277
2.29/2.33	c 
2.29/2.33	c 
2.29/2.33	c Core size: 49	Core Weight: 1	Total Weight: 394
2.29/2.33	c Current CPU time: 2.29965 s
2.29/2.33	c
2.29/2.33	c ============================[ Search Statistics ]==============================
2.29/2.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.33	c ===============================================================================
2.29/2.33	c |         0 |    4004     6476    40261 |     5000        0   -nan |  0.000 % |
2.29/2.33	c |       101 |    4004     6476    40261 |     5500      101     38 |  4.621 % |
2.29/2.34	c |       253 |    4004     6476    40261 |     6050      253     25 |  4.621 % |
2.29/2.35	c |       478 |    4004     6476    40261 |     6655      478     21 |  4.621 % |
2.29/2.36	c |       815 |    4004     6476    40261 |     7320      815     29 |  4.621 % |
2.29/2.39	c |      1325 |    4004     6476    40261 |     8052     1325     37 |  4.621 % |
2.39/2.42	c |      2086 |    4004     6476    40261 |     8857     2086     43 |  4.621 % |
2.39/2.48	c |      3228 |    4004     6476    40261 |     9743     3228     42 |  4.621 % |
2.49/2.58	c |      4936 |    4004     6476    40261 |    10717     4936     47 |  4.621 % |
2.69/2.76	c |      7499 |    4004     6476    40261 |    11789     7499     52 |  4.621 % |
2.99/3.06	c |     11343 |    4004     6476    40261 |    12968    11343     58 |  4.621 % |
3.59/3.62	c |     17109 |    4004     6476    40261 |    14265    10472     58 |  4.621 % |
4.41/4.49	c |     25758 |    4003     6476    40261 |    15692    11784     70 |  4.645 % |
5.89/5.90	c |     38733 |    4003     6476    40261 |    17261     8797     67 |  4.645 % |
8.19/8.24	c |     58196 |    4003     6476    40261 |    18987    10615     82 |  4.645 % |
11.89/11.97	c |     87392 |    3997     6476    40261 |    20886    10701     94 |  4.788 % |
17.61/17.67	c |    131181 |    3993     6476    40261 |    22974    11867     93 |  4.955 % |
26.79/26.87	c ===============================================================================
27.99/28.00	c core #278
27.99/28.00	c 
27.99/28.00	c 
27.99/28.00	c Core size: 291	Core Weight: 1	Total Weight: 395
27.99/28.00	c Current CPU time: 27.6798 s
27.99/28.00	c
27.99/28.00	c ============================[ Search Statistics ]==============================
27.99/28.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.99/28.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
27.99/28.00	c ===============================================================================
27.99/28.00	c |         0 |    4298     6477    40842 |     5000        0   -nan |  0.000 % |
27.99/28.01	c |       102 |    4298     6477    40842 |     5500      102     80 |  4.169 % |
27.99/28.01	c |       252 |    4298     6477    40842 |     6050      252     89 |  4.169 % |
27.99/28.03	c |       478 |    4298     6477    40842 |     6655      478     70 |  4.169 % |
27.99/28.04	c |       816 |    4298     6477    40842 |     7320      816     62 |  4.169 % |
27.99/28.09	c |      1324 |    4298     6477    40842 |     8052     1324     86 |  4.169 % |
28.09/28.14	c |      2084 |    4298     6477    40842 |     8857     2084     94 |  4.169 % |
28.19/28.23	c |      3223 |    4298     6477    40842 |     9743     3223    110 |  4.169 % |
28.29/28.38	c |      4936 |    4298     6477    40842 |    10717     4936    123 |  4.169 % |
28.50/28.61	c |      7500 |    4298     6477    40842 |    11789     7500    123 |  4.169 % |
29.00/29.05	c |     11344 |    4298     6477    40842 |    12968    11344    121 |  4.169 % |
29.59/29.64	c |     17111 |    4298     6477    40842 |    14265    10471    103 |  4.169 % |
30.81/30.88	c |     25762 |    4298     6477    40842 |    15692    11724    144 |  4.169 % |
32.90/32.96	c |     38736 |    4297     6477    40842 |    17261     8442    101 |  4.326 % |
37.09/37.16	c |     58197 |    4284     6477    40842 |    18987    10035    185 |  4.482 % |
44.29/44.35	c |     87389 |    4284     6477    40842 |    20886     9857    187 |  4.482 % |
54.59/54.64	c |    131180 |    4284     6477    40842 |    22974    10861    190 |  4.482 % |
66.79/66.86	c |    196864 |    4277     6477    40842 |    25272    17980    121 |  4.638 % |
88.29/88.39	c |    295391 |    4277     6477    40842 |    27799    12635    130 |  4.638 % |
118.39/118.48	c |    443186 |    4276     6477    40842 |    30579    19561    212 |  4.660 % |
181.99/182.07	c |    664869 |    4276     6477    40842 |    33637    13395    206 |  4.660 % |
298.40/298.46	c |    997394 |    4276     6477    40842 |    37001    21072    205 |  4.660 % |
381.60/381.66	c ===============================================================================
382.89/382.93	c core #279
382.89/382.93	c 
382.89/382.93	c 
382.89/382.93	c Core size: 309	Core Weight: 1	Total Weight: 396
382.89/382.93	c Current CPU time: 380.623 s
382.89/382.93	c
382.89/382.93	c ============================[ Search Statistics ]==============================
382.89/382.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
382.89/382.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
382.89/382.93	c ===============================================================================
382.89/382.93	c |         0 |    4617     6478    41467 |     5000        0   -nan |  0.000 % |
382.89/382.93	c |       100 |    4617     6478    41467 |     5500      100    100 |  3.632 % |
382.89/382.94	c |       250 |    4617     6478    41467 |     6050      250     68 |  3.632 % |
382.89/382.95	c |       478 |    4617     6478    41467 |     6655      478     60 |  3.632 % |
382.89/382.97	c |       815 |    4617     6478    41467 |     7320      815     54 |  3.632 % |
382.89/382.99	c |      1321 |    4617     6478    41467 |     8052     1321     47 |  3.632 % |
382.99/383.02	c |      2082 |    4617     6478    41467 |     8857     2082     38 |  3.632 % |
383.10/383.12	c |      3223 |    4616     6478    41467 |     9743     3223     46 |  3.653 % |
383.20/383.26	c |      4932 |    4610     6478    41467 |    10717     4932     55 |  3.778 % |
383.40/383.48	c |      7495 |    4610     6478    41467 |    11789     7495     59 |  3.820 % |
383.80/383.92	c |     11340 |    4607     6478    41467 |    12968    11340     68 |  3.841 % |
384.39/384.43	c |     17106 |    4607     6478    41467 |    14265    10473     94 |  3.841 % |
385.29/385.38	c |     25756 |    4607     6478    41467 |    15692    11877    140 |  3.841 % |
387.30/387.39	c |     38733 |    4607     6478    41467 |    17261     8900    169 |  3.841 % |
390.40/390.49	c |     58194 |    4607     6478    41467 |    18987    10939    178 |  3.841 % |
396.01/396.05	c |     87386 |    4607     6478    41467 |    20886    10967    162 |  3.841 % |
405.10/405.10	c |    131175 |    4607     6478    41467 |    22974    12004    203 |  3.841 % |
424.09/424.14	c |    196859 |    4557     6478    41467 |    25272    18805    239 |  4.884 % |
460.20/460.23	c |    295387 |    4554     6478    41467 |    27799    25876    265 |  4.947 % |
510.80/510.86	c |    443178 |    4554     6478    41467 |    30579    19582    190 |  4.947 % |
574.90/574.93	c |    664862 |    4554     6478    41467 |    33637    28765    199 |  4.947 % |
686.21/686.26	c |    997389 |    4553     6478    41467 |    37001    15904    266 |  4.968 % |
894.00/894.07	c |   1496179 |    4553     6478    41467 |    40701    27969    336 |  4.968 % |
1213.71/1213.75	c |   2244366 |    4553     6478    41467 |    44771    30375    235 |  4.968 % |
1701.32/1701.33	c ===============================================================================
1732.42/1732.42	c core #280
1732.42/1732.42	c 
1732.42/1732.42	c 
1732.42/1732.42	c Core size: 296	Core Weight: 1	Total Weight: 397
1732.42/1732.42	c Current CPU time: 1724.99 s
1732.42/1732.42	c
1732.42/1732.42	c ============================[ Search Statistics ]==============================
1732.42/1732.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1732.42/1732.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1732.42/1732.42	c ===============================================================================
1732.42/1732.42	c |         0 |    4912     6479    42055 |     5000        0   -nan |  0.000 % |
1732.42/1732.42	c |       102 |    4912     6479    42055 |     5500      102     78 |  3.383 % |
1732.42/1732.42	c |       253 |    4912     6479    42055 |     6050      253     60 |  3.383 % |
1732.42/1732.43	c |       478 |    4912     6479    42055 |     6655      478     52 |  3.383 % |
1732.42/1732.45	c |       815 |    4912     6479    42055 |     7320      815     52 |  3.383 % |
1732.42/1732.48	c |      1322 |    4912     6479    42055 |     8052     1322     46 |  3.383 % |
1732.53/1732.54	c |      2083 |    4912     6479    42055 |     8857     2083     45 |  3.383 % |
1732.61/1732.61	c |      3224 |    4912     6479    42055 |     9743     3224     45 |  3.383 % |
1732.72/1732.72	c |      4933 |    4912     6479    42055 |    10717     4933     47 |  3.383 % |
1732.92/1732.92	c |      7496 |    4911     6479    42055 |    11789     7496     51 |  3.403 % |
1733.31/1733.37	c |     11341 |    4911     6479    42055 |    12968    11341     56 |  3.403 % |
1733.92/1733.98	c |     17110 |    4911     6479    42055 |    14265    10393     67 |  3.403 % |
1735.02/1735.07	c |     25759 |    4911     6479    42055 |    15692    11723     63 |  3.403 % |
1737.01/1737.00	c |     38733 |    4911     6479    42055 |    17261     8604     64 |  3.403 % |
1739.72/1739.74	c |     58195 |    4905     6479    42055 |    18987    10346     86 |  3.521 % |
1744.12/1744.14	c |     87388 |    4905     6479    42055 |    20886    10270     70 |  3.521 % |
1751.42/1751.47	c |    131178 |    4905     6479    42055 |    22974    11229    128 |  3.521 % |
1764.72/1764.74	c |    196863 |    4899     6479    42055 |    25272    18338    124 |  3.639 % |
1788.32/1788.31	c |    295398 |    4899     6479    42055 |    27799    25008    146 |  3.639 % |

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479268-1307448396/watcher-3479268-1307448396 -o /tmp/evaluation-result-3479268-1307448396/solver-3479268-1307448396 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479268-1307448396.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.90 2.03 1.95 2/556 1324
/proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=2564 CPUtime=0 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 351 0 0 0 0 0 0 0 25 0 1 0 935070232 2625536 305 33554432000 4194304 5714214 140733223905120 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 641 305 172 372 0 189 0

[startup+0.02582 s]
/proc/loadavg: 1.90 2.03 1.95 2/556 1324
/proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=3472 CPUtime=0.02 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 727 0 0 0 2 0 0 0 25 0 1 0 935070232 3555328 604 33554432000 4194304 5714214 140733223905120 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 868 604 173 372 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3472

[startup+0.100847 s]
/proc/loadavg: 1.90 2.03 1.95 2/556 1324
/proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=3716 CPUtime=0.09 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 796 0 0 0 9 0 0 0 25 0 1 0 935070232 3805184 673 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199376 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 929 673 175 372 0 554 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3716

[startup+0.300816 s]
/proc/loadavg: 1.90 2.03 1.95 2/556 1324
/proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=3932 CPUtime=0.29 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 880 0 0 0 29 0 0 0 25 0 1 0 935070232 4026368 744 33554432000 4194304 5714214 140733223905120 18446744073709551615 4964805 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 983 744 175 372 0 608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3932

[startup+0.70075 s]
/proc/loadavg: 1.90 2.03 1.95 2/556 1324
/proc/meminfo: memFree=28743964/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=5208 CPUtime=0.69 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 1315 0 0 0 69 0 0 0 25 0 1 0 935070232 5332992 1029 33554432000 4194304 5714214 140733223905120 18446744073709551615 4967823 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 1302 1029 175 372 0 927 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5208

[startup+1.50055 s]
/proc/loadavg: 1.90 2.03 1.95 3/559 1352
/proc/meminfo: memFree=28730312/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=9320 CPUtime=1.49 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 2574 0 0 0 148 1 0 0 25 0 1 0 935070232 9543680 2065 33554432000 4194304 5714214 140733223905120 18446744073709551615 4314131 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 2330 2065 180 372 0 1955 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9320

[startup+3.10031 s]
/proc/loadavg: 1.90 2.03 1.95 3/559 1352
/proc/meminfo: memFree=28680836/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=12148 CPUtime=3.09 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 3332 0 0 0 305 4 0 0 25 0 1 0 935070232 12439552 2797 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 3037 2797 180 372 0 2662 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12148

[startup+6.3008 s]
/proc/loadavg: 1.99 2.04 1.96 3/559 1352
/proc/meminfo: memFree=28674156/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=17988 CPUtime=6.29 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 4761 0 0 0 624 5 0 0 22 0 1 0 935070232 18419712 4226 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 4497 4226 180 372 0 4122 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17988

[startup+12.7007 s]
/proc/loadavg: 1.99 2.04 1.96 3/559 1352
/proc/meminfo: memFree=28635080/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=29988 CPUtime=12.69 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 7717 0 0 0 1256 13 0 0 18 0 1 0 935070232 30707712 7182 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 7497 7182 180 372 0 7122 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29988

[startup+25.5006 s]
/proc/loadavg: 2.07 2.06 1.96 3/559 1354
/proc/meminfo: memFree=28615524/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=49992 CPUtime=25.49 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 12690 0 0 0 2527 22 0 0 25 0 1 0 935070232 51191808 12155 33554432000 4194304 5714214 140733223905120 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 12498 12155 180 372 0 12123 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49992

[startup+51.1003 s]
/proc/loadavg: 2.04 2.05 1.96 3/559 1354
/proc/meminfo: memFree=28607256/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=57940 CPUtime=51.09 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 14757 0 0 0 5073 36 0 0 25 0 1 0 935070232 59330560 14176 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 14485 14176 180 372 0 14110 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57940

[startup+102.322 s]
/proc/loadavg: 2.02 2.04 1.96 3/559 1356
/proc/meminfo: memFree=28568172/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=95220 CPUtime=102.32 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 23945 0 0 0 10166 66 0 0 25 0 1 0 935070232 97505280 23364 33554432000 4194304 5714214 140733223905120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 23805 23364 180 372 0 23430 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 95220

[startup+162.301 s]
/proc/loadavg: 2.00 2.03 1.96 3/559 1356
/proc/meminfo: memFree=28479992/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=142568 CPUtime=162.3 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 35552 0 0 0 16136 94 0 0 25 0 1 0 935070232 145989632 34971 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 35642 34971 180 372 0 35267 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 142568

[startup+222.301 s]
/proc/loadavg: 2.07 2.04 1.97 3/559 1358
/proc/meminfo: memFree=28432460/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=180440 CPUtime=222.29 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 44859 0 0 0 22116 113 0 0 25 0 1 0 935070232 184770560 44278 33554432000 4194304 5714214 140733223905120 18446744073709551615 5013632 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 45110 44278 180 372 0 44735 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 180440

[startup+282.301 s]
/proc/loadavg: 2.08 2.04 1.97 3/559 1360
/proc/meminfo: memFree=28373048/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=209928 CPUtime=282.29 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 52063 0 0 0 28093 136 0 0 25 0 1 0 935070232 214966272 51482 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 52482 51482 180 372 0 52107 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 209928

[startup+342.301 s]
/proc/loadavg: 2.03 2.03 1.97 3/559 1362
/proc/meminfo: memFree=28338544/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=242676 CPUtime=342.3 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 60005 0 0 0 34076 154 0 0 25 0 1 0 935070232 248500224 59424 33554432000 4194304 5714214 140733223905120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 60669 59424 180 372 0 60294 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 242676

[startup+402.301 s]
/proc/loadavg: 2.01 2.02 1.97 3/559 1364
/proc/meminfo: memFree=28320160/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=260664 CPUtime=402.3 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 64684 0 0 0 40046 184 0 0 25 0 1 0 935070232 266919936 64031 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 65166 64031 180 372 0 64791 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 260664

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/559 1364
/proc/meminfo: memFree=28311712/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=260664 CPUtime=462.29 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 64974 0 0 0 46023 206 0 0 25 0 1 0 935070232 266919936 64321 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 65166 64321 180 372 0 64791 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 260664

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/559 1366
/proc/meminfo: memFree=28299620/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=260664 CPUtime=522.3 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 65038 0 0 0 52002 228 0 0 25 0 1 0 935070232 266919936 64385 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 65166 64385 180 372 0 64791 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 260664

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/559 1368
/proc/meminfo: memFree=28271696/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=260664 CPUtime=582.3 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 65074 0 0 0 57979 251 0 0 25 0 1 0 935070232 266919936 64421 33554432000 4194304 5714214 140733223905120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 65166 64421 180 372 0 64791 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 260664

[startup+642.301 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/559 1374
/proc/meminfo: memFree=28231892/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=298040 CPUtime=822.31 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 74752 0 0 0 81905 326 0 0 25 0 1 0 935070232 305192960 74099 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 74510 74099 180 372 0 74135 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 298040

[startup+882.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/559 1376
/proc/meminfo: memFree=28196884/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=330808 CPUtime=882.31 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 82734 0 0 0 87889 342 0 0 25 0 1 0 935070232 338747392 82081 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 82702 82081 180 372 0 82327 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 330808

[startup+942.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/559 1378
/proc/meminfo: memFree=28181464/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=346388 CPUtime=942.3 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 86528 0 0 0 93878 352 0 0 25 0 1 0 935070232 354701312 85875 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 86597 85875 180 372 0 86222 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 346388

[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/559 1380
/proc/meminfo: memFree=28151296/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=371252 CPUtime=1002.3 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 92644 0 0 0 99862 368 0 0 25 0 1 0 935070232 380162048 91991 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 92813 91991 180 372 0 92438 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 371252

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 1380
/proc/meminfo: memFree=28125592/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=395316 CPUtime=1062.31 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 98382 0 0 0 105845 386 0 0 25 0 1 0 935070232 404803584 97729 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 98829 97729 180 372 0 98454 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 395316

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 1382
/proc/meminfo: memFree=28100744/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=420412 CPUtime=1122.3 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 104558 0 0 0 111828 402 0 0 25 0 1 0 935070232 430501888 103905 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319190 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 105103 103905 180 372 0 104728 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 420412

[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/559 1384
/proc/meminfo: memFree=28081732/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=438620 CPUtime=1182.31 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 109060 0 0 0 117812 419 0 0 25 0 1 0 935070232 449146880 108407 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 109655 108407 180 372 0 109280 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 438620

[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/559 1386
/proc/meminfo: memFree=28046112/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=472416 CPUtime=1242.31 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 117464 0 0 0 123791 440 0 0 25 0 1 0 935070232 483753984 116811 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 118104 116811 180 372 0 117729 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 472416

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/559 1388
/proc/meminfo: memFree=28021284/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=496632 CPUtime=1302.31 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 123462 0 0 0 129773 458 0 0 25 0 1 0 935070232 508551168 122809 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 124158 122809 180 372 0 123783 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 496632

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/559 1388
/proc/meminfo: memFree=27989260/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=524880 CPUtime=1362.32 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 130548 0 0 0 135754 478 0 0 25 0 1 0 935070232 537477120 129895 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 131220 129895 180 372 0 130845 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 524880

[startup+1422.32 s]
/proc/loadavg: 2.10 2.07 2.01 3/559 1390
/proc/meminfo: memFree=27968512/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=537800 CPUtime=1422.34 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 133739 0 0 0 141746 488 0 0 25 0 1 0 935070232 550707200 133086 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 134450 133086 180 372 0 134075 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 537800

[startup+1482.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/559 1392
/proc/meminfo: memFree=27949248/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=550696 CPUtime=1482.32 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 136902 0 0 0 147730 502 0 0 25 0 1 0 935070232 563912704 136249 33554432000 4194304 5714214 140733223905120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 137674 136249 180 372 0 137299 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 550696

[startup+1542.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/559 1394
/proc/meminfo: memFree=27937188/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=563948 CPUtime=1542.32 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 140114 0 0 0 153713 519 0 0 25 0 1 0 935070232 577482752 139461 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 140987 139461 180 372 0 140612 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 563948

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/559 1396
/proc/meminfo: memFree=27919052/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=582492 CPUtime=1602.32 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 144602 0 0 0 159697 535 0 0 25 0 1 0 935070232 596471808 143949 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 145623 143949 180 372 0 145248 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 582492

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/559 1396
/proc/meminfo: memFree=27894852/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=606720 CPUtime=1662.31 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 150624 0 0 0 165680 551 0 0 25 0 1 0 935070232 621281280 149971 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 151680 149971 180 372 0 151305 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 606720

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 1398
/proc/meminfo: memFree=27794756/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=706764 CPUtime=1722.32 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 175616 0 0 0 171669 563 0 0 25 0 1 0 935070232 723726336 174963 33554432000 4194304 5714214 140733223905120 18446744073709551615 4324928 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 176691 174963 180 372 0 176316 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 706764

[startup+1782.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/559 1400
/proc/meminfo: memFree=27790900/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=707076 CPUtime=1782.31 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 175889 0 0 0 177643 588 0 0 25 0 1 0 935070232 724045824 175090 33554432000 4194304 5714214 140733223905120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 176769 175090 180 372 0 176394 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 707076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.05 2.01 3/559 1400
/proc/meminfo: memFree=27792136/32951124 swapFree=34426104/67111528
[pid=1324] ppid=1322 vsize=707076 CPUtime=1800.02 cores=0,2,4,6
/proc/1324/stat : 1324 (wbo1.6) R 1322 1324 1012 0 -1 4202496 175893 0 0 0 179407 595 0 0 25 0 1 0 935070232 724045824 175094 33554432000 4194304 5714214 140733223905120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1324/statm: 176769 175094 180 372 0 176394 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 707076

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.08
CPU user time (s): 1794.09
CPU system time (s): 5.99209
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 707884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 5.99209
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 2939

runsolver used 10.7824 second user time and 23.4494 second system time

The end

Begin job on node118 at 2011-06-07 14:06:36
IDJOB=3479268
IDBENCH=89870
IDSOLVER=1953
FILE ID=node118/3479268-1307448396
RUNJOBID= node118-1307444787-1030
PBS_JOBID= 13520314
Free space on /tmp= 73920 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-seymour.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479268-1307448396/watcher-3479268-1307448396 -o /tmp/evaluation-result-3479268-1307448396/solver-3479268-1307448396 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479268-1307448396.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 81e2a90d1271d1dbaf7ba2223c5c350c
RANDOM SEED=632906391

node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28744244 kB
Buffers:        335260 kB
Cached:        1968512 kB
SwapCached:      56200 kB
Active:         987208 kB
Inactive:      2882736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28744244 kB
SwapTotal:    67111528 kB
SwapFree:     34426104 kB
Dirty:            4700 kB
Writeback:           0 kB
AnonPages:     1522896 kB
Mapped:          14772 kB
Slab:           150048 kB
PageTables:     115032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 183811264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node118 at 2011-06-07 14:36:38