Trace number 3500352

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)-33 1800.21 900.146

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM366c883f3118f840e595e8bbe10351c8
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 benchmark1797.13
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 constraints27856
Number of constraints which are clauses27856
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-3500352-1307994127.opb.
0.00/0.00	c Instance file HOME/instance-3500352-1307994127.opb
0.00/0.00	c File size is 664636 bytes.
0.00/0.04	c Highest Coefficient sum: 3
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      595                                                 |
0.00/0.04	c |  Number Clauses:        27856                                               |
0.00/0.04	c |  Number Cardinality:    0                                                   |
0.00/0.04	c |  Number PB Constraints: 0                                                   |
0.00/0.05	c init lb 0
0.00/0.05	c init ub 596
0.00/0.06	c lb -594 (thread 0)
0.00/0.07	c lb -593 (thread 0)
0.00/0.08	c lb -592 (thread 0)
0.11/0.09	c lb -591 (thread 0)
0.13/0.10	c lb -590 (thread 0)
0.13/0.11	c lb -589 (thread 0)
0.13/0.11	c lb -588 (thread 0)
0.13/0.12	c lb -587 (thread 0)
0.13/0.13	c lb -586 (thread 0)
0.13/0.14	c lb -585 (thread 0)
0.13/0.14	c lb -584 (thread 0)
0.13/0.15	c lb -583 (thread 0)
0.13/0.16	c lb -582 (thread 0)
0.13/0.17	c lb -581 (thread 0)
0.13/0.17	c lb -580 (thread 0)
0.13/0.18	c lb -579 (thread 0)
0.13/0.19	c lb -578 (thread 0)
0.13/0.20	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.25	c lb -570 (thread 0)
0.33/0.25	c lb -569 (thread 0)
0.33/0.26	c ub 0 (thread 1)
0.33/0.26	o 0
0.33/0.26	c lb -568 (thread 0)
0.33/0.27	c lb -567 (thread 0)
0.33/0.28	c lb -566 (thread 0)
0.33/0.28	c lb -565 (thread 0)
0.33/0.29	c lb -564 (thread 0)
0.52/0.30	c lb -563 (thread 0)
0.52/0.30	c lb -562 (thread 0)
0.52/0.31	c lb -561 (thread 0)
0.52/0.32	c lb -560 (thread 0)
0.52/0.32	c lb -559 (thread 0)
0.52/0.33	c lb -558 (thread 0)
0.52/0.34	c lb -557 (thread 0)
0.52/0.35	c lb -556 (thread 0)
0.52/0.35	c lb -555 (thread 0)
0.52/0.36	c lb -554 (thread 0)
0.52/0.37	c lb -553 (thread 0)
0.52/0.37	c lb -552 (thread 0)
0.52/0.38	c lb -551 (thread 0)
0.52/0.39	c lb -550 (thread 0)
0.52/0.40	c lb -549 (thread 0)
0.72/0.40	c lb -548 (thread 0)
0.72/0.41	c lb -547 (thread 0)
0.72/0.42	c lb -546 (thread 0)
0.72/0.42	c lb -545 (thread 0)
0.72/0.43	c lb -544 (thread 0)
0.72/0.44	c lb -543 (thread 0)
0.72/0.45	c lb -542 (thread 0)
0.72/0.45	c lb -541 (thread 0)
0.72/0.46	c lb -540 (thread 0)
0.72/0.47	c lb -539 (thread 0)
0.72/0.47	c lb -538 (thread 0)
0.72/0.48	c lb -537 (thread 0)
0.72/0.49	c lb -536 (thread 0)
0.92/0.50	c lb -535 (thread 0)
0.92/0.50	c lb -534 (thread 0)
0.92/0.51	c lb -533 (thread 0)
0.92/0.52	c lb -532 (thread 0)
0.92/0.52	c lb -531 (thread 0)
0.92/0.53	c lb -530 (thread 0)
0.92/0.54	c lb -529 (thread 0)
0.92/0.55	c lb -528 (thread 0)
0.92/0.55	c lb -527 (thread 0)
0.92/0.56	c lb -526 (thread 0)
0.92/0.57	c lb -525 (thread 0)
0.92/0.58	c lb -524 (thread 0)
0.92/0.58	c lb -523 (thread 0)
0.92/0.59	c lb -522 (thread 0)
1.12/0.60	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.62	c lb -518 (thread 0)
1.12/0.63	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.65	c lb -514 (thread 0)
1.12/0.66	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.68	c lb -510 (thread 0)
1.12/0.69	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.71	c lb -506 (thread 0)
1.32/0.72	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.74	c lb -502 (thread 0)
1.32/0.75	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.77	c lb -498 (thread 0)
1.32/0.78	c lb -497 (thread 0)
1.32/0.79	c lb -496 (thread 0)
1.32/0.79	c lb -495 (thread 0)
1.53/0.80	c lb -494 (thread 0)
1.53/0.81	c lb -493 (thread 0)
1.53/0.82	c lb -492 (thread 0)
1.53/0.82	c lb -491 (thread 0)
1.53/0.83	c lb -490 (thread 0)
1.53/0.84	c lb -489 (thread 0)
1.53/0.85	c lb -488 (thread 0)
1.53/0.86	c lb -487 (thread 0)
1.53/0.86	c lb -486 (thread 0)
1.53/0.87	c lb -485 (thread 0)
1.53/0.88	c lb -484 (thread 0)
1.53/0.89	c lb -483 (thread 0)
1.53/0.89	c lb -482 (thread 0)
1.73/0.90	c lb -481 (thread 0)
1.73/0.91	c lb -480 (thread 0)
1.73/0.92	c lb -479 (thread 0)
1.73/0.93	c lb -478 (thread 0)
1.73/0.93	c lb -477 (thread 0)
1.73/0.94	c lb -476 (thread 0)
1.73/0.95	c lb -475 (thread 0)
1.73/0.96	c lb -474 (thread 0)
1.73/0.97	c lb -473 (thread 0)
1.73/0.97	c lb -472 (thread 0)
1.73/0.98	c lb -471 (thread 0)
1.73/0.99	c lb -470 (thread 0)
1.94/1.00	c lb -469 (thread 0)
1.94/1.01	c lb -468 (thread 0)
1.94/1.02	c lb -467 (thread 0)
1.94/1.02	c lb -466 (thread 0)
1.94/1.03	c lb -465 (thread 0)
1.94/1.04	c lb -464 (thread 0)
1.94/1.05	c lb -463 (thread 0)
1.94/1.06	c lb -462 (thread 0)
1.94/1.06	c lb -461 (thread 0)
1.94/1.07	c lb -460 (thread 0)
1.94/1.08	c lb -459 (thread 0)
1.94/1.09	c lb -458 (thread 0)
1.94/1.10	c lb -457 (thread 0)
2.14/1.11	c lb -456 (thread 0)
2.14/1.11	c lb -455 (thread 0)
2.14/1.12	c lb -454 (thread 0)
2.14/1.13	c lb -453 (thread 0)
2.14/1.14	c lb -452 (thread 0)
2.14/1.15	c lb -451 (thread 0)
2.14/1.16	c lb -450 (thread 0)
2.14/1.16	c lb -449 (thread 0)
2.14/1.17	c lb -448 (thread 0)
2.14/1.18	c lb -447 (thread 0)
2.14/1.19	c lb -446 (thread 0)
2.33/1.20	c lb -445 (thread 0)
2.33/1.21	c lb -444 (thread 0)
2.33/1.22	c lb -443 (thread 0)
2.33/1.22	c lb -442 (thread 0)
2.33/1.23	c lb -441 (thread 0)
2.33/1.24	c lb -440 (thread 0)
2.33/1.25	c lb -439 (thread 0)
2.33/1.26	c lb -438 (thread 0)
2.33/1.27	c lb -437 (thread 0)
2.33/1.28	c lb -436 (thread 0)
2.33/1.29	c lb -435 (thread 0)
2.33/1.29	c lb -434 (thread 0)
2.52/1.30	c lb -433 (thread 0)
2.52/1.31	c lb -432 (thread 0)
2.52/1.32	c lb -431 (thread 0)
2.52/1.33	c lb -430 (thread 0)
2.52/1.34	c lb -429 (thread 0)
2.52/1.35	c lb -428 (thread 0)
2.52/1.36	c lb -427 (thread 0)
2.52/1.37	c lb -426 (thread 0)
2.52/1.37	c lb -425 (thread 0)
2.52/1.38	c lb -424 (thread 0)
2.52/1.39	c lb -423 (thread 0)
2.72/1.40	c lb -422 (thread 0)
2.72/1.41	c lb -421 (thread 0)
2.72/1.42	c lb -420 (thread 0)
2.72/1.43	c lb -419 (thread 0)
2.72/1.44	c lb -418 (thread 0)
2.72/1.45	c lb -417 (thread 0)
2.72/1.46	c lb -416 (thread 0)
2.72/1.47	c lb -415 (thread 0)
2.72/1.47	c lb -414 (thread 0)
2.72/1.48	c lb -413 (thread 0)
2.72/1.49	c lb -412 (thread 0)
2.92/1.50	c lb -411 (thread 0)
2.92/1.51	c lb -410 (thread 0)
2.92/1.52	c lb -409 (thread 0)
2.92/1.53	c lb -408 (thread 0)
2.92/1.54	c lb -407 (thread 0)
2.92/1.55	c lb -406 (thread 0)
2.92/1.56	c lb -405 (thread 0)
2.92/1.57	c lb -404 (thread 0)
2.92/1.58	c lb -403 (thread 0)
2.92/1.59	c lb -402 (thread 0)
2.92/1.60	c lb -401 (thread 0)
3.12/1.60	c lb -400 (thread 0)
3.12/1.61	c lb -399 (thread 0)
3.12/1.62	c lb -398 (thread 0)
3.12/1.63	c lb -397 (thread 0)
3.12/1.64	c lb -396 (thread 0)
3.12/1.65	c lb -395 (thread 0)
3.12/1.66	c lb -394 (thread 0)
3.12/1.67	c lb -393 (thread 0)
3.12/1.68	c lb -392 (thread 0)
3.12/1.69	c lb -391 (thread 0)
3.32/1.70	c lb -390 (thread 0)
3.32/1.71	c lb -389 (thread 0)
3.32/1.72	c lb -388 (thread 0)
3.32/1.73	c lb -387 (thread 0)
3.32/1.74	c lb -386 (thread 0)
3.32/1.75	c lb -385 (thread 0)
3.32/1.76	c lb -384 (thread 0)
3.32/1.77	c lb -383 (thread 0)
3.32/1.78	c lb -382 (thread 0)
3.32/1.79	c lb -381 (thread 0)
3.53/1.80	c lb -380 (thread 0)
3.53/1.81	c lb -379 (thread 0)
3.53/1.82	c lb -378 (thread 0)
3.53/1.83	c lb -377 (thread 0)
3.53/1.84	c lb -376 (thread 0)
3.53/1.85	c lb -375 (thread 0)
3.53/1.86	c lb -374 (thread 0)
3.53/1.87	c lb -373 (thread 0)
3.53/1.88	c lb -372 (thread 0)
3.53/1.89	c lb -371 (thread 0)
3.73/1.90	c lb -370 (thread 0)
3.73/1.91	c lb -369 (thread 0)
3.73/1.92	c lb -368 (thread 0)
3.73/1.93	c lb -367 (thread 0)
3.73/1.94	c lb -366 (thread 0)
3.73/1.95	c lb -365 (thread 0)
3.73/1.96	c lb -364 (thread 0)
3.73/1.97	c lb -363 (thread 0)
3.73/1.98	c lb -362 (thread 0)
3.73/1.99	c lb -361 (thread 0)
3.93/2.00	c lb -360 (thread 0)
3.93/2.01	c lb -359 (thread 0)
3.93/2.02	c lb -358 (thread 0)
3.93/2.03	c lb -357 (thread 0)
3.93/2.04	c lb -356 (thread 0)
3.93/2.05	c lb -355 (thread 0)
3.93/2.07	c lb -354 (thread 0)
3.93/2.08	c lb -353 (thread 0)
3.93/2.09	c lb -352 (thread 0)
4.13/2.10	c lb -351 (thread 0)
4.13/2.11	c lb -350 (thread 0)
4.13/2.12	c lb -349 (thread 0)
4.13/2.13	c lb -348 (thread 0)
4.13/2.14	c lb -347 (thread 0)
4.13/2.15	c lb -346 (thread 0)
4.13/2.16	c lb -345 (thread 0)
4.13/2.17	c lb -344 (thread 0)
4.13/2.18	c lb -343 (thread 0)
4.13/2.19	c lb -342 (thread 0)
4.33/2.20	c lb -341 (thread 0)
4.33/2.22	c lb -340 (thread 0)
4.33/2.23	c lb -339 (thread 0)
4.33/2.24	c lb -338 (thread 0)
4.33/2.25	c lb -337 (thread 0)
4.33/2.26	c lb -336 (thread 0)
4.33/2.27	c lb -335 (thread 0)
4.33/2.28	c lb -334 (thread 0)
4.33/2.29	c lb -333 (thread 0)
4.52/2.30	c lb -332 (thread 0)
4.52/2.31	c lb -331 (thread 0)
4.52/2.33	c lb -330 (thread 0)
4.52/2.34	c lb -329 (thread 0)
4.52/2.35	c lb -328 (thread 0)
4.52/2.36	c lb -327 (thread 0)
4.52/2.37	c lb -326 (thread 0)
4.52/2.38	c lb -325 (thread 0)
4.52/2.39	c lb -324 (thread 0)
4.72/2.40	c lb -323 (thread 0)
4.72/2.42	c lb -322 (thread 0)
4.72/2.43	c lb -321 (thread 0)
4.72/2.44	c lb -320 (thread 0)
4.72/2.45	c lb -319 (thread 0)
4.72/2.46	c lb -318 (thread 0)
4.72/2.47	c lb -317 (thread 0)
4.72/2.48	c lb -316 (thread 0)
4.72/2.50	c lb -315 (thread 0)
4.92/2.51	c lb -314 (thread 0)
4.92/2.52	c lb -313 (thread 0)
4.92/2.53	c lb -312 (thread 0)
4.92/2.54	c lb -311 (thread 0)
4.92/2.55	c lb -310 (thread 0)
4.92/2.57	c lb -309 (thread 0)
4.92/2.58	c lb -308 (thread 0)
4.92/2.59	c lb -307 (thread 0)
5.12/2.60	c lb -306 (thread 0)
5.12/2.61	c lb -305 (thread 0)
5.12/2.62	c lb -304 (thread 0)
5.12/2.64	c lb -303 (thread 0)
5.12/2.65	c lb -302 (thread 0)
5.12/2.66	c lb -301 (thread 0)
5.12/2.67	c lb -300 (thread 0)
5.12/2.68	c lb -299 (thread 0)
5.33/2.70	c lb -298 (thread 0)
5.33/2.71	c lb -297 (thread 0)
5.33/2.72	c lb -296 (thread 0)
5.33/2.73	c lb -295 (thread 0)
5.33/2.75	c lb -294 (thread 0)
5.33/2.76	c lb -293 (thread 0)
5.33/2.77	c lb -292 (thread 0)
5.33/2.78	c lb -291 (thread 0)
5.53/2.80	c lb -290 (thread 0)
5.53/2.81	c lb -289 (thread 0)
5.53/2.82	c lb -288 (thread 0)
5.53/2.84	c lb -287 (thread 0)
5.53/2.85	c lb -286 (thread 0)
5.53/2.86	c lb -285 (thread 0)
5.53/2.87	c lb -284 (thread 0)
5.53/2.89	c lb -283 (thread 0)
5.73/2.90	c lb -282 (thread 0)
5.73/2.91	c lb -281 (thread 0)
5.73/2.93	c lb -280 (thread 0)
5.73/2.94	c lb -279 (thread 0)
5.73/2.95	c lb -278 (thread 0)
5.73/2.97	c lb -277 (thread 0)
5.73/2.98	c lb -276 (thread 0)
5.73/2.99	c lb -275 (thread 0)
5.93/3.01	c lb -274 (thread 0)
5.93/3.02	c lb -273 (thread 0)
5.93/3.03	c lb -272 (thread 0)
5.93/3.05	c lb -271 (thread 0)
5.93/3.06	c lb -270 (thread 0)
5.93/3.07	c lb -269 (thread 0)
5.93/3.09	c lb -268 (thread 0)
6.13/3.10	c lb -267 (thread 0)
6.13/3.12	c lb -266 (thread 0)
6.13/3.13	c lb -265 (thread 0)
6.13/3.14	c lb -264 (thread 0)
6.13/3.16	c lb -263 (thread 0)
6.13/3.17	c lb -262 (thread 0)
6.13/3.18	c lb -261 (thread 0)
6.34/3.20	c lb -260 (thread 0)
6.34/3.21	c lb -259 (thread 0)
6.34/3.23	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.30	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.54/3.39	c lb -246 (thread 0)
6.72/3.41	c lb -245 (thread 0)
6.72/3.42	c lb -244 (thread 0)
6.72/3.44	c lb -243 (thread 0)
6.72/3.45	c lb -242 (thread 0)
6.72/3.47	c lb -241 (thread 0)
6.72/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.55	c lb -235 (thread 0)
6.92/3.57	c lb -234 (thread 0)
6.92/3.58	c lb -233 (thread 0)
7.12/3.60	c lb -232 (thread 0)
7.12/3.61	c lb -231 (thread 0)
7.12/3.63	c lb -230 (thread 0)
7.12/3.64	c lb -229 (thread 0)
7.12/3.65	c lb -228 (thread 0)
7.12/3.67	c lb -227 (thread 0)
7.12/3.68	c lb -226 (thread 0)
7.33/3.70	c lb -225 (thread 0)
7.33/3.71	c lb -224 (thread 0)
7.33/3.73	c lb -223 (thread 0)
7.33/3.74	c lb -222 (thread 0)
7.33/3.76	c lb -221 (thread 0)
7.33/3.77	c lb -220 (thread 0)
7.33/3.79	c lb -219 (thread 0)
7.53/3.80	c lb -218 (thread 0)
7.53/3.82	c lb -217 (thread 0)
7.53/3.83	c lb -216 (thread 0)
7.53/3.85	c lb -215 (thread 0)
7.53/3.86	c lb -214 (thread 0)
7.53/3.88	c lb -213 (thread 0)
7.53/3.89	c lb -212 (thread 0)
7.72/3.91	c lb -211 (thread 0)
7.72/3.92	c lb -210 (thread 0)
7.72/3.94	c lb -209 (thread 0)
7.72/3.95	c lb -208 (thread 0)
7.72/3.97	c lb -207 (thread 0)
7.72/3.98	c lb -206 (thread 0)
7.92/4.00	c lb -205 (thread 0)
7.92/4.01	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.10	c lb -199 (thread 0)
8.12/4.11	c lb -198 (thread 0)
8.12/4.13	c lb -197 (thread 0)
8.12/4.14	c lb -196 (thread 0)
8.12/4.16	c lb -195 (thread 0)
8.12/4.17	c lb -194 (thread 0)
8.12/4.19	c lb -193 (thread 0)
8.32/4.20	c lb -192 (thread 0)
8.32/4.22	c lb -191 (thread 0)
8.32/4.24	c lb -190 (thread 0)
8.32/4.25	c lb -189 (thread 0)
8.32/4.27	c lb -188 (thread 0)
8.32/4.29	c lb -187 (thread 0)
8.53/4.30	c lb -186 (thread 0)
8.53/4.32	c lb -185 (thread 0)
8.53/4.34	c lb -184 (thread 0)
8.53/4.36	c lb -183 (thread 0)
8.74/4.46	c lb -182 (thread 0)
8.74/4.48	c lb -181 (thread 0)
8.92/4.50	c lb -180 (thread 0)
9.12/4.60	c lb -179 (thread 0)
9.12/4.63	c lb -178 (thread 0)
9.12/4.65	c lb -177 (thread 0)
9.12/4.66	c lb -176 (thread 0)
9.12/4.68	c lb -175 (thread 0)
9.33/4.70	c lb -174 (thread 0)
9.33/4.72	c lb -173 (thread 0)
9.33/4.75	c lb -172 (thread 0)
9.33/4.77	c lb -171 (thread 0)
9.52/4.80	c lb -170 (thread 0)
9.52/4.82	c lb -169 (thread 0)
9.52/4.84	c lb -168 (thread 0)
9.52/4.86	c lb -167 (thread 0)
9.52/4.88	c lb -166 (thread 0)
9.72/4.91	c lb -165 (thread 0)
9.72/4.94	c lb -164 (thread 0)
9.72/4.96	c lb -163 (thread 0)
10.33/5.28	c lb -162 (thread 0)
10.52/5.34	c lb -161 (thread 0)
10.74/5.41	c lb -160 (thread 0)
21.32/10.71	c lb -159 (thread 0)
21.32/10.75	c lb -158 (thread 0)
21.32/10.79	c lb -157 (thread 0)
21.53/10.83	c lb -156 (thread 0)
24.32/12.22	c lb -155 (thread 0)
25.12/12.61	c lb -154 (thread 0)
25.12/12.66	c lb -153 (thread 0)
40.52/20.33	c lb -152 (thread 0)
43.13/21.62	c lb -151 (thread 0)
154.92/77.58	c ub -10 (thread 1)
163.32/81.74	o -10
163.32/81.74	c ub -12 (thread 1)
165.12/82.69	o -12
165.12/82.69	c ub -13 (thread 1)
166.53/83.32	o -13
166.53/83.32	c ub -14 (thread 1)
167.14/83.62	o -14
167.14/83.62	c ub -15 (thread 1)
167.72/83.94	o -15
167.72/83.94	c ub -16 (thread 1)
183.12/91.67	o -16
183.12/91.67	c ub -17 (thread 1)
199.12/99.69	o -17
199.12/99.69	c ub -18 (thread 1)
214.12/107.15	o -18
214.12/107.15	c ub -19 (thread 1)
215.13/107.64	o -19
215.13/107.64	c lb -150 (thread 0)
249.52/124.88	c ub -20 (thread 1)
250.13/125.18	o -20
250.13/125.18	c ub -21 (thread 1)
268.93/134.53	o -21
268.93/134.53	c ub -22 (thread 1)
292.73/146.46	o -22
292.73/146.46	c ub -23 (thread 1)
293.92/147.09	o -23
293.92/147.09	c ub -24 (thread 1)
298.73/149.48	o -24
298.73/149.48	c ub -25 (thread 1)
313.93/157.00	o -25
313.93/157.00	c ub -26 (thread 1)
314.72/157.47	o -26
314.72/157.47	c ub -27 (thread 1)
316.54/158.31	o -27
316.54/158.31	c ub -28 (thread 1)
324.92/162.53	o -28
324.92/162.53	c ub -29 (thread 1)
339.53/169.83	o -29
339.53/169.83	c ub -30 (thread 1)
347.92/174.09	o -30
347.92/174.09	c ub -31 (thread 1)
384.94/192.54	o -31
384.94/192.54	c ub -32 (thread 1)
473.33/236.73	o -32
473.33/236.73	c lb -149 (thread 0)
492.13/246.12	c ub -33 (thread 1)
542.12/271.17	o -33
542.12/271.17	c lb -148 (thread 0)
1800.16/900.11	s SATISFIABLE
1800.16/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.16/900.11	c Memory used           : 971.89 MB
1800.16/900.11	c CPU time              : 1793.9 s

Verifier Data 

OK	-33

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-3500352-1307994127/watcher-3500352-1307994127 -o /var/tmp/evaluation-result-3500352-1307994127/solver-3500352-1307994127 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500352-1307994127.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: 4.00 4.00 3.91 3/179 31290
/proc/meminfo: memFree=2945240/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=3284 CPUtime=0 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) R 31288 31290 30373 0 -1 4202496 425 0 0 0 0 0 0 0 25 0 1 0 911011206 3362816 378 33554432000 4194304 5714118 140735349805712 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/31290/statm: 821 381 167 372 0 283 0

[startup+0.0925489 s]
/proc/loadavg: 4.00 4.00 3.91 3/179 31290
/proc/meminfo: memFree=2945240/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=176704 CPUtime=0.11 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 11280 0 0 0 8 3 0 0 25 0 3 0 911011206 180944896 10946 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 44176 10956 177 372 0 43801 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 176704

[startup+0.100513 s]
/proc/loadavg: 4.00 4.00 3.91 3/179 31290
/proc/meminfo: memFree=2945240/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=182632 CPUtime=0.13 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 13269 0 0 0 10 3 0 0 25 0 3 0 911011206 187015168 12935 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 45658 12944 177 372 0 45283 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 182632

[startup+0.300524 s]
/proc/loadavg: 4.00 4.00 3.91 3/179 31290
/proc/meminfo: memFree=2945240/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=203360 CPUtime=0.52 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 31035 0 0 0 45 7 0 0 25 0 3 0 911011206 208240640 30105 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 50840 30107 177 372 0 50465 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 203360

[startup+0.700441 s]
/proc/loadavg: 4.00 4.00 3.91 3/179 31290
/proc/meminfo: memFree=2945240/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=204640 CPUtime=1.32 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 32044 0 0 0 125 7 0 0 25 0 3 0 911011206 209551360 30417 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 51160 30417 178 372 0 50785 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 204640

[startup+1.50032 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31293
/proc/meminfo: memFree=2823480/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=204640 CPUtime=2.92 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 32459 0 0 0 284 8 0 0 25 0 3 0 911011206 209551360 30595 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 51160 30595 178 372 0 50785 0
[pid=31290/tid=31292] ppid=31288 vsize=204640 CPUtime=1.44 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 3594 0 0 0 142 2 0 0 19 0 3 0 911011211 209551360 30595 33554432000 4194304 5714118 140735349805712 18446744073709551615 4973054 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=204640 CPUtime=1.43 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 27221 0 0 0 137 6 0 0 19 0 3 0 911011211 209551360 30595 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 204640

[startup+3.10105 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31293
/proc/meminfo: memFree=2821744/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=204640 CPUtime=6.13 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 33653 0 0 0 603 10 0 0 25 0 3 0 911011206 209551360 31267 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 51160 31267 178 372 0 50785 0
[pid=31290/tid=31292] ppid=31288 vsize=204640 CPUtime=3.04 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 4788 0 0 0 301 3 0 0 24 0 3 0 911011211 209551360 31267 33554432000 4194304 5714118 140735349805712 18446744073709551615 4964789 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=204640 CPUtime=3.03 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 27221 0 0 0 297 6 0 0 25 0 3 0 911011211 209551360 31267 33554432000 4194304 5714118 140735349805712 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) 204640

[startup+6.30055 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31293
/proc/meminfo: memFree=2814056/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=204640 CPUtime=12.52 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 36064 0 0 0 1236 16 0 0 25 0 3 0 911011206 209551360 32583 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 51160 32583 179 372 0 50785 0
[pid=31290/tid=31292] ppid=31288 vsize=204640 CPUtime=6.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 7190 0 0 0 615 9 0 0 25 0 3 0 911011211 209551360 32583 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=204640 CPUtime=6.23 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 27230 0 0 0 616 7 0 0 25 0 3 0 911011211 209551360 32583 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 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) 204640

[startup+12.7005 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31293
/proc/meminfo: memFree=2806784/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=204640 CPUtime=25.32 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 39151 0 0 0 2506 26 0 0 25 0 3 0 911011206 209551360 33897 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 51160 33897 179 372 0 50785 0
[pid=31290/tid=31292] ppid=31288 vsize=204640 CPUtime=12.64 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 10135 0 0 0 1246 18 0 0 25 0 3 0 911011211 209551360 33897 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=204640 CPUtime=12.63 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 27372 0 0 0 1255 8 0 0 25 0 3 0 911011211 209551360 33897 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 204640

[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31293
/proc/meminfo: memFree=2794616/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=204640 CPUtime=50.93 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 42758 0 0 0 5054 39 0 0 25 0 3 0 911011206 209551360 37463 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 51160 37463 180 372 0 50785 0
[pid=31290/tid=31292] ppid=31288 vsize=204640 CPUtime=25.44 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 13306 0 0 0 2515 29 0 0 25 0 3 0 911011211 209551360 37463 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=204640 CPUtime=25.43 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 27808 0 0 0 2534 9 0 0 25 0 3 0 911011211 209551360 37463 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 204640

[startup+51.101 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31335
/proc/meminfo: memFree=3524396/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=270176 CPUtime=102.13 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 47886 0 0 0 10145 68 0 0 25 0 3 0 911011206 276660224 42591 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 67544 42591 180 372 0 67169 0
[pid=31290/tid=31292] ppid=31288 vsize=270176 CPUtime=51.04 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 17956 0 0 0 5050 54 0 0 25 0 3 0 911011211 276660224 42592 33554432000 4194304 5714118 140735349805712 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=270176 CPUtime=51.03 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 28287 0 0 0 5090 13 0 0 25 0 3 0 911011211 276660224 42592 33554432000 4194304 5714118 140735349805712 18446744073709551615 4305048 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 270176

[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31336
/proc/meminfo: memFree=3319668/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=402116 CPUtime=204.54 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 80713 0 0 0 20328 126 0 0 25 0 3 0 911011206 411766784 75418 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 100529 75418 180 372 0 100154 0
[pid=31290/tid=31292] ppid=31288 vsize=402116 CPUtime=102.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 25907 0 0 0 10129 95 0 0 25 0 3 0 911011211 411766784 75418 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=402116 CPUtime=102.23 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 53162 0 0 0 10194 29 0 0 25 0 3 0 911011211 411766784 75418 33554432000 4194304 5714118 140735349805712 18446744073709551615 4305171 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) 402116

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31338
/proc/meminfo: memFree=3036784/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=532704 CPUtime=324.52 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 117535 0 0 0 32277 175 0 0 25 0 3 0 911011206 545488896 112144 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 133176 112144 180 372 0 132801 0
[pid=31290/tid=31292] ppid=31288 vsize=532704 CPUtime=162.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 27084 0 0 0 16100 124 0 0 25 0 3 0 911011211 545488896 112144 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=532704 CPUtime=162.23 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 88807 0 0 0 16173 50 0 0 25 0 3 0 911011211 545488896 112144 33554432000 4194304 5714118 140735349805712 18446744073709551615 4305117 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 532704

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31339
/proc/meminfo: memFree=2888584/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=598240 CPUtime=444.52 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 135080 0 0 0 44238 214 0 0 25 0 3 0 911011206 612597760 129689 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 149560 129689 180 372 0 149185 0
[pid=31290/tid=31292] ppid=31288 vsize=598240 CPUtime=222.23 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 28957 0 0 0 22076 147 0 0 25 0 3 0 911011211 612597760 129689 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=598240 CPUtime=222.23 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 104479 0 0 0 22157 66 0 0 25 0 3 0 911011211 612597760 129689 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.52
Current children cumulated vsize (KiB) 598240

[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31341
/proc/meminfo: memFree=2825288/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=598240 CPUtime=564.53 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 141720 0 0 0 56192 261 0 0 25 0 3 0 911011206 612597760 136284 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 149560 136284 180 372 0 149185 0
[pid=31290/tid=31292] ppid=31288 vsize=598240 CPUtime=282.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 31115 0 0 0 28041 183 0 0 25 0 3 0 911011211 612597760 136284 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=598240 CPUtime=282.24 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 108961 0 0 0 28147 77 0 0 25 0 3 0 911011211 612597760 136284 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.53
Current children cumulated vsize (KiB) 598240

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31343
/proc/meminfo: memFree=2764628/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=663776 CPUtime=684.53 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 146752 0 0 0 68162 291 0 0 25 0 3 0 911011206 679706624 141316 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 165944 141316 180 372 0 165569 0
[pid=31290/tid=31292] ppid=31288 vsize=663776 CPUtime=342.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 31175 0 0 0 34020 204 0 0 25 0 3 0 911011211 679706624 141316 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=663776 CPUtime=342.23 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 113933 0 0 0 34137 86 0 0 25 0 3 0 911011211 679706624 141316 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.53
Current children cumulated vsize (KiB) 663776

[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31344
/proc/meminfo: memFree=2706440/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=663776 CPUtime=804.53 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 153849 0 0 0 80138 315 0 0 25 0 3 0 911011206 679706624 148413 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 165944 148413 180 372 0 165569 0
[pid=31290/tid=31292] ppid=31288 vsize=663776 CPUtime=402.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 32381 0 0 0 40004 220 0 0 25 0 3 0 911011211 679706624 148413 33554432000 4194304 5714118 140735349805712 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=663776 CPUtime=402.24 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 119824 0 0 0 40130 94 0 0 25 0 3 0 911011211 679706624 148413 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.53
Current children cumulated vsize (KiB) 663776

[startup+462.301 s]
/proc/loadavg: 4.04 4.01 3.91 5/182 31346
/proc/meminfo: memFree=2657796/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=730168 CPUtime=924.53 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 164784 0 0 0 92093 360 0 0 25 0 3 0 911011206 747692032 159348 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 182542 159348 180 372 0 182167 0
[pid=31290/tid=31292] ppid=31288 vsize=730168 CPUtime=462.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 39054 0 0 0 45966 258 0 0 25 0 3 0 911011211 747692032 159348 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=730168 CPUtime=462.23 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 124086 0 0 0 46122 101 0 0 25 0 3 0 911011211 747692032 159348 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319882 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.53
Current children cumulated vsize (KiB) 730168

[startup+522.301 s]
/proc/loadavg: 4.01 4.01 3.91 5/182 31347
/proc/meminfo: memFree=2617080/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=796360 CPUtime=1044.54 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 175193 0 0 0 104054 400 0 0 25 0 3 0 911011206 815472640 169757 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 199090 169757 180 372 0 198715 0
[pid=31290/tid=31292] ppid=31288 vsize=796360 CPUtime=522.25 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 45166 0 0 0 51934 291 0 0 25 0 3 0 911011211 815472640 169757 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=796360 CPUtime=522.24 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 128383 0 0 0 52115 109 0 0 25 0 3 0 911011211 815472640 169757 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.54
Current children cumulated vsize (KiB) 796360

[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31349
/proc/meminfo: memFree=2572656/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=796492 CPUtime=1164.54 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 184831 0 0 0 116014 440 0 0 25 0 3 0 911011206 815607808 179395 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 199123 179395 180 372 0 198748 0
[pid=31290/tid=31292] ppid=31288 vsize=796492 CPUtime=582.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 50871 0 0 0 57900 324 0 0 25 0 3 0 911011211 815607808 179395 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=796492 CPUtime=582.24 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 132316 0 0 0 58109 115 0 0 25 0 3 0 911011211 815607808 179395 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (KiB) 796492

[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31351
/proc/meminfo: memFree=2516688/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=862884 CPUtime=1284.55 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 194573 0 0 0 127972 483 0 0 25 0 3 0 911011206 883593216 189136 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 215721 189136 180 372 0 215346 0
[pid=31290/tid=31292] ppid=31288 vsize=862884 CPUtime=642.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 57301 0 0 0 63864 360 0 0 25 0 3 0 911011211 883593216 189136 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=862884 CPUtime=642.24 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 135628 0 0 0 64103 121 0 0 25 0 3 0 911011211 883593216 189136 33554432000 4194304 5714118 140735349805712 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.55
Current children cumulated vsize (KiB) 862884

[startup+702.301 s]
/proc/loadavg: 4.07 4.02 3.92 5/182 31352
/proc/meminfo: memFree=2466676/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=863040 CPUtime=1404.54 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 201655 0 0 0 139943 511 0 0 25 0 3 0 911011206 883752960 196216 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 215760 196216 180 372 0 215385 0
[pid=31290/tid=31292] ppid=31288 vsize=863040 CPUtime=702.25 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 60244 0 0 0 69844 381 0 0 25 0 3 0 911011211 883752960 196216 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=863040 CPUtime=702.24 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 139767 0 0 0 70094 130 0 0 25 0 3 0 911011211 883752960 196216 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.54
Current children cumulated vsize (KiB) 863040

[startup+762.307 s]
/proc/loadavg: 4.02 4.01 3.92 5/182 31354
/proc/meminfo: memFree=2412180/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=863720 CPUtime=1524.56 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 206920 0 0 0 151917 539 0 0 25 0 3 0 911011206 884449280 201481 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 215930 201481 180 372 0 215555 0
[pid=31290/tid=31292] ppid=31288 vsize=863720 CPUtime=762.25 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 62987 0 0 0 75822 403 0 0 25 0 3 0 911011211 884449280 201481 33554432000 4194304 5714118 140735349805712 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=863720 CPUtime=762.25 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 142289 0 0 0 76090 135 0 0 25 0 3 0 911011211 884449280 201481 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.56
Current children cumulated vsize (KiB) 863720

[startup+822.301 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 31355
/proc/meminfo: memFree=2339728/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=929396 CPUtime=1644.55 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 214806 0 0 0 163873 582 0 0 25 0 3 0 911011206 951701504 209367 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 232349 209367 180 372 0 231974 0
[pid=31290/tid=31292] ppid=31288 vsize=929396 CPUtime=822.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 68393 0 0 0 81784 440 0 0 25 0 3 0 911011211 951701504 209367 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=929396 CPUtime=822.25 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 144769 0 0 0 82084 141 0 0 25 0 3 0 911011211 951701504 209367 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.55
Current children cumulated vsize (KiB) 929396

[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31357
/proc/meminfo: memFree=2280792/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=995208 CPUtime=1764.54 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 222849 0 0 0 175840 614 0 0 25 0 3 0 911011206 1019092992 217406 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 248802 217406 180 372 0 248427 0
[pid=31290/tid=31292] ppid=31288 vsize=995208 CPUtime=882.24 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 73120 0 0 0 87757 467 0 0 25 0 3 0 911011211 1019092992 217406 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=995208 CPUtime=882.24 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 148085 0 0 0 88078 146 0 0 25 0 3 0 911011211 1019092992 217406 33554432000 4194304 5714118 140735349805712 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.54
Current children cumulated vsize (KiB) 995208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 31358
/proc/meminfo: memFree=2256224/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=995208 CPUtime=1800.16 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 225975 0 0 0 179389 627 0 0 25 0 3 0 911011206 1019092992 220532 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 248802 220532 180 372 0 248427 0
[pid=31290/tid=31292] ppid=31288 vsize=995208 CPUtime=900.06 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 75153 0 0 0 89527 479 0 0 25 0 3 0 911011211 1019092992 220532 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=995208 CPUtime=900.05 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 149178 0 0 0 89857 148 0 0 25 0 3 0 911011211 1019092992 220532 33554432000 4194304 5714118 140735349805712 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 995208

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.92 5/182 31358
/proc/meminfo: memFree=2256224/32951124 swapFree=67054520/67111528
[pid=31290] ppid=31288 vsize=995208 CPUtime=1800.16 cores=0,2,4,6
/proc/31290/stat : 31290 (pwbo1.1) S 31288 31290 30373 0 -1 4202496 225975 0 0 0 179389 627 0 0 25 0 3 0 911011206 1019092992 220532 33554432000 4194304 5714118 140735349805712 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/31290/statm: 248802 220532 180 372 0 248427 0
[pid=31290/tid=31292] ppid=31288 vsize=995208 CPUtime=900.06 cores=0,2,4,6
/proc/31290/task/31292/stat : 31292 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 75153 0 0 0 89527 479 0 0 25 0 3 0 911011211 1019092992 220532 33554432000 4194304 5714118 140735349805712 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=31290/tid=31293] ppid=31288 vsize=995208 CPUtime=900.05 cores=0,2,4,6
/proc/31290/task/31293/stat : 31293 (pwbo1.1) R 31288 31290 30373 0 -1 4202560 149178 0 0 0 89857 148 0 0 25 0 3 0 911011211 1019092992 220532 33554432000 4194304 5714118 140735349805712 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 995208

Child status: 0
Real time (s): 900.146
CPU time (s): 1800.21
CPU user time (s): 1793.9
CPU system time (s): 6.30904
CPU usage (%): 199.991
Max. virtual memory (cumulated for all children) (KiB): 995208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.9
system time used= 6.30904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225980
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= 576
involuntary context switches= 2240

runsolver used 1.56076 second user time and 2.95255 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-13 21:42:07
IDJOB=3500352
IDBENCH=2273
IDSOLVER=1954
FILE ID=node130/3500352-1307994127
RUNJOBID= node130-1307990518-30624
PBS_JOBID= 13559739
Free space on /var/tmp= 2904 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-1.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500352-1307994127/watcher-3500352-1307994127 -o /var/tmp/evaluation-result-3500352-1307994127/solver-3500352-1307994127 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500352-1307994127.opb

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

MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8
RANDOM SEED=582029568

node130.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.838
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.67
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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.838
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.75
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.838
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.81
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.83
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.838
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2945552 kB
Buffers:        130860 kB
Cached:       28048448 kB
SwapCached:      10356 kB
Active:       14205304 kB
Inactive:     14887384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2945552 kB
SwapTotal:    67111528 kB
SwapFree:     67054520 kB
Dirty:            5056 kB
Writeback:           0 kB
AnonPages:      910524 kB
Mapped:          13532 kB
Slab:           845676 kB
PageTables:       6404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1114616 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= 2900 MiB
End job on node130 at 2011-06-13 21:57:09