Trace number 3500126

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)25218 1800.06 900.029

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24372
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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-3500126-1307991465.opb.
0.00/0.00	c Instance file HOME/instance-3500126-1307991465.opb
0.00/0.00	c File size is 202954 bytes.
0.00/0.01	c Highest Coefficient sum: 40
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      540                                                 |
0.00/0.01	c |  Number Clauses:        2682                                                |
0.00/0.01	c |  Number Cardinality:    264                                                 |
0.00/0.01	c |  Number PB Constraints: 1680                                                |
0.00/0.01	c init lb 0
0.00/0.01	c init ub 116905
0.00/0.02	c lb 521 (thread 0)
0.00/0.02	c lb 601 (thread 0)
0.00/0.02	c lb 681 (thread 0)
0.00/0.02	c lb 1018 (thread 0)
0.00/0.02	c ub 33495 (thread 1)
0.00/0.02	o 33495
0.00/0.02	c ub 32612 (thread 1)
0.00/0.03	o 32612
0.00/0.03	c lb 1623 (thread 0)
0.00/0.03	c ub 31451 (thread 1)
0.00/0.03	o 31451
0.00/0.03	c lb 1880 (thread 0)
0.00/0.03	c ub 30952 (thread 1)
0.00/0.03	o 30952
0.00/0.03	c ub 30328 (thread 1)
0.00/0.03	o 30328
0.00/0.03	c lb 2401 (thread 0)
0.00/0.03	c ub 30279 (thread 1)
0.00/0.03	o 30279
0.00/0.03	c lb 2481 (thread 0)
0.00/0.04	c lb 2561 (thread 0)
0.00/0.04	c lb 2898 (thread 0)
0.00/0.04	c ub 29823 (thread 1)
0.00/0.04	o 29823
0.00/0.04	c lb 3503 (thread 0)
0.00/0.04	c lb 3760 (thread 0)
0.00/0.04	c lb 3840 (thread 0)
0.00/0.05	c lb 3920 (thread 0)
0.00/0.05	c lb 4257 (thread 0)
0.08/0.05	c lb 4341 (thread 0)
0.08/0.05	c ub 29633 (thread 1)
0.08/0.05	o 29633
0.08/0.05	c lb 4862 (thread 0)
0.08/0.06	c lb 5119 (thread 0)
0.08/0.06	c lb 5724 (thread 0)
0.08/0.06	c ub 28614 (thread 1)
0.08/0.06	o 28614
0.08/0.06	c lb 5959 (thread 0)
0.08/0.06	c lb 6480 (thread 0)
0.08/0.07	c lb 6780 (thread 0)
0.08/0.07	c lb 7385 (thread 0)
0.08/0.07	c lb 7562 (thread 0)
0.08/0.07	c ub 27771 (thread 1)
0.08/0.07	o 27771
0.08/0.07	c lb 8083 (thread 0)
0.08/0.08	c lb 8126 (thread 0)
0.08/0.08	c lb 8731 (thread 0)
0.08/0.08	c lb 8802 (thread 0)
0.08/0.08	c lb 8882 (thread 0)
0.08/0.09	c lb 8962 (thread 0)
0.08/0.09	c lb 9299 (thread 0)
0.08/0.09	c lb 9556 (thread 0)
0.08/0.09	c lb 9820 (thread 0)
0.17/0.10	c lb 9878 (thread 0)
0.17/0.10	c lb 10029 (thread 0)
0.17/0.10	c lb 10634 (thread 0)
0.17/0.10	c ub 26891 (thread 1)
0.17/0.10	o 26891
0.17/0.10	c lb 10677 (thread 0)
0.17/0.11	c lb 10698 (thread 0)
0.17/0.11	c lb 10934 (thread 0)
0.17/0.11	c lb 11018 (thread 0)
0.17/0.11	c lb 11191 (thread 0)
0.17/0.12	c lb 11275 (thread 0)
0.17/0.12	c lb 11426 (thread 0)
0.17/0.12	c lb 11657 (thread 0)
0.17/0.12	c lb 11741 (thread 0)
0.17/0.13	c lb 11849 (thread 0)
0.17/0.13	c lb 11892 (thread 0)
0.17/0.13	c lb 11976 (thread 0)
0.17/0.13	c lb 12047 (thread 0)
0.17/0.14	c lb 12090 (thread 0)
0.17/0.14	c lb 12118 (thread 0)
0.17/0.14	c lb 12148 (thread 0)
0.17/0.15	c lb 12238 (thread 0)
0.17/0.15	c lb 12241 (thread 0)
0.17/0.15	c lb 12299 (thread 0)
0.17/0.15	c lb 12450 (thread 0)
0.17/0.16	c lb 12791 (thread 0)
0.17/0.16	c lb 12875 (thread 0)
0.17/0.16	c lb 12944 (thread 0)
0.17/0.16	c lb 13349 (thread 0)
0.17/0.17	c lb 13359 (thread 0)
0.17/0.17	c lb 13365 (thread 0)
0.17/0.17	c lb 13429 (thread 0)
0.17/0.17	c lb 13455 (thread 0)
0.17/0.18	c lb 13627 (thread 0)
0.17/0.18	c lb 13634 (thread 0)
0.17/0.18	c lb 13750 (thread 0)
0.17/0.19	c lb 13976 (thread 0)
0.17/0.19	c lb 14056 (thread 0)
0.17/0.19	c lb 14120 (thread 0)
0.37/0.20	c lb 14136 (thread 0)
0.37/0.20	c lb 14173 (thread 0)
0.37/0.20	c lb 14244 (thread 0)
0.37/0.21	c lb 14279 (thread 0)
0.37/0.21	c lb 14347 (thread 0)
0.37/0.21	c lb 14430 (thread 0)
0.37/0.22	c lb 14540 (thread 0)
0.37/0.22	c lb 14800 (thread 0)
0.37/0.22	c lb 14822 (thread 0)
0.37/0.23	c lb 14928 (thread 0)
0.37/0.23	c lb 14935 (thread 0)
0.37/0.23	c lb 15079 (thread 0)
0.37/0.24	c lb 15107 (thread 0)
0.37/0.24	c lb 15159 (thread 0)
0.37/0.24	c lb 15449 (thread 0)
0.37/0.25	c lb 15471 (thread 0)
0.37/0.25	c lb 15508 (thread 0)
0.37/0.25	c lb 15614 (thread 0)
0.37/0.26	c lb 15730 (thread 0)
0.37/0.26	c lb 15836 (thread 0)
0.37/0.26	c lb 15987 (thread 0)
0.37/0.27	c lb 16029 (thread 0)
0.37/0.27	c lb 16036 (thread 0)
0.37/0.28	c lb 16116 (thread 0)
0.37/0.28	c lb 16137 (thread 0)
0.37/0.28	c lb 16138 (thread 0)
0.37/0.29	c lb 16196 (thread 0)
0.37/0.29	c lb 16224 (thread 0)
0.58/0.30	c lb 16267 (thread 0)
0.58/0.30	c lb 16269 (thread 0)
0.58/0.30	c lb 16500 (thread 0)
0.58/0.31	c lb 16694 (thread 0)
0.58/0.31	c lb 16722 (thread 0)
0.58/0.32	c lb 16757 (thread 0)
0.58/0.32	c lb 16785 (thread 0)
0.58/0.33	c lb 16787 (thread 0)
0.58/0.33	c lb 16843 (thread 0)
0.58/0.33	c lb 16902 (thread 0)
0.58/0.34	c lb 16905 (thread 0)
0.58/0.34	c lb 17013 (thread 0)
0.58/0.35	c lb 17018 (thread 0)
0.58/0.35	c lb 17028 (thread 0)
0.58/0.36	c lb 17035 (thread 0)
0.58/0.36	c lb 17041 (thread 0)
0.58/0.37	c lb 17059 (thread 0)
0.58/0.37	c lb 17274 (thread 0)
0.58/0.38	c lb 17276 (thread 0)
0.58/0.38	c lb 17283 (thread 0)
0.58/0.38	c lb 17284 (thread 0)
0.58/0.39	c lb 17286 (thread 0)
0.58/0.39	c lb 17288 (thread 0)
0.77/0.40	c lb 17289 (thread 0)
0.77/0.40	c lb 17292 (thread 0)
0.77/0.41	c lb 17294 (thread 0)
0.77/0.42	c lb 17296 (thread 0)
0.77/0.42	c lb 17300 (thread 0)
0.77/0.43	c lb 17302 (thread 0)
0.77/0.43	c lb 17303 (thread 0)
0.77/0.44	c lb 17305 (thread 0)
0.77/0.44	c lb 17307 (thread 0)
0.77/0.45	c lb 17308 (thread 0)
0.77/0.45	c lb 17309 (thread 0)
0.77/0.46	c lb 17313 (thread 0)
0.77/0.46	c lb 17322 (thread 0)
0.77/0.47	c lb 17323 (thread 0)
0.77/0.48	c lb 17324 (thread 0)
0.77/0.48	c lb 17325 (thread 0)
0.77/0.49	c lb 17326 (thread 0)
0.98/0.50	c lb 17327 (thread 0)
0.98/0.50	c lb 17328 (thread 0)
0.98/0.51	c lb 17329 (thread 0)
0.98/0.52	c lb 17333 (thread 0)
0.98/0.52	c lb 17334 (thread 0)
0.98/0.53	c lb 17338 (thread 0)
0.98/0.54	c lb 17339 (thread 0)
0.98/0.54	c lb 17340 (thread 0)
0.98/0.55	c lb 17341 (thread 0)
0.98/0.56	c lb 17342 (thread 0)
0.98/0.57	c lb 17343 (thread 0)
0.98/0.57	c lb 17344 (thread 0)
0.98/0.58	c lb 17346 (thread 0)
0.98/0.59	c lb 17347 (thread 0)
1.17/0.60	c lb 17348 (thread 0)
1.17/0.60	c lb 17350 (thread 0)
1.17/0.61	c lb 17351 (thread 0)
1.17/0.62	c lb 17352 (thread 0)
1.17/0.63	c lb 17353 (thread 0)
1.17/0.64	c lb 17354 (thread 0)
1.17/0.64	c lb 17355 (thread 0)
1.17/0.65	c lb 17356 (thread 0)
1.17/0.66	c lb 17357 (thread 0)
1.17/0.67	c lb 17358 (thread 0)
1.17/0.68	c lb 17359 (thread 0)
1.17/0.69	c lb 17360 (thread 0)
1.38/0.70	c lb 17361 (thread 0)
1.38/0.71	c lb 17362 (thread 0)
1.38/0.73	c lb 17363 (thread 0)
1.38/0.74	c lb 17364 (thread 0)
1.38/0.75	c lb 17365 (thread 0)
1.38/0.76	c lb 17366 (thread 0)
1.38/0.77	c lb 17367 (thread 0)
1.38/0.79	c lb 17368 (thread 0)
1.57/0.80	c lb 17369 (thread 0)
1.57/0.82	c lb 17370 (thread 0)
1.57/0.84	c lb 17371 (thread 0)
1.57/0.88	c lb 17372 (thread 0)
2.18/1.19	c lb 17373 (thread 0)
2.77/1.42	c ub 26673 (thread 1)
3.58/1.84	o 26673
3.58/1.84	c ub 26644 (thread 1)
3.78/1.97	o 26644
3.78/1.97	c ub 26264 (thread 1)
11.18/5.66	o 26264
11.18/5.66	c lb 17374 (thread 0)
19.79/9.96	c ub 26151 (thread 1)
20.97/10.57	o 26151
20.97/10.57	c ub 26051 (thread 1)
48.18/24.14	o 26051
48.18/24.14	c ub 25548 (thread 1)
53.57/26.82	o 25548
53.57/26.82	c ub 25308 (thread 1)
254.18/127.11	o 25308
254.18/127.11	c ub 25306 (thread 1)
938.00/469.09	o 25306
938.00/469.09	c lb 17375 (thread 0)
1306.61/653.33	c ub 25218 (thread 1)
1800.02/900.01	o 25218
1800.02/900.01	s SATISFIABLE
1800.02/900.01	v x361 x362 -x363 x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 x396 x397 x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 x430 x431 x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 x536 -x537 -x538 x539 -x540 -x2 -x38 -x74 -x110 -x146 x182 -x218 -x254 -x290 -x326 x3 -x39 -x75 -x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 x40 -x76 -x112 -x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 x329 -x6 -x42 x78 -x114 -x150 -x186 -x222 -x258 -x294 -x330 -x7 -x43 -x79 -x115 -x151 -x187 -x223 -x259 x295 -x331 -x9 -x45 x81 -x117 -x153 -x189 -x225 -x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 x226 -x262 -x298 -x334 -x11 -x47 -x83 x119 -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 -x156 -x192 -x228 -x264 -x300 x336 -x13 -x49 -x85 x121 -x157 -x193 -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 -x194 -x230 x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 x340 -x17 -x53 -x89 -x125 x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 -x90 -x126 -x162 -x198 -x234 -x270 x306 -x342 -x19 -x55 -x91 -x127 -x163 -x199 -x235 x271 -x307 -x343 -x20 -x56 -x92 -x128 x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 x311 -x347 -x24 -x60 -x96 x132 -x168 -x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 -x205 x241 -x277 -x313 -x349 x26 -x62 -x98 -x134 -x170 -x206 -x242 -x278 -x314 -x350 -x27 x63 -x99 -x135 -x171 -x207 -x243 -x279 -x315 -x351 -x28 -x64 x100 -x136 -x172 -x208 -x244 -x280 -x316 -x352 -x30 -x66 -x102 -x138 -x174 -x210 -x246 x282 -x318 -x354 -x31 -x67 -x103 -x139 x175 -x211 -x247 -x283 -x319 -x355 -x32 x68 -x104 -x140 -x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 x249 -x285 -x321 -x357 x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 -x143 -x179 x215 -x251 -x287 -x323 -x359 x8 x44 -x80 -x116 x152 x188 -x224 x260 -x296 -x332 x15 x51 x87 -x123 -x159 x195 x231 -x267 -x303 -x339 x22 x58 x94 -x130 -x166 -x202 x238 -x274 -x310 x346 -x29 -x65 -x101 x137 x173 x209 -x245 -x281 x317 x353 -x36 -x72 x108 x144 -x180 -x216 -x252 x288 x324 x360 -x1 -x37 -x73 x109 x145 -x181 x217 x253 x289 -x325
1800.02/900.01	c Memory used           : 464.94 MB
1800.02/900.01	c CPU time              : 1792.35 s

Verifier Data 

OK	25218

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-3500126-1307991465/watcher-3500126-1307991465 -o /var/tmp/evaluation-result-3500126-1307991465/solver-3500126-1307991465 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500126-1307991465.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.68 3.92 3.65 1/172 11832
/proc/meminfo: memFree=8319736/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=2840 CPUtime=0 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) R 11830 11832 11319 0 -1 4202496 439 0 0 0 0 0 0 0 25 0 1 0 989377256 2908160 392 33554432000 4194304 5714118 140734997169280 18446744073709551615 4232422 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11832/statm: 710 392 170 372 0 285 0

[startup+0.055369 s]
/proc/loadavg: 3.68 3.92 3.65 1/172 11832
/proc/meminfo: memFree=8319736/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=137132 CPUtime=0.08 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 1869 0 0 0 7 1 0 0 18 0 3 0 989377256 140423168 1637 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 34283 1637 181 372 0 33908 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 137132

[startup+0.100359 s]
/proc/loadavg: 3.68 3.92 3.65 1/172 11832
/proc/meminfo: memFree=8319736/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=137132 CPUtime=0.17 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 2299 0 0 0 15 2 0 0 18 0 3 0 989377256 140423168 2067 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 34283 2069 181 372 0 33908 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 137132

[startup+0.300324 s]
/proc/loadavg: 3.68 3.92 3.65 1/172 11832
/proc/meminfo: memFree=8319736/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=137132 CPUtime=0.58 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 4088 0 0 0 54 4 0 0 18 0 3 0 989377256 140423168 3856 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 34283 3856 181 372 0 33908 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 137132

[startup+0.701252 s]
/proc/loadavg: 3.68 3.92 3.65 1/172 11832
/proc/meminfo: memFree=8319736/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=137132 CPUtime=1.38 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 6228 0 0 0 131 7 0 0 18 0 3 0 989377256 140423168 5969 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 34283 5969 181 372 0 33908 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 137132

[startup+1.50112 s]
/proc/loadavg: 3.68 3.92 3.65 5/182 11851
/proc/meminfo: memFree=8217472/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=137264 CPUtime=2.97 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 7699 0 0 0 288 9 0 0 18 0 3 0 989377256 140558336 7437 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 34316 7437 181 372 0 33941 0
[pid=11832/tid=11834] ppid=11830 vsize=137264 CPUtime=1.47 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 5373 0 0 0 140 7 0 0 18 0 3 0 989377258 140558336 7437 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=137264 CPUtime=1.47 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 1365 0 0 0 146 1 0 0 23 0 3 0 989377258 140558336 7437 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 137264

[startup+3.10077 s]
/proc/loadavg: 3.68 3.92 3.65 5/182 11851
/proc/meminfo: memFree=8169360/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=137396 CPUtime=6.17 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 8276 0 0 0 606 11 0 0 18 0 3 0 989377256 140693504 8014 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 34349 8015 181 372 0 33974 0
[pid=11832/tid=11834] ppid=11830 vsize=137396 CPUtime=3.07 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 5908 0 0 0 298 9 0 0 20 0 3 0 989377258 140693504 8015 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=137396 CPUtime=3.08 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 1408 0 0 0 306 2 0 0 25 0 3 0 989377258 140693504 8015 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 137396

[startup+6.30028 s]
/proc/loadavg: 3.70 3.92 3.65 5/182 11851
/proc/meminfo: memFree=8040336/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=137796 CPUtime=12.57 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 10801 0 0 0 1236 21 0 0 18 0 3 0 989377256 141103104 10539 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 34449 10539 182 372 0 34074 0
[pid=11832/tid=11834] ppid=11830 vsize=137796 CPUtime=6.27 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 7772 0 0 0 611 16 0 0 18 0 3 0 989377258 141103104 10539 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=137796 CPUtime=6.27 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 2068 0 0 0 623 4 0 0 25 0 3 0 989377258 141103104 10539 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 137796

[startup+12.7012 s]
/proc/loadavg: 3.73 3.92 3.65 5/182 11851
/proc/meminfo: memFree=7847100/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=138212 CPUtime=25.38 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 11710 0 0 0 2508 30 0 0 18 0 3 0 989377256 141529088 11448 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 34553 11448 182 372 0 34178 0
[pid=11832/tid=11834] ppid=11830 vsize=138212 CPUtime=12.67 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 8038 0 0 0 1246 21 0 0 25 0 3 0 989377258 141529088 11448 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=138212 CPUtime=12.68 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 2711 0 0 0 1260 8 0 0 25 0 3 0 989377258 141529088 11448 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 138212

[startup+25.5009 s]
/proc/loadavg: 3.79 3.93 3.66 5/182 11852
/proc/meminfo: memFree=7566360/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=139032 CPUtime=50.98 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 14703 0 0 0 5052 46 0 0 18 0 3 0 989377256 142368768 14441 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 34758 14441 182 372 0 34383 0
[pid=11832/tid=11834] ppid=11830 vsize=139032 CPUtime=25.47 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 10698 0 0 0 2514 33 0 0 25 0 3 0 989377258 142368768 14441 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=139032 CPUtime=25.47 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 3044 0 0 0 2535 12 0 0 25 0 3 0 989377258 142368768 14441 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 139032

[startup+51.1004 s]
/proc/loadavg: 3.86 3.93 3.66 5/182 11852
/proc/meminfo: memFree=7111328/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=140000 CPUtime=102.17 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 20643 0 0 0 10134 83 0 0 18 0 3 0 989377256 143360000 20381 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 35000 20381 182 372 0 34625 0
[pid=11832/tid=11834] ppid=11830 vsize=140000 CPUtime=51.07 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 15837 0 0 0 5046 61 0 0 25 0 3 0 989377258 143360000 20381 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=140000 CPUtime=51.08 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 3845 0 0 0 5086 22 0 0 25 0 3 0 989377258 143360000 20381 33554432000 4194304 5714118 140734997169280 18446744073709551615 4323036 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 140000

[startup+102.306 s]
/proc/loadavg: 3.94 3.94 3.68 5/182 11854
/proc/meminfo: memFree=6876808/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=206376 CPUtime=204.59 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 30224 0 0 0 20322 137 0 0 18 0 3 0 989377256 211329024 29962 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 51594 29962 182 372 0 51219 0
[pid=11832/tid=11834] ppid=11830 vsize=206376 CPUtime=102.28 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 24222 0 0 0 10129 99 0 0 25 0 3 0 989377258 211329024 29962 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=206376 CPUtime=102.28 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 5041 0 0 0 10190 38 0 0 25 0 3 0 989377258 211329024 29962 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 206376

[startup+162.301 s]
/proc/loadavg: 3.98 3.95 3.70 5/182 11855
/proc/meminfo: memFree=6809948/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=273048 CPUtime=324.58 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 39782 0 0 0 32251 207 0 0 18 0 3 0 989377256 279601152 39520 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 68262 39520 182 372 0 67887 0
[pid=11832/tid=11834] ppid=11830 vsize=273048 CPUtime=162.28 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 32992 0 0 0 16076 152 0 0 25 0 3 0 989377258 279601152 39520 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=273048 CPUtime=162.28 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 5829 0 0 0 16173 55 0 0 25 0 3 0 989377258 279601152 39520 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 273048

[startup+222.3 s]
/proc/loadavg: 3.99 3.95 3.71 5/182 11866
/proc/meminfo: memFree=6757144/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=274404 CPUtime=444.59 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 48924 0 0 0 44185 274 0 0 18 0 3 0 989377256 280989696 48662 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 68601 48662 182 372 0 68226 0
[pid=11832/tid=11834] ppid=11830 vsize=274404 CPUtime=222.27 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 41827 0 0 0 22027 200 0 0 25 0 3 0 989377258 280989696 48662 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=274404 CPUtime=222.28 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 6136 0 0 0 22155 73 0 0 25 0 3 0 989377258 280989696 48662 33554432000 4194304 5714118 140734997169280 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 274404

[startup+282.301 s]
/proc/loadavg: 3.99 3.96 3.73 5/182 11867
/proc/meminfo: memFree=6684164/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=340476 CPUtime=564.59 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 58369 0 0 0 56124 335 0 0 18 0 3 0 989377256 348647424 58107 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 85119 58107 182 372 0 84744 0
[pid=11832/tid=11834] ppid=11830 vsize=340476 CPUtime=282.28 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 50663 0 0 0 27983 245 0 0 25 0 3 0 989377258 348647424 58107 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=340476 CPUtime=282.28 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 6745 0 0 0 28138 90 0 0 25 0 3 0 989377258 348647424 58107 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 340476

[startup+342.3 s]
/proc/loadavg: 3.99 3.96 3.74 5/182 11869
/proc/meminfo: memFree=6604992/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=340916 CPUtime=684.59 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 67950 0 0 0 68051 408 0 0 18 0 3 0 989377256 349097984 67688 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 85229 67688 182 372 0 84854 0
[pid=11832/tid=11834] ppid=11830 vsize=340916 CPUtime=342.28 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 59601 0 0 0 33926 302 0 0 25 0 3 0 989377258 349097984 67688 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=340916 CPUtime=342.28 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 7388 0 0 0 34123 105 0 0 25 0 3 0 989377258 349097984 67688 33554432000 4194304 5714118 140734997169280 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 340916

[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.75 5/182 11871
/proc/meminfo: memFree=6547644/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=406776 CPUtime=804.59 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 76610 0 0 0 80000 459 0 0 18 0 3 0 989377256 416538624 76348 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 101694 76348 182 372 0 101319 0
[pid=11832/tid=11834] ppid=11830 vsize=406776 CPUtime=402.29 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 67774 0 0 0 39887 342 0 0 25 0 3 0 989377258 416538624 76348 33554432000 4194304 5714118 140734997169280 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=406776 CPUtime=402.28 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 7875 0 0 0 40111 117 0 0 25 0 3 0 989377258 416538624 76348 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 406776

[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.77 5/182 11872
/proc/meminfo: memFree=6417880/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=472964 CPUtime=924.59 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 92560 0 0 0 91945 514 0 0 18 0 3 0 989377256 484315136 92298 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 118241 92298 182 372 0 117866 0
[pid=11832/tid=11834] ppid=11830 vsize=472964 CPUtime=462.29 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 83392 0 0 0 45846 383 0 0 25 0 3 0 989377258 484315136 92298 33554432000 4194304 5714118 140734997169280 18446744073709551615 4197791 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=472964 CPUtime=462.28 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 8207 0 0 0 46097 131 0 0 25 0 3 0 989377258 484315136 92298 33554432000 4194304 5714118 140734997169280 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 472964

[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.78 5/182 11874
/proc/meminfo: memFree=6402292/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=473416 CPUtime=1044.6 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 95427 0 0 0 103900 560 0 0 18 0 3 0 989377256 484777984 95165 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 118354 95165 182 372 0 117979 0
[pid=11832/tid=11834] ppid=11830 vsize=473416 CPUtime=522.29 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 86089 0 0 0 51813 416 0 0 25 0 3 0 989377258 484777984 95165 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=473416 CPUtime=522.28 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 8377 0 0 0 52085 143 0 0 25 0 3 0 989377258 484777984 95165 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 473416

[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.79 5/182 11875
/proc/meminfo: memFree=6400368/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=473916 CPUtime=1164.6 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 95655 0 0 0 115865 595 0 0 18 0 3 0 989377256 485289984 95393 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 118479 95393 182 372 0 118104 0
[pid=11832/tid=11834] ppid=11830 vsize=473916 CPUtime=582.28 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 86130 0 0 0 57792 436 0 0 25 0 3 0 989377258 485289984 95393 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319289 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=473916 CPUtime=582.29 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 8564 0 0 0 58071 158 0 0 25 0 3 0 989377258 485289984 95393 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 473916

[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.80 5/182 11877
/proc/meminfo: memFree=6396476/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=474444 CPUtime=1284.62 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 96496 0 0 0 127831 631 0 0 18 0 3 0 989377256 485830656 96234 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 118611 96234 182 372 0 118236 0
[pid=11832/tid=11834] ppid=11830 vsize=474444 CPUtime=642.29 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 86476 0 0 0 63772 457 0 0 25 0 3 0 989377258 485830656 96234 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=474444 CPUtime=642.29 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 9059 0 0 0 64056 173 0 0 25 0 3 0 989377258 485830656 96234 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 474444

[startup+702.3 s]
/proc/loadavg: 4.04 3.99 3.82 5/182 11879
/proc/meminfo: memFree=6394300/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=475108 CPUtime=1404.6 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 96792 0 0 0 139798 662 0 0 18 0 3 0 989377256 486510592 96530 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 118777 96530 182 372 0 118402 0
[pid=11832/tid=11834] ppid=11830 vsize=475108 CPUtime=702.28 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 86632 0 0 0 69757 471 0 0 25 0 3 0 989377258 486510592 96530 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=475108 CPUtime=702.29 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 9199 0 0 0 70039 190 0 0 25 0 3 0 989377258 486510592 96530 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 475108

[startup+762.307 s]
/proc/loadavg: 4.01 3.99 3.82 5/182 11880
/proc/meminfo: memFree=6392496/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=475276 CPUtime=1524.62 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 96987 0 0 0 151766 696 0 0 18 0 3 0 989377256 486682624 96725 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 118819 96725 182 372 0 118444 0
[pid=11832/tid=11834] ppid=11830 vsize=475276 CPUtime=762.3 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 86790 0 0 0 75742 488 0 0 25 0 3 0 989377258 486682624 96725 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=475276 CPUtime=762.3 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 9236 0 0 0 76022 208 0 0 25 0 3 0 989377258 486682624 96725 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 475276

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.83 5/182 11882
/proc/meminfo: memFree=6391076/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=475584 CPUtime=1644.61 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 97130 0 0 0 163733 728 0 0 18 0 3 0 989377256 486998016 96868 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 118896 96868 182 372 0 118521 0
[pid=11832/tid=11834] ppid=11830 vsize=475584 CPUtime=822.29 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 86863 0 0 0 81720 509 0 0 25 0 3 0 989377258 486998016 96868 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=475584 CPUtime=822.29 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 9306 0 0 0 82011 218 0 0 25 0 3 0 989377258 486998016 96868 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 475584

[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 11883
/proc/meminfo: memFree=6389780/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=475920 CPUtime=1764.62 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 97290 0 0 0 175700 762 0 0 18 0 3 0 989377256 487342080 97028 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 118980 97028 182 372 0 118605 0
[pid=11832/tid=11834] ppid=11830 vsize=475920 CPUtime=882.3 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 86925 0 0 0 87699 531 0 0 25 0 3 0 989377258 487342080 97028 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=475920 CPUtime=882.3 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 9404 0 0 0 87999 231 0 0 25 0 3 0 989377258 487342080 97028 33554432000 4194304 5714118 140734997169280 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 475920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.001 s]
/proc/loadavg: 4.00 3.99 3.84 5/182 11884
/proc/meminfo: memFree=6389136/32950940 swapFree=67053420/67111528
[pid=11832] ppid=11830 vsize=476092 CPUtime=1800.02 cores=0,2,4,6
/proc/11832/stat : 11832 (pwbo1.1) S 11830 11832 11319 0 -1 4202496 97342 0 0 0 179233 769 0 0 18 0 3 0 989377256 487518208 97080 33554432000 4194304 5714118 140734997169280 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11832/statm: 119023 97080 182 372 0 118648 0
[pid=11832/tid=11834] ppid=11830 vsize=476092 CPUtime=900 cores=0,2,4,6
/proc/11832/task/11834/stat : 11834 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 86965 0 0 0 89465 535 0 0 25 0 3 0 989377258 487518208 97080 33554432000 4194304 5714118 140734997169280 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11832/tid=11835] ppid=11830 vsize=476092 CPUtime=900 cores=0,2,4,6
/proc/11832/task/11835/stat : 11835 (pwbo1.1) R 11830 11832 11319 0 -1 4202560 9416 0 0 0 89767 233 0 0 25 0 3 0 989377258 487518208 97080 33554432000 4194304 5714118 140734997169280 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 476092

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

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

Child status: 0
Real time (s): 900.029
CPU time (s): 1800.06
CPU user time (s): 1792.35
CPU system time (s): 7.71283
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 476092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.35
system time used= 7.71283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97347
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= 67
involuntary context switches= 2488

runsolver used 1.2948 second user time and 2.83657 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-13 20:57:45
IDJOB=3500126
IDBENCH=2010
IDSOLVER=1954
FILE ID=node117/3500126-1307991465
RUNJOBID= node117-1307989660-11563
PBS_JOBID= 13559732
Free space on /var/tmp= 2884 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500126-1307991465/watcher-3500126-1307991465 -o /var/tmp/evaluation-result-3500126-1307991465/solver-3500126-1307991465 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500126-1307991465.opb

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

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=1076281515

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:       8320420 kB
Buffers:        119428 kB
Cached:       23708584 kB
SwapCached:      11232 kB
Active:        8009320 kB
Inactive:     15837432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:       8320420 kB
SwapTotal:    67111528 kB
SwapFree:     67053420 kB
Dirty:            4296 kB
Writeback:           0 kB
AnonPages:       16120 kB
Mapped:          12612 kB
Slab:           718504 kB
PageTables:       4248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   189952 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= 2872 MiB
End job on node117 at 2011-06-13 21:12:47