Trace number 3500351

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 NameAnswerobjective functionCPU timeWall clock time
pwbo 1.1SAT (TO)-34 1800.26 900.151

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM3895ca8e12182fcd80d7923f66584703
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-34
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27931
Number of constraints which are clauses27931
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 constraint2
Number of terms in the objective function 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500351-1307994109.opb.
0.00/0.00	c Instance file HOME/instance-3500351-1307994109.opb
0.00/0.00	c File size is 664643 bytes.
0.04/0.04	c Highest Coefficient sum: 3
0.04/0.04	c ============================[ Problem Statistics ]=============================
0.04/0.04	c |                                                                             |
0.04/0.04	c |  Parsing time:          0.04         s                                      |
0.04/0.04	c |  Number Variables:      595                                                 |
0.04/0.04	c |  Number Clauses:        27931                                               |
0.04/0.04	c |  Number Cardinality:    0                                                   |
0.04/0.04	c |  Number PB Constraints: 0                                                   |
0.04/0.05	c init lb 0
0.04/0.05	c init ub 596
0.04/0.06	c lb -594 (thread 0)
0.04/0.07	c lb -593 (thread 0)
0.04/0.08	c lb -592 (thread 0)
0.04/0.09	c lb -591 (thread 0)
0.04/0.10	c lb -590 (thread 0)
0.16/0.10	c lb -589 (thread 0)
0.16/0.11	c lb -588 (thread 0)
0.16/0.12	c lb -587 (thread 0)
0.16/0.13	c lb -586 (thread 0)
0.16/0.13	c lb -585 (thread 0)
0.16/0.14	c lb -584 (thread 0)
0.16/0.15	c lb -583 (thread 0)
0.16/0.15	c lb -582 (thread 0)
0.16/0.16	c lb -581 (thread 0)
0.16/0.17	c lb -580 (thread 0)
0.16/0.18	c lb -579 (thread 0)
0.16/0.18	c lb -578 (thread 0)
0.16/0.19	c lb -577 (thread 0)
0.34/0.20	c lb -576 (thread 0)
0.34/0.21	c lb -575 (thread 0)
0.34/0.21	c lb -574 (thread 0)
0.34/0.22	c lb -573 (thread 0)
0.34/0.23	c lb -572 (thread 0)
0.34/0.24	c lb -571 (thread 0)
0.34/0.24	c ub 0 (thread 1)
0.34/0.24	o 0
0.34/0.24	c lb -570 (thread 0)
0.34/0.25	c lb -569 (thread 0)
0.34/0.26	c lb -568 (thread 0)
0.34/0.26	c lb -567 (thread 0)
0.34/0.27	c lb -566 (thread 0)
0.34/0.28	c lb -565 (thread 0)
0.34/0.28	c lb -564 (thread 0)
0.34/0.29	c lb -563 (thread 0)
0.55/0.30	c lb -562 (thread 0)
0.55/0.31	c lb -561 (thread 0)
0.55/0.31	c lb -560 (thread 0)
0.55/0.32	c lb -559 (thread 0)
0.55/0.33	c lb -558 (thread 0)
0.55/0.33	c lb -557 (thread 0)
0.55/0.34	c lb -556 (thread 0)
0.55/0.35	c lb -555 (thread 0)
0.55/0.35	c lb -554 (thread 0)
0.55/0.36	c lb -553 (thread 0)
0.55/0.37	c lb -552 (thread 0)
0.55/0.38	c lb -551 (thread 0)
0.55/0.38	c lb -550 (thread 0)
0.55/0.39	c lb -549 (thread 0)
0.74/0.40	c lb -548 (thread 0)
0.74/0.40	c lb -547 (thread 0)
0.74/0.41	c lb -546 (thread 0)
0.74/0.42	c lb -545 (thread 0)
0.74/0.43	c lb -544 (thread 0)
0.74/0.43	c lb -543 (thread 0)
0.74/0.44	c lb -542 (thread 0)
0.74/0.45	c lb -541 (thread 0)
0.74/0.45	c lb -540 (thread 0)
0.74/0.46	c lb -539 (thread 0)
0.74/0.47	c lb -538 (thread 0)
0.74/0.48	c lb -537 (thread 0)
0.74/0.48	c lb -536 (thread 0)
0.74/0.49	c lb -535 (thread 0)
0.94/0.50	c lb -534 (thread 0)
0.94/0.50	c lb -533 (thread 0)
0.94/0.51	c lb -532 (thread 0)
0.94/0.52	c lb -531 (thread 0)
0.94/0.53	c lb -530 (thread 0)
0.94/0.53	c lb -529 (thread 0)
0.94/0.54	c lb -528 (thread 0)
0.94/0.55	c lb -527 (thread 0)
0.94/0.56	c lb -526 (thread 0)
0.94/0.56	c lb -525 (thread 0)
0.94/0.57	c lb -524 (thread 0)
0.94/0.58	c lb -523 (thread 0)
0.94/0.58	c lb -522 (thread 0)
0.94/0.59	c lb -521 (thread 0)
1.14/0.60	c lb -520 (thread 0)
1.14/0.61	c lb -519 (thread 0)
1.14/0.61	c lb -518 (thread 0)
1.14/0.62	c lb -517 (thread 0)
1.14/0.63	c lb -516 (thread 0)
1.14/0.64	c lb -515 (thread 0)
1.14/0.64	c lb -514 (thread 0)
1.14/0.65	c lb -513 (thread 0)
1.14/0.66	c lb -512 (thread 0)
1.14/0.67	c lb -511 (thread 0)
1.14/0.67	c lb -510 (thread 0)
1.14/0.68	c lb -509 (thread 0)
1.14/0.69	c lb -508 (thread 0)
1.34/0.70	c lb -507 (thread 0)
1.34/0.70	c lb -506 (thread 0)
1.34/0.71	c lb -505 (thread 0)
1.34/0.72	c lb -504 (thread 0)
1.34/0.73	c lb -503 (thread 0)
1.34/0.73	c lb -502 (thread 0)
1.34/0.74	c lb -501 (thread 0)
1.34/0.75	c lb -500 (thread 0)
1.34/0.76	c lb -499 (thread 0)
1.34/0.77	c lb -498 (thread 0)
1.34/0.77	c lb -497 (thread 0)
1.34/0.78	c lb -496 (thread 0)
1.34/0.79	c lb -495 (thread 0)
1.54/0.80	c lb -494 (thread 0)
1.54/0.80	c lb -493 (thread 0)
1.54/0.81	c lb -492 (thread 0)
1.54/0.82	c lb -491 (thread 0)
1.54/0.83	c lb -490 (thread 0)
1.54/0.83	c lb -489 (thread 0)
1.54/0.84	c lb -488 (thread 0)
1.54/0.85	c lb -487 (thread 0)
1.54/0.86	c lb -486 (thread 0)
1.54/0.87	c lb -485 (thread 0)
1.54/0.87	c lb -484 (thread 0)
1.54/0.88	c lb -483 (thread 0)
1.54/0.89	c lb -482 (thread 0)
1.74/0.90	c lb -481 (thread 0)
1.74/0.91	c lb -480 (thread 0)
1.74/0.91	c lb -479 (thread 0)
1.74/0.92	c lb -478 (thread 0)
1.74/0.93	c lb -477 (thread 0)
1.74/0.94	c lb -476 (thread 0)
1.74/0.95	c lb -475 (thread 0)
1.74/0.95	c lb -474 (thread 0)
1.74/0.96	c lb -473 (thread 0)
1.74/0.97	c lb -472 (thread 0)
1.74/0.98	c lb -471 (thread 0)
1.74/0.99	c lb -470 (thread 0)
1.74/0.99	c lb -469 (thread 0)
1.95/1.00	c lb -468 (thread 0)
1.95/1.01	c lb -467 (thread 0)
1.95/1.02	c lb -466 (thread 0)
1.95/1.03	c lb -465 (thread 0)
1.95/1.04	c lb -464 (thread 0)
1.95/1.04	c lb -463 (thread 0)
1.95/1.05	c lb -462 (thread 0)
1.95/1.06	c lb -461 (thread 0)
1.95/1.07	c lb -460 (thread 0)
1.95/1.08	c lb -459 (thread 0)
1.95/1.09	c lb -458 (thread 0)
1.95/1.09	c lb -457 (thread 0)
2.15/1.10	c lb -456 (thread 0)
2.15/1.11	c lb -455 (thread 0)
2.15/1.12	c lb -454 (thread 0)
2.15/1.13	c lb -453 (thread 0)
2.15/1.14	c lb -452 (thread 0)
2.15/1.14	c lb -451 (thread 0)
2.15/1.15	c lb -450 (thread 0)
2.15/1.16	c lb -449 (thread 0)
2.15/1.17	c lb -448 (thread 0)
2.15/1.18	c lb -447 (thread 0)
2.15/1.19	c lb -446 (thread 0)
2.34/1.20	c lb -445 (thread 0)
2.34/1.20	c lb -444 (thread 0)
2.34/1.21	c lb -443 (thread 0)
2.34/1.22	c lb -442 (thread 0)
2.34/1.23	c lb -441 (thread 0)
2.34/1.24	c lb -440 (thread 0)
2.34/1.25	c lb -439 (thread 0)
2.34/1.26	c lb -438 (thread 0)
2.34/1.27	c lb -437 (thread 0)
2.34/1.27	c lb -436 (thread 0)
2.34/1.28	c lb -435 (thread 0)
2.34/1.29	c lb -434 (thread 0)
2.55/1.30	c lb -433 (thread 0)
2.55/1.31	c lb -432 (thread 0)
2.55/1.32	c lb -431 (thread 0)
2.55/1.33	c lb -430 (thread 0)
2.55/1.34	c lb -429 (thread 0)
2.55/1.34	c lb -428 (thread 0)
2.55/1.35	c lb -427 (thread 0)
2.55/1.36	c lb -426 (thread 0)
2.55/1.37	c lb -425 (thread 0)
2.55/1.38	c lb -424 (thread 0)
2.55/1.39	c lb -423 (thread 0)
2.74/1.40	c lb -422 (thread 0)
2.74/1.41	c lb -421 (thread 0)
2.74/1.42	c lb -420 (thread 0)
2.74/1.43	c lb -419 (thread 0)
2.74/1.43	c lb -418 (thread 0)
2.74/1.44	c lb -417 (thread 0)
2.74/1.45	c lb -416 (thread 0)
2.74/1.46	c lb -415 (thread 0)
2.74/1.47	c lb -414 (thread 0)
2.74/1.48	c lb -413 (thread 0)
2.74/1.49	c lb -412 (thread 0)
2.94/1.50	c lb -411 (thread 0)
2.94/1.51	c lb -410 (thread 0)
2.94/1.52	c lb -409 (thread 0)
2.94/1.53	c lb -408 (thread 0)
2.94/1.54	c lb -407 (thread 0)
2.94/1.55	c lb -406 (thread 0)
2.94/1.56	c lb -405 (thread 0)
2.94/1.56	c lb -404 (thread 0)
2.94/1.57	c lb -403 (thread 0)
2.94/1.58	c lb -402 (thread 0)
2.94/1.59	c lb -401 (thread 0)
3.14/1.60	c lb -400 (thread 0)
3.14/1.61	c lb -399 (thread 0)
3.14/1.62	c lb -398 (thread 0)
3.14/1.63	c lb -397 (thread 0)
3.14/1.64	c lb -396 (thread 0)
3.14/1.65	c lb -395 (thread 0)
3.14/1.66	c lb -394 (thread 0)
3.14/1.67	c lb -393 (thread 0)
3.14/1.68	c lb -392 (thread 0)
3.14/1.69	c lb -391 (thread 0)
3.34/1.70	c lb -390 (thread 0)
3.34/1.71	c lb -389 (thread 0)
3.34/1.72	c lb -388 (thread 0)
3.34/1.73	c lb -387 (thread 0)
3.34/1.74	c lb -386 (thread 0)
3.34/1.75	c lb -385 (thread 0)
3.34/1.76	c lb -384 (thread 0)
3.34/1.77	c lb -383 (thread 0)
3.34/1.78	c lb -382 (thread 0)
3.34/1.79	c lb -381 (thread 0)
3.54/1.80	c lb -380 (thread 0)
3.54/1.81	c lb -379 (thread 0)
3.54/1.82	c lb -378 (thread 0)
3.54/1.83	c lb -377 (thread 0)
3.54/1.84	c lb -376 (thread 0)
3.54/1.85	c lb -375 (thread 0)
3.54/1.86	c lb -374 (thread 0)
3.54/1.87	c lb -373 (thread 0)
3.54/1.88	c lb -372 (thread 0)
3.54/1.89	c lb -371 (thread 0)
3.74/1.90	c lb -370 (thread 0)
3.74/1.91	c lb -369 (thread 0)
3.74/1.92	c lb -368 (thread 0)
3.74/1.93	c lb -367 (thread 0)
3.74/1.94	c lb -366 (thread 0)
3.74/1.95	c lb -365 (thread 0)
3.74/1.96	c lb -364 (thread 0)
3.74/1.97	c lb -363 (thread 0)
3.74/1.98	c lb -362 (thread 0)
3.74/1.99	c lb -361 (thread 0)
3.94/2.00	c lb -360 (thread 0)
3.94/2.01	c lb -359 (thread 0)
3.94/2.02	c lb -358 (thread 0)
3.94/2.03	c lb -357 (thread 0)
3.94/2.04	c lb -356 (thread 0)
3.94/2.05	c lb -355 (thread 0)
3.94/2.06	c lb -354 (thread 0)
3.94/2.07	c lb -353 (thread 0)
3.94/2.08	c lb -352 (thread 0)
3.94/2.10	c lb -351 (thread 0)
4.15/2.11	c lb -350 (thread 0)
4.15/2.12	c lb -349 (thread 0)
4.15/2.13	c lb -348 (thread 0)
4.15/2.14	c lb -347 (thread 0)
4.15/2.15	c lb -346 (thread 0)
4.15/2.16	c lb -345 (thread 0)
4.15/2.17	c lb -344 (thread 0)
4.15/2.18	c lb -343 (thread 0)
4.15/2.19	c lb -342 (thread 0)
4.35/2.20	c lb -341 (thread 0)
4.35/2.21	c lb -340 (thread 0)
4.35/2.23	c lb -339 (thread 0)
4.35/2.24	c lb -338 (thread 0)
4.35/2.25	c lb -337 (thread 0)
4.35/2.26	c lb -336 (thread 0)
4.35/2.27	c lb -335 (thread 0)
4.35/2.28	c lb -334 (thread 0)
4.35/2.29	c lb -333 (thread 0)
4.55/2.30	c lb -332 (thread 0)
4.55/2.32	c lb -331 (thread 0)
4.55/2.33	c lb -330 (thread 0)
4.55/2.34	c lb -329 (thread 0)
4.55/2.35	c lb -328 (thread 0)
4.55/2.36	c lb -327 (thread 0)
4.55/2.37	c lb -326 (thread 0)
4.55/2.38	c lb -325 (thread 0)
4.74/2.40	c lb -324 (thread 0)
4.74/2.41	c lb -323 (thread 0)
4.74/2.42	c lb -322 (thread 0)
4.74/2.43	c lb -321 (thread 0)
4.74/2.44	c lb -320 (thread 0)
4.74/2.45	c lb -319 (thread 0)
4.74/2.47	c lb -318 (thread 0)
4.74/2.48	c lb -317 (thread 0)
4.74/2.49	c lb -316 (thread 0)
4.94/2.50	c lb -315 (thread 0)
4.94/2.51	c lb -314 (thread 0)
4.94/2.52	c lb -313 (thread 0)
4.94/2.53	c lb -312 (thread 0)
4.94/2.55	c lb -311 (thread 0)
4.94/2.56	c lb -310 (thread 0)
4.94/2.57	c lb -309 (thread 0)
4.94/2.58	c lb -308 (thread 0)
4.94/2.59	c lb -307 (thread 0)
5.14/2.61	c lb -306 (thread 0)
5.14/2.62	c lb -305 (thread 0)
5.14/2.63	c lb -304 (thread 0)
5.14/2.64	c lb -303 (thread 0)
5.14/2.65	c lb -302 (thread 0)
5.14/2.67	c lb -301 (thread 0)
5.14/2.68	c lb -300 (thread 0)
5.14/2.69	c lb -299 (thread 0)
5.34/2.70	c lb -298 (thread 0)
5.34/2.72	c lb -297 (thread 0)
5.34/2.73	c lb -296 (thread 0)
5.34/2.74	c lb -295 (thread 0)
5.34/2.75	c lb -294 (thread 0)
5.34/2.77	c lb -293 (thread 0)
5.34/2.78	c lb -292 (thread 0)
5.34/2.79	c lb -291 (thread 0)
5.54/2.81	c lb -290 (thread 0)
5.54/2.82	c lb -289 (thread 0)
5.54/2.83	c lb -288 (thread 0)
5.54/2.85	c lb -287 (thread 0)
5.54/2.86	c lb -286 (thread 0)
5.54/2.87	c lb -285 (thread 0)
5.54/2.89	c lb -284 (thread 0)
5.75/2.90	c lb -283 (thread 0)
5.75/2.91	c lb -282 (thread 0)
5.75/2.93	c lb -281 (thread 0)
5.75/2.94	c lb -280 (thread 0)
5.75/2.96	c lb -279 (thread 0)
5.75/2.97	c lb -278 (thread 0)
5.75/2.98	c lb -277 (thread 0)
5.95/3.00	c lb -276 (thread 0)
5.95/3.01	c lb -275 (thread 0)
5.95/3.03	c lb -274 (thread 0)
5.95/3.04	c lb -273 (thread 0)
5.95/3.05	c lb -272 (thread 0)
5.95/3.07	c lb -271 (thread 0)
5.95/3.08	c lb -270 (thread 0)
6.15/3.10	c lb -269 (thread 0)
6.15/3.11	c lb -268 (thread 0)
6.15/3.12	c lb -267 (thread 0)
6.15/3.14	c lb -266 (thread 0)
6.15/3.15	c lb -265 (thread 0)
6.15/3.16	c lb -264 (thread 0)
6.15/3.18	c lb -263 (thread 0)
6.15/3.19	c lb -262 (thread 0)
6.35/3.21	c lb -261 (thread 0)
6.35/3.22	c lb -260 (thread 0)
6.35/3.23	c lb -259 (thread 0)
6.35/3.25	c lb -258 (thread 0)
6.35/3.26	c lb -257 (thread 0)
6.35/3.28	c lb -256 (thread 0)
6.35/3.29	c lb -255 (thread 0)
6.55/3.31	c lb -254 (thread 0)
6.55/3.32	c lb -253 (thread 0)
6.55/3.34	c lb -252 (thread 0)
6.55/3.35	c lb -251 (thread 0)
6.55/3.37	c lb -250 (thread 0)
6.55/3.38	c lb -249 (thread 0)
6.74/3.40	c lb -248 (thread 0)
6.74/3.41	c lb -247 (thread 0)
6.74/3.43	c lb -246 (thread 0)
6.74/3.44	c lb -245 (thread 0)
6.74/3.46	c lb -244 (thread 0)
6.74/3.47	c lb -243 (thread 0)
6.74/3.49	c lb -242 (thread 0)
6.94/3.50	c lb -241 (thread 0)
6.94/3.52	c lb -240 (thread 0)
6.94/3.54	c lb -239 (thread 0)
6.94/3.55	c lb -238 (thread 0)
6.94/3.57	c lb -237 (thread 0)
6.94/3.58	c lb -236 (thread 0)
7.14/3.60	c lb -235 (thread 0)
7.14/3.61	c lb -234 (thread 0)
7.14/3.63	c lb -233 (thread 0)
7.14/3.64	c lb -232 (thread 0)
7.14/3.66	c lb -231 (thread 0)
7.14/3.67	c lb -230 (thread 0)
7.14/3.69	c lb -229 (thread 0)
7.34/3.70	c lb -228 (thread 0)
7.34/3.72	c lb -227 (thread 0)
7.34/3.73	c lb -226 (thread 0)
7.34/3.75	c lb -225 (thread 0)
7.34/3.76	c lb -224 (thread 0)
7.34/3.78	c lb -223 (thread 0)
7.34/3.79	c lb -222 (thread 0)
7.54/3.81	c lb -221 (thread 0)
7.54/3.82	c lb -220 (thread 0)
7.54/3.84	c lb -219 (thread 0)
7.54/3.86	c lb -218 (thread 0)
7.54/3.87	c lb -217 (thread 0)
7.54/3.89	c lb -216 (thread 0)
7.74/3.90	c lb -215 (thread 0)
7.74/3.92	c lb -214 (thread 0)
7.74/3.93	c lb -213 (thread 0)
7.74/3.95	c lb -212 (thread 0)
7.74/3.96	c lb -211 (thread 0)
7.74/3.98	c lb -210 (thread 0)
7.74/3.99	c lb -209 (thread 0)
7.94/4.01	c lb -208 (thread 0)
7.94/4.02	c lb -207 (thread 0)
7.94/4.04	c lb -206 (thread 0)
7.94/4.06	c lb -205 (thread 0)
7.94/4.07	c lb -204 (thread 0)
7.94/4.09	c lb -203 (thread 0)
8.14/4.11	c lb -202 (thread 0)
8.14/4.12	c lb -201 (thread 0)
8.14/4.14	c lb -200 (thread 0)
8.14/4.15	c lb -199 (thread 0)
8.14/4.17	c lb -198 (thread 0)
8.14/4.19	c lb -197 (thread 0)
8.34/4.20	c lb -196 (thread 0)
8.34/4.22	c lb -195 (thread 0)
8.34/4.24	c lb -194 (thread 0)
8.34/4.25	c lb -193 (thread 0)
8.34/4.27	c lb -192 (thread 0)
8.34/4.28	c lb -191 (thread 0)
8.55/4.30	c lb -190 (thread 0)
8.55/4.32	c lb -189 (thread 0)
8.55/4.34	c lb -188 (thread 0)
8.55/4.35	c lb -187 (thread 0)
8.55/4.37	c lb -186 (thread 0)
8.55/4.39	c lb -185 (thread 0)
8.75/4.40	c lb -184 (thread 0)
8.75/4.42	c lb -183 (thread 0)
8.75/4.43	c lb -182 (thread 0)
8.75/4.45	c lb -181 (thread 0)
8.75/4.47	c lb -180 (thread 0)
8.75/4.48	c lb -179 (thread 0)
8.95/4.50	c lb -178 (thread 0)
8.95/4.52	c lb -177 (thread 0)
8.95/4.53	c lb -176 (thread 0)
8.95/4.55	c lb -175 (thread 0)
8.95/4.57	c lb -174 (thread 0)
8.95/4.58	c lb -173 (thread 0)
9.14/4.60	c lb -172 (thread 0)
9.14/4.62	c lb -171 (thread 0)
9.14/4.64	c lb -170 (thread 0)
9.14/4.65	c lb -169 (thread 0)
9.14/4.67	c lb -168 (thread 0)
9.14/4.69	c lb -167 (thread 0)
9.34/4.71	c lb -166 (thread 0)
9.34/4.73	c lb -165 (thread 0)
9.34/4.75	c lb -164 (thread 0)
9.34/4.77	c lb -163 (thread 0)
9.34/4.79	c lb -162 (thread 0)
9.54/4.83	c lb -161 (thread 0)
9.54/4.85	c lb -160 (thread 0)
9.54/4.87	c lb -159 (thread 0)
9.54/4.89	c lb -158 (thread 0)
9.74/4.91	c lb -157 (thread 0)
9.74/4.93	c lb -156 (thread 0)
9.74/4.95	c lb -155 (thread 0)
9.74/4.97	c lb -154 (thread 0)
9.74/4.99	c lb -153 (thread 0)
9.94/5.04	c lb -152 (thread 0)
9.94/5.07	c lb -151 (thread 0)
10.14/5.16	c lb -150 (thread 0)
10.35/5.21	c lb -149 (thread 0)
10.35/5.25	c lb -148 (thread 0)
10.35/5.27	c lb -147 (thread 0)
10.35/5.29	c lb -146 (thread 0)
10.54/5.31	c lb -145 (thread 0)
10.54/5.37	c lb -144 (thread 0)
10.95/5.51	c lb -143 (thread 0)
10.95/5.56	c lb -142 (thread 0)
11.75/5.96	c lb -141 (thread 0)
13.55/6.82	c lb -140 (thread 0)
98.96/49.53	c ub -5 (thread 1)
108.34/54.25	o -5
108.34/54.25	c ub -7 (thread 1)
113.54/56.82	o -7
113.54/56.82	c ub -12 (thread 1)
116.35/58.26	o -12
116.35/58.26	c ub -13 (thread 1)
117.74/58.94	o -13
117.74/58.94	c ub -14 (thread 1)
120.15/60.16	o -14
120.15/60.16	c ub -15 (thread 1)
120.96/60.50	o -15
120.96/60.50	c ub -16 (thread 1)
124.14/62.16	o -16
124.14/62.16	c ub -17 (thread 1)
124.94/62.56	o -17
124.94/62.56	c ub -18 (thread 1)
139.35/69.72	o -18
139.35/69.72	c lb -139 (thread 0)
139.74/69.96	c lb -138 (thread 0)
139.74/69.98	c lb -137 (thread 0)
152.55/76.33	c ub -19 (thread 1)
155.75/77.94	o -19
155.75/77.94	c ub -20 (thread 1)
189.74/94.93	o -20
189.74/94.93	c ub -21 (thread 1)
193.94/97.05	o -21
193.94/97.05	c ub -22 (thread 1)
198.35/99.20	o -22
198.35/99.20	c lb -136 (thread 0)
198.55/99.30	c lb -135 (thread 0)
208.96/104.58	c ub -23 (thread 1)
217.35/108.74	o -23
217.35/108.74	c ub -24 (thread 1)
226.94/113.59	o -24
226.94/113.59	c ub -25 (thread 1)
231.35/115.72	o -25
231.35/115.72	c lb -134 (thread 0)
232.15/116.14	c ub -26 (thread 1)
241.55/120.84	o -26
241.55/120.84	c ub -27 (thread 1)
245.55/122.87	o -27
245.55/122.87	c ub -28 (thread 1)
248.56/124.32	o -28
248.56/124.32	c ub -29 (thread 1)
277.75/138.98	o -29
277.75/138.98	c ub -30 (thread 1)
298.96/149.59	o -30
298.96/149.59	c ub -31 (thread 1)
380.76/190.48	o -31
380.76/190.48	c ub -32 (thread 1)
531.76/265.93	o -32
531.76/265.93	c ub -33 (thread 1)
1507.98/754.02	o -33
1507.98/754.02	c ub -34 (thread 1)
1800.19/900.11	o -34
1800.19/900.11	s SATISFIABLE
1800.19/900.11	v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1800.19/900.11	c Memory used           : 970.90 MB
1800.19/900.11	c CPU time              : 1791.21 s

Verifier Data 

OK	-34

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-3500351-1307994109/watcher-3500351-1307994109 -o /var/tmp/evaluation-result-3500351-1307994109/solver-3500351-1307994109 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500351-1307994109.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.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=3288 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) R 23157 23159 21970 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 1 0 911010633 3366912 379 33554432000 4194304 5714118 140736485837232 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23159/statm: 822 380 167 372 0 284 0

[startup+0.044814 s]
/proc/loadavg: 3.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=7136 CPUtime=0.04 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) R 23157 23159 21970 0 -1 4202496 1527 0 0 0 4 0 0 0 25 0 1 0 911010633 7307264 1480 33554432000 4194304 5714118 140736485837232 18446744073709551615 4232386 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23159/statm: 1784 1481 307 372 0 1246 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7136

[startup+0.106804 s]
/proc/loadavg: 3.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=195272 CPUtime=0.16 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 15274 0 0 0 13 3 0 0 25 0 3 0 911010633 199958528 14789 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 48818 14792 177 372 0 48443 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 195272

[startup+0.300771 s]
/proc/loadavg: 3.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=203564 CPUtime=0.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 31127 0 0 0 49 6 0 0 25 0 3 0 911010633 208449536 30220 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 50891 30220 177 372 0 50516 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 203564

[startup+0.700702 s]
/proc/loadavg: 3.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=1.34 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 31784 0 0 0 128 6 0 0 25 0 3 0 911010633 209485824 30377 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 30377 178 372 0 50769 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 204576

[startup+1.50056 s]
/proc/loadavg: 3.93 3.98 3.90 5/182 23162
/proc/meminfo: memFree=16477088/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=2.94 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 31996 0 0 0 287 7 0 0 25 0 3 0 911010633 209485824 30589 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 30589 178 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=1.44 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 3045 0 0 0 144 0 0 0 20 0 3 0 911010638 209485824 30589 33554432000 4194304 5714118 140736485837232 18446744073709551615 4345923 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=1.44 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27306 0 0 0 138 6 0 0 20 0 3 0 911010638 209485824 30589 33554432000 4194304 5714118 140736485837232 18446744073709551615 4305115 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 204576

[startup+3.10027 s]
/proc/loadavg: 3.93 3.98 3.90 5/182 23162
/proc/meminfo: memFree=16473264/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=6.15 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 33206 0 0 0 606 9 0 0 25 0 3 0 911010633 209485824 31203 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 31203 179 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=3.05 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 4254 0 0 0 303 2 0 0 25 0 3 0 911010638 209485824 31203 33554432000 4194304 5714118 140736485837232 18446744073709551615 4956355 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=3.04 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27307 0 0 0 298 6 0 0 25 0 3 0 911010638 209485824 31203 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 204576

[startup+6.3007 s]
/proc/loadavg: 3.94 3.98 3.90 5/182 23162
/proc/meminfo: memFree=16460748/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=12.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 36311 0 0 0 1235 20 0 0 25 0 3 0 911010633 209485824 32566 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 32566 179 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=6.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 7322 0 0 0 613 12 0 0 25 0 3 0 911010638 209485824 32566 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=6.24 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27344 0 0 0 617 7 0 0 22 0 3 0 911010638 209485824 32566 33554432000 4194304 5714118 140736485837232 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 204576

[startup+12.7006 s]
/proc/loadavg: 3.94 3.98 3.91 5/182 23162
/proc/meminfo: memFree=16433640/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=25.34 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 40313 0 0 0 2500 34 0 0 25 0 3 0 911010633 209485824 36568 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 36568 180 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=12.64 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 11194 0 0 0 1240 24 0 0 25 0 3 0 911010638 209485824 36568 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=12.64 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27474 0 0 0 1255 9 0 0 25 0 3 0 911010638 209485824 36568 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 204576

[startup+25.5003 s]
/proc/loadavg: 3.95 3.98 3.91 5/182 23163
/proc/meminfo: memFree=16410704/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=50.95 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 43883 0 0 0 5043 52 0 0 25 0 3 0 911010633 209485824 40138 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 40138 180 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=25.44 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 14565 0 0 0 2504 40 0 0 25 0 3 0 911010638 209485824 40138 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=25.44 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27673 0 0 0 2533 11 0 0 25 0 3 0 911010638 209485824 40138 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 204576

[startup+51.1008 s]
/proc/loadavg: 3.97 3.98 3.91 5/182 23163
/proc/meminfo: memFree=16358032/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=270980 CPUtime=102.14 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 51477 0 0 0 10130 84 0 0 25 0 3 0 911010633 277483520 47732 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 67745 47732 180 372 0 67370 0
[pid=23159/tid=23161] ppid=23157 vsize=270980 CPUtime=51.05 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 19445 0 0 0 5039 66 0 0 25 0 3 0 911010638 277483520 47732 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=270980 CPUtime=51.05 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 30387 0 0 0 5087 18 0 0 25 0 3 0 911010638 277483520 47732 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 270980

[startup+102.307 s]
/proc/loadavg: 4.03 4.00 3.91 5/182 23165
/proc/meminfo: memFree=16176340/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=467104 CPUtime=204.56 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 88262 0 0 0 20284 172 0 0 25 0 3 0 911010633 478314496 84256 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 116776 84256 180 372 0 116401 0
[pid=23159/tid=23161] ppid=23157 vsize=467104 CPUtime=102.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 23858 0 0 0 10098 127 0 0 25 0 3 0 911010638 478314496 84256 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=467104 CPUtime=102.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 62759 0 0 0 10181 44 0 0 25 0 3 0 911010638 478314496 84256 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 467104

[startup+162.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 23166
/proc/meminfo: memFree=15869656/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=598176 CPUtime=324.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 120088 0 0 0 32203 252 0 0 25 0 3 0 911010633 612532224 116082 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 149544 116082 180 372 0 149169 0
[pid=23159/tid=23161] ppid=23157 vsize=598176 CPUtime=162.24 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 23990 0 0 0 16050 174 0 0 25 0 3 0 911010638 612532224 116082 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=598176 CPUtime=162.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 94453 0 0 0 16148 77 0 0 25 0 3 0 911010638 612532224 116082 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.55
Current children cumulated vsize (KiB) 598176

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23168
/proc/meminfo: memFree=15784944/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=598176 CPUtime=444.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 129242 0 0 0 44139 316 0 0 25 0 3 0 911010633 612532224 125236 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 149544 125236 180 372 0 149169 0
[pid=23159/tid=23161] ppid=23157 vsize=598176 CPUtime=222.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 28071 0 0 0 22003 222 0 0 25 0 3 0 911010638 612532224 125236 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=598176 CPUtime=222.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 99526 0 0 0 22131 94 0 0 25 0 3 0 911010638 612532224 125236 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.55
Current children cumulated vsize (KiB) 598176

[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23169
/proc/meminfo: memFree=15688812/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=598176 CPUtime=564.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 139655 0 0 0 56076 379 0 0 25 0 3 0 911010633 612532224 135649 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 149544 135649 180 372 0 149169 0
[pid=23159/tid=23161] ppid=23157 vsize=598176 CPUtime=282.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 34624 0 0 0 27955 270 0 0 25 0 3 0 911010638 612532224 135649 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=598176 CPUtime=282.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 103386 0 0 0 28117 108 0 0 25 0 3 0 911010638 612532224 135649 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.55
Current children cumulated vsize (KiB) 598176

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23171
/proc/meminfo: memFree=15620848/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=663712 CPUtime=684.56 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 148348 0 0 0 68019 437 0 0 25 0 3 0 911010633 679641088 144342 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 165928 144342 180 372 0 165553 0
[pid=23159/tid=23161] ppid=23157 vsize=663712 CPUtime=342.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 40365 0 0 0 33909 316 0 0 25 0 3 0 911010638 679641088 144342 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=663712 CPUtime=342.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 106338 0 0 0 34105 120 0 0 25 0 3 0 911010638 679641088 144342 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.56
Current children cumulated vsize (KiB) 663712

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23173
/proc/meminfo: memFree=15556844/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=664436 CPUtime=804.56 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 158280 0 0 0 79965 491 0 0 25 0 3 0 911010633 680382464 154272 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 166109 154272 180 372 0 165734 0
[pid=23159/tid=23161] ppid=23157 vsize=664436 CPUtime=402.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 46998 0 0 0 39864 361 0 0 25 0 3 0 911010638 680382464 154272 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=664436 CPUtime=402.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 109637 0 0 0 40096 129 0 0 25 0 3 0 911010638 680382464 154272 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.56
Current children cumulated vsize (KiB) 664436

[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23174
/proc/meminfo: memFree=15477208/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=796380 CPUtime=924.57 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 170392 0 0 0 91915 542 0 0 25 0 3 0 911010633 815493120 166384 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 199095 166384 180 372 0 198720 0
[pid=23159/tid=23161] ppid=23157 vsize=796380 CPUtime=462.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 54915 0 0 0 45823 402 0 0 25 0 3 0 911010638 815493120 166384 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=796380 CPUtime=462.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 113832 0 0 0 46086 139 0 0 25 0 3 0 911010638 815493120 166384 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 796380

[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23176
/proc/meminfo: memFree=15394108/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=796512 CPUtime=1044.57 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 181000 0 0 0 103865 592 0 0 25 0 3 0 911010633 815628288 176990 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 199128 176990 180 372 0 198753 0
[pid=23159/tid=23161] ppid=23157 vsize=796512 CPUtime=522.26 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 60358 0 0 0 51784 442 0 0 25 0 3 0 911010638 815628288 176990 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=796512 CPUtime=522.26 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 118997 0 0 0 52077 149 0 0 25 0 3 0 911010638 815628288 176990 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 796512

[startup+582.301 s]
/proc/loadavg: 4.04 4.01 3.92 5/182 23177
/proc/meminfo: memFree=15326504/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=797144 CPUtime=1164.57 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 189982 0 0 0 115826 631 0 0 25 0 3 0 911010633 816275456 185969 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 199286 185969 180 372 0 198911 0
[pid=23159/tid=23161] ppid=23157 vsize=797144 CPUtime=582.26 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 65595 0 0 0 57752 474 0 0 25 0 3 0 911010638 816275456 185969 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=797144 CPUtime=582.26 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 122742 0 0 0 58070 156 0 0 25 0 3 0 911010638 816275456 185969 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 797144

[startup+642.3 s]
/proc/loadavg: 4.07 4.02 3.93 5/182 23179
/proc/meminfo: memFree=15254944/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=862824 CPUtime=1284.59 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 200375 0 0 0 127771 688 0 0 25 0 3 0 911010633 883531776 196362 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 215706 196362 180 372 0 215331 0
[pid=23159/tid=23161] ppid=23157 vsize=862824 CPUtime=642.26 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 72331 0 0 0 63703 523 0 0 25 0 3 0 911010638 883531776 196362 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=862824 CPUtime=642.27 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 126399 0 0 0 64063 164 0 0 25 0 3 0 911010638 883531776 196362 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 862824

[startup+702.301 s]
/proc/loadavg: 4.03 4.02 3.93 5/182 23181
/proc/meminfo: memFree=15200988/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=928508 CPUtime=1404.58 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 210145 0 0 0 139725 733 0 0 25 0 3 0 911010633 950792192 206132 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 232127 206132 180 372 0 231752 0
[pid=23159/tid=23161] ppid=23157 vsize=928508 CPUtime=702.27 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 78793 0 0 0 69663 564 0 0 25 0 3 0 911010638 950792192 206132 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=928508 CPUtime=702.26 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 129707 0 0 0 70057 169 0 0 25 0 3 0 911010638 950792192 206132 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319206 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 928508

[startup+762.306 s]
/proc/loadavg: 4.01 4.01 3.93 5/182 23182
/proc/meminfo: memFree=15148616/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1524.59 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 219067 0 0 0 151668 791 0 0 25 0 3 0 911010633 1018056704 215054 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 215054 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=762.27 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 84789 0 0 0 75615 612 0 0 25 0 3 0 911010638 1018056704 215054 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=762.27 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132633 0 0 0 76048 179 0 0 25 0 3 0 911010638 1018056704 215054 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319221 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 994196

[startup+822.3 s]
/proc/loadavg: 4.00 4.01 3.93 5/182 23184
/proc/meminfo: memFree=15107280/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1644.58 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 223172 0 0 0 163620 838 0 0 25 0 3 0 911010633 1018056704 219159 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 219159 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=822.27 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 88894 0 0 0 81576 651 0 0 25 0 3 0 911010638 1018056704 219159 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=822.27 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132633 0 0 0 82040 187 0 0 25 0 3 0 911010638 1018056704 219159 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 994196

[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23186
/proc/meminfo: memFree=15057160/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1764.59 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 229029 0 0 0 175576 883 0 0 25 0 3 0 911010633 1018056704 225016 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 225016 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=882.26 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 94750 0 0 0 87536 690 0 0 25 0 3 0 911010638 1018056704 225016 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=882.26 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132634 0 0 0 88034 192 0 0 25 0 3 0 911010638 1018056704 225016 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 994196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23227
/proc/meminfo: memFree=15713328/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1800.19 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 231261 0 0 0 179119 900 0 0 25 0 3 0 911010633 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 227248 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=900.07 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 96978 0 0 0 89301 706 0 0 25 0 3 0 911010638 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=900.07 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132638 0 0 0 89813 194 0 0 25 0 3 0 911010638 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 994196

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

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

[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23227
/proc/meminfo: memFree=15713328/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1800.19 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 231261 0 0 0 179119 900 0 0 25 0 3 0 911010633 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 227248 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=900.07 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 96978 0 0 0 89301 706 0 0 25 0 3 0 911010638 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=900.07 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132638 0 0 0 89813 194 0 0 25 0 3 0 911010638 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 994196

Child status: 0
Real time (s): 900.151
CPU time (s): 1800.26
CPU user time (s): 1791.21
CPU system time (s): 9.04862
CPU usage (%): 199.995
Max. virtual memory (cumulated for all children) (KiB): 994196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.21
system time used= 9.04862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231267
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= 659
involuntary context switches= 12111

runsolver used 1.49377 second user time and 3.43448 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-13 21:41:49
IDJOB=3500351
IDBENCH=2272
IDSOLVER=1954
FILE ID=node121/3500351-1307994109
RUNJOBID= node121-1307990496-22374
PBS_JOBID= 13559735
Free space on /var/tmp= 2888 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500351-1307994109/watcher-3500351-1307994109 -o /var/tmp/evaluation-result-3500351-1307994109/solver-3500351-1307994109 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500351-1307994109.opb

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

MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703
RANDOM SEED=604542628

node121.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.817
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.63
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.817
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.07
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.817
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:     32950904 kB
MemFree:      16599904 kB
Buffers:        109008 kB
Cached:       15529924 kB
SwapCached:       9696 kB
Active:         519188 kB
Inactive:     15264224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      16599904 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:           10080 kB
Writeback:           0 kB
AnonPages:      141592 kB
Mapped:          13744 kB
Slab:           502912 kB
PageTables:       4944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   354624 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= 2884 MiB
End job on node121 at 2011-06-13 21:56:51