Trace number 3718155

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.07 1786.47

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
MD5SUM153666059db7da507c96674bc7662476
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.674897
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2550
Total number of constraints101
Number of soft constraints66
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3685
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3684
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.09/0.10	c version 2.3.2.v20120528
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3718155-1338250514.wbo
0.09/0.12	c reading problem ... 
0.26/0.24	c ... done. Wall clock time 0.117s.
0.26/0.24	c declared #vars     2550
0.26/0.24	c internal #vars     2616
0.26/0.24	c #constraints  101
0.26/0.24	c constraints type 
0.26/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
0.26/0.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
0.26/0.24	c ignored satisfied constraints => 1
0.26/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33
0.26/0.24	c 102 constraints processed.
0.26/0.24	c objective function length is 66 literals
0.50/0.34	c SATISFIABLE
0.50/0.34	c OPTIMIZING...
0.50/0.34	c Got one! Elapsed wall clock time (in seconds):0.22
0.50/0.34	o 43
0.75/0.41	c Got one! Elapsed wall clock time (in seconds):0.284
0.75/0.41	o 42
0.75/0.44	c Got one! Elapsed wall clock time (in seconds):0.313
0.75/0.44	o 17
0.75/0.49	c Got one! Elapsed wall clock time (in seconds):0.362
0.75/0.49	o 10
1.03/0.60	c Got one! Elapsed wall clock time (in seconds):0.474
1.03/0.60	o 1
1.37/0.96	c cleaning 3712 clauses out of 7458 with flag 23207/7458
2.34/1.82	c cleaning 4721 clauses out of 9745 with flag 70531/13457
3.66/3.15	c cleaning 5969 clauses out of 12024 with flag 134428/20457
6.11/5.43	c cleaning 6887 clauses out of 14055 with flag 229269/28457
10.42/9.66	c cleaning 8068 clauses out of 16170 with flag 328990/37459
16.33/15.41	c cleaning 9038 clauses out of 18100 with flag 430091/47457
22.44/21.45	c cleaning 10025 clauses out of 20062 with flag 530119/58457
29.64/28.53	c cleaning 11013 clauses out of 22038 with flag 627038/70458
37.74/36.51	c cleaning 12006 clauses out of 24026 with flag 735518/83459
46.74/45.40	c cleaning 13001 clauses out of 26019 with flag 856362/97458
56.89/55.49	c cleaning 14002 clauses out of 28017 with flag 992243/112457
67.63/65.94	c cleaning 15002 clauses out of 30015 with flag 1134901/128457
79.88/78.02	c cleaning 16007 clauses out of 32013 with flag 1285823/145457
91.35/89.33	c cleaning 16998 clauses out of 34006 with flag 1440041/163457
105.45/103.25	c cleaning 17997 clauses out of 36010 with flag 1601529/182459
119.34/117.07	c cleaning 19001 clauses out of 38011 with flag 1788548/202457
133.89/131.46	c cleaning 20006 clauses out of 40017 with flag 1992391/223464
150.93/148.39	c cleaning 20995 clauses out of 42004 with flag 2224506/245457
169.76/166.90	c cleaning 22004 clauses out of 44009 with flag 2473001/268457
187.43/184.41	c cleaning 22994 clauses out of 46007 with flag 2708538/292459
208.86/205.70	c cleaning 23995 clauses out of 48012 with flag 2980625/317458
231.01/227.48	c cleaning 25001 clauses out of 50021 with flag 3237446/343462
249.03/245.17	c cleaning 26000 clauses out of 52016 with flag 3459437/370458
269.44/265.30	c cleaning 26999 clauses out of 54015 with flag 3684627/398457
292.37/287.71	c cleaning 28000 clauses out of 56017 with flag 3938952/427458
318.65/313.56	c cleaning 29002 clauses out of 58016 with flag 4216557/457457
344.20/338.88	c cleaning 30006 clauses out of 60016 with flag 4495753/488459
370.08/364.59	c cleaning 30996 clauses out of 62008 with flag 4795702/520457
398.08/392.37	c cleaning 31985 clauses out of 64012 with flag 5181593/553457
425.64/419.70	c cleaning 33007 clauses out of 66027 with flag 5551295/587457
449.21/443.19	c cleaning 34008 clauses out of 68022 with flag 5851387/622459
479.79/473.32	c cleaning 35000 clauses out of 70012 with flag 6161871/658457
507.90/501.19	c cleaning 36002 clauses out of 72015 with flag 6464944/695460
539.65/532.76	c cleaning 36999 clauses out of 74011 with flag 6770875/733458
575.02/567.97	c cleaning 38004 clauses out of 76013 with flag 7118677/772459
608.84/601.50	c cleaning 38998 clauses out of 78008 with flag 7417375/812458
647.25/639.67	c cleaning 39997 clauses out of 80009 with flag 7748787/853457
684.44/676.59	c cleaning 41002 clauses out of 82012 with flag 8106961/895457
723.48/715.48	c cleaning 42000 clauses out of 84010 with flag 8500475/938457
761.41/753.13	c cleaning 43000 clauses out of 86010 with flag 8923997/982457
800.77/792.30	c cleaning 43999 clauses out of 88010 with flag 9363216/1027457
841.47/832.77	c cleaning 45003 clauses out of 90016 with flag 9788822/1073462
879.68/870.75	c cleaning 46002 clauses out of 92010 with flag 10236760/1120459
925.82/916.71	c cleaning 46997 clauses out of 94007 with flag 10579728/1168458
980.46/970.73	c cleaning 48001 clauses out of 96009 with flag 11080762/1217457
1029.40/1019.43	c cleaning 48998 clauses out of 98008 with flag 11552784/1267457
1081.09/1070.89	c cleaning 49999 clauses out of 100011 with flag 12007032/1318458
1135.48/1124.53	c cleaning 51004 clauses out of 102018 with flag 12526672/1370464
1188.73/1177.63	c cleaning 52000 clauses out of 104008 with flag 13087098/1423458
1249.05/1237.65	c cleaning 52997 clauses out of 106007 with flag 13680925/1477457
1312.62/1301.02	c cleaning 54002 clauses out of 108013 with flag 14253239/1532460
1372.24/1360.46	c cleaning 54996 clauses out of 110008 with flag 14840508/1588457
1432.33/1420.00	c cleaning 56000 clauses out of 112012 with flag 15410175/1645457
1500.63/1488.16	c cleaning 57001 clauses out of 114013 with flag 15957590/1703458
1561.33/1548.62	c cleaning 57999 clauses out of 116011 with flag 16496822/1762457
1620.68/1607.80	c cleaning 58984 clauses out of 118012 with flag 17085675/1822457
1681.37/1668.27	c cleaning 59995 clauses out of 120029 with flag 17648587/1883458
1752.43/1739.11	c cleaning 60979 clauses out of 122037 with flag 18262551/1945461
1800.07/1786.42	c starts		: 218
1800.07/1786.42	c conflicts		: 1991135
1800.07/1786.42	c decisions		: 3265045
1800.07/1786.42	c propagations		: 38380958
1800.07/1786.42	c inspects		: 7169432181
1800.07/1786.42	c shortcuts		: 0
1800.07/1786.42	c learnt literals	: 0
1800.07/1786.42	c learnt binary clauses	: 0
1800.07/1786.42	c learnt ternary clauses	: 0
1800.07/1786.42	c learnt constraints	: 1991135
1800.07/1786.42	c ignored constraints	: 0
1800.07/1786.42	c root simplifications	: 0
1800.07/1786.42	c removed literals (reason simplification)	: 0
1800.07/1786.42	c reason swapping (by a shorter reason)	: 0
1800.07/1786.42	c Calls to reduceDB	: 58
1800.07/1786.42	c Number of update (reduction) of LBD	: 1299583
1800.07/1786.42	c number of reductions to clauses (during analyze)	: 0
1800.07/1786.42	c number of learned constraints concerned by reduction	: 0
1800.07/1786.42	c number of learning phase by resolution	: 0
1800.07/1786.42	c number of learning phase by cutting planes	: 0
1800.07/1786.42	c speed (assignments/second)	: 21487.86816924938
1800.07/1786.42	c non guided choices	16155
1800.07/1786.45	c learnt constraints type 
1800.07/1786.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106741
1800.07/1786.45	c constraints type 
1800.07/1786.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
1800.07/1786.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
1800.07/1786.45	c ignored satisfied constraints => 1
1800.07/1786.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 34
1800.07/1786.45	c 103 constraints processed.
1800.07/1786.45	s SATISFIABLE
1800.07/1786.46	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 
1800.07/1786.46	c objective function=1
1800.07/1786.46	c Total wall clock time (in seconds): 1786.337

Verifier Data 

OK	1

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 /tmp/evaluation-result-3718155-1338250514/watcher-3718155-1338250514 -o /tmp/evaluation-result-3718155-1338250514/solver-3718155-1338250514 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718155-1338250514.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.92 3/196 3235
/proc/meminfo: memFree=29806776/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3235/stat : 3235 (java) D 3233 3235 562 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291176821 9515008 182 33554432000 1073741824 1073778376 140734674225424 140734674216456 273905696437 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/3235/statm: 2323 182 140 9 0 71 0

[startup+0.075541 s]
/proc/loadavg: 1.92 1.98 1.92 3/196 3235
/proc/meminfo: memFree=29806776/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9558416 CPUtime=0.04 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 3259 0 1 0 4 0 0 0 20 0 18 0 291176821 9787817984 3957 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2389604 3957 1758 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558416

[startup+0.100319 s]
/proc/loadavg: 1.92 1.98 1.92 3/196 3235
/proc/meminfo: memFree=29806776/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 4221 0 1 0 8 1 0 0 20 0 18 0 291176821 9787817984 4897 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2389604 4897 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300281 s]
/proc/loadavg: 1.92 1.98 1.92 3/196 3235
/proc/meminfo: memFree=29806776/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 5795 0 1 0 49 1 0 0 20 0 19 0 291176821 9855979520 7531 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2406245 7531 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624980

[startup+0.700276 s]
/proc/loadavg: 1.92 1.98 1.92 3/196 3235
/proc/meminfo: memFree=29806776/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9624980 CPUtime=1.17 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 7547 0 1 0 115 2 0 0 20 0 19 0 291176821 9855979520 10050 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2406245 10050 2238 9 0 2396937 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9624980

[startup+1.50073 s]
/proc/loadavg: 1.92 1.98 1.92 3/215 3254
/proc/meminfo: memFree=29756004/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9624980 CPUtime=2.04 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 7631 0 1 0 201 3 0 0 20 0 19 0 291176821 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2406245 14721 2266 9 0 2396937 0
[pid=3235/tid=3237] ppid=3233 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/3235/task/3237/stat : 3237 (java) R 3233 3235 562 0 -1 4202560 2523 0 1 0 143 1 0 0 20 0 19 0 291176822 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140571053154952 140570993371337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3238] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3238/stat : 3238 (java) S 3233 3235 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570896579240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3239] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3239/stat : 3239 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570895526696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3240] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3240/stat : 3240 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570894474152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3241] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3241/stat : 3241 (java) S 3233 3235 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570893421608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3242] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3242/stat : 3242 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570892368040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3243] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3243/stat : 3243 (java) S 3233 3235 562 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570891315496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3244] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3244/stat : 3244 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570890262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3245] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3245/stat : 3245 (java) S 3233 3235 562 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570889210408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3246] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3246/stat : 3246 (java) S 3233 3235 562 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 291176824 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570877012584 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3247] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3247/stat : 3247 (java) S 3233 3235 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570875958904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3248] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3248/stat : 3248 (java) S 3233 3235 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570874906248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3249] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3249/stat : 3249 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570873854992 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3250] ppid=3233 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/3235/task/3250/stat : 3250 (java) S 3233 3235 562 0 -1 4202560 2362 0 0 0 27 0 0 0 20 0 19 0 291176828 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570872801336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3251] ppid=3233 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/3235/task/3251/stat : 3251 (java) S 3233 3235 562 0 -1 4202560 1495 0 0 0 25 0 0 0 20 0 19 0 291176828 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570871748792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3252] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3252/stat : 3252 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570870696440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3253] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3253/stat : 3253 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570869644104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3254] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3254/stat : 3254 (java) S 3233 3235 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291176846 9855979520 14721 33554432000 1073741824 1073778376 140735111297056 140570868589864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9624980

[startup+3.10079 s]
/proc/loadavg: 1.92 1.98 1.92 2/195 3257
/proc/meminfo: memFree=30520084/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9624980 CPUtime=3.66 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 7658 0 1 0 361 5 0 0 20 0 19 0 291176821 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2406245 19334 2266 9 0 2396937 0
[pid=3235/tid=3237] ppid=3233 vsize=9624980 CPUtime=3.01 cores=1,3,5,7
/proc/3235/task/3237/stat : 3237 (java) R 3233 3235 562 0 -1 4202560 2528 0 1 0 300 1 0 0 20 0 19 0 291176822 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140571053152736 140570993336932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3238] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3238/stat : 3238 (java) S 3233 3235 562 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570896579240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3239] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3239/stat : 3239 (java) S 3233 3235 562 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570895526696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3240] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3240/stat : 3240 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570894474152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3241] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3241/stat : 3241 (java) S 3233 3235 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570893421608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3242] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3242/stat : 3242 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570892368040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3243] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3243/stat : 3243 (java) S 3233 3235 562 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570891315496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3244] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3244/stat : 3244 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570890262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3245] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3245/stat : 3245 (java) S 3233 3235 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570889210408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3246] ppid=3233 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3235/task/3246/stat : 3246 (java) S 3233 3235 562 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291176824 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570877012584 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3247] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3247/stat : 3247 (java) S 3233 3235 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570875958904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3248] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3248/stat : 3248 (java) S 3233 3235 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570874906248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3249] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3249/stat : 3249 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570873854992 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3250] ppid=3233 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/3235/task/3250/stat : 3250 (java) S 3233 3235 562 0 -1 4202560 2362 0 0 0 28 0 0 0 20 0 19 0 291176828 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570872801336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3251] ppid=3233 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/3235/task/3251/stat : 3251 (java) S 3233 3235 562 0 -1 4202560 1495 0 0 0 25 0 0 0 20 0 19 0 291176828 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570871748792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3252] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3252/stat : 3252 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570870696440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3253] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3253/stat : 3253 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570869644104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3254] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3254/stat : 3254 (java) S 3233 3235 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291176846 9855979520 19334 33554432000 1073741824 1073778376 140735111297056 140570868589864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9624980

[startup+6.30078 s]
/proc/loadavg: 2.01 2.00 1.93 3/215 3313
/proc/meminfo: memFree=30390948/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9624980 CPUtime=7.12 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 10761 0 1 0 701 11 0 0 20 0 19 0 291176821 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2406245 34303 2267 9 0 2396937 0
[pid=3235/tid=3237] ppid=3233 vsize=9624980 CPUtime=6.12 cores=1,3,5,7
/proc/3235/task/3237/stat : 3237 (java) R 3233 3235 562 0 -1 4202560 2537 0 1 0 611 1 0 0 20 0 19 0 291176822 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140571053154592 140570993371318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3238] ppid=3233 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3235/task/3238/stat : 3238 (java) S 3233 3235 562 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 291176823 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570896579240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3239] ppid=3233 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3235/task/3239/stat : 3239 (java) S 3233 3235 562 0 -1 4202560 144 0 0 0 1 0 0 0 20 0 19 0 291176823 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570895526696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3240] ppid=3233 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3235/task/3240/stat : 3240 (java) S 3233 3235 562 0 -1 4202560 116 0 0 0 0 1 0 0 20 0 19 0 291176823 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570894474152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3241] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3241/stat : 3241 (java) S 3233 3235 562 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570893421608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3242] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3242/stat : 3242 (java) S 3233 3235 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291176823 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570892368040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3243] ppid=3233 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/3235/task/3243/stat : 3243 (java) S 3233 3235 562 0 -1 4202560 160 0 0 0 2 2 0 0 20 0 19 0 291176823 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570891315496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3244] ppid=3233 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3235/task/3244/stat : 3244 (java) S 3233 3235 562 0 -1 4202560 116 0 0 0 1 0 0 0 20 0 19 0 291176823 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570890262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3245] ppid=3233 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3235/task/3245/stat : 3245 (java) S 3233 3235 562 0 -1 4202560 16 0 0 0 0 1 0 0 20 0 19 0 291176823 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570889210408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3246] ppid=3233 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/3235/task/3246/stat : 3246 (java) S 3233 3235 562 0 -1 4202560 52 0 0 0 5 0 0 0 20 0 19 0 291176824 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570877012584 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3247] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3247/stat : 3247 (java) S 3233 3235 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570875958904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3248] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3248/stat : 3248 (java) S 3233 3235 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570874906248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3249] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3249/stat : 3249 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570873854992 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3250] ppid=3233 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/3235/task/3250/stat : 3250 (java) S 3233 3235 562 0 -1 4202560 4894 0 0 0 39 2 0 0 20 0 19 0 291176828 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570872801336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3251] ppid=3233 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/3235/task/3251/stat : 3251 (java) S 3233 3235 562 0 -1 4202560 1504 0 0 0 26 0 0 0 20 0 19 0 291176828 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570871748792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3252] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3252/stat : 3252 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570870696440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3253] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3253/stat : 3253 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570869644104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3254] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3254/stat : 3254 (java) S 3233 3235 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291176846 9855979520 34303 33554432000 1073741824 1073778376 140735111297056 140570868589864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

################
# More data... #
################

[pid=3235/tid=3250] ppid=3233 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/3235/task/3250/stat : 3250 (java) S 3233 3235 562 0 -1 4202560 4894 0 0 0 39 2 0 0 20 0 19 0 291176828 9855979520 498513 33554432000 1073741824 1073778376 140735111297056 140570872801336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3251] ppid=3233 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/3235/task/3251/stat : 3251 (java) S 3233 3235 562 0 -1 4202560 1504 0 0 0 26 0 0 0 20 0 19 0 291176828 9855979520 498513 33554432000 1073741824 1073778376 140735111297056 140570871748792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3252] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3252/stat : 3252 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 498513 33554432000 1073741824 1073778376 140735111297056 140570870696440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3253] ppid=3233 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/3235/task/3253/stat : 3253 (java) S 3233 3235 562 0 -1 4202560 95 0 0 0 55 35 0 0 20 0 19 0 291176828 9855979520 498513 33554432000 1073741824 1073778376 140735111297056 140570869644104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3254] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3254/stat : 3254 (java) S 3233 3235 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291176846 9855979520 498513 33554432000 1073741824 1073778376 140735111297056 140570868589864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1675.47
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/215 3327
/proc/meminfo: memFree=27797128/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9624980 CPUtime=1735.63 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 17367 0 1 0 173274 289 0 0 20 0 19 0 291176821 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2406245 498501 2267 9 0 2396937 0
[pid=3235/tid=3237] ppid=3233 vsize=9624980 CPUtime=1709.71 cores=1,3,5,7
/proc/3235/task/3237/stat : 3237 (java) R 3233 3235 562 0 -1 4202560 2710 0 1 0 170941 30 0 0 20 0 19 0 291176822 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140571053154592 140570993395981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3238] ppid=3233 vsize=9624980 CPUtime=2.22 cores=1,3,5,7
/proc/3235/task/3238/stat : 3238 (java) S 3233 3235 562 0 -1 4202560 710 0 0 0 189 33 0 0 20 0 19 0 291176823 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570896579240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3239] ppid=3233 vsize=9624980 CPUtime=1.99 cores=1,3,5,7
/proc/3235/task/3239/stat : 3239 (java) S 3233 3235 562 0 -1 4202560 686 0 0 0 174 25 0 0 20 0 19 0 291176823 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570895526696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3240] ppid=3233 vsize=9624980 CPUtime=2.22 cores=1,3,5,7
/proc/3235/task/3240/stat : 3240 (java) S 3233 3235 562 0 -1 4202560 749 0 0 0 187 35 0 0 20 0 19 0 291176823 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570894474152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3241] ppid=3233 vsize=9624980 CPUtime=2.18 cores=1,3,5,7
/proc/3235/task/3241/stat : 3241 (java) S 3233 3235 562 0 -1 4202560 615 0 0 0 185 33 0 0 20 0 19 0 291176823 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570893421608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3242] ppid=3233 vsize=9624980 CPUtime=2 cores=1,3,5,7
/proc/3235/task/3242/stat : 3242 (java) S 3233 3235 562 0 -1 4202560 583 0 0 0 170 30 0 0 20 0 19 0 291176823 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570892368040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3243] ppid=3233 vsize=9624980 CPUtime=2.03 cores=1,3,5,7
/proc/3235/task/3243/stat : 3243 (java) S 3233 3235 562 0 -1 4202560 826 0 0 0 170 33 0 0 20 0 19 0 291176823 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570891315496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3244] ppid=3233 vsize=9624980 CPUtime=1.97 cores=1,3,5,7
/proc/3235/task/3244/stat : 3244 (java) S 3233 3235 562 0 -1 4202560 778 0 0 0 167 30 0 0 20 0 19 0 291176823 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570890262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3245] ppid=3233 vsize=9624980 CPUtime=1.97 cores=1,3,5,7
/proc/3235/task/3245/stat : 3245 (java) S 3233 3235 562 0 -1 4202560 605 0 0 0 166 31 0 0 20 0 19 0 291176823 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570889210408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3246] ppid=3233 vsize=9624980 CPUtime=3.58 cores=1,3,5,7
/proc/3235/task/3246/stat : 3246 (java) S 3233 3235 562 0 -1 4202560 1423 0 0 0 352 6 0 0 20 0 19 0 291176824 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570877012584 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3247] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3247/stat : 3247 (java) S 3233 3235 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570875958904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3248] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3248/stat : 3248 (java) S 3233 3235 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570874906248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3249] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3249/stat : 3249 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570873854992 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3250] ppid=3233 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/3235/task/3250/stat : 3250 (java) S 3233 3235 562 0 -1 4202560 4894 0 0 0 39 2 0 0 20 0 19 0 291176828 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570872801336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3251] ppid=3233 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/3235/task/3251/stat : 3251 (java) S 3233 3235 562 0 -1 4202560 1504 0 0 0 26 0 0 0 20 0 19 0 291176828 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570871748792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3252] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3252/stat : 3252 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570870696440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3253] ppid=3233 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/3235/task/3253/stat : 3253 (java) S 3233 3235 562 0 -1 4202560 99 0 0 0 56 37 0 0 20 0 19 0 291176828 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570869644104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3254] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3254/stat : 3254 (java) S 3233 3235 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291176846 9855979520 498501 33554432000 1073741824 1073778376 140735111297056 140570868589864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1735.63
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 3387
/proc/meminfo: memFree=28523060/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9624980 CPUtime=1795.96 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 17507 0 1 0 179306 290 0 0 20 0 19 0 291176821 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2406245 500678 2267 9 0 2396937 0
[pid=3235/tid=3237] ppid=3233 vsize=9624980 CPUtime=1769.26 cores=1,3,5,7
/proc/3235/task/3237/stat : 3237 (java) R 3233 3235 562 0 -1 4202560 2711 0 1 0 176895 31 0 0 20 0 19 0 291176822 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140571053154592 140570993337371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3238] ppid=3233 vsize=9624980 CPUtime=2.27 cores=1,3,5,7
/proc/3235/task/3238/stat : 3238 (java) S 3233 3235 562 0 -1 4202560 710 0 0 0 194 33 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570896579240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3239] ppid=3233 vsize=9624980 CPUtime=2.02 cores=1,3,5,7
/proc/3235/task/3239/stat : 3239 (java) S 3233 3235 562 0 -1 4202560 686 0 0 0 177 25 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570895526696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3240] ppid=3233 vsize=9624980 CPUtime=2.28 cores=1,3,5,7
/proc/3235/task/3240/stat : 3240 (java) S 3233 3235 562 0 -1 4202560 749 0 0 0 193 35 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570894474152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3241] ppid=3233 vsize=9624980 CPUtime=2.22 cores=1,3,5,7
/proc/3235/task/3241/stat : 3241 (java) S 3233 3235 562 0 -1 4202560 615 0 0 0 189 33 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570893421608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3242] ppid=3233 vsize=9624980 CPUtime=2.06 cores=1,3,5,7
/proc/3235/task/3242/stat : 3242 (java) S 3233 3235 562 0 -1 4202560 599 0 0 0 176 30 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570892368040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3243] ppid=3233 vsize=9624980 CPUtime=2.09 cores=1,3,5,7
/proc/3235/task/3243/stat : 3243 (java) S 3233 3235 562 0 -1 4202560 826 0 0 0 176 33 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570891315496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3244] ppid=3233 vsize=9624980 CPUtime=2.01 cores=1,3,5,7
/proc/3235/task/3244/stat : 3244 (java) S 3233 3235 562 0 -1 4202560 810 0 0 0 171 30 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570890262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3245] ppid=3233 vsize=9624980 CPUtime=2.09 cores=1,3,5,7
/proc/3235/task/3245/stat : 3245 (java) S 3233 3235 562 0 -1 4202560 635 0 0 0 178 31 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570889210408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3246] ppid=3233 vsize=9624980 CPUtime=3.74 cores=1,3,5,7
/proc/3235/task/3246/stat : 3246 (java) S 3233 3235 562 0 -1 4202560 1480 0 0 0 368 6 0 0 20 0 19 0 291176824 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570877012584 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3247] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3247/stat : 3247 (java) S 3233 3235 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570875958904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3248] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3248/stat : 3248 (java) S 3233 3235 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570874906248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3249] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3249/stat : 3249 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570873854992 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3250] ppid=3233 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/3235/task/3250/stat : 3250 (java) S 3233 3235 562 0 -1 4202560 4894 0 0 0 39 2 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570872801336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3251] ppid=3233 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/3235/task/3251/stat : 3251 (java) S 3233 3235 562 0 -1 4202560 1504 0 0 0 26 0 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570871748792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3252] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3252/stat : 3252 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570870696440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3253] ppid=3233 vsize=9624980 CPUtime=0.96 cores=1,3,5,7
/proc/3235/task/3253/stat : 3253 (java) S 3233 3235 562 0 -1 4202560 103 0 0 0 58 38 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570869644104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3254] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3254/stat : 3254 (java) S 3233 3235 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291176846 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570868589864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.41 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 3387
/proc/meminfo: memFree=28513208/32873844 swapFree=7124/7124
[pid=3235] ppid=3233 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/3235/stat : 3235 (java) S 3233 3235 562 0 -1 4202496 17507 0 1 0 179717 290 0 0 20 0 19 0 291176821 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140735111288192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3235/statm: 2406245 500678 2267 9 0 2396937 0
[pid=3235/tid=3237] ppid=3233 vsize=9624980 CPUtime=1773.36 cores=1,3,5,7
/proc/3235/task/3237/stat : 3237 (java) R 3233 3235 562 0 -1 4202560 2711 0 1 0 177305 31 0 0 20 0 19 0 291176822 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140571053154592 140570993395981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3238] ppid=3233 vsize=9624980 CPUtime=2.27 cores=1,3,5,7
/proc/3235/task/3238/stat : 3238 (java) S 3233 3235 562 0 -1 4202560 710 0 0 0 194 33 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570896579240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3239] ppid=3233 vsize=9624980 CPUtime=2.02 cores=1,3,5,7
/proc/3235/task/3239/stat : 3239 (java) S 3233 3235 562 0 -1 4202560 686 0 0 0 177 25 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570895526696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3240] ppid=3233 vsize=9624980 CPUtime=2.28 cores=1,3,5,7
/proc/3235/task/3240/stat : 3240 (java) S 3233 3235 562 0 -1 4202560 749 0 0 0 193 35 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570894474152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3241] ppid=3233 vsize=9624980 CPUtime=2.22 cores=1,3,5,7
/proc/3235/task/3241/stat : 3241 (java) S 3233 3235 562 0 -1 4202560 615 0 0 0 189 33 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570893421608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3242] ppid=3233 vsize=9624980 CPUtime=2.06 cores=1,3,5,7
/proc/3235/task/3242/stat : 3242 (java) S 3233 3235 562 0 -1 4202560 599 0 0 0 176 30 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570892368040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3243] ppid=3233 vsize=9624980 CPUtime=2.09 cores=1,3,5,7
/proc/3235/task/3243/stat : 3243 (java) S 3233 3235 562 0 -1 4202560 826 0 0 0 176 33 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570891315496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3244] ppid=3233 vsize=9624980 CPUtime=2.01 cores=1,3,5,7
/proc/3235/task/3244/stat : 3244 (java) S 3233 3235 562 0 -1 4202560 810 0 0 0 171 30 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570890262952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3245] ppid=3233 vsize=9624980 CPUtime=2.09 cores=1,3,5,7
/proc/3235/task/3245/stat : 3245 (java) S 3233 3235 562 0 -1 4202560 635 0 0 0 178 31 0 0 20 0 19 0 291176823 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570889210408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3246] ppid=3233 vsize=9624980 CPUtime=3.74 cores=1,3,5,7
/proc/3235/task/3246/stat : 3246 (java) S 3233 3235 562 0 -1 4202560 1480 0 0 0 368 6 0 0 20 0 19 0 291176824 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570877012584 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3247] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3247/stat : 3247 (java) S 3233 3235 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570875958904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3248] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3248/stat : 3248 (java) S 3233 3235 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291176825 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570874906248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3249] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3249/stat : 3249 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570873854992 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3250] ppid=3233 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/3235/task/3250/stat : 3250 (java) S 3233 3235 562 0 -1 4202560 4894 0 0 0 39 2 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570872801336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3235/tid=3251] ppid=3233 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/3235/task/3251/stat : 3251 (java) S 3233 3235 562 0 -1 4202560 1504 0 0 0 26 0 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570871748792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3235/tid=3252] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3252/stat : 3252 (java) S 3233 3235 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570870696440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3235/tid=3253] ppid=3233 vsize=9624980 CPUtime=0.96 cores=1,3,5,7
/proc/3235/task/3253/stat : 3253 (java) S 3233 3235 562 0 -1 4202560 103 0 0 0 58 38 0 0 20 0 19 0 291176828 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570869644104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3235/tid=3254] ppid=3233 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3254/stat : 3254 (java) S 3233 3235 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291176846 9855979520 500678 33554432000 1073741824 1073778376 140735111297056 140570868589864 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3235 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=749460
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=420480
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1786.47
CPU time (s): 1800.07
CPU user time (s): 1797.17
CPU system time (s): 2.9
CPU usage (%): 100.761
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.75
system time used= 3.42048
maximum resident set size= 2002928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17573
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39626
involuntary context switches= 19253

runsolver used 7.60984 second user time and 15.1647 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-29 02:15:14
IDJOB=3718155
IDBENCH=78721
IDSOLVER=2301
FILE ID=node134/3718155-1338250514
RUNJOBID= node134-1338248725-3093
PBS_JOBID= 14624637
Free space on /tmp= 71012 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718155-1338250514/watcher-3718155-1338250514 -o /tmp/evaluation-result-3718155-1338250514/solver-3718155-1338250514 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718155-1338250514.wbo

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

MD5SUM BENCH= 153666059db7da507c96674bc7662476
RANDOM SEED=1294606012

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29807040 kB
Buffers:          449380 kB
Cached:           933208 kB
SwapCached:          416 kB
Active:          2112332 kB
Inactive:          40812 kB
Active(anon):     761356 kB
Inactive(anon):    11384 kB
Active(file):    1350976 kB
Inactive(file):    29428 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107772 kB
Dirty:               524 kB
Writeback:             0 kB
AnonPages:        795180 kB
Mapped:            20852 kB
Shmem:               100 kB
Slab:             753728 kB
SReclaimable:     195392 kB
SUnreclaim:       558336 kB
KernelStack:        1616 kB
PageTables:         5152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1346844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    763904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71012 MiB
End job on node134 at 2012-05-29 02:45:03