Trace number 3500349

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.23 900.145

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUM4acf18ad1cd52676d2699a99f210ed0a
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.23
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 constraints27842
Number of constraints which are clauses27842
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-3500349-1307994106.opb.
0.00/0.00	c Instance file HOME/instance-3500349-1307994106.opb
0.00/0.00	c File size is 663564 bytes.
0.03/0.04	c Highest Coefficient sum: 3
0.03/0.04	c ============================[ Problem Statistics ]=============================
0.03/0.04	c |                                                                             |
0.03/0.04	c |  Parsing time:          0.05         s                                      |
0.03/0.04	c |  Number Variables:      595                                                 |
0.03/0.04	c |  Number Clauses:        27842                                               |
0.03/0.04	c |  Number Cardinality:    0                                                   |
0.03/0.04	c |  Number PB Constraints: 0                                                   |
0.03/0.05	c init lb 0
0.03/0.05	c init ub 596
0.03/0.06	c lb -594 (thread 0)
0.03/0.07	c lb -593 (thread 0)
0.03/0.08	c lb -592 (thread 0)
0.03/0.09	c lb -591 (thread 0)
0.03/0.10	c lb -590 (thread 0)
0.14/0.11	c lb -589 (thread 0)
0.14/0.11	c lb -588 (thread 0)
0.14/0.12	c lb -587 (thread 0)
0.14/0.13	c lb -586 (thread 0)
0.14/0.14	c lb -585 (thread 0)
0.14/0.14	c lb -584 (thread 0)
0.14/0.15	c lb -583 (thread 0)
0.14/0.16	c lb -582 (thread 0)
0.14/0.16	c lb -581 (thread 0)
0.14/0.17	c lb -580 (thread 0)
0.14/0.18	c lb -579 (thread 0)
0.14/0.19	c lb -578 (thread 0)
0.14/0.19	c lb -577 (thread 0)
0.33/0.20	c lb -576 (thread 0)
0.33/0.21	c lb -575 (thread 0)
0.33/0.22	c lb -574 (thread 0)
0.33/0.22	c lb -573 (thread 0)
0.33/0.23	c lb -572 (thread 0)
0.33/0.24	c lb -571 (thread 0)
0.33/0.24	c lb -570 (thread 0)
0.33/0.25	c lb -569 (thread 0)
0.33/0.26	c lb -568 (thread 0)
0.33/0.26	c ub 0 (thread 1)
0.33/0.27	o 0
0.33/0.27	c lb -567 (thread 0)
0.33/0.27	c lb -566 (thread 0)
0.33/0.28	c lb -565 (thread 0)
0.33/0.29	c lb -564 (thread 0)
0.33/0.29	c lb -563 (thread 0)
0.53/0.30	c lb -562 (thread 0)
0.53/0.31	c lb -561 (thread 0)
0.53/0.32	c lb -560 (thread 0)
0.53/0.32	c lb -559 (thread 0)
0.53/0.33	c lb -558 (thread 0)
0.53/0.34	c lb -557 (thread 0)
0.53/0.34	c lb -556 (thread 0)
0.53/0.35	c lb -555 (thread 0)
0.53/0.36	c lb -554 (thread 0)
0.53/0.36	c lb -553 (thread 0)
0.53/0.37	c lb -552 (thread 0)
0.53/0.38	c lb -551 (thread 0)
0.53/0.38	c lb -550 (thread 0)
0.53/0.39	c lb -549 (thread 0)
0.73/0.40	c lb -548 (thread 0)
0.73/0.41	c lb -547 (thread 0)
0.73/0.41	c lb -546 (thread 0)
0.73/0.42	c lb -545 (thread 0)
0.73/0.43	c lb -544 (thread 0)
0.73/0.43	c lb -543 (thread 0)
0.73/0.44	c lb -542 (thread 0)
0.73/0.45	c lb -541 (thread 0)
0.73/0.46	c lb -540 (thread 0)
0.73/0.46	c lb -539 (thread 0)
0.73/0.47	c lb -538 (thread 0)
0.73/0.48	c lb -537 (thread 0)
0.73/0.48	c lb -536 (thread 0)
0.73/0.49	c lb -535 (thread 0)
0.93/0.50	c lb -534 (thread 0)
0.93/0.51	c lb -533 (thread 0)
0.93/0.51	c lb -532 (thread 0)
0.93/0.52	c lb -531 (thread 0)
0.93/0.53	c lb -530 (thread 0)
0.93/0.53	c lb -529 (thread 0)
0.93/0.54	c lb -528 (thread 0)
0.93/0.55	c lb -527 (thread 0)
0.93/0.56	c lb -526 (thread 0)
0.93/0.56	c lb -525 (thread 0)
0.93/0.57	c lb -524 (thread 0)
0.93/0.58	c lb -523 (thread 0)
0.93/0.59	c lb -522 (thread 0)
0.93/0.59	c lb -521 (thread 0)
1.12/0.60	c lb -520 (thread 0)
1.12/0.61	c lb -519 (thread 0)
1.12/0.61	c lb -518 (thread 0)
1.12/0.62	c lb -517 (thread 0)
1.12/0.63	c lb -516 (thread 0)
1.12/0.64	c lb -515 (thread 0)
1.12/0.64	c lb -514 (thread 0)
1.12/0.65	c lb -513 (thread 0)
1.12/0.66	c lb -512 (thread 0)
1.12/0.67	c lb -511 (thread 0)
1.12/0.67	c lb -510 (thread 0)
1.12/0.68	c lb -509 (thread 0)
1.12/0.69	c lb -508 (thread 0)
1.32/0.70	c lb -507 (thread 0)
1.32/0.70	c lb -506 (thread 0)
1.32/0.71	c lb -505 (thread 0)
1.32/0.72	c lb -504 (thread 0)
1.32/0.73	c lb -503 (thread 0)
1.32/0.73	c lb -502 (thread 0)
1.32/0.74	c lb -501 (thread 0)
1.32/0.75	c lb -500 (thread 0)
1.32/0.76	c lb -499 (thread 0)
1.32/0.76	c lb -498 (thread 0)
1.32/0.77	c lb -497 (thread 0)
1.32/0.78	c lb -496 (thread 0)
1.32/0.79	c lb -495 (thread 0)
1.32/0.79	c lb -494 (thread 0)
1.52/0.80	c lb -493 (thread 0)
1.52/0.81	c lb -492 (thread 0)
1.52/0.82	c lb -491 (thread 0)
1.52/0.83	c lb -490 (thread 0)
1.52/0.83	c lb -489 (thread 0)
1.52/0.84	c lb -488 (thread 0)
1.52/0.85	c lb -487 (thread 0)
1.52/0.86	c lb -486 (thread 0)
1.52/0.86	c lb -485 (thread 0)
1.52/0.87	c lb -484 (thread 0)
1.52/0.88	c lb -483 (thread 0)
1.52/0.89	c lb -482 (thread 0)
1.52/0.89	c lb -481 (thread 0)
1.72/0.90	c lb -480 (thread 0)
1.72/0.91	c lb -479 (thread 0)
1.72/0.92	c lb -478 (thread 0)
1.72/0.93	c lb -477 (thread 0)
1.72/0.93	c lb -476 (thread 0)
1.72/0.94	c lb -475 (thread 0)
1.72/0.95	c lb -474 (thread 0)
1.72/0.96	c lb -473 (thread 0)
1.72/0.97	c lb -472 (thread 0)
1.72/0.97	c lb -471 (thread 0)
1.72/0.98	c lb -470 (thread 0)
1.72/0.99	c lb -469 (thread 0)
1.72/1.00	c lb -468 (thread 0)
1.93/1.01	c lb -467 (thread 0)
1.93/1.01	c lb -466 (thread 0)
1.93/1.02	c lb -465 (thread 0)
1.93/1.03	c lb -464 (thread 0)
1.93/1.04	c lb -463 (thread 0)
1.93/1.05	c lb -462 (thread 0)
1.93/1.06	c lb -461 (thread 0)
1.93/1.06	c lb -460 (thread 0)
1.93/1.07	c lb -459 (thread 0)
1.93/1.08	c lb -458 (thread 0)
1.93/1.09	c lb -457 (thread 0)
1.93/1.10	c lb -456 (thread 0)
2.13/1.10	c lb -455 (thread 0)
2.13/1.11	c lb -454 (thread 0)
2.13/1.12	c lb -453 (thread 0)
2.13/1.13	c lb -452 (thread 0)
2.13/1.14	c lb -451 (thread 0)
2.13/1.15	c lb -450 (thread 0)
2.13/1.16	c lb -449 (thread 0)
2.13/1.16	c lb -448 (thread 0)
2.13/1.17	c lb -447 (thread 0)
2.13/1.18	c lb -446 (thread 0)
2.13/1.19	c lb -445 (thread 0)
2.32/1.20	c lb -444 (thread 0)
2.32/1.21	c lb -443 (thread 0)
2.32/1.21	c lb -442 (thread 0)
2.32/1.22	c lb -441 (thread 0)
2.32/1.23	c lb -440 (thread 0)
2.32/1.24	c lb -439 (thread 0)
2.32/1.25	c lb -438 (thread 0)
2.32/1.26	c lb -437 (thread 0)
2.32/1.27	c lb -436 (thread 0)
2.32/1.28	c lb -435 (thread 0)
2.32/1.28	c lb -434 (thread 0)
2.32/1.29	c lb -433 (thread 0)
2.53/1.30	c lb -432 (thread 0)
2.53/1.31	c lb -431 (thread 0)
2.53/1.32	c lb -430 (thread 0)
2.53/1.33	c lb -429 (thread 0)
2.53/1.34	c lb -428 (thread 0)
2.53/1.35	c lb -427 (thread 0)
2.53/1.35	c lb -426 (thread 0)
2.53/1.36	c lb -425 (thread 0)
2.53/1.37	c lb -424 (thread 0)
2.53/1.38	c lb -423 (thread 0)
2.53/1.39	c lb -422 (thread 0)
2.73/1.40	c lb -421 (thread 0)
2.73/1.41	c lb -420 (thread 0)
2.73/1.42	c lb -419 (thread 0)
2.73/1.43	c lb -418 (thread 0)
2.73/1.43	c lb -417 (thread 0)
2.73/1.44	c lb -416 (thread 0)
2.73/1.45	c lb -415 (thread 0)
2.73/1.46	c lb -414 (thread 0)
2.73/1.47	c lb -413 (thread 0)
2.73/1.48	c lb -412 (thread 0)
2.73/1.49	c lb -411 (thread 0)
2.93/1.50	c lb -410 (thread 0)
2.93/1.51	c lb -409 (thread 0)
2.93/1.52	c lb -408 (thread 0)
2.93/1.53	c lb -407 (thread 0)
2.93/1.54	c lb -406 (thread 0)
2.93/1.54	c lb -405 (thread 0)
2.93/1.55	c lb -404 (thread 0)
2.93/1.56	c lb -403 (thread 0)
2.93/1.57	c lb -402 (thread 0)
2.93/1.58	c lb -401 (thread 0)
2.93/1.59	c lb -400 (thread 0)
3.12/1.60	c lb -399 (thread 0)
3.12/1.61	c lb -398 (thread 0)
3.12/1.62	c lb -397 (thread 0)
3.12/1.63	c lb -396 (thread 0)
3.12/1.64	c lb -395 (thread 0)
3.12/1.65	c lb -394 (thread 0)
3.12/1.66	c lb -393 (thread 0)
3.12/1.67	c lb -392 (thread 0)
3.12/1.68	c lb -391 (thread 0)
3.12/1.69	c lb -390 (thread 0)
3.32/1.70	c lb -389 (thread 0)
3.32/1.71	c lb -388 (thread 0)
3.32/1.72	c lb -387 (thread 0)
3.32/1.72	c lb -386 (thread 0)
3.32/1.73	c lb -385 (thread 0)
3.32/1.74	c lb -384 (thread 0)
3.32/1.75	c lb -383 (thread 0)
3.32/1.76	c lb -382 (thread 0)
3.32/1.77	c lb -381 (thread 0)
3.32/1.78	c lb -380 (thread 0)
3.32/1.79	c lb -379 (thread 0)
3.52/1.80	c lb -378 (thread 0)
3.52/1.81	c lb -377 (thread 0)
3.52/1.82	c lb -376 (thread 0)
3.52/1.83	c lb -375 (thread 0)
3.52/1.84	c lb -374 (thread 0)
3.52/1.85	c lb -373 (thread 0)
3.52/1.86	c lb -372 (thread 0)
3.52/1.87	c lb -371 (thread 0)
3.52/1.88	c lb -370 (thread 0)
3.52/1.89	c lb -369 (thread 0)
3.72/1.90	c lb -368 (thread 0)
3.72/1.91	c lb -367 (thread 0)
3.72/1.92	c lb -366 (thread 0)
3.72/1.93	c lb -365 (thread 0)
3.72/1.94	c lb -364 (thread 0)
3.72/1.95	c lb -363 (thread 0)
3.72/1.96	c lb -362 (thread 0)
3.72/1.97	c lb -361 (thread 0)
3.72/1.98	c lb -360 (thread 0)
3.72/1.99	c lb -359 (thread 0)
3.92/2.00	c lb -358 (thread 0)
3.92/2.01	c lb -357 (thread 0)
3.92/2.02	c lb -356 (thread 0)
3.92/2.03	c lb -355 (thread 0)
3.92/2.04	c lb -354 (thread 0)
3.92/2.06	c lb -353 (thread 0)
3.92/2.07	c lb -352 (thread 0)
3.92/2.08	c lb -351 (thread 0)
3.92/2.09	c lb -350 (thread 0)
3.92/2.10	c lb -349 (thread 0)
4.13/2.11	c lb -348 (thread 0)
4.13/2.12	c lb -347 (thread 0)
4.13/2.13	c lb -346 (thread 0)
4.13/2.14	c lb -345 (thread 0)
4.13/2.15	c lb -344 (thread 0)
4.13/2.16	c lb -343 (thread 0)
4.13/2.17	c lb -342 (thread 0)
4.13/2.18	c lb -341 (thread 0)
4.13/2.19	c lb -340 (thread 0)
4.34/2.21	c lb -339 (thread 0)
4.34/2.22	c lb -338 (thread 0)
4.34/2.23	c lb -337 (thread 0)
4.34/2.24	c lb -336 (thread 0)
4.34/2.25	c lb -335 (thread 0)
4.34/2.26	c lb -334 (thread 0)
4.34/2.27	c lb -333 (thread 0)
4.34/2.28	c lb -332 (thread 0)
4.34/2.29	c lb -331 (thread 0)
4.53/2.31	c lb -330 (thread 0)
4.53/2.32	c lb -329 (thread 0)
4.53/2.33	c lb -328 (thread 0)
4.53/2.34	c lb -327 (thread 0)
4.53/2.35	c lb -326 (thread 0)
4.53/2.36	c lb -325 (thread 0)
4.53/2.37	c lb -324 (thread 0)
4.53/2.39	c lb -323 (thread 0)
4.73/2.40	c lb -322 (thread 0)
4.73/2.41	c lb -321 (thread 0)
4.73/2.42	c lb -320 (thread 0)
4.73/2.43	c lb -319 (thread 0)
4.73/2.44	c lb -318 (thread 0)
4.73/2.45	c lb -317 (thread 0)
4.73/2.47	c lb -316 (thread 0)
4.73/2.48	c lb -315 (thread 0)
4.73/2.49	c lb -314 (thread 0)
4.93/2.50	c lb -313 (thread 0)
4.93/2.51	c lb -312 (thread 0)
4.93/2.53	c lb -311 (thread 0)
4.93/2.54	c lb -310 (thread 0)
4.93/2.55	c lb -309 (thread 0)
4.93/2.56	c lb -308 (thread 0)
4.93/2.57	c lb -307 (thread 0)
4.93/2.58	c lb -306 (thread 0)
5.12/2.60	c lb -305 (thread 0)
5.12/2.61	c lb -304 (thread 0)
5.12/2.62	c lb -303 (thread 0)
5.12/2.63	c lb -302 (thread 0)
5.12/2.64	c lb -301 (thread 0)
5.12/2.66	c lb -300 (thread 0)
5.12/2.67	c lb -299 (thread 0)
5.12/2.68	c lb -298 (thread 0)
5.12/2.70	c lb -297 (thread 0)
5.32/2.71	c lb -296 (thread 0)
5.32/2.72	c lb -295 (thread 0)
5.32/2.73	c lb -294 (thread 0)
5.32/2.75	c lb -293 (thread 0)
5.32/2.76	c lb -292 (thread 0)
5.32/2.77	c lb -291 (thread 0)
5.32/2.78	c lb -290 (thread 0)
5.52/2.80	c lb -289 (thread 0)
5.52/2.81	c lb -288 (thread 0)
5.52/2.82	c lb -287 (thread 0)
5.52/2.84	c lb -286 (thread 0)
5.52/2.85	c lb -285 (thread 0)
5.52/2.86	c lb -284 (thread 0)
5.52/2.88	c lb -283 (thread 0)
5.52/2.89	c lb -282 (thread 0)
5.72/2.90	c lb -281 (thread 0)
5.72/2.92	c lb -280 (thread 0)
5.72/2.93	c lb -279 (thread 0)
5.72/2.95	c lb -278 (thread 0)
5.72/2.96	c lb -277 (thread 0)
5.72/2.97	c lb -276 (thread 0)
5.72/2.99	c lb -275 (thread 0)
5.92/3.00	c lb -274 (thread 0)
5.92/3.01	c lb -273 (thread 0)
5.92/3.03	c lb -272 (thread 0)
5.92/3.04	c lb -271 (thread 0)
5.92/3.05	c lb -270 (thread 0)
5.92/3.07	c lb -269 (thread 0)
5.92/3.08	c lb -268 (thread 0)
6.13/3.10	c lb -267 (thread 0)
6.13/3.11	c lb -266 (thread 0)
6.13/3.12	c lb -265 (thread 0)
6.13/3.14	c lb -264 (thread 0)
6.13/3.15	c lb -263 (thread 0)
6.13/3.17	c lb -262 (thread 0)
6.13/3.18	c lb -261 (thread 0)
6.13/3.19	c lb -260 (thread 0)
6.34/3.21	c lb -259 (thread 0)
6.34/3.22	c lb -258 (thread 0)
6.34/3.24	c lb -257 (thread 0)
6.34/3.25	c lb -256 (thread 0)
6.34/3.27	c lb -255 (thread 0)
6.34/3.28	c lb -254 (thread 0)
6.34/3.29	c lb -253 (thread 0)
6.54/3.31	c lb -252 (thread 0)
6.54/3.32	c lb -251 (thread 0)
6.54/3.34	c lb -250 (thread 0)
6.54/3.35	c lb -249 (thread 0)
6.54/3.37	c lb -248 (thread 0)
6.54/3.38	c lb -247 (thread 0)
6.73/3.40	c lb -246 (thread 0)
6.73/3.41	c lb -245 (thread 0)
6.73/3.43	c lb -244 (thread 0)
6.73/3.44	c lb -243 (thread 0)
6.73/3.46	c lb -242 (thread 0)
6.73/3.47	c lb -241 (thread 0)
6.73/3.48	c lb -240 (thread 0)
6.92/3.50	c lb -239 (thread 0)
6.92/3.51	c lb -238 (thread 0)
6.92/3.53	c lb -237 (thread 0)
6.92/3.54	c lb -236 (thread 0)
6.92/3.56	c lb -235 (thread 0)
6.92/3.57	c lb -234 (thread 0)
6.92/3.59	c lb -233 (thread 0)
7.12/3.60	c lb -232 (thread 0)
7.12/3.62	c lb -231 (thread 0)
7.12/3.63	c lb -230 (thread 0)
7.12/3.65	c lb -229 (thread 0)
7.12/3.66	c lb -228 (thread 0)
7.12/3.67	c lb -227 (thread 0)
7.12/3.69	c lb -226 (thread 0)
7.32/3.70	c lb -225 (thread 0)
7.32/3.72	c lb -224 (thread 0)
7.32/3.73	c lb -223 (thread 0)
7.32/3.75	c lb -222 (thread 0)
7.32/3.76	c lb -221 (thread 0)
7.32/3.78	c lb -220 (thread 0)
7.32/3.79	c lb -219 (thread 0)
7.52/3.81	c lb -218 (thread 0)
7.52/3.82	c lb -217 (thread 0)
7.52/3.84	c lb -216 (thread 0)
7.52/3.85	c lb -215 (thread 0)
7.52/3.87	c lb -214 (thread 0)
7.52/3.88	c lb -213 (thread 0)
7.72/3.90	c lb -212 (thread 0)
7.72/3.91	c lb -211 (thread 0)
7.72/3.93	c lb -210 (thread 0)
7.72/3.94	c lb -209 (thread 0)
7.72/3.96	c lb -208 (thread 0)
7.72/3.97	c lb -207 (thread 0)
7.72/3.99	c lb -206 (thread 0)
7.92/4.00	c lb -205 (thread 0)
7.92/4.02	c lb -204 (thread 0)
7.92/4.03	c lb -203 (thread 0)
7.92/4.05	c lb -202 (thread 0)
7.92/4.06	c lb -201 (thread 0)
7.92/4.08	c lb -200 (thread 0)
7.92/4.09	c lb -199 (thread 0)
8.12/4.11	c lb -198 (thread 0)
8.12/4.12	c lb -197 (thread 0)
8.12/4.14	c lb -196 (thread 0)
8.12/4.15	c lb -195 (thread 0)
8.12/4.17	c lb -194 (thread 0)
8.12/4.18	c lb -193 (thread 0)
8.33/4.20	c lb -192 (thread 0)
8.33/4.21	c lb -191 (thread 0)
8.33/4.23	c lb -190 (thread 0)
8.33/4.25	c lb -189 (thread 0)
8.33/4.26	c lb -188 (thread 0)
8.33/4.28	c lb -187 (thread 0)
8.33/4.29	c lb -186 (thread 0)
8.54/4.31	c lb -185 (thread 0)
8.54/4.32	c lb -184 (thread 0)
8.54/4.34	c lb -183 (thread 0)
8.54/4.36	c lb -182 (thread 0)
8.54/4.38	c lb -181 (thread 0)
8.54/4.40	c lb -180 (thread 0)
8.74/4.42	c lb -179 (thread 0)
8.74/4.44	c lb -178 (thread 0)
8.74/4.46	c lb -177 (thread 0)
8.74/4.48	c lb -176 (thread 0)
8.93/4.50	c lb -175 (thread 0)
8.93/4.52	c lb -174 (thread 0)
8.93/4.54	c lb -173 (thread 0)
8.93/4.56	c lb -172 (thread 0)
8.93/4.58	c lb -171 (thread 0)
8.93/4.59	c lb -170 (thread 0)
9.12/4.61	c lb -169 (thread 0)
9.12/4.64	c lb -168 (thread 0)
9.12/4.66	c lb -167 (thread 0)
9.12/4.68	c lb -166 (thread 0)
9.33/4.70	c lb -165 (thread 0)
9.33/4.72	c lb -164 (thread 0)
9.33/4.74	c lb -163 (thread 0)
9.33/4.79	c lb -162 (thread 0)
9.53/4.81	c lb -161 (thread 0)
9.53/4.84	c lb -160 (thread 0)
9.53/4.86	c lb -159 (thread 0)
9.53/4.88	c lb -158 (thread 0)
9.72/4.90	c lb -157 (thread 0)
10.12/5.10	c lb -156 (thread 0)
10.12/5.14	c lb -155 (thread 0)
10.12/5.16	c lb -154 (thread 0)
10.12/5.19	c lb -153 (thread 0)
10.32/5.22	c lb -152 (thread 0)
10.32/5.24	c lb -151 (thread 0)
12.94/6.56	c lb -150 (thread 0)
12.94/6.60	c lb -149 (thread 0)
13.33/6.71	c lb -148 (thread 0)
18.52/9.31	c lb -147 (thread 0)
34.94/17.52	c lb -146 (thread 0)
55.33/27.70	c ub -5 (thread 1)
90.73/45.46	o -5
90.73/45.46	c lb -145 (thread 0)
90.73/45.48	c ub -6 (thread 1)
99.52/49.87	o -6
99.52/49.87	c lb -144 (thread 0)
125.34/62.73	c lb -143 (thread 0)
197.52/98.85	c ub -12 (thread 1)
200.32/100.26	o -12
200.32/100.26	c ub -19 (thread 1)
216.33/108.26	o -19
216.33/108.26	c ub -20 (thread 1)
218.93/109.56	o -20
218.93/109.56	c ub -21 (thread 1)
240.52/120.33	o -21
240.52/120.33	c ub -22 (thread 1)
243.33/121.73	o -22
243.33/121.73	c ub -23 (thread 1)
250.54/125.34	o -23
250.54/125.34	c ub -24 (thread 1)
265.73/132.96	o -24
265.73/132.96	c lb -142 (thread 0)
266.32/133.24	c ub -25 (thread 1)
270.13/135.19	o -25
270.13/135.19	c ub -26 (thread 1)
275.13/137.69	o -26
275.13/137.69	c ub -27 (thread 1)
284.33/142.24	o -27
284.33/142.24	c ub -28 (thread 1)
289.73/144.90	o -28
289.73/144.90	c ub -29 (thread 1)
306.53/153.38	o -29
306.53/153.38	c ub -30 (thread 1)
328.33/164.28	o -30
328.33/164.28	c ub -31 (thread 1)
432.33/216.20	o -31
432.33/216.20	c ub -32 (thread 1)
563.54/281.82	o -32
563.54/281.82	c ub -33 (thread 1)
1346.96/673.59	o -33
1346.96/673.59	c ub -34 (thread 1)
1800.18/900.11	o -34
1800.18/900.11	s SATISFIABLE
1800.18/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.18/900.11	c Memory used           : 842.59 MB
1800.18/900.11	c CPU time              : 1792.62 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-3500349-1307994106/watcher-3500349-1307994106 -o /var/tmp/evaluation-result-3500349-1307994106/solver-3500349-1307994106 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500349-1307994106.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.84 3.97 3.90 4/179 23118
/proc/meminfo: memFree=16040096/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=3284 CPUtime=0 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) R 23116 23118 21970 0 -1 4202496 428 0 0 0 0 0 0 0 25 0 1 0 911010332 3362816 381 33554432000 4194304 5714118 140735184029216 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/23118/statm: 821 381 167 372 0 283 0

[startup+0.0331529 s]
/proc/loadavg: 3.84 3.97 3.90 4/179 23118
/proc/meminfo: memFree=16040096/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=6132 CPUtime=0.03 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) R 23116 23118 21970 0 -1 4202496 1195 0 0 0 3 0 0 0 25 0 1 0 911010332 6279168 1148 33554432000 4194304 5714118 140735184029216 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/23118/statm: 1533 1148 265 372 0 995 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6132

[startup+0.103288 s]
/proc/loadavg: 3.84 3.97 3.90 4/179 23118
/proc/meminfo: memFree=16040096/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=195124 CPUtime=0.14 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 14940 0 0 0 10 4 0 0 25 0 3 0 911010332 199806976 14402 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 48781 14407 177 372 0 48406 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 195124

[startup+0.301146 s]
/proc/loadavg: 3.84 3.97 3.90 4/179 23118
/proc/meminfo: memFree=16040096/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=203388 CPUtime=0.53 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 31015 0 0 0 45 8 0 0 25 0 3 0 911010332 208269312 30101 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 50847 30101 177 372 0 50472 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 203388

[startup+0.701039 s]
/proc/loadavg: 3.84 3.97 3.90 4/179 23118
/proc/meminfo: memFree=16040096/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=204668 CPUtime=1.32 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 31955 0 0 0 124 8 0 0 25 0 3 0 911010332 209580032 30357 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 51167 30357 178 372 0 50792 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 204668

[startup+1.50096 s]
/proc/loadavg: 3.84 3.97 3.90 3/178 23122
/proc/meminfo: memFree=16602452/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=204668 CPUtime=2.93 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 32171 0 0 0 284 9 0 0 25 0 3 0 911010332 209580032 30573 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 51167 30573 178 372 0 50792 0
[pid=23118/tid=23120] ppid=23116 vsize=204668 CPUtime=1.44 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 3174 0 0 0 142 2 0 0 19 0 3 0 911010336 209580032 30573 33554432000 4194304 5714118 140735184029216 18446744073709551615 4355817 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=204668 CPUtime=1.43 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 27358 0 0 0 136 7 0 0 19 0 3 0 911010336 209580032 30573 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 204668

[startup+3.10056 s]
/proc/loadavg: 3.84 3.97 3.90 3/178 23122
/proc/meminfo: memFree=16600592/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=204668 CPUtime=6.13 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 33559 0 0 0 602 11 0 0 25 0 3 0 911010332 209580032 31234 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 51167 31234 178 372 0 50792 0
[pid=23118/tid=23120] ppid=23116 vsize=204668 CPUtime=3.04 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 4562 0 0 0 301 3 0 0 24 0 3 0 911010336 209580032 31234 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=204668 CPUtime=3.03 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 27358 0 0 0 296 7 0 0 25 0 3 0 911010336 209580032 31234 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 204668

[startup+6.30099 s]
/proc/loadavg: 3.93 3.98 3.90 5/182 23162
/proc/meminfo: memFree=16471528/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=204668 CPUtime=12.52 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 36860 0 0 0 1234 18 0 0 25 0 3 0 911010332 209580032 32747 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 51167 32747 179 372 0 50792 0
[pid=23118/tid=23120] ppid=23116 vsize=204668 CPUtime=6.24 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 7861 0 0 0 614 10 0 0 25 0 3 0 911010336 209580032 32747 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=204668 CPUtime=6.23 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 27360 0 0 0 615 8 0 0 25 0 3 0 911010336 209580032 32747 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 204668

[startup+12.7009 s]
/proc/loadavg: 3.94 3.98 3.90 5/182 23162
/proc/meminfo: memFree=16444280/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=204668 CPUtime=25.33 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 39569 0 0 0 2500 33 0 0 25 0 3 0 911010332 209580032 35456 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 51167 35456 179 372 0 50792 0
[pid=23118/tid=23120] ppid=23116 vsize=204668 CPUtime=12.64 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 10403 0 0 0 1241 23 0 0 25 0 3 0 911010336 209580032 35456 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319206 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=204668 CPUtime=12.63 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 27527 0 0 0 1254 9 0 0 25 0 3 0 911010336 209580032 35456 33554432000 4194304 5714118 140735184029216 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 204668

[startup+25.5007 s]
/proc/loadavg: 3.95 3.98 3.91 5/182 23163
/proc/meminfo: memFree=16418520/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=204668 CPUtime=50.92 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 41194 0 0 0 5047 45 0 0 25 0 3 0 911010332 209580032 37080 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 51167 37080 179 372 0 50792 0
[pid=23118/tid=23120] ppid=23116 vsize=204668 CPUtime=25.44 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 11812 0 0 0 2510 34 0 0 25 0 3 0 911010336 209580032 37080 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=204668 CPUtime=25.43 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 27743 0 0 0 2532 11 0 0 25 0 3 0 911010336 209580032 37080 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 204668

[startup+51.1011 s]
/proc/loadavg: 3.97 3.98 3.91 5/182 23163
/proc/meminfo: memFree=16371076/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=270588 CPUtime=102.12 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 48246 0 0 0 10137 75 0 0 25 0 3 0 911010332 277082112 44132 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 67647 44132 180 372 0 67272 0
[pid=23118/tid=23120] ppid=23116 vsize=270588 CPUtime=51.04 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 15561 0 0 0 5045 59 0 0 25 0 3 0 911010336 277082112 44132 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=270588 CPUtime=51.04 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 31046 0 0 0 5088 16 0 0 25 0 3 0 911010336 277082112 44132 33554432000 4194304 5714118 140735184029216 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 270588

[startup+102.306 s]
/proc/loadavg: 4.03 4.00 3.91 5/182 23165
/proc/meminfo: memFree=16176844/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=270588 CPUtime=204.54 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 56342 0 0 0 20336 118 0 0 25 0 3 0 911010332 277082112 52228 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 67647 52228 180 372 0 67272 0
[pid=23118/tid=23120] ppid=23116 vsize=270588 CPUtime=102.24 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 17016 0 0 0 10133 91 0 0 25 0 3 0 911010336 277082112 52228 33554432000 4194304 5714118 140735184029216 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=270588 CPUtime=102.24 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 37687 0 0 0 10198 26 0 0 25 0 3 0 911010336 277082112 52228 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 270588

[startup+162.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 23166
/proc/meminfo: memFree=15882552/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=467196 CPUtime=324.53 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 98506 0 0 0 32264 189 0 0 25 0 3 0 911010332 478408704 94296 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 116799 94296 180 372 0 116424 0
[pid=23118/tid=23120] ppid=23116 vsize=467196 CPUtime=162.24 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 22138 0 0 0 16082 142 0 0 25 0 3 0 911010336 478408704 94296 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=467196 CPUtime=162.23 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 74729 0 0 0 16177 46 0 0 25 0 3 0 911010336 478408704 94296 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (KiB) 467196

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23168
/proc/meminfo: memFree=15786312/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=532732 CPUtime=444.53 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 113168 0 0 0 44195 258 0 0 25 0 3 0 911010332 545517568 108958 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 133183 108958 180 372 0 132808 0
[pid=23118/tid=23120] ppid=23116 vsize=532732 CPUtime=222.24 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 29436 0 0 0 22024 200 0 0 25 0 3 0 911010336 545517568 108958 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=532732 CPUtime=222.24 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 82093 0 0 0 22166 58 0 0 25 0 3 0 911010336 545517568 108958 33554432000 4194304 5714118 140735184029216 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.53
Current children cumulated vsize (KiB) 532732

[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23169
/proc/meminfo: memFree=15693400/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=598268 CPUtime=564.54 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 126506 0 0 0 56136 318 0 0 25 0 3 0 911010332 612626432 122296 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 149567 122296 180 372 0 149192 0
[pid=23118/tid=23120] ppid=23116 vsize=598268 CPUtime=282.24 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 36756 0 0 0 27974 250 0 0 19 0 3 0 911010336 612626432 122296 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=598268 CPUtime=282.23 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 88111 0 0 0 28156 67 0 0 25 0 3 0 911010336 612626432 122296 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.54
Current children cumulated vsize (KiB) 598268

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23171
/proc/meminfo: memFree=15624320/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=598268 CPUtime=684.54 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 134605 0 0 0 68089 365 0 0 25 0 3 0 911010332 612626432 130395 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 149567 130395 180 372 0 149192 0
[pid=23118/tid=23120] ppid=23116 vsize=598268 CPUtime=342.24 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 43492 0 0 0 33934 290 0 0 20 0 3 0 911010336 612626432 130395 33554432000 4194304 5714118 140735184029216 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=598268 CPUtime=342.24 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 89474 0 0 0 34150 74 0 0 25 0 3 0 911010336 612626432 130395 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319226 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.54
Current children cumulated vsize (KiB) 598268

[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23173
/proc/meminfo: memFree=15559452/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=598268 CPUtime=804.54 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 141040 0 0 0 80052 402 0 0 25 0 3 0 911010332 612626432 136830 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 149567 136830 180 372 0 149192 0
[pid=23118/tid=23120] ppid=23116 vsize=598268 CPUtime=402.25 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 46535 0 0 0 39905 320 0 0 25 0 3 0 911010336 612626432 136830 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=598268 CPUtime=402.24 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 92866 0 0 0 40143 81 0 0 25 0 3 0 911010336 612626432 136830 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.54
Current children cumulated vsize (KiB) 598268

[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23174
/proc/meminfo: memFree=15481676/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=664528 CPUtime=924.55 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 148660 0 0 0 92017 438 0 0 25 0 3 0 911010332 680476672 144450 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 166132 144450 180 372 0 165757 0
[pid=23118/tid=23120] ppid=23116 vsize=664528 CPUtime=462.25 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 50775 0 0 0 45875 350 0 0 25 0 3 0 911010336 680476672 144450 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=664528 CPUtime=462.25 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 96246 0 0 0 46137 88 0 0 25 0 3 0 911010336 680476672 144450 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.55
Current children cumulated vsize (KiB) 664528

[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23176
/proc/meminfo: memFree=15395968/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=730788 CPUtime=1044.55 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 159058 0 0 0 103963 492 0 0 25 0 3 0 911010332 748326912 154848 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 182697 154848 180 372 0 182322 0
[pid=23118/tid=23120] ppid=23116 vsize=730788 CPUtime=522.25 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 57617 0 0 0 51827 398 0 0 25 0 3 0 911010336 748326912 154848 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=730788 CPUtime=522.25 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 99802 0 0 0 52131 94 0 0 25 0 3 0 911010336 748326912 154848 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.55
Current children cumulated vsize (KiB) 730788

[startup+582.301 s]
/proc/loadavg: 4.04 4.01 3.92 5/182 23177
/proc/meminfo: memFree=15327872/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=731056 CPUtime=1164.55 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 166947 0 0 0 115920 535 0 0 25 0 3 0 911010332 748601344 162736 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 182764 162736 180 372 0 182389 0
[pid=23118/tid=23120] ppid=23116 vsize=731056 CPUtime=582.24 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 62366 0 0 0 57789 435 0 0 25 0 3 0 911010336 748601344 162736 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=731056 CPUtime=582.25 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 102942 0 0 0 58126 99 0 0 25 0 3 0 911010336 748601344 162736 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.55
Current children cumulated vsize (KiB) 731056

[startup+642.301 s]
/proc/loadavg: 4.08 4.02 3.93 5/182 23179
/proc/meminfo: memFree=15260524/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=731416 CPUtime=1284.56 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 173506 0 0 0 127886 570 0 0 25 0 3 0 911010332 748969984 169295 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 182854 169295 180 372 0 182479 0
[pid=23118/tid=23120] ppid=23116 vsize=731416 CPUtime=642.26 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 66298 0 0 0 63760 466 0 0 25 0 3 0 911010336 748969984 169295 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=731416 CPUtime=642.25 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 105569 0 0 0 64121 104 0 0 25 0 3 0 911010336 748969984 169295 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.56
Current children cumulated vsize (KiB) 731416

[startup+702.301 s]
/proc/loadavg: 4.03 4.02 3.93 5/182 23181
/proc/meminfo: memFree=15201608/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=796952 CPUtime=1404.56 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 178008 0 0 0 139851 605 0 0 25 0 3 0 911010332 816078848 173797 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 199238 173797 180 372 0 198863 0
[pid=23118/tid=23120] ppid=23116 vsize=796952 CPUtime=702.25 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 69429 0 0 0 69730 495 0 0 25 0 3 0 911010336 816078848 173797 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=796952 CPUtime=702.25 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 106940 0 0 0 70116 109 0 0 25 0 3 0 911010336 816078848 173797 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.56
Current children cumulated vsize (KiB) 796952

[startup+762.306 s]
/proc/loadavg: 4.01 4.01 3.93 5/182 23182
/proc/meminfo: memFree=15150488/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=797100 CPUtime=1524.57 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 182226 0 0 0 151805 652 0 0 25 0 3 0 911010332 816230400 178015 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 199275 178015 180 372 0 198900 0
[pid=23118/tid=23120] ppid=23116 vsize=797100 CPUtime=762.26 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 73636 0 0 0 75686 540 0 0 25 0 3 0 911010336 816230400 178015 33554432000 4194304 5714118 140735184029216 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=797100 CPUtime=762.26 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 106951 0 0 0 76114 112 0 0 25 0 3 0 911010336 816230400 178015 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.57
Current children cumulated vsize (KiB) 797100

[startup+822.301 s]
/proc/loadavg: 4.00 4.01 3.93 5/182 23184
/proc/meminfo: memFree=15111624/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=797100 CPUtime=1644.56 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 188142 0 0 0 163756 700 0 0 25 0 3 0 911010332 816230400 183930 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 199275 183930 180 372 0 198900 0
[pid=23118/tid=23120] ppid=23116 vsize=797100 CPUtime=822.25 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 79535 0 0 0 81641 584 0 0 25 0 3 0 911010336 816230400 183930 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=797100 CPUtime=822.25 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 106968 0 0 0 82110 115 0 0 25 0 3 0 911010336 816230400 183930 33554432000 4194304 5714118 140735184029216 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.56
Current children cumulated vsize (KiB) 797100

[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23185
/proc/meminfo: memFree=15059888/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=862636 CPUtime=1764.57 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 194420 0 0 0 175711 746 0 0 25 0 3 0 911010332 883339264 190208 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 215659 190208 180 372 0 215284 0
[pid=23118/tid=23120] ppid=23116 vsize=862636 CPUtime=882.26 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 85787 0 0 0 87599 627 0 0 25 0 3 0 911010336 883339264 190208 33554432000 4194304 5714118 140735184029216 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=862636 CPUtime=882.25 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 106994 0 0 0 88107 118 0 0 25 0 3 0 911010336 883339264 190208 33554432000 4194304 5714118 140735184029216 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.57
Current children cumulated vsize (KiB) 862636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23186
/proc/meminfo: memFree=15041900/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=862804 CPUtime=1800.18 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 196641 0 0 0 179260 758 0 0 25 0 3 0 911010332 883511296 192429 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 215701 192429 180 372 0 215326 0
[pid=23118/tid=23120] ppid=23116 vsize=862804 CPUtime=900.06 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 87987 0 0 0 89368 638 0 0 25 0 3 0 911010336 883511296 192429 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=862804 CPUtime=900.06 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 107015 0 0 0 89887 119 0 0 25 0 3 0 911010336 883511296 192429 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 862804

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 23186
/proc/meminfo: memFree=15041900/32950904 swapFree=67055440/67111528
[pid=23118] ppid=23116 vsize=862804 CPUtime=1800.18 cores=0,2,4,6
/proc/23118/stat : 23118 (pwbo1.1) S 23116 23118 21970 0 -1 4202496 196641 0 0 0 179260 758 0 0 25 0 3 0 911010332 883511296 192429 33554432000 4194304 5714118 140735184029216 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/23118/statm: 215701 192429 180 372 0 215326 0
[pid=23118/tid=23120] ppid=23116 vsize=862804 CPUtime=900.06 cores=0,2,4,6
/proc/23118/task/23120/stat : 23120 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 87987 0 0 0 89368 638 0 0 25 0 3 0 911010336 883511296 192429 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=23118/tid=23121] ppid=23116 vsize=862804 CPUtime=900.06 cores=0,2,4,6
/proc/23118/task/23121/stat : 23121 (pwbo1.1) R 23116 23118 21970 0 -1 4202560 107015 0 0 0 89887 119 0 0 25 0 3 0 911010336 883511296 192429 33554432000 4194304 5714118 140735184029216 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 862804

Child status: 0
Real time (s): 900.145
CPU time (s): 1800.23
CPU user time (s): 1792.62
CPU system time (s): 7.61384
CPU usage (%): 199.993
Max. virtual memory (cumulated for all children) (KiB): 862804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.62
system time used= 7.61384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196647
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= 594
involuntary context switches= 2384

runsolver used 1.46778 second user time and 3.12052 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-13 21:41:46
IDJOB=3500349
IDBENCH=2270
IDSOLVER=1954
FILE ID=node121/3500349-1307994106
RUNJOBID= node121-1307990496-22373
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-4.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500349-1307994106/watcher-3500349-1307994106 -o /var/tmp/evaluation-result-3500349-1307994106/solver-3500349-1307994106 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500349-1307994106.opb

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

MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a
RANDOM SEED=266485580

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:      16040648 kB
Buffers:        109008 kB
Cached:       15529116 kB
SwapCached:       9696 kB
Active:        1077732 kB
Inactive:     15264124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      16040648 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:            5148 kB
Writeback:           0 kB
AnonPages:      701376 kB
Mapped:          13636 kB
Slab:           502608 kB
PageTables:       6108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   915388 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:48