Trace number 3500765

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pwbo 1.1? (TO) 1800.06 900.029

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
MD5SUMacba870ceff62e653e0b2927ff2b81fb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 4000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500765-1307998066.opb.
0.00/0.00	c Instance file HOME/instance-3500765-1307998066.opb
0.00/0.00	c File size is 367975 bytes.
0.00/0.03	c Highest Coefficient sum: 4
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      4000                                                |
0.00/0.03	c |  Number Clauses:        10500                                               |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.00/0.03	c init lb 0
0.00/0.03	c init ub 4001
0.00/0.04	c lb 1 (thread 0)
0.00/0.04	c lb 2 (thread 0)
0.00/0.04	c lb 3 (thread 0)
0.05/0.05	c lb 4 (thread 0)
0.05/0.05	c lb 5 (thread 0)
0.05/0.06	c lb 6 (thread 0)
0.05/0.06	c lb 7 (thread 0)
0.05/0.06	c lb 8 (thread 0)
0.05/0.07	c lb 9 (thread 0)
0.05/0.07	c lb 10 (thread 0)
0.05/0.08	c lb 11 (thread 0)
0.05/0.08	c lb 12 (thread 0)
0.05/0.08	c lb 13 (thread 0)
0.05/0.09	c lb 14 (thread 0)
0.05/0.09	c lb 15 (thread 0)
0.05/0.10	c lb 16 (thread 0)
0.16/0.10	c lb 17 (thread 0)
0.16/0.10	c lb 18 (thread 0)
0.16/0.11	c lb 19 (thread 0)
0.16/0.11	c lb 20 (thread 0)
0.16/0.11	c lb 21 (thread 0)
0.16/0.12	c lb 22 (thread 0)
0.16/0.12	c lb 23 (thread 0)
0.16/0.13	c lb 24 (thread 0)
0.16/0.13	c lb 25 (thread 0)
0.16/0.13	c lb 26 (thread 0)
0.16/0.14	c lb 27 (thread 0)
0.16/0.14	c lb 28 (thread 0)
0.16/0.15	c lb 29 (thread 0)
0.16/0.15	c lb 30 (thread 0)
0.16/0.15	c lb 31 (thread 0)
0.16/0.16	c lb 32 (thread 0)
0.16/0.16	c lb 33 (thread 0)
0.16/0.17	c lb 34 (thread 0)
0.16/0.17	c lb 35 (thread 0)
0.16/0.17	c lb 36 (thread 0)
0.16/0.18	c lb 37 (thread 0)
0.16/0.18	c lb 38 (thread 0)
0.16/0.19	c lb 39 (thread 0)
0.16/0.19	c lb 40 (thread 0)
0.16/0.19	c lb 41 (thread 0)
0.36/0.20	c lb 42 (thread 0)
0.36/0.20	c lb 43 (thread 0)
0.36/0.21	c lb 44 (thread 0)
0.36/0.21	c lb 45 (thread 0)
0.36/0.21	c lb 46 (thread 0)
0.36/0.22	c lb 47 (thread 0)
0.36/0.22	c lb 48 (thread 0)
0.36/0.23	c lb 49 (thread 0)
0.36/0.23	c lb 50 (thread 0)
0.36/0.24	c lb 51 (thread 0)
0.36/0.24	c lb 52 (thread 0)
0.36/0.24	c lb 53 (thread 0)
0.36/0.25	c lb 54 (thread 0)
0.36/0.25	c lb 55 (thread 0)
0.36/0.26	c lb 56 (thread 0)
0.36/0.26	c lb 57 (thread 0)
0.36/0.26	c lb 58 (thread 0)
0.36/0.27	c lb 59 (thread 0)
0.36/0.27	c lb 60 (thread 0)
0.36/0.28	c lb 61 (thread 0)
0.36/0.28	c lb 62 (thread 0)
0.36/0.28	c lb 63 (thread 0)
0.36/0.29	c lb 64 (thread 0)
0.36/0.29	c lb 65 (thread 0)
0.36/0.30	c lb 66 (thread 0)
0.55/0.30	c lb 67 (thread 0)
0.55/0.30	c lb 68 (thread 0)
0.55/0.31	c lb 69 (thread 0)
0.55/0.31	c lb 70 (thread 0)
0.55/0.32	c lb 71 (thread 0)
0.55/0.32	c lb 72 (thread 0)
0.55/0.33	c lb 73 (thread 0)
0.55/0.33	c lb 74 (thread 0)
0.55/0.33	c lb 75 (thread 0)
0.55/0.34	c lb 76 (thread 0)
0.55/0.34	c lb 77 (thread 0)
0.55/0.35	c lb 78 (thread 0)
0.55/0.35	c lb 79 (thread 0)
0.55/0.35	c lb 80 (thread 0)
0.55/0.36	c lb 81 (thread 0)
0.55/0.36	c lb 82 (thread 0)
0.55/0.37	c lb 83 (thread 0)
0.55/0.37	c lb 84 (thread 0)
0.55/0.38	c lb 85 (thread 0)
0.55/0.38	c lb 86 (thread 0)
0.55/0.38	c lb 87 (thread 0)
0.55/0.39	c lb 88 (thread 0)
0.55/0.39	c lb 89 (thread 0)
0.55/0.40	c lb 90 (thread 0)
0.76/0.40	c lb 91 (thread 0)
0.76/0.40	c lb 92 (thread 0)
0.76/0.41	c lb 93 (thread 0)
0.76/0.41	c lb 94 (thread 0)
0.76/0.42	c lb 95 (thread 0)
0.76/0.42	c lb 96 (thread 0)
0.76/0.43	c lb 97 (thread 0)
0.76/0.43	c lb 98 (thread 0)
0.76/0.43	c lb 99 (thread 0)
0.76/0.44	c lb 100 (thread 0)
0.76/0.44	c lb 101 (thread 0)
0.76/0.45	c lb 102 (thread 0)
0.76/0.45	c lb 103 (thread 0)
0.76/0.45	c lb 104 (thread 0)
0.76/0.46	c lb 105 (thread 0)
0.76/0.46	c lb 106 (thread 0)
0.76/0.47	c lb 107 (thread 0)
0.76/0.47	c lb 108 (thread 0)
0.76/0.48	c lb 109 (thread 0)
0.76/0.48	c lb 110 (thread 0)
0.76/0.48	c lb 111 (thread 0)
0.76/0.49	c lb 112 (thread 0)
0.76/0.49	c lb 113 (thread 0)
0.95/0.50	c lb 114 (thread 0)
0.95/0.50	c lb 115 (thread 0)
0.95/0.51	c lb 116 (thread 0)
0.95/0.51	c lb 117 (thread 0)
0.95/0.51	c lb 118 (thread 0)
0.95/0.52	c lb 119 (thread 0)
0.95/0.52	c lb 120 (thread 0)
0.95/0.53	c lb 121 (thread 0)
0.95/0.53	c lb 122 (thread 0)
0.95/0.54	c lb 123 (thread 0)
0.95/0.54	c lb 124 (thread 0)
0.95/0.54	c lb 125 (thread 0)
0.95/0.55	c lb 126 (thread 0)
0.95/0.55	c lb 127 (thread 0)
0.95/0.56	c lb 128 (thread 0)
0.95/0.56	c lb 129 (thread 0)
0.95/0.57	c lb 130 (thread 0)
0.95/0.57	c lb 131 (thread 0)
0.95/0.57	c lb 132 (thread 0)
0.95/0.58	c lb 133 (thread 0)
0.95/0.58	c lb 134 (thread 0)
0.95/0.59	c lb 135 (thread 0)
0.95/0.59	c lb 136 (thread 0)
0.95/0.60	c lb 137 (thread 0)
1.15/0.60	c lb 138 (thread 0)
1.15/0.60	c lb 139 (thread 0)
1.15/0.61	c lb 140 (thread 0)
1.15/0.61	c lb 141 (thread 0)
1.15/0.62	c lb 142 (thread 0)
1.15/0.62	c lb 143 (thread 0)
1.15/0.63	c lb 144 (thread 0)
1.15/0.63	c lb 145 (thread 0)
1.15/0.63	c lb 146 (thread 0)
1.15/0.64	c lb 147 (thread 0)
1.15/0.64	c lb 148 (thread 0)
1.15/0.65	c lb 149 (thread 0)
1.15/0.65	c lb 150 (thread 0)
1.15/0.66	c lb 151 (thread 0)
1.15/0.66	c lb 152 (thread 0)
1.15/0.66	c lb 153 (thread 0)
1.15/0.67	c lb 154 (thread 0)
1.15/0.67	c lb 155 (thread 0)
1.15/0.68	c lb 156 (thread 0)
1.15/0.68	c lb 157 (thread 0)
1.15/0.69	c lb 158 (thread 0)
1.15/0.69	c lb 159 (thread 0)
1.15/0.69	c lb 160 (thread 0)
1.36/0.70	c lb 161 (thread 0)
1.36/0.70	c lb 162 (thread 0)
1.36/0.71	c lb 163 (thread 0)
1.36/0.71	c lb 164 (thread 0)
1.36/0.72	c lb 165 (thread 0)
1.36/0.72	c lb 166 (thread 0)
1.36/0.73	c lb 167 (thread 0)
1.36/0.73	c lb 168 (thread 0)
1.36/0.73	c lb 169 (thread 0)
1.36/0.74	c lb 170 (thread 0)
1.36/0.74	c lb 171 (thread 0)
1.36/0.75	c lb 172 (thread 0)
1.36/0.75	c lb 173 (thread 0)
1.36/0.76	c lb 174 (thread 0)
1.36/0.76	c lb 175 (thread 0)
1.36/0.77	c lb 176 (thread 0)
1.36/0.77	c lb 177 (thread 0)
1.36/0.77	c lb 178 (thread 0)
1.36/0.78	c lb 179 (thread 0)
1.36/0.78	c lb 180 (thread 0)
1.36/0.79	c lb 181 (thread 0)
1.36/0.79	c lb 182 (thread 0)
1.56/0.80	c lb 183 (thread 0)
1.56/0.80	c lb 184 (thread 0)
1.56/0.81	c lb 185 (thread 0)
1.56/0.81	c lb 186 (thread 0)
1.56/0.81	c lb 187 (thread 0)
1.56/0.82	c lb 188 (thread 0)
1.56/0.82	c lb 189 (thread 0)
1.56/0.83	c lb 190 (thread 0)
1.56/0.83	c lb 191 (thread 0)
1.56/0.84	c lb 192 (thread 0)
1.56/0.84	c lb 193 (thread 0)
1.56/0.85	c lb 194 (thread 0)
1.56/0.85	c lb 195 (thread 0)
1.56/0.85	c lb 196 (thread 0)
1.56/0.86	c lb 197 (thread 0)
1.56/0.86	c lb 198 (thread 0)
1.56/0.87	c lb 199 (thread 0)
1.56/0.87	c lb 200 (thread 0)
1.56/0.88	c lb 201 (thread 0)
1.56/0.88	c lb 202 (thread 0)
1.56/0.89	c lb 203 (thread 0)
1.56/0.89	c lb 204 (thread 0)
1.56/0.90	c lb 205 (thread 0)
1.76/0.90	c lb 206 (thread 0)
1.76/0.91	c lb 207 (thread 0)
1.76/0.91	c lb 208 (thread 0)
1.76/0.91	c lb 209 (thread 0)
1.76/0.92	c lb 210 (thread 0)
1.76/0.92	c lb 211 (thread 0)
1.76/0.93	c lb 212 (thread 0)
1.76/0.93	c lb 213 (thread 0)
1.76/0.94	c lb 214 (thread 0)
1.76/0.94	c lb 215 (thread 0)
1.76/0.95	c lb 216 (thread 0)
1.76/0.95	c lb 217 (thread 0)
1.76/0.96	c lb 218 (thread 0)
1.76/0.96	c lb 219 (thread 0)
1.76/0.97	c lb 220 (thread 0)
1.76/0.97	c lb 221 (thread 0)
1.76/0.98	c lb 222 (thread 0)
1.76/0.98	c lb 223 (thread 0)
1.76/0.99	c lb 224 (thread 0)
1.76/0.99	c lb 225 (thread 0)
1.76/1.00	c lb 226 (thread 0)
1.76/1.00	c lb 227 (thread 0)
1.96/1.01	c lb 228 (thread 0)
1.96/1.01	c lb 229 (thread 0)
1.96/1.01	c lb 230 (thread 0)
1.96/1.02	c lb 231 (thread 0)
1.96/1.02	c lb 232 (thread 0)
1.96/1.03	c lb 233 (thread 0)
1.96/1.03	c lb 234 (thread 0)
1.96/1.04	c lb 235 (thread 0)
1.96/1.04	c lb 236 (thread 0)
1.96/1.05	c lb 237 (thread 0)
1.96/1.05	c lb 238 (thread 0)
1.96/1.06	c lb 239 (thread 0)
1.96/1.06	c lb 240 (thread 0)
1.96/1.07	c lb 241 (thread 0)
1.96/1.07	c lb 242 (thread 0)
1.96/1.08	c lb 243 (thread 0)
1.96/1.08	c lb 244 (thread 0)
1.96/1.09	c lb 245 (thread 0)
1.96/1.09	c lb 246 (thread 0)
1.96/1.10	c lb 247 (thread 0)
1.96/1.10	c lb 248 (thread 0)
2.17/1.11	c lb 249 (thread 0)
2.17/1.11	c lb 250 (thread 0)
2.17/1.12	c lb 251 (thread 0)
2.17/1.12	c lb 252 (thread 0)
2.17/1.13	c lb 253 (thread 0)
2.17/1.13	c lb 254 (thread 0)
2.17/1.14	c lb 255 (thread 0)
2.17/1.14	c lb 256 (thread 0)
2.17/1.15	c lb 257 (thread 0)
2.17/1.15	c lb 258 (thread 0)
2.17/1.16	c lb 259 (thread 0)
2.17/1.16	c lb 260 (thread 0)
2.17/1.17	c lb 261 (thread 0)
2.17/1.17	c lb 262 (thread 0)
2.17/1.18	c lb 263 (thread 0)
2.17/1.18	c lb 264 (thread 0)
2.17/1.19	c lb 265 (thread 0)
2.17/1.19	c lb 266 (thread 0)
2.36/1.20	c lb 267 (thread 0)
2.36/1.20	c lb 268 (thread 0)
2.36/1.21	c lb 269 (thread 0)
2.36/1.21	c lb 270 (thread 0)
2.36/1.22	c lb 271 (thread 0)
2.36/1.22	c lb 272 (thread 0)
2.36/1.23	c lb 273 (thread 0)
2.36/1.23	c lb 274 (thread 0)
2.36/1.24	c lb 275 (thread 0)
2.36/1.24	c lb 276 (thread 0)
2.36/1.25	c lb 277 (thread 0)
2.36/1.25	c lb 278 (thread 0)
2.36/1.26	c lb 279 (thread 0)
2.36/1.26	c lb 280 (thread 0)
2.36/1.27	c lb 281 (thread 0)
2.36/1.27	c lb 282 (thread 0)
2.36/1.28	c lb 283 (thread 0)
2.36/1.29	c lb 284 (thread 0)
2.36/1.29	c lb 285 (thread 0)
2.36/1.30	c lb 286 (thread 0)
2.56/1.30	c lb 287 (thread 0)
2.56/1.31	c lb 288 (thread 0)
2.56/1.31	c lb 289 (thread 0)
2.56/1.32	c lb 290 (thread 0)
2.56/1.32	c lb 291 (thread 0)
2.56/1.33	c lb 292 (thread 0)
2.56/1.33	c lb 293 (thread 0)
2.56/1.34	c lb 294 (thread 0)
2.56/1.34	c lb 295 (thread 0)
2.56/1.35	c lb 296 (thread 0)
2.56/1.35	c lb 297 (thread 0)
2.56/1.36	c lb 298 (thread 0)
2.56/1.37	c lb 299 (thread 0)
2.56/1.37	c lb 300 (thread 0)
2.56/1.38	c lb 301 (thread 0)
2.56/1.38	c lb 302 (thread 0)
2.56/1.39	c lb 303 (thread 0)
2.56/1.39	c lb 304 (thread 0)
2.76/1.40	c lb 305 (thread 0)
2.76/1.40	c lb 306 (thread 0)
2.76/1.41	c lb 307 (thread 0)
2.76/1.42	c lb 308 (thread 0)
2.76/1.42	c lb 309 (thread 0)
2.76/1.43	c lb 310 (thread 0)
2.76/1.43	c lb 311 (thread 0)
2.76/1.44	c lb 312 (thread 0)
2.76/1.44	c lb 313 (thread 0)
2.76/1.45	c lb 314 (thread 0)
2.76/1.46	c lb 315 (thread 0)
2.76/1.46	c lb 316 (thread 0)
2.76/1.47	c lb 317 (thread 0)
2.76/1.47	c lb 318 (thread 0)
2.76/1.48	c lb 319 (thread 0)
2.76/1.48	c lb 320 (thread 0)
2.76/1.49	c lb 321 (thread 0)
2.76/1.50	c lb 322 (thread 0)
2.96/1.50	c lb 323 (thread 0)
2.96/1.51	c lb 324 (thread 0)
2.96/1.51	c lb 325 (thread 0)
2.96/1.52	c lb 326 (thread 0)
2.96/1.52	c lb 327 (thread 0)
2.96/1.53	c lb 328 (thread 0)
2.96/1.54	c lb 329 (thread 0)
2.96/1.54	c lb 330 (thread 0)
2.96/1.55	c lb 331 (thread 0)
2.96/1.56	c lb 332 (thread 0)
2.96/1.56	c lb 333 (thread 0)
2.96/1.57	c lb 334 (thread 0)
2.96/1.57	c lb 335 (thread 0)
2.96/1.58	c lb 336 (thread 0)
2.96/1.58	c lb 337 (thread 0)
2.96/1.59	c lb 338 (thread 0)
3.16/1.60	c lb 339 (thread 0)
3.16/1.60	c lb 340 (thread 0)
3.16/1.61	c lb 341 (thread 0)
3.16/1.61	c lb 342 (thread 0)
3.16/1.62	c lb 343 (thread 0)
3.16/1.63	c lb 344 (thread 0)
3.16/1.63	c lb 345 (thread 0)
3.16/1.64	c lb 346 (thread 0)
3.16/1.65	c lb 347 (thread 0)
3.16/1.65	c lb 348 (thread 0)
3.16/1.66	c lb 349 (thread 0)
3.16/1.66	c lb 350 (thread 0)
3.16/1.67	c lb 351 (thread 0)
3.16/1.68	c lb 352 (thread 0)
3.16/1.68	c lb 353 (thread 0)
3.16/1.69	c lb 354 (thread 0)
3.16/1.69	c lb 355 (thread 0)
3.35/1.70	c lb 356 (thread 0)
3.35/1.71	c lb 357 (thread 0)
3.35/1.71	c lb 358 (thread 0)
3.35/1.72	c lb 359 (thread 0)
3.35/1.73	c lb 360 (thread 0)
3.35/1.73	c lb 361 (thread 0)
3.35/1.74	c lb 362 (thread 0)
3.35/1.75	c lb 363 (thread 0)
3.35/1.75	c lb 364 (thread 0)
3.35/1.76	c lb 365 (thread 0)
3.35/1.76	c lb 366 (thread 0)
3.35/1.77	c lb 367 (thread 0)
3.35/1.78	c lb 368 (thread 0)
3.35/1.78	c lb 369 (thread 0)
3.35/1.79	c lb 370 (thread 0)
3.55/1.80	c lb 371 (thread 0)
3.55/1.80	c lb 372 (thread 0)
3.55/1.81	c lb 373 (thread 0)
3.55/1.82	c lb 374 (thread 0)
3.55/1.82	c lb 375 (thread 0)
3.55/1.83	c lb 376 (thread 0)
3.55/1.84	c lb 377 (thread 0)
3.55/1.84	c lb 378 (thread 0)
3.55/1.85	c lb 379 (thread 0)
3.55/1.86	c lb 380 (thread 0)
3.55/1.86	c lb 381 (thread 0)
3.55/1.87	c lb 382 (thread 0)
3.55/1.88	c lb 383 (thread 0)
3.55/1.88	c lb 384 (thread 0)
3.55/1.89	c lb 385 (thread 0)
3.75/1.90	c lb 386 (thread 0)
3.75/1.90	c lb 387 (thread 0)
3.75/1.91	c lb 388 (thread 0)
3.75/1.92	c lb 389 (thread 0)
3.75/1.93	c lb 390 (thread 0)
3.75/1.93	c lb 391 (thread 0)
3.75/1.94	c lb 392 (thread 0)
3.75/1.95	c lb 393 (thread 0)
3.75/1.95	c lb 394 (thread 0)
3.75/1.96	c lb 395 (thread 0)
3.75/1.97	c lb 396 (thread 0)
3.75/1.97	c lb 397 (thread 0)
3.75/1.98	c lb 398 (thread 0)
3.75/1.99	c lb 399 (thread 0)
3.75/2.00	c lb 400 (thread 0)
3.96/2.00	c lb 401 (thread 0)
3.96/2.01	c lb 402 (thread 0)
3.96/2.02	c lb 403 (thread 0)
3.96/2.02	c lb 404 (thread 0)
3.96/2.03	c lb 405 (thread 0)
3.96/2.04	c lb 406 (thread 0)
3.96/2.04	c lb 407 (thread 0)
3.96/2.05	c lb 408 (thread 0)
3.96/2.06	c lb 409 (thread 0)
3.96/2.07	c lb 410 (thread 0)
3.96/2.07	c lb 411 (thread 0)
3.96/2.08	c lb 412 (thread 0)
3.96/2.09	c lb 413 (thread 0)
3.96/2.09	c lb 414 (thread 0)
4.17/2.10	c lb 415 (thread 0)
4.17/2.11	c lb 416 (thread 0)
4.17/2.12	c lb 417 (thread 0)
4.17/2.12	c lb 418 (thread 0)
4.17/2.13	c lb 419 (thread 0)
4.17/2.14	c lb 420 (thread 0)
4.17/2.14	c lb 421 (thread 0)
4.17/2.15	c lb 422 (thread 0)
4.17/2.16	c lb 423 (thread 0)
4.17/2.17	c lb 424 (thread 0)
4.17/2.17	c lb 425 (thread 0)
4.17/2.18	c lb 426 (thread 0)
4.17/2.19	c lb 427 (thread 0)
4.17/2.19	c lb 428 (thread 0)
4.37/2.20	c lb 429 (thread 0)
4.37/2.21	c lb 430 (thread 0)
4.37/2.22	c lb 431 (thread 0)
4.37/2.22	c lb 432 (thread 0)
4.37/2.23	c lb 433 (thread 0)
4.37/2.24	c lb 434 (thread 0)
4.37/2.24	c lb 435 (thread 0)
4.37/2.25	c lb 436 (thread 0)
4.37/2.26	c lb 437 (thread 0)
4.37/2.27	c lb 438 (thread 0)
4.37/2.27	c lb 439 (thread 0)
4.37/2.28	c lb 440 (thread 0)
4.37/2.29	c lb 441 (thread 0)
4.37/2.29	c lb 442 (thread 0)
4.56/2.30	c lb 443 (thread 0)
4.56/2.31	c lb 444 (thread 0)
4.56/2.32	c lb 445 (thread 0)
4.56/2.32	c lb 446 (thread 0)
4.56/2.33	c lb 447 (thread 0)
4.56/2.34	c lb 448 (thread 0)
4.56/2.34	c lb 449 (thread 0)
4.56/2.35	c lb 450 (thread 0)
4.56/2.36	c lb 451 (thread 0)
4.56/2.37	c lb 452 (thread 0)
4.56/2.37	c lb 453 (thread 0)
4.56/2.38	c lb 454 (thread 0)
4.56/2.39	c lb 455 (thread 0)
4.76/2.40	c lb 456 (thread 0)
4.76/2.40	c lb 457 (thread 0)
4.76/2.41	c lb 458 (thread 0)
4.76/2.42	c lb 459 (thread 0)
4.76/2.43	c lb 460 (thread 0)
4.76/2.43	c lb 461 (thread 0)
4.76/2.44	c lb 462 (thread 0)
4.76/2.45	c lb 463 (thread 0)
4.76/2.45	c lb 464 (thread 0)
4.76/2.46	c lb 465 (thread 0)
4.76/2.47	c lb 466 (thread 0)
4.76/2.48	c lb 467 (thread 0)
4.76/2.48	c lb 468 (thread 0)
4.76/2.49	c lb 469 (thread 0)
4.95/2.50	c lb 470 (thread 0)
4.95/2.51	c lb 471 (thread 0)
4.95/2.51	c lb 472 (thread 0)
4.95/2.52	c lb 473 (thread 0)
4.95/2.53	c lb 474 (thread 0)
4.95/2.53	c lb 475 (thread 0)
4.95/2.54	c lb 476 (thread 0)
4.95/2.55	c lb 477 (thread 0)
4.95/2.56	c lb 478 (thread 0)
4.95/2.56	c lb 479 (thread 0)
4.95/2.57	c lb 480 (thread 0)
4.95/2.58	c lb 481 (thread 0)
4.95/2.59	c lb 482 (thread 0)
4.95/2.59	c lb 483 (thread 0)
5.16/2.60	c lb 484 (thread 0)
5.16/2.61	c lb 485 (thread 0)
5.16/2.62	c lb 486 (thread 0)
5.16/2.62	c lb 487 (thread 0)
5.16/2.63	c lb 488 (thread 0)
5.16/2.64	c lb 489 (thread 0)
5.16/2.65	c lb 490 (thread 0)
5.16/2.65	c lb 491 (thread 0)
5.16/2.66	c lb 492 (thread 0)
5.16/2.67	c lb 493 (thread 0)
5.16/2.68	c lb 494 (thread 0)
5.16/2.68	c lb 495 (thread 0)
5.16/2.69	c lb 496 (thread 0)
5.36/2.70	c lb 497 (thread 0)
5.36/2.71	c lb 498 (thread 0)
5.36/2.71	c lb 499 (thread 0)
5.36/2.72	c lb 500 (thread 0)
5.36/2.73	c lb 501 (thread 0)
5.36/2.74	c lb 502 (thread 0)
5.36/2.74	c lb 503 (thread 0)
5.36/2.75	c lb 504 (thread 0)
5.36/2.76	c lb 505 (thread 0)
5.36/2.76	c lb 506 (thread 0)
5.36/2.77	c lb 507 (thread 0)
5.36/2.78	c lb 508 (thread 0)
5.36/2.79	c lb 509 (thread 0)
5.36/2.79	c lb 510 (thread 0)
5.56/2.80	c lb 511 (thread 0)
5.56/2.81	c lb 512 (thread 0)
5.56/2.82	c lb 513 (thread 0)
5.56/2.82	c lb 514 (thread 0)
5.56/2.83	c lb 515 (thread 0)
5.56/2.84	c lb 516 (thread 0)
5.56/2.85	c lb 517 (thread 0)
5.56/2.85	c lb 518 (thread 0)
5.56/2.86	c lb 519 (thread 0)
5.56/2.87	c lb 520 (thread 0)
5.56/2.88	c lb 521 (thread 0)
5.56/2.88	c lb 522 (thread 0)
5.56/2.89	c lb 523 (thread 0)
5.76/2.90	c lb 524 (thread 0)
5.76/2.91	c lb 525 (thread 0)
5.76/2.91	c lb 526 (thread 0)
5.76/2.92	c lb 527 (thread 0)
5.76/2.93	c lb 528 (thread 0)
5.76/2.94	c lb 529 (thread 0)
5.76/2.94	c lb 530 (thread 0)
5.76/2.95	c lb 531 (thread 0)
5.76/2.96	c lb 532 (thread 0)
5.76/2.96	c lb 533 (thread 0)
5.76/2.97	c lb 534 (thread 0)
5.76/2.98	c lb 535 (thread 0)
5.76/2.99	c lb 536 (thread 0)
5.76/2.99	c lb 537 (thread 0)
5.96/3.00	c lb 538 (thread 0)
5.96/3.01	c lb 539 (thread 0)
5.96/3.02	c lb 540 (thread 0)
5.96/3.03	c lb 541 (thread 0)
5.96/3.03	c lb 542 (thread 0)
5.96/3.04	c lb 543 (thread 0)
5.96/3.05	c lb 544 (thread 0)
5.96/3.06	c lb 545 (thread 0)
5.96/3.06	c lb 546 (thread 0)
5.96/3.07	c lb 547 (thread 0)
5.96/3.08	c lb 548 (thread 0)
5.96/3.09	c lb 549 (thread 0)
5.96/3.09	c lb 550 (thread 0)
6.15/3.10	c lb 551 (thread 0)
6.15/3.11	c lb 552 (thread 0)
6.15/3.12	c lb 553 (thread 0)
6.15/3.13	c lb 554 (thread 0)
6.15/3.13	c lb 555 (thread 0)
6.15/3.14	c lb 556 (thread 0)
6.15/3.15	c lb 557 (thread 0)
6.15/3.16	c lb 558 (thread 0)
6.15/3.16	c lb 559 (thread 0)
6.15/3.17	c lb 560 (thread 0)
6.15/3.18	c lb 561 (thread 0)
6.15/3.19	c lb 562 (thread 0)
6.15/3.20	c lb 563 (thread 0)
6.36/3.20	c lb 564 (thread 0)
6.36/3.21	c lb 565 (thread 0)
6.36/3.22	c lb 566 (thread 0)
6.36/3.23	c lb 567 (thread 0)
6.36/3.24	c lb 568 (thread 0)
6.36/3.24	c lb 569 (thread 0)
6.36/3.25	c lb 570 (thread 0)
6.36/3.26	c lb 571 (thread 0)
6.36/3.27	c lb 572 (thread 0)
6.36/3.27	c lb 573 (thread 0)
6.36/3.28	c lb 574 (thread 0)
6.36/3.29	c lb 575 (thread 0)
6.36/3.30	c lb 576 (thread 0)
6.57/3.31	c lb 577 (thread 0)
6.57/3.31	c lb 578 (thread 0)
6.57/3.32	c lb 579 (thread 0)
6.57/3.33	c lb 580 (thread 0)
6.57/3.34	c lb 581 (thread 0)
6.57/3.35	c lb 582 (thread 0)
6.57/3.35	c lb 583 (thread 0)
6.57/3.36	c lb 584 (thread 0)
6.57/3.37	c lb 585 (thread 0)
6.57/3.38	c lb 586 (thread 0)
6.57/3.39	c lb 587 (thread 0)
6.57/3.39	c lb 588 (thread 0)
6.76/3.40	c lb 589 (thread 0)
6.76/3.41	c lb 590 (thread 0)
6.76/3.42	c lb 591 (thread 0)
6.76/3.42	c lb 592 (thread 0)
6.76/3.43	c lb 593 (thread 0)
6.76/3.44	c lb 594 (thread 0)
6.76/3.45	c lb 595 (thread 0)
6.76/3.46	c lb 596 (thread 0)
6.76/3.46	c lb 597 (thread 0)
6.76/3.47	c lb 598 (thread 0)
6.76/3.48	c lb 599 (thread 0)
6.76/3.49	c lb 600 (thread 0)
6.95/3.50	c lb 601 (thread 0)
6.95/3.51	c lb 602 (thread 0)
6.95/3.51	c lb 603 (thread 0)
6.95/3.52	c lb 604 (thread 0)
6.95/3.53	c lb 605 (thread 0)
6.95/3.54	c lb 606 (thread 0)
6.95/3.55	c lb 607 (thread 0)
6.95/3.55	c lb 608 (thread 0)
6.95/3.56	c lb 609 (thread 0)
6.95/3.57	c lb 610 (thread 0)
6.95/3.58	c lb 611 (thread 0)
6.95/3.59	c lb 612 (thread 0)
6.95/3.59	c lb 613 (thread 0)
7.15/3.60	c lb 614 (thread 0)
7.15/3.61	c lb 615 (thread 0)
7.15/3.62	c lb 616 (thread 0)
7.15/3.63	c lb 617 (thread 0)
7.15/3.63	c lb 618 (thread 0)
7.15/3.64	c lb 619 (thread 0)
7.15/3.65	c lb 620 (thread 0)
7.15/3.66	c lb 621 (thread 0)
7.15/3.67	c lb 622 (thread 0)
7.15/3.68	c lb 623 (thread 0)
7.15/3.68	c lb 624 (thread 0)
7.15/3.69	c lb 625 (thread 0)
7.36/3.70	c lb 626 (thread 0)
7.36/3.71	c lb 627 (thread 0)
7.36/3.72	c lb 628 (thread 0)
7.36/3.72	c lb 629 (thread 0)
7.36/3.73	c lb 630 (thread 0)
7.36/3.74	c lb 631 (thread 0)
7.36/3.75	c lb 632 (thread 0)
7.36/3.76	c lb 633 (thread 0)
7.36/3.77	c lb 634 (thread 0)
7.36/3.77	c lb 635 (thread 0)
7.36/3.78	c lb 636 (thread 0)
7.36/3.79	c lb 637 (thread 0)
7.56/3.80	c lb 638 (thread 0)
7.56/3.81	c lb 639 (thread 0)
7.56/3.82	c lb 640 (thread 0)
7.56/3.82	c lb 641 (thread 0)
7.56/3.83	c lb 642 (thread 0)
7.56/3.84	c lb 643 (thread 0)
7.56/3.85	c lb 644 (thread 0)
7.56/3.86	c lb 645 (thread 0)
7.56/3.87	c lb 646 (thread 0)
7.56/3.87	c lb 647 (thread 0)
7.56/3.88	c lb 648 (thread 0)
7.56/3.89	c lb 649 (thread 0)
7.76/3.90	c lb 650 (thread 0)
7.76/3.91	c lb 651 (thread 0)
7.76/3.92	c lb 652 (thread 0)
7.76/3.92	c lb 653 (thread 0)
7.76/3.93	c lb 654 (thread 0)
7.76/3.94	c lb 655 (thread 0)
7.76/3.95	c lb 656 (thread 0)
7.76/3.96	c lb 657 (thread 0)
7.76/3.97	c lb 658 (thread 0)
7.76/3.98	c lb 659 (thread 0)
7.76/3.98	c lb 660 (thread 0)
7.76/3.99	c lb 661 (thread 0)
7.96/4.00	c lb 662 (thread 0)
7.96/4.01	c lb 663 (thread 0)
7.96/4.02	c lb 664 (thread 0)
7.96/4.03	c lb 665 (thread 0)
7.96/4.03	c lb 666 (thread 0)
7.96/4.04	c lb 667 (thread 0)
7.96/4.05	c lb 668 (thread 0)
7.96/4.06	c lb 669 (thread 0)
7.96/4.07	c lb 670 (thread 0)
7.96/4.08	c lb 671 (thread 0)
7.96/4.08	c lb 672 (thread 0)
7.96/4.09	c lb 673 (thread 0)
8.16/4.10	c lb 674 (thread 0)
8.16/4.11	c lb 675 (thread 0)
8.16/4.12	c lb 676 (thread 0)
8.16/4.13	c lb 677 (thread 0)
8.16/4.13	c lb 678 (thread 0)
8.16/4.14	c lb 679 (thread 0)
8.16/4.15	c lb 680 (thread 0)
8.16/4.16	c lb 681 (thread 0)
8.16/4.17	c lb 682 (thread 0)
8.16/4.18	c lb 683 (thread 0)
8.16/4.18	c lb 684 (thread 0)
8.16/4.19	c lb 685 (thread 0)
8.36/4.20	c lb 686 (thread 0)
8.36/4.21	c lb 687 (thread 0)
8.36/4.22	c lb 688 (thread 0)
8.36/4.23	c lb 689 (thread 0)
8.36/4.24	c lb 690 (thread 0)
8.36/4.24	c lb 691 (thread 0)
8.36/4.25	c lb 692 (thread 0)
8.36/4.26	c lb 693 (thread 0)
8.36/4.27	c lb 694 (thread 0)
8.36/4.28	c lb 695 (thread 0)
8.36/4.29	c lb 696 (thread 0)
8.36/4.30	c lb 697 (thread 0)
8.56/4.31	c lb 698 (thread 0)
8.56/4.32	c lb 699 (thread 0)
8.56/4.32	c lb 700 (thread 0)
8.56/4.33	c lb 701 (thread 0)
8.56/4.34	c lb 702 (thread 0)
8.56/4.35	c lb 703 (thread 0)
8.56/4.36	c lb 704 (thread 0)
8.56/4.37	c lb 705 (thread 0)
8.56/4.38	c lb 706 (thread 0)
8.56/4.38	c lb 707 (thread 0)
8.56/4.39	c lb 708 (thread 0)
8.76/4.40	c lb 709 (thread 0)
8.76/4.41	c lb 710 (thread 0)
8.76/4.42	c lb 711 (thread 0)
8.76/4.43	c lb 712 (thread 0)
8.76/4.44	c lb 713 (thread 0)
8.76/4.45	c lb 714 (thread 0)
8.76/4.45	c lb 715 (thread 0)
8.76/4.46	c lb 716 (thread 0)
8.76/4.47	c lb 717 (thread 0)
8.76/4.48	c lb 718 (thread 0)
8.76/4.49	c lb 719 (thread 0)
8.96/4.50	c lb 720 (thread 0)
8.96/4.51	c lb 721 (thread 0)
8.96/4.52	c lb 722 (thread 0)
8.96/4.52	c lb 723 (thread 0)
8.96/4.53	c lb 724 (thread 0)
8.96/4.54	c lb 725 (thread 0)
8.96/4.55	c lb 726 (thread 0)
8.96/4.56	c lb 727 (thread 0)
8.96/4.57	c lb 728 (thread 0)
8.96/4.58	c lb 729 (thread 0)
8.96/4.59	c lb 730 (thread 0)
8.96/4.59	c lb 731 (thread 0)
9.16/4.60	c lb 732 (thread 0)
9.16/4.61	c lb 733 (thread 0)
9.16/4.62	c lb 734 (thread 0)
9.16/4.63	c lb 735 (thread 0)
9.16/4.64	c lb 736 (thread 0)
9.16/4.65	c lb 737 (thread 0)
9.16/4.66	c lb 738 (thread 0)
9.16/4.67	c lb 739 (thread 0)
9.16/4.67	c lb 740 (thread 0)
9.16/4.68	c lb 741 (thread 0)
9.16/4.69	c lb 742 (thread 0)
9.36/4.70	c lb 743 (thread 0)
9.36/4.71	c lb 744 (thread 0)
9.36/4.72	c lb 745 (thread 0)
9.36/4.73	c lb 746 (thread 0)
9.36/4.74	c lb 747 (thread 0)
9.36/4.75	c lb 748 (thread 0)
9.36/4.76	c lb 749 (thread 0)
9.36/4.76	c lb 750 (thread 0)
9.36/4.77	c lb 751 (thread 0)
9.36/4.78	c lb 752 (thread 0)
9.36/4.79	c lb 753 (thread 0)
9.56/4.80	c lb 754 (thread 0)
9.56/4.81	c lb 755 (thread 0)
9.56/4.82	c lb 756 (thread 0)
9.56/4.83	c lb 757 (thread 0)
9.56/4.84	c lb 758 (thread 0)
9.56/4.85	c lb 759 (thread 0)
9.56/4.85	c lb 760 (thread 0)
9.56/4.86	c lb 761 (thread 0)
9.56/4.87	c lb 762 (thread 0)
9.56/4.88	c lb 763 (thread 0)
9.56/4.89	c lb 764 (thread 0)
9.76/4.90	c lb 765 (thread 0)
9.76/4.91	c lb 766 (thread 0)
9.76/4.92	c lb 767 (thread 0)
9.76/4.93	c lb 768 (thread 0)
9.76/4.94	c lb 769 (thread 0)
9.76/4.95	c lb 770 (thread 0)
9.76/4.96	c lb 771 (thread 0)
9.76/4.97	c lb 772 (thread 0)
9.76/4.98	c lb 773 (thread 0)
9.76/4.98	c lb 774 (thread 0)
9.76/4.99	c lb 775 (thread 0)
9.95/5.00	c lb 776 (thread 0)
9.95/5.01	c lb 777 (thread 0)
9.95/5.02	c lb 778 (thread 0)
9.95/5.03	c lb 779 (thread 0)
9.95/5.04	c lb 780 (thread 0)
9.95/5.05	c lb 781 (thread 0)
9.95/5.06	c lb 782 (thread 0)
9.95/5.07	c lb 783 (thread 0)
9.95/5.08	c lb 784 (thread 0)
9.95/5.09	c lb 785 (thread 0)
9.95/5.09	c lb 786 (thread 0)
10.16/5.10	c lb 787 (thread 0)
10.16/5.11	c lb 788 (thread 0)
10.16/5.12	c lb 789 (thread 0)
10.16/5.13	c lb 790 (thread 0)
10.16/5.14	c lb 791 (thread 0)
10.16/5.15	c lb 792 (thread 0)
10.16/5.16	c lb 793 (thread 0)
10.16/5.17	c lb 794 (thread 0)
10.16/5.18	c lb 795 (thread 0)
10.16/5.19	c lb 796 (thread 0)
10.36/5.20	c lb 797 (thread 0)
10.36/5.21	c lb 798 (thread 0)
10.36/5.22	c lb 799 (thread 0)
10.36/5.23	c lb 800 (thread 0)
10.36/5.24	c lb 801 (thread 0)
10.36/5.25	c lb 802 (thread 0)
10.36/5.25	c lb 803 (thread 0)
10.36/5.26	c lb 804 (thread 0)
10.36/5.27	c lb 805 (thread 0)
10.36/5.28	c lb 806 (thread 0)
10.36/5.29	c lb 807 (thread 0)
10.56/5.30	c lb 808 (thread 0)
10.56/5.31	c lb 809 (thread 0)
10.56/5.32	c lb 810 (thread 0)
10.56/5.33	c lb 811 (thread 0)
10.56/5.34	c lb 812 (thread 0)
10.56/5.35	c lb 813 (thread 0)
10.56/5.36	c lb 814 (thread 0)
10.56/5.37	c lb 815 (thread 0)
10.56/5.38	c lb 816 (thread 0)
10.56/5.39	c lb 817 (thread 0)
10.56/5.40	c lb 818 (thread 0)
10.77/5.41	c lb 819 (thread 0)
10.77/5.42	c lb 820 (thread 0)
10.77/5.42	c lb 821 (thread 0)
10.77/5.43	c lb 822 (thread 0)
10.77/5.44	c lb 823 (thread 0)
10.77/5.45	c lb 824 (thread 0)
10.77/5.46	c lb 825 (thread 0)
10.77/5.47	c lb 826 (thread 0)
10.77/5.48	c lb 827 (thread 0)
10.77/5.49	c lb 828 (thread 0)
10.77/5.50	c lb 829 (thread 0)
10.97/5.51	c lb 830 (thread 0)
10.97/5.52	c lb 831 (thread 0)
10.97/5.53	c lb 832 (thread 0)
10.97/5.54	c lb 833 (thread 0)
10.97/5.55	c lb 834 (thread 0)
10.97/5.56	c lb 835 (thread 0)
10.97/5.57	c lb 836 (thread 0)
10.97/5.58	c lb 837 (thread 0)
10.97/5.58	c lb 838 (thread 0)
10.97/5.59	c lb 839 (thread 0)
11.15/5.60	c lb 840 (thread 0)
11.15/5.61	c lb 841 (thread 0)
11.15/5.62	c lb 842 (thread 0)
11.15/5.63	c lb 843 (thread 0)
11.15/5.64	c lb 844 (thread 0)
11.15/5.65	c lb 845 (thread 0)
11.15/5.66	c lb 846 (thread 0)
11.15/5.67	c lb 847 (thread 0)
11.15/5.68	c lb 848 (thread 0)
11.15/5.69	c lb 849 (thread 0)
11.35/5.70	c lb 850 (thread 0)
11.35/5.71	c lb 851 (thread 0)
11.35/5.72	c lb 852 (thread 0)
11.35/5.73	c lb 853 (thread 0)
11.35/5.74	c lb 854 (thread 0)
11.35/5.75	c lb 855 (thread 0)
11.35/5.76	c lb 856 (thread 0)
11.35/5.77	c lb 857 (thread 0)
11.35/5.78	c lb 858 (thread 0)
11.35/5.79	c lb 859 (thread 0)
11.35/5.80	c lb 860 (thread 0)
11.56/5.80	c lb 861 (thread 0)
11.56/5.81	c lb 862 (thread 0)
11.56/5.82	c lb 863 (thread 0)
11.56/5.83	c lb 864 (thread 0)
11.56/5.84	c lb 865 (thread 0)
11.56/5.85	c lb 866 (thread 0)
11.56/5.86	c lb 867 (thread 0)
11.56/5.87	c lb 868 (thread 0)
11.56/5.88	c lb 869 (thread 0)
11.56/5.89	c lb 870 (thread 0)
11.76/5.90	c lb 871 (thread 0)
11.76/5.91	c lb 872 (thread 0)
11.76/5.92	c lb 873 (thread 0)
11.76/5.93	c lb 874 (thread 0)
11.76/5.94	c lb 875 (thread 0)
11.76/5.95	c lb 876 (thread 0)
11.76/5.96	c lb 877 (thread 0)
11.76/5.97	c lb 878 (thread 0)
11.76/5.98	c lb 879 (thread 0)
11.76/5.99	c lb 880 (thread 0)
11.96/6.00	c lb 881 (thread 0)
11.96/6.01	c lb 882 (thread 0)
11.96/6.02	c lb 883 (thread 0)
11.96/6.03	c lb 884 (thread 0)
11.96/6.04	c lb 885 (thread 0)
11.96/6.05	c lb 886 (thread 0)
11.96/6.06	c lb 887 (thread 0)
11.96/6.07	c lb 888 (thread 0)
11.96/6.08	c lb 889 (thread 0)
11.96/6.09	c lb 890 (thread 0)
12.16/6.10	c lb 891 (thread 0)
12.16/6.11	c lb 892 (thread 0)
12.16/6.12	c lb 893 (thread 0)
12.16/6.13	c lb 894 (thread 0)
12.16/6.14	c lb 895 (thread 0)
12.16/6.15	c lb 896 (thread 0)
12.16/6.16	c lb 897 (thread 0)
12.16/6.17	c lb 898 (thread 0)
12.16/6.18	c lb 899 (thread 0)
12.16/6.19	c lb 900 (thread 0)
12.36/6.20	c lb 901 (thread 0)
12.36/6.21	c lb 902 (thread 0)
12.36/6.22	c lb 903 (thread 0)
12.36/6.23	c lb 904 (thread 0)
12.36/6.24	c lb 905 (thread 0)
12.36/6.25	c lb 906 (thread 0)
12.36/6.26	c lb 907 (thread 0)
12.36/6.27	c lb 908 (thread 0)
12.36/6.28	c lb 909 (thread 0)
12.36/6.29	c lb 910 (thread 0)
12.55/6.30	c lb 911 (thread 0)
12.55/6.31	c lb 912 (thread 0)
12.55/6.32	c lb 913 (thread 0)
12.55/6.33	c lb 914 (thread 0)
12.55/6.34	c lb 915 (thread 0)
12.55/6.35	c lb 916 (thread 0)
12.55/6.36	c lb 917 (thread 0)
12.55/6.37	c lb 918 (thread 0)
12.55/6.38	c lb 919 (thread 0)
12.55/6.39	c lb 920 (thread 0)
12.76/6.40	c lb 921 (thread 0)
12.76/6.41	c lb 922 (thread 0)
12.76/6.42	c lb 923 (thread 0)
12.76/6.43	c lb 924 (thread 0)
12.76/6.44	c lb 925 (thread 0)
12.76/6.45	c lb 926 (thread 0)
12.76/6.46	c lb 927 (thread 0)
12.76/6.47	c lb 928 (thread 0)
12.76/6.48	c lb 929 (thread 0)
12.76/6.49	c lb 930 (thread 0)
12.76/6.50	c lb 931 (thread 0)
12.97/6.51	c lb 932 (thread 0)
12.97/6.52	c lb 933 (thread 0)
12.97/6.53	c lb 934 (thread 0)
12.97/6.54	c lb 935 (thread 0)
12.97/6.55	c lb 936 (thread 0)
12.97/6.56	c lb 937 (thread 0)
12.97/6.57	c lb 938 (thread 0)
12.97/6.58	c lb 939 (thread 0)
12.97/6.59	c lb 940 (thread 0)
13.17/6.60	c lb 941 (thread 0)
13.17/6.62	c lb 942 (thread 0)
13.17/6.63	c lb 943 (thread 0)
13.17/6.64	c lb 944 (thread 0)
13.17/6.65	c lb 945 (thread 0)
13.17/6.66	c lb 946 (thread 0)
13.17/6.67	c lb 947 (thread 0)
13.17/6.68	c lb 948 (thread 0)
13.17/6.69	c lb 949 (thread 0)
13.35/6.70	c lb 950 (thread 0)
13.35/6.71	c lb 951 (thread 0)
13.35/6.72	c lb 952 (thread 0)
13.35/6.73	c lb 953 (thread 0)
13.35/6.74	c lb 954 (thread 0)
13.35/6.75	c lb 955 (thread 0)
13.35/6.76	c lb 956 (thread 0)
13.35/6.77	c lb 957 (thread 0)
13.35/6.78	c lb 958 (thread 0)
13.35/6.79	c lb 959 (thread 0)
13.56/6.80	c lb 960 (thread 0)
13.56/6.81	c lb 961 (thread 0)
13.56/6.82	c lb 962 (thread 0)
13.56/6.84	c lb 963 (thread 0)
13.56/6.85	c lb 964 (thread 0)
13.56/6.86	c lb 965 (thread 0)
13.56/6.87	c lb 966 (thread 0)
13.56/6.88	c lb 967 (thread 0)
13.56/6.89	c lb 968 (thread 0)
13.76/6.90	c lb 969 (thread 0)
13.76/6.91	c lb 970 (thread 0)
13.76/6.92	c lb 971 (thread 0)
13.76/6.93	c lb 972 (thread 0)
13.76/6.94	c lb 973 (thread 0)
13.76/6.95	c lb 974 (thread 0)
13.76/6.96	c lb 975 (thread 0)
13.76/6.97	c lb 976 (thread 0)
13.76/6.99	c lb 977 (thread 0)
13.76/7.00	c lb 978 (thread 0)
13.96/7.01	c lb 979 (thread 0)
13.96/7.02	c lb 980 (thread 0)
13.96/7.03	c lb 981 (thread 0)
13.96/7.04	c lb 982 (thread 0)
13.96/7.05	c lb 983 (thread 0)
13.96/7.06	c lb 984 (thread 0)
13.96/7.07	c lb 985 (thread 0)
13.96/7.08	c lb 986 (thread 0)
13.96/7.09	c lb 987 (thread 0)
14.16/7.10	c lb 988 (thread 0)
14.16/7.11	c lb 989 (thread 0)
14.16/7.12	c lb 990 (thread 0)
14.16/7.13	c lb 991 (thread 0)
14.16/7.14	c lb 992 (thread 0)
14.16/7.15	c lb 993 (thread 0)
14.16/7.16	c lb 994 (thread 0)
14.16/7.18	c lb 995 (thread 0)
14.16/7.19	c lb 996 (thread 0)
14.36/7.20	c lb 997 (thread 0)
14.36/7.21	c lb 998 (thread 0)
14.36/7.22	c lb 999 (thread 0)
14.36/7.23	c lb 1000 (thread 0)
14.36/7.24	c lb 1001 (thread 0)
14.36/7.25	c lb 1002 (thread 0)
14.36/7.26	c lb 1003 (thread 0)
14.36/7.27	c lb 1004 (thread 0)
14.36/7.28	c lb 1005 (thread 0)
14.36/7.29	c lb 1006 (thread 0)
14.56/7.30	c lb 1007 (thread 0)
14.56/7.32	c lb 1008 (thread 0)
14.56/7.33	c lb 1009 (thread 0)
14.56/7.34	c lb 1010 (thread 0)
14.56/7.35	c lb 1011 (thread 0)
14.56/7.36	c lb 1012 (thread 0)
14.56/7.37	c lb 1013 (thread 0)
14.56/7.38	c lb 1014 (thread 0)
14.56/7.39	c lb 1015 (thread 0)
14.75/7.40	c lb 1016 (thread 0)
14.75/7.41	c lb 1017 (thread 0)
14.75/7.42	c lb 1018 (thread 0)
14.75/7.43	c lb 1019 (thread 0)
14.75/7.45	c lb 1020 (thread 0)
14.75/7.46	c lb 1021 (thread 0)
14.75/7.47	c lb 1022 (thread 0)
14.75/7.48	c lb 1023 (thread 0)
14.75/7.49	c lb 1024 (thread 0)
14.95/7.50	c lb 1025 (thread 0)
14.95/7.51	c lb 1026 (thread 0)
14.95/7.52	c lb 1027 (thread 0)
14.95/7.53	c lb 1028 (thread 0)
14.95/7.55	c lb 1029 (thread 0)
14.95/7.56	c lb 1030 (thread 0)
14.95/7.57	c lb 1031 (thread 0)
14.95/7.58	c lb 1032 (thread 0)
14.95/7.59	c lb 1033 (thread 0)
15.17/7.60	c lb 1034 (thread 0)
15.17/7.61	c lb 1035 (thread 0)
15.17/7.62	c lb 1036 (thread 0)
15.17/7.64	c lb 1037 (thread 0)
15.17/7.65	c lb 1038 (thread 0)
15.17/7.66	c lb 1039 (thread 0)
15.17/7.67	c lb 1040 (thread 0)
15.17/7.68	c lb 1041 (thread 0)
15.17/7.69	c lb 1042 (thread 0)
15.37/7.70	c lb 1043 (thread 0)
15.37/7.71	c lb 1044 (thread 0)
15.37/7.72	c lb 1045 (thread 0)
15.37/7.74	c lb 1046 (thread 0)
15.37/7.75	c lb 1047 (thread 0)
15.37/7.76	c lb 1048 (thread 0)
15.37/7.77	c lb 1049 (thread 0)
15.37/7.78	c lb 1050 (thread 0)
15.37/7.79	c lb 1051 (thread 0)
15.56/7.81	c lb 1052 (thread 0)
15.56/7.82	c lb 1053 (thread 0)
15.56/7.83	c lb 1054 (thread 0)
15.56/7.84	c lb 1055 (thread 0)
15.56/7.85	c lb 1056 (thread 0)
15.56/7.86	c lb 1057 (thread 0)
15.56/7.88	c lb 1058 (thread 0)
15.56/7.89	c lb 1059 (thread 0)
15.75/7.90	c lb 1060 (thread 0)
15.75/7.91	c lb 1061 (thread 0)
15.75/7.93	c lb 1062 (thread 0)
15.75/7.94	c lb 1063 (thread 0)
15.75/7.95	c lb 1064 (thread 0)
15.75/7.97	c lb 1065 (thread 0)
15.75/7.99	c lb 1066 (thread 0)
15.95/8.00	c lb 1067 (thread 0)
15.95/8.02	c lb 1068 (thread 0)
15.95/8.03	c lb 1069 (thread 0)
15.95/8.05	c lb 1070 (thread 0)
15.95/8.07	c lb 1071 (thread 0)
15.95/8.09	c lb 1072 (thread 0)
16.15/8.10	c lb 1073 (thread 0)
16.15/8.12	c lb 1074 (thread 0)
16.15/8.17	c lb 1075 (thread 0)
16.36/8.28	c lb 1076 (thread 0)
18.55/9.35	c lb 1077 (thread 0)
130.76/65.46	c lb 1078 (thread 0)
1800.02/900.01	s UNKNOWN
1800.02/900.01	c Memory used           : 420.64 MB
1800.02/900.01	c CPU time              : 1792.73 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3500765-1307998066/watcher-3500765-1307998066 -o /var/tmp/evaluation-result-3500765-1307998066/solver-3500765-1307998066 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500765-1307998066.opb 

running on 4 cores: 1,3,5,7

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: 3.92 3.92 3.78 1/175 19960
/proc/meminfo: memFree=24502980/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=3808 CPUtime=0 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) R 19958 19960 17705 0 -1 4202496 649 0 0 0 0 0 0 0 22 0 1 0 990037321 3899392 601 33554432000 4194304 5714118 140734973117344 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/19960/statm: 952 601 160 372 0 487 0

[startup+0.049162 s]
/proc/loadavg: 3.92 3.92 3.78 1/175 19960
/proc/meminfo: memFree=24502980/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=138252 CPUtime=0.05 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 2614 0 0 0 5 0 0 0 22 0 3 0 990037321 141570048 2418 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 34563 2418 179 372 0 34188 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 138252

[startup+0.101155 s]
/proc/loadavg: 3.92 3.92 3.78 1/175 19960
/proc/meminfo: memFree=24502980/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=138444 CPUtime=0.16 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 2742 0 0 0 15 1 0 0 22 0 3 0 990037321 141766656 2546 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 34611 2546 179 372 0 34236 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 138444

[startup+0.301157 s]
/proc/loadavg: 3.92 3.92 3.78 1/175 19960
/proc/meminfo: memFree=24502980/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=138252 CPUtime=0.55 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 3752 0 0 0 54 1 0 0 22 0 3 0 990037321 141570048 2752 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 34563 2752 179 372 0 34188 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 138252

[startup+0.701043 s]
/proc/loadavg: 3.92 3.92 3.78 1/175 19960
/proc/meminfo: memFree=24502980/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=138252 CPUtime=1.36 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 5446 0 0 0 133 3 0 0 22 0 3 0 990037321 141570048 3179 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 34563 3179 179 372 0 34188 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 138252

[startup+1.50089 s]
/proc/loadavg: 3.92 3.92 3.78 3/178 19963
/proc/meminfo: memFree=24489708/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=138252 CPUtime=2.96 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 7938 0 0 0 291 5 0 0 22 0 3 0 990037321 141570048 4142 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 34563 4142 179 372 0 34188 0
[pid=19960/tid=19962] ppid=19958 vsize=138252 CPUtime=1.46 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 5262 0 0 0 145 1 0 0 20 0 3 0 990037324 141570048 4142 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=138252 CPUtime=1.46 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 1406 0 0 0 143 3 0 0 20 0 3 0 990037324 141570048 4142 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 138252

[startup+3.10059 s]
/proc/loadavg: 3.92 3.92 3.78 4/177 19970
/proc/meminfo: memFree=24485044/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=138656 CPUtime=6.15 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 12783 0 0 0 608 7 0 0 22 0 3 0 990037321 141983744 5416 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 34664 5427 179 372 0 34289 0
[pid=19960/tid=19962] ppid=19958 vsize=138656 CPUtime=3.05 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 9800 0 0 0 304 1 0 0 25 0 3 0 990037324 141983744 5429 33554432000 4194304 5714118 140734973117344 18446744073709551615 4315294 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=138656 CPUtime=3.06 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 1726 0 0 0 301 5 0 0 25 0 3 0 990037324 141983744 5429 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 138656

[startup+6.30099 s]
/proc/loadavg: 3.85 3.90 3.77 5/182 20003
/proc/meminfo: memFree=24412952/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=139192 CPUtime=12.55 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 23980 0 0 0 1243 12 0 0 22 0 3 0 990037321 142532608 8249 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 34798 8249 180 372 0 34423 0
[pid=19960/tid=19962] ppid=19958 vsize=139192 CPUtime=6.26 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 20723 0 0 0 623 3 0 0 25 0 3 0 990037324 142532608 8249 33554432000 4194304 5714118 140734973117344 18446744073709551615 4342243 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=139192 CPUtime=6.26 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 1987 0 0 0 617 9 0 0 25 0 3 0 990037324 142532608 8249 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 139192

[startup+12.7008 s]
/proc/loadavg: 3.86 3.90 3.77 5/182 20003
/proc/meminfo: memFree=24356636/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=140272 CPUtime=25.36 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 33753 0 0 0 2512 24 0 0 22 0 3 0 990037321 143638528 12104 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 35068 12105 180 372 0 34693 0
[pid=19960/tid=19962] ppid=19958 vsize=140272 CPUtime=12.66 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 29967 0 0 0 1257 9 0 0 25 0 3 0 990037324 143638528 12105 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=140272 CPUtime=12.66 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 2517 0 0 0 1252 14 0 0 25 0 3 0 990037324 143638528 12105 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 140272

[startup+25.5004 s]
/proc/loadavg: 3.89 3.91 3.77 5/182 20003
/proc/meminfo: memFree=24314388/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=141672 CPUtime=50.96 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 37297 0 0 0 5052 44 0 0 22 0 3 0 990037321 145072128 15648 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 35418 15648 180 372 0 35043 0
[pid=19960/tid=19962] ppid=19958 vsize=141672 CPUtime=25.46 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 32664 0 0 0 2528 18 0 0 25 0 3 0 990037324 145072128 15648 33554432000 4194304 5714118 140734973117344 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=141672 CPUtime=25.46 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 3363 0 0 0 2521 25 0 0 25 0 3 0 990037324 145072128 15648 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 141672

[startup+51.1006 s]
/proc/loadavg: 3.93 3.91 3.78 5/182 20004
/proc/meminfo: memFree=24275000/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=143900 CPUtime=102.16 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 41462 0 0 0 10145 71 0 0 22 0 3 0 990037321 147353600 19813 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 35975 19813 180 372 0 35600 0
[pid=19960/tid=19962] ppid=19958 vsize=143900 CPUtime=51.07 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 36099 0 0 0 5077 30 0 0 25 0 3 0 990037324 147353600 19813 33554432000 4194304 5714118 140734973117344 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=143900 CPUtime=51.05 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 4093 0 0 0 5065 40 0 0 25 0 3 0 990037324 147353600 19813 33554432000 4194304 5714118 140734973117344 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 143900

[startup+102.307 s]
/proc/loadavg: 3.97 3.92 3.79 5/182 20006
/proc/meminfo: memFree=24211464/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=213984 CPUtime=204.57 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 44977 0 0 0 20324 133 0 0 22 0 3 0 990037321 219119616 23327 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 53496 23327 180 372 0 53121 0
[pid=19960/tid=19962] ppid=19958 vsize=213984 CPUtime=102.27 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 38261 0 0 0 10168 59 0 0 25 0 3 0 990037324 219119616 23327 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=213984 CPUtime=102.26 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 5446 0 0 0 10153 73 0 0 25 0 3 0 990037324 219119616 23327 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 213984

[startup+162.301 s]
/proc/loadavg: 3.99 3.93 3.80 5/182 20007
/proc/meminfo: memFree=24176932/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=216780 CPUtime=324.56 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 49767 0 0 0 32261 195 0 0 22 0 3 0 990037321 221982720 28117 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 54195 28117 180 372 0 53820 0
[pid=19960/tid=19962] ppid=19958 vsize=216780 CPUtime=162.27 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 42078 0 0 0 16140 87 0 0 25 0 3 0 990037324 221982720 28117 33554432000 4194304 5714118 140734973117344 18446744073709551615 4322576 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=216780 CPUtime=162.26 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 6419 0 0 0 16119 107 0 0 25 0 3 0 990037324 221982720 28117 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 216780

[startup+222.3 s]
/proc/loadavg: 3.99 3.94 3.81 5/182 20009
/proc/meminfo: memFree=24099500/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=218324 CPUtime=444.56 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 60345 0 0 0 44197 259 0 0 22 0 3 0 990037321 223563776 38695 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 54581 38695 180 372 0 54206 0
[pid=19960/tid=19962] ppid=19958 vsize=218324 CPUtime=222.27 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 52186 0 0 0 22109 118 0 0 25 0 3 0 990037324 223563776 38695 33554432000 4194304 5714118 140734973117344 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=218324 CPUtime=222.25 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 6889 0 0 0 22085 140 0 0 25 0 3 0 990037324 223563776 38695 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.56
Current children cumulated vsize (KiB) 218324

[startup+282.301 s]
/proc/loadavg: 3.99 3.95 3.82 5/182 20010
/proc/meminfo: memFree=24018592/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=286316 CPUtime=564.57 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 71909 0 0 0 56139 318 0 0 22 0 3 0 990037321 293187584 50259 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 71579 50259 180 372 0 71204 0
[pid=19960/tid=19962] ppid=19958 vsize=286316 CPUtime=282.27 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 62795 0 0 0 28080 147 0 0 25 0 3 0 990037324 293187584 50259 33554432000 4194304 5714118 140734973117344 18446744073709551615 4311869 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=286316 CPUtime=282.26 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 7844 0 0 0 28055 171 0 0 25 0 3 0 990037324 293187584 50259 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 286316

[startup+342.301 s]
/proc/loadavg: 3.99 3.96 3.83 5/182 20012
/proc/meminfo: memFree=23995712/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=288004 CPUtime=684.58 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 75352 0 0 0 68092 366 0 0 22 0 3 0 990037321 294916096 53702 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 72001 53702 180 372 0 71626 0
[pid=19960/tid=19962] ppid=19958 vsize=288004 CPUtime=342.27 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 65798 0 0 0 34066 161 0 0 25 0 3 0 990037324 294916096 53702 33554432000 4194304 5714118 140734973117344 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=288004 CPUtime=342.26 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 8284 0 0 0 34022 204 0 0 25 0 3 0 990037324 294916096 53702 33554432000 4194304 5714118 140734973117344 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 288004

[startup+402.301 s]
/proc/loadavg: 3.99 3.96 3.83 5/182 20013
/proc/meminfo: memFree=23961544/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=356136 CPUtime=804.57 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 81466 0 0 0 80045 412 0 0 22 0 3 0 990037321 364683264 59816 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 89034 59816 180 372 0 88659 0
[pid=19960/tid=19962] ppid=19958 vsize=356136 CPUtime=402.28 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 71130 0 0 0 40051 177 0 0 25 0 3 0 990037324 364683264 59816 33554432000 4194304 5714118 140734973117344 18446744073709551615 4311806 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=356136 CPUtime=402.27 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 9066 0 0 0 39992 235 0 0 25 0 3 0 990037324 364683264 59816 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 356136

[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.84 5/182 20015
/proc/meminfo: memFree=23933088/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=357656 CPUtime=924.58 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 86630 0 0 0 92005 453 0 0 22 0 3 0 990037321 366239744 64979 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 89414 64979 180 372 0 89039 0
[pid=19960/tid=19962] ppid=19958 vsize=357656 CPUtime=462.27 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 75837 0 0 0 46038 189 0 0 25 0 3 0 990037324 366239744 64979 33554432000 4194304 5714118 140734973117344 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=357656 CPUtime=462.27 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 9523 0 0 0 45964 263 0 0 25 0 3 0 990037324 366239744 64979 33554432000 4194304 5714118 140734973117344 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.58
Current children cumulated vsize (KiB) 357656

[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.85 5/182 20017
/proc/meminfo: memFree=23919152/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=358724 CPUtime=1044.59 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 89015 0 0 0 103969 490 0 0 22 0 3 0 990037321 367333376 67345 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 89681 67345 180 372 0 89306 0
[pid=19960/tid=19962] ppid=19958 vsize=358724 CPUtime=522.28 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 77916 0 0 0 52028 200 0 0 25 0 3 0 990037324 367333376 67345 33554432000 4194304 5714118 140734973117344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=358724 CPUtime=522.27 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 9829 0 0 0 51938 289 0 0 25 0 3 0 990037324 367333376 67345 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 358724

[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.85 5/182 20018
/proc/meminfo: memFree=23912644/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=359912 CPUtime=1164.59 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 90478 0 0 0 115929 530 0 0 22 0 3 0 990037321 368549888 68808 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 89978 68808 180 372 0 89603 0
[pid=19960/tid=19962] ppid=19958 vsize=359912 CPUtime=582.28 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 79089 0 0 0 58016 212 0 0 25 0 3 0 990037324 368549888 68808 33554432000 4194304 5714118 140734973117344 18446744073709551615 4311828 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=359912 CPUtime=582.27 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 10119 0 0 0 57910 317 0 0 25 0 3 0 990037324 368549888 68808 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.59
Current children cumulated vsize (KiB) 359912

[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 20020
/proc/meminfo: memFree=23874168/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=361708 CPUtime=1284.6 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 97228 0 0 0 127888 572 0 0 22 0 3 0 990037321 370388992 75558 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 90427 75558 180 372 0 90052 0
[pid=19960/tid=19962] ppid=19958 vsize=361708 CPUtime=642.28 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 85110 0 0 0 64001 227 0 0 25 0 3 0 990037324 370388992 75558 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=361708 CPUtime=642.28 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 10848 0 0 0 63884 344 0 0 25 0 3 0 990037324 370388992 75558 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.6
Current children cumulated vsize (KiB) 361708

[startup+702.3 s]
/proc/loadavg: 4.04 3.99 3.87 5/182 20022
/proc/meminfo: memFree=23877356/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=428424 CPUtime=1404.59 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 101134 0 0 0 139850 609 0 0 22 0 3 0 990037321 438706176 79443 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 107106 79443 180 372 0 106731 0
[pid=19960/tid=19962] ppid=19958 vsize=428424 CPUtime=702.28 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 88716 0 0 0 69992 236 0 0 25 0 3 0 990037324 438706176 79443 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=428424 CPUtime=702.27 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 11148 0 0 0 69855 372 0 0 25 0 3 0 990037324 438706176 79443 33554432000 4194304 5714118 140734973117344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.59
Current children cumulated vsize (KiB) 428424

[startup+762.306 s]
/proc/loadavg: 4.01 3.99 3.87 5/182 20023
/proc/meminfo: memFree=23866140/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=429180 CPUtime=1524.61 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 103851 0 0 0 151815 646 0 0 22 0 3 0 990037321 439480320 82155 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 107295 82155 180 372 0 106920 0
[pid=19960/tid=19962] ppid=19958 vsize=429180 CPUtime=762.29 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 91230 0 0 0 75983 246 0 0 25 0 3 0 990037324 439480320 82155 33554432000 4194304 5714118 140734973117344 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=429180 CPUtime=762.28 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 11351 0 0 0 75829 399 0 0 25 0 3 0 990037324 439480320 82155 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.61
Current children cumulated vsize (KiB) 429180

[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.88 5/182 20034
/proc/meminfo: memFree=23792712/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=430056 CPUtime=1644.6 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 107079 0 0 0 163774 686 0 0 22 0 3 0 990037321 440377344 85383 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 107514 85383 180 372 0 107139 0
[pid=19960/tid=19962] ppid=19958 vsize=430056 CPUtime=822.29 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 94241 0 0 0 81973 256 0 0 25 0 3 0 990037324 440377344 85383 33554432000 4194304 5714118 140734973117344 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=430056 CPUtime=822.28 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 11568 0 0 0 81798 430 0 0 25 0 3 0 990037324 440377344 85383 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 430056

[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 20035
/proc/meminfo: memFree=23780520/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=430572 CPUtime=1764.61 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 109140 0 0 0 175739 722 0 0 22 0 3 0 990037321 440905728 87441 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 107643 87441 180 372 0 107268 0
[pid=19960/tid=19962] ppid=19958 vsize=430572 CPUtime=882.29 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 96154 0 0 0 87963 266 0 0 25 0 3 0 990037324 440905728 87441 33554432000 4194304 5714118 140734973117344 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=430572 CPUtime=882.28 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 11716 0 0 0 87773 455 0 0 25 0 3 0 990037324 440905728 87441 33554432000 4194304 5714118 140734973117344 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 430572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 20036
/proc/meminfo: memFree=23780268/32950928 swapFree=67054844/67111528
[pid=19960] ppid=19958 vsize=430732 CPUtime=1800.02 cores=1,3,5,7
/proc/19960/stat : 19960 (pwbo1.1) S 19958 19960 17705 0 -1 4202496 109166 0 0 0 179271 731 0 0 22 0 3 0 990037321 441069568 87467 33554432000 4194304 5714118 140734973117344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/19960/statm: 107683 87467 180 372 0 107308 0
[pid=19960/tid=19962] ppid=19958 vsize=430732 CPUtime=900 cores=1,3,5,7
/proc/19960/task/19962/stat : 19962 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 96154 0 0 0 89731 269 0 0 25 0 3 0 990037324 441069568 87467 33554432000 4194304 5714118 140734973117344 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=19960/tid=19963] ppid=19958 vsize=430732 CPUtime=899.99 cores=1,3,5,7
/proc/19960/task/19963/stat : 19963 (pwbo1.1) R 19958 19960 17705 0 -1 4202560 11742 0 0 0 89537 462 0 0 25 0 3 0 990037324 441069568 87467 33554432000 4194304 5714118 140734973117344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 430732

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

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

Child status: 0
Real time (s): 900.029
CPU time (s): 1800.06
CPU user time (s): 1792.73
CPU system time (s): 7.33088
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 430732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.73
system time used= 7.33089
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109170
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= 81
involuntary context switches= 3451

runsolver used 1.58876 second user time and 3.11453 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-13 22:47:46
IDJOB=3500765
IDBENCH=89869
IDSOLVER=1954
FILE ID=node114/3500765-1307998066
RUNJOBID= node114-1307991472-17958
PBS_JOBID= 13559747
Free space on /var/tmp= 2872 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-f2000.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500765-1307998066/watcher-3500765-1307998066 -o /var/tmp/evaluation-result-3500765-1307998066/solver-3500765-1307998066 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500765-1307998066.opb

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

MD5SUM BENCH= acba870ceff62e653e0b2927ff2b81fb
RANDOM SEED=1836199452

node114.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.848
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.69
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.848
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	: 5226.15
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.848
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.848
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.73
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.848
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.75
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.848
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.848
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.74
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.848
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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24503532 kB
Buffers:         62968 kB
Cached:        8001064 kB
SwapCached:      10332 kB
Active:         185268 kB
Inactive:      7899856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24503532 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:            5012 kB
Writeback:         128 kB
AnonPages:       18956 kB
Mapped:          12860 kB
Slab:           297004 kB
PageTables:       4500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   216784 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 /var/tmp at the end= 2876 MiB
End job on node114 at 2011-06-13 23:02:48