Trace number 3731927

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)79541 1800.22 897.668

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUMdccfffd22c38fcd3c497d688dab4b7a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76666
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 79290
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
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 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
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.03/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.06	c See www.sat4j.org for details.
0.03/0.07	c version 2.2.0.v20100531
0.03/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.07	c java.vm.version	19.1-b02
0.03/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.07	c sun.arch.data.model	64
0.03/0.07	c java.version		1.6.0_24
0.03/0.07	c os.name		Linux
0.03/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.07	c os.arch		amd64
0.03/0.07	c Free memory 		1349517296
0.03/0.07	c Max memory 		1356595200
0.03/0.07	c Total memory 		1356595200
0.03/0.07	c Number of processors 	8
0.03/0.10	c Pseudo Boolean Optimization
0.03/0.10	c ManyCore solver with 2 solvers running in parallel
0.03/0.10	c --- Begin Solver configuration ---
0.03/0.10	c Stops conflict analysis at the first Unique Implication Point
0.03/0.10	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.03/0.10	c Learn all clauses as in MiniSAT
0.03/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.03/0.10	c Expensive reason simplification
0.03/0.10	c Armin Biere (Picosat) restarts strategy
0.03/0.10	c Glucose learned constraints deletion strategy
0.03/0.10	c timeout=2147483s
0.03/0.10	c DB Simplification allowed=false
0.03/0.10	c --- End Solver configuration ---
0.03/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.03/0.10	c --- Begin Solver configuration ---
0.03/0.10	c Stops conflict analysis at the first Unique Implication Point
0.03/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.03/0.10	c Learn all clauses as in MiniSAT
0.03/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.03/0.10	c No reason simplification
0.03/0.10	c Armin Biere (Picosat) restarts strategy
0.03/0.10	c Glucose learned constraints deletion strategy
0.03/0.10	c timeout=2147483s
0.03/0.10	c DB Simplification allowed=false
0.03/0.10	c --- End Solver configuration ---
0.03/0.10	
0.03/0.10	c solving HOME/instance-3731927-1338738799.opb
0.03/0.10	c reading problem ... 
1.64/0.92	c ... done. Wall clock time 0.827s.
1.64/0.92	c #vars     2700
1.64/0.92	c #constraints  43070
1.64/0.92	c constraints type 
1.64/0.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17340
1.64/0.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 800
1.64/0.92	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3330
1.64/0.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21600
1.64/0.92	c constraints type 
1.64/0.92	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
1.64/0.92	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
1.64/0.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
1.64/0.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21600
3.51/1.46	c And the winner is Resolution
3.90/1.93	c SATISFIABLE
3.90/1.93	c OPTIMIZING...
3.90/1.93	c Got one! Elapsed wall clock time (in seconds):1.834
3.90/1.93	o 84860
4.46/2.14	c And the winner is Resolution
4.54/2.93	c Got one! Elapsed wall clock time (in seconds):2.838
4.54/2.93	o 80547
6.92/3.92	c cleaning 2483 clauses out of 5001 with flag 5001/5001
12.51/6.64	c cleaning 4231 clauses out of 8518 with flag 11001/11001
17.86/9.33	c cleaning 5641 clauses out of 11287 with flag 18001/18001
24.26/12.53	c cleaning 6815 clauses out of 13646 with flag 26001/26001
29.99/15.41	c cleaning 7904 clauses out of 15830 with flag 35000/35000
46.33/23.56	c cleaning 8922 clauses out of 17926 with flag 45000/45000
61.16/30.94	c cleaning 9968 clauses out of 20004 with flag 56000/56000
68.65/34.71	c cleaning 10987 clauses out of 22037 with flag 68001/68001
84.16/42.56	c cleaning 12021 clauses out of 24049 with flag 81000/81000
102.34/51.61	c cleaning 13002 clauses out of 26029 with flag 95001/95001
106.39/53.75	c cleaning 0 clauses out of 5001 with flag 0/5001
126.69/63.74	c cleaning 13949 clauses out of 28026 with flag 110000/110000
152.39/76.56	c cleaning 15010 clauses out of 30077 with flag 126000/126000
166.11/83.49	c cleaning 16031 clauses out of 32070 with flag 143003/143003
174.72/87.84	c cleaning 17009 clauses out of 34038 with flag 161002/161002
187.85/94.41	c cleaning 18004 clauses out of 36028 with flag 180001/180001
228.20/114.56	c cleaning 18901 clauses out of 38024 with flag 200001/200001
271.08/135.81	c cleaning 20028 clauses out of 40122 with flag 221000/221000
312.84/156.59	c cleaning 21008 clauses out of 42095 with flag 243001/243001
358.70/179.34	c cleaning 22012 clauses out of 44086 with flag 266000/266000
384.83/192.46	c cleaning 23033 clauses out of 46076 with flag 290002/290002
402.36/201.22	c cleaning 23981 clauses out of 48041 with flag 315000/315000
476.10/237.87	c cleaning 25004 clauses out of 50062 with flag 341002/341002
538.12/268.66	c cleaning 25973 clauses out of 52059 with flag 368003/368003
597.67/298.37	c cleaning 27016 clauses out of 54085 with flag 396002/396002
659.37/328.90	c cleaning 27906 clauses out of 56068 with flag 425001/425001
741.62/369.56	c And the winner is Resolution
740.84/370.86	c Got one! Elapsed wall clock time (in seconds):370.764
740.84/370.86	o 79541
741.38/371.17	c cleaning 29079 clauses out of 58161 with flag 455000/455000
758.05/379.68	c cleaning 30036 clauses out of 60083 with flag 486001/486001
780.11/390.98	c cleaning 31017 clauses out of 62047 with flag 518001/518001
800.46/401.22	c cleaning 32002 clauses out of 64029 with flag 551000/551000
874.44/438.06	c cleaning 32937 clauses out of 66027 with flag 585000/585000
952.51/476.84	c cleaning 34001 clauses out of 68090 with flag 620000/620000
1039.98/520.48	c cleaning 34911 clauses out of 70090 with flag 656001/656001
1084.80/542.89	c cleaning 0 clauses out of 11003 with flag 0/11003
1113.38/557.25	c cleaning 36086 clauses out of 72178 with flag 693000/693000
1147.92/574.57	c cleaning 37045 clauses out of 74094 with flag 731002/731002
1204.36/602.95	c cleaning 38015 clauses out of 76048 with flag 770001/770001
1277.43/639.37	c cleaning 38957 clauses out of 78032 with flag 810000/810000
1415.63/707.78	c cleaning 39979 clauses out of 80078 with flag 851003/851003
1556.28/777.58	c cleaning 41031 clauses out of 82098 with flag 893002/893002
1648.32/823.13	c cleaning 41964 clauses out of 84066 with flag 936001/936001
1697.46/847.52	c cleaning 43044 clauses out of 86101 with flag 980000/980000
1757.24/877.13	c cleaning 43496 clauses out of 87058 with flag 1024001/1024001
1798.54/897.62	c starts		: 191
1798.54/897.62	c conflicts		: 1040500
1798.54/897.62	c decisions		: 1832626
1798.54/897.62	c propagations		: 126870099
1798.54/897.62	c inspects		: 3129177443
1798.54/897.62	c learnt literals	: 0
1798.54/897.62	c learnt binary clauses	: 0
1798.54/897.62	c learnt ternary clauses	: 63
1798.54/897.62	c learnt clauses	: 1040500
1798.54/897.62	c ignored clauses	: 0
1798.54/897.62	c root simplifications	: 0
1798.54/897.62	c removed literals (reason simplification)	: 40519646
1798.54/897.62	c reason swapping (by a shorter reason)	: 0
1798.54/897.62	c Calls to reduceDB	: 41
1798.54/897.62	c number of reductions to clauses (during analyze)	: 0
1798.54/897.62	c number of learned constraints concerned by reduction	: 0
1798.54/897.62	c number of learning phase by resolution	: 0
1798.54/897.62	c number of learning phase by cutting planes	: 0
1798.54/897.62	c speed (assignments/second)	: 240852.66746906526
1798.54/897.62	c non guided choices	5537
1798.54/897.65	c learnt constraints type 
1798.54/897.65	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 60081
1798.54/897.65	c constraints type 
1798.54/897.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17340
1798.54/897.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 800
1798.54/897.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3330
1798.54/897.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21601
1798.54/897.65	c constraints type 
1798.54/897.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
1798.54/897.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
1798.54/897.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
1798.54/897.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21601
1798.54/897.65	s SATISFIABLE
1798.54/897.66	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 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 x2695 -x2696 x2697 x2698 -x2699 x2700 
1798.54/897.66	c objective function=79541
1798.54/897.66	c Total wall clock time (in seconds): 897.561

Verifier Data 

OK	79541

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-3731927-1338738799/watcher-3731927-1338738799 -o /tmp/evaluation-result-3731927-1338738799/solver-3731927-1338738799 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3731927-1338738799.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.77 3.76 2.65 2/195 32451
/proc/meminfo: memFree=27519796/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 1188 0 0 0 0 0 0 0 20 0 2 0 340005367 94085120 906 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 22954 901 682 9 0 16769 0
[pid=32451/tid=32452] ppid=32449 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) R 32449 32451 32179 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 2 0 340005368 94019584 913 33554432000 1073741824 1073778376 140733787357952 140733787347016 260190322517 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.042549 s]
/proc/loadavg: 3.77 3.76 2.65 2/195 32451
/proc/meminfo: memFree=27519796/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=2367080 CPUtime=0.03 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 3742 0 1 0 2 1 0 0 20 0 13 0 340005367 2423889920 4949 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 591770 4949 1708 9 0 582471 0
[pid=32451/tid=32452] ppid=32449 vsize=2367080 CPUtime=0.02 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) R 32449 32451 32179 0 -1 4202560 2559 0 1 0 2 0 0 0 20 0 13 0 340005368 2423889920 4949 33554432000 1073741824 1073778376 140733787357952 139953808328256 260193707277 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080

[startup+0.100237 s]
/proc/loadavg: 3.77 3.76 2.65 2/195 32451
/proc/meminfo: memFree=27519796/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 4862 0 1 0 10 1 0 0 20 0 18 0 340005367 2764726272 6515 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 674982 6515 2153 9 0 665676 0
[pid=32451/tid=32452] ppid=32449 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) R 32449 32451 32179 0 -1 4202560 2773 0 1 0 6 2 0 0 20 0 18 0 340005368 2764726272 6515 33554432000 1073741824 1073778376 140733787357952 139953808329648 260193707277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928

[startup+0.300205 s]
/proc/loadavg: 3.77 3.76 2.65 2/195 32451
/proc/meminfo: memFree=27519796/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=2699928 CPUtime=0.56 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 6496 0 1 0 54 2 0 0 20 0 18 0 340005367 2764726272 13571 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 674982 13571 2220 9 0 665676 0
[pid=32451/tid=32452] ppid=32449 vsize=2699928 CPUtime=0.28 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) R 32449 32451 32179 0 -1 4202560 2792 0 1 0 26 2 0 0 20 0 18 0 340005368 2764726272 13571 33554432000 1073741824 1073778376 140733787357952 139953808329648 139953673664046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2699928

[startup+0.700212 s]
/proc/loadavg: 3.77 3.76 2.65 2/195 32451
/proc/meminfo: memFree=27519796/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=2699928 CPUtime=1.44 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 12485 0 1 0 139 5 0 0 20 0 18 0 340005367 2764726272 56602 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 674982 56602 2240 9 0 665676 0
[pid=32451/tid=32452] ppid=32449 vsize=2699928 CPUtime=0.67 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) R 32449 32451 32179 0 -1 4202560 2876 0 1 0 63 4 0 0 20 0 18 0 340005368 2764726272 56602 33554432000 1073741824 1073778376 140733787357952 139953808329648 260193707277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 2699928

[startup+1.50073 s]
/proc/loadavg: 3.77 3.76 2.65 5/217 32475
/proc/meminfo: memFree=27165080/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=2966184 CPUtime=3.84 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 18776 0 1 0 369 15 0 0 20 0 20 0 340005367 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 741546 110110 2274 9 0 732240 0
[pid=32451/tid=32452] ppid=32449 vsize=2966184 CPUtime=0.9 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) S 32449 32451 32179 0 -1 4202560 2942 0 1 0 84 6 0 0 20 0 20 0 340005368 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953808331928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32456] ppid=32449 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/32451/task/32456/stat : 32456 (java) S 32449 32451 32179 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 20 0 340005369 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953792613032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32457] ppid=32449 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/32451/task/32457/stat : 32457 (java) S 32449 32451 32179 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 20 0 340005369 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953673595688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32458] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32458/stat : 32458 (java) S 32449 32451 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340005369 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953672543144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32459] ppid=32449 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/32451/task/32459/stat : 32459 (java) S 32449 32451 32179 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 20 0 340005369 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953671490600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32460] ppid=32449 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/32451/task/32460/stat : 32460 (java) S 32449 32451 32179 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 20 0 340005369 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953670437032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32461] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32461/stat : 32461 (java) S 32449 32451 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340005369 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953669384488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32462] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32462/stat : 32462 (java) S 32449 32451 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340005369 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953668331944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32463] ppid=32449 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/32451/task/32463/stat : 32463 (java) S 32449 32451 32179 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 20 0 340005369 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953667279400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32464] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32464/stat : 32464 (java) S 32449 32451 32179 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 340005370 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953184950888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32465] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32465/stat : 32465 (java) S 32449 32451 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340005370 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953183897208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32466] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32466/stat : 32466 (java) S 32449 32451 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340005370 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953182844552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32467] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32467/stat : 32467 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340005372 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953181793296 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32468] ppid=32449 vsize=2966184 CPUtime=0.9 cores=1,3,5,7
/proc/32451/task/32468/stat : 32468 (java) R 32449 32451 32179 0 -1 4202560 5774 0 0 0 90 0 0 0 20 0 20 0 340005372 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953180733336 139953811953475 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32469] ppid=32449 vsize=2966184 CPUtime=0.81 cores=1,3,5,7
/proc/32451/task/32469/stat : 32469 (java) R 32449 32451 32179 0 -1 4202560 8627 0 0 0 80 1 0 0 20 0 20 0 340005372 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953179674624 139953815305911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32470] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32470/stat : 32470 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340005372 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953178634744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32471] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32471/stat : 32471 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340005372 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953177582408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32474] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32474/stat : 32474 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340005463 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953174423080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32475] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32475/stat : 32475 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340005463 3037372416 110110 33554432000 1073741824 1073778376 140733787357952 139953173370536 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 2966184

[startup+3.10069 s]
/proc/loadavg: 3.94 3.80 2.67 5/219 32481
/proc/meminfo: memFree=27087056/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=2966184 CPUtime=4.98 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 19173 0 1 0 474 24 0 0 20 0 22 0 340005367 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 741546 122480 2276 9 0 732240 0
[pid=32451/tid=32452] ppid=32449 vsize=2966184 CPUtime=0.92 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) S 32449 32451 32179 0 -1 4202560 2943 0 1 0 85 7 0 0 20 0 22 0 340005368 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953808331928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32456] ppid=32449 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/32451/task/32456/stat : 32456 (java) S 32449 32451 32179 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 22 0 340005369 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953792613032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32457] ppid=32449 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/32451/task/32457/stat : 32457 (java) S 32449 32451 32179 0 -1 4202560 37 0 0 0 5 2 0 0 20 0 22 0 340005369 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953673595688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32458] ppid=32449 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/32451/task/32458/stat : 32458 (java) S 32449 32451 32179 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 22 0 340005369 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953672543144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32459] ppid=32449 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/32451/task/32459/stat : 32459 (java) S 32449 32451 32179 0 -1 4202560 42 0 0 0 4 3 0 0 20 0 22 0 340005369 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953671490600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32460] ppid=32449 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/32451/task/32460/stat : 32460 (java) S 32449 32451 32179 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 340005369 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953670437032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32461] ppid=32449 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/32451/task/32461/stat : 32461 (java) S 32449 32451 32179 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 22 0 340005369 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953669384488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32462] ppid=32449 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/32451/task/32462/stat : 32462 (java) S 32449 32451 32179 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 22 0 340005369 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953668331944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32463] ppid=32449 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/32451/task/32463/stat : 32463 (java) S 32449 32451 32179 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 22 0 340005369 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953667279400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32464] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32464/stat : 32464 (java) S 32449 32451 32179 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953184950888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32465] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32465/stat : 32465 (java) S 32449 32451 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953183897208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32466] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32466/stat : 32466 (java) S 32449 32451 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953182844552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32467] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32467/stat : 32467 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953181793296 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32468] ppid=32449 vsize=2966184 CPUtime=1.07 cores=1,3,5,7
/proc/32451/task/32468/stat : 32468 (java) R 32449 32451 32179 0 -1 4202560 5776 0 0 0 107 0 0 0 20 0 22 0 340005372 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953180716088 139953814317235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32469] ppid=32449 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/32451/task/32469/stat : 32469 (java) S 32449 32451 32179 0 -1 4202560 8910 0 0 0 94 1 0 0 20 0 22 0 340005372 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953179687096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32470] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32470/stat : 32470 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953178634744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32471] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32471/stat : 32471 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953177582408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32474] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32474/stat : 32474 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340005463 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953174423080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32475] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32475/stat : 32475 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340005463 3037372416 122480 33554432000 1073741824 1073778376 140733787357952 139953173370536 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 2966184

[startup+6.30075 s]
/proc/loadavg: 3.94 3.80 2.67 5/219 32485
/proc/meminfo: memFree=26873516/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=2966184 CPUtime=11.9 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 21183 0 1 0 1162 28 0 0 20 0 22 0 340005367 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 741546 139892 2288 9 0 732240 0
[pid=32451/tid=32452] ppid=32449 vsize=2966184 CPUtime=0.92 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) S 32449 32451 32179 0 -1 4202560 2943 0 1 0 85 7 0 0 20 0 22 0 340005368 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953808331928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32456] ppid=32449 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/32451/task/32456/stat : 32456 (java) S 32449 32451 32179 0 -1 4202560 39 0 0 0 13 2 0 0 20 0 22 0 340005369 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953792613032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32457] ppid=32449 vsize=2966184 CPUtime=0.17 cores=1,3,5,7
/proc/32451/task/32457/stat : 32457 (java) S 32449 32451 32179 0 -1 4202560 55 0 0 0 14 3 0 0 20 0 22 0 340005369 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953673595688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32458] ppid=32449 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/32451/task/32458/stat : 32458 (java) S 32449 32451 32179 0 -1 4202560 33 0 0 0 7 2 0 0 20 0 22 0 340005369 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953672543144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32459] ppid=32449 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/32451/task/32459/stat : 32459 (java) S 32449 32451 32179 0 -1 4202560 62 0 0 0 12 3 0 0 20 0 22 0 340005369 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953671490600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32460] ppid=32449 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/32451/task/32460/stat : 32460 (java) S 32449 32451 32179 0 -1 4202560 47 0 0 0 11 2 0 0 20 0 22 0 340005369 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953670437032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32461] ppid=32449 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/32451/task/32461/stat : 32461 (java) S 32449 32451 32179 0 -1 4202560 41 0 0 0 10 2 0 0 20 0 22 0 340005369 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953669384488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32462] ppid=32449 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/32451/task/32462/stat : 32462 (java) S 32449 32451 32179 0 -1 4202560 35 0 0 0 7 2 0 0 20 0 22 0 340005369 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953668331944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32463] ppid=32449 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/32451/task/32463/stat : 32463 (java) S 32449 32451 32179 0 -1 4202560 43 0 0 0 11 2 0 0 20 0 22 0 340005369 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953667279400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32464] ppid=32449 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/32451/task/32464/stat : 32464 (java) S 32449 32451 32179 0 -1 4202560 56 0 0 0 16 0 0 0 20 0 22 0 340005370 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953184950888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32465] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32465/stat : 32465 (java) S 32449 32451 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953183897208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32466] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32466/stat : 32466 (java) S 32449 32451 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953182844552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32467] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32467/stat : 32467 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 139892 33554432000 1073741824 1073778376 140733787357952 139953181793296 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=32451/tid=32459] ppid=32449 vsize=2966184 CPUtime=6.33 cores=1,3,5,7
/proc/32451/task/32459/stat : 32459 (java) S 32449 32451 32179 0 -1 4202560 371 0 0 0 622 11 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953671490600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32460] ppid=32449 vsize=2966184 CPUtime=6.33 cores=1,3,5,7
/proc/32451/task/32460/stat : 32460 (java) S 32449 32451 32179 0 -1 4202560 351 0 0 0 624 9 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953670437032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32461] ppid=32449 vsize=2966184 CPUtime=6.17 cores=1,3,5,7
/proc/32451/task/32461/stat : 32461 (java) S 32449 32451 32179 0 -1 4202560 359 0 0 0 609 8 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953669384488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32462] ppid=32449 vsize=2966184 CPUtime=6.18 cores=1,3,5,7
/proc/32451/task/32462/stat : 32462 (java) S 32449 32451 32179 0 -1 4202560 351 0 0 0 609 9 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953668331944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32463] ppid=32449 vsize=2966184 CPUtime=6.28 cores=1,3,5,7
/proc/32451/task/32463/stat : 32463 (java) S 32449 32451 32179 0 -1 4202560 331 0 0 0 620 8 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953667279400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32464] ppid=32449 vsize=2966184 CPUtime=16.34 cores=1,3,5,7
/proc/32451/task/32464/stat : 32464 (java) S 32449 32451 32179 0 -1 4202560 50619 0 0 0 1585 49 0 0 20 0 22 0 340005370 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953184950888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32465] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32465/stat : 32465 (java) S 32449 32451 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953183897208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32466] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32466/stat : 32466 (java) S 32449 32451 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953182844552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32467] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32467/stat : 32467 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953181793296 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32468] ppid=32449 vsize=2966184 CPUtime=1.8 cores=1,3,5,7
/proc/32451/task/32468/stat : 32468 (java) S 32449 32451 32179 0 -1 4202560 8569 0 0 0 178 2 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953180739640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32469] ppid=32449 vsize=2966184 CPUtime=1.15 cores=1,3,5,7
/proc/32451/task/32469/stat : 32469 (java) S 32449 32451 32179 0 -1 4202560 10203 0 0 0 114 1 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953179687096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32470] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32470/stat : 32470 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953178634744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32471] ppid=32449 vsize=2966184 CPUtime=0.33 cores=1,3,5,7
/proc/32451/task/32471/stat : 32471 (java) S 32449 32451 32179 0 -1 4202560 46 0 0 0 13 20 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953177582408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32474] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32474/stat : 32474 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340005463 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953174423080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32475] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32475/stat : 32475 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340005463 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953173370536 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32495] ppid=32449 vsize=2966184 CPUtime=435.67 cores=1,3,5,7
/proc/32451/task/32495/stat : 32495 (java) R 32449 32451 32179 0 -1 4202560 158 0 0 0 43561 6 0 0 20 0 22 0 340042454 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953175473744 139953674539421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32496] ppid=32449 vsize=2966184 CPUtime=435.64 cores=1,3,5,7
/proc/32451/task/32496/stat : 32496 (java) R 32449 32451 32179 0 -1 4202560 205 0 0 0 43558 6 0 0 20 0 22 0 340042454 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953176525616 139953674431320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1646.7
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 4.02 3.98 3.44 5/219 32528
/proc/meminfo: memFree=26299204/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=2966184 CPUtime=1767.27 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 81852 0 1 0 176552 175 0 0 20 0 22 0 340005367 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 741546 237103 2288 9 0 732240 0
[pid=32451/tid=32452] ppid=32449 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) S 32449 32451 32179 0 -1 4202560 2963 0 1 0 87 8 0 0 20 0 22 0 340005368 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953808331928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32456] ppid=32449 vsize=2966184 CPUtime=6.84 cores=1,3,5,7
/proc/32451/task/32456/stat : 32456 (java) S 32449 32451 32179 0 -1 4202560 355 0 0 0 673 11 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953792613032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32457] ppid=32449 vsize=2966184 CPUtime=6.82 cores=1,3,5,7
/proc/32451/task/32457/stat : 32457 (java) S 32449 32451 32179 0 -1 4202560 366 0 0 0 672 10 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953673595688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32458] ppid=32449 vsize=2966184 CPUtime=6.79 cores=1,3,5,7
/proc/32451/task/32458/stat : 32458 (java) S 32449 32451 32179 0 -1 4202560 352 0 0 0 668 11 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953672543144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32459] ppid=32449 vsize=2966184 CPUtime=6.92 cores=1,3,5,7
/proc/32451/task/32459/stat : 32459 (java) S 32449 32451 32179 0 -1 4202560 371 0 0 0 681 11 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953671490600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32460] ppid=32449 vsize=2966184 CPUtime=6.92 cores=1,3,5,7
/proc/32451/task/32460/stat : 32460 (java) S 32449 32451 32179 0 -1 4202560 351 0 0 0 683 9 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953670437032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32461] ppid=32449 vsize=2966184 CPUtime=6.88 cores=1,3,5,7
/proc/32451/task/32461/stat : 32461 (java) S 32449 32451 32179 0 -1 4202560 359 0 0 0 679 9 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953669384488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32462] ppid=32449 vsize=2966184 CPUtime=6.86 cores=1,3,5,7
/proc/32451/task/32462/stat : 32462 (java) S 32449 32451 32179 0 -1 4202560 351 0 0 0 677 9 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953668331944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32463] ppid=32449 vsize=2966184 CPUtime=6.93 cores=1,3,5,7
/proc/32451/task/32463/stat : 32463 (java) S 32449 32451 32179 0 -1 4202560 331 0 0 0 685 8 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953667279400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32464] ppid=32449 vsize=2966184 CPUtime=18.04 cores=1,3,5,7
/proc/32451/task/32464/stat : 32464 (java) S 32449 32451 32179 0 -1 4202560 55105 0 0 0 1750 54 0 0 20 0 22 0 340005370 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953184950888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32465] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32465/stat : 32465 (java) S 32449 32451 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953183897208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32466] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32466/stat : 32466 (java) S 32449 32451 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953182844552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32467] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32467/stat : 32467 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953181793296 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32468] ppid=32449 vsize=2966184 CPUtime=1.8 cores=1,3,5,7
/proc/32451/task/32468/stat : 32468 (java) S 32449 32451 32179 0 -1 4202560 8569 0 0 0 178 2 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953180739640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32469] ppid=32449 vsize=2966184 CPUtime=1.15 cores=1,3,5,7
/proc/32451/task/32469/stat : 32469 (java) S 32449 32451 32179 0 -1 4202560 10203 0 0 0 114 1 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953179687096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32470] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32470/stat : 32470 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953178634744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32471] ppid=32449 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/32451/task/32471/stat : 32471 (java) S 32449 32451 32179 0 -1 4202560 50 0 0 0 15 21 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953177582408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32474] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32474/stat : 32474 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340005463 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953174423080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32475] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32475/stat : 32475 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340005463 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953173370536 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32495] ppid=32449 vsize=2966184 CPUtime=492.55 cores=1,3,5,7
/proc/32451/task/32495/stat : 32495 (java) R 32449 32451 32179 0 -1 4202560 184 0 0 0 49248 7 0 0 20 0 22 0 340042454 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953175473728 139953674501076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32496] ppid=32449 vsize=2966184 CPUtime=492.52 cores=1,3,5,7
/proc/32451/task/32496/stat : 32496 (java) R 32449 32451 32179 0 -1 4202560 234 0 0 0 49245 7 0 0 20 0 22 0 340042454 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953176525616 139953674435800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1767.27
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.607 s]
/proc/loadavg: 4.01 3.98 3.45 5/219 32528
/proc/meminfo: memFree=26294800/32873648 swapFree=7116/7116
[pid=32451] ppid=32449 vsize=2966184 CPUtime=1798.54 cores=1,3,5,7
/proc/32451/stat : 32451 (java) S 32449 32451 32179 0 -1 4202496 81864 0 1 0 179677 177 0 0 20 0 22 0 340005367 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 140733787349088 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32451/statm: 741546 237103 2288 9 0 732240 0
[pid=32451/tid=32452] ppid=32449 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/32451/task/32452/stat : 32452 (java) S 32449 32451 32179 0 -1 4202560 2963 0 1 0 87 8 0 0 20 0 22 0 340005368 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953808331928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32456] ppid=32449 vsize=2966184 CPUtime=7.01 cores=1,3,5,7
/proc/32451/task/32456/stat : 32456 (java) S 32449 32451 32179 0 -1 4202560 355 0 0 0 690 11 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953792613032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32457] ppid=32449 vsize=2966184 CPUtime=6.97 cores=1,3,5,7
/proc/32451/task/32457/stat : 32457 (java) S 32449 32451 32179 0 -1 4202560 366 0 0 0 686 11 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953673595688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32458] ppid=32449 vsize=2966184 CPUtime=6.93 cores=1,3,5,7
/proc/32451/task/32458/stat : 32458 (java) S 32449 32451 32179 0 -1 4202560 352 0 0 0 682 11 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953672543144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32459] ppid=32449 vsize=2966184 CPUtime=7.11 cores=1,3,5,7
/proc/32451/task/32459/stat : 32459 (java) S 32449 32451 32179 0 -1 4202560 371 0 0 0 700 11 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953671490600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32460] ppid=32449 vsize=2966184 CPUtime=7.05 cores=1,3,5,7
/proc/32451/task/32460/stat : 32460 (java) S 32449 32451 32179 0 -1 4202560 351 0 0 0 696 9 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953670437032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32461] ppid=32449 vsize=2966184 CPUtime=7.05 cores=1,3,5,7
/proc/32451/task/32461/stat : 32461 (java) S 32449 32451 32179 0 -1 4202560 359 0 0 0 696 9 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953669384488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32462] ppid=32449 vsize=2966184 CPUtime=7.08 cores=1,3,5,7
/proc/32451/task/32462/stat : 32462 (java) S 32449 32451 32179 0 -1 4202560 351 0 0 0 699 9 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953668331944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32463] ppid=32449 vsize=2966184 CPUtime=7.11 cores=1,3,5,7
/proc/32451/task/32463/stat : 32463 (java) S 32449 32451 32179 0 -1 4202560 331 0 0 0 703 8 0 0 20 0 22 0 340005369 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953667279400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32464] ppid=32449 vsize=2966184 CPUtime=18.05 cores=1,3,5,7
/proc/32451/task/32464/stat : 32464 (java) S 32449 32451 32179 0 -1 4202560 55105 0 0 0 1750 55 0 0 20 0 22 0 340005370 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953184950888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32465] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32465/stat : 32465 (java) S 32449 32451 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953183897208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32466] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32466/stat : 32466 (java) S 32449 32451 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340005370 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953182844552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32467] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32467/stat : 32467 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953181793296 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32451/tid=32468] ppid=32449 vsize=2966184 CPUtime=1.8 cores=1,3,5,7
/proc/32451/task/32468/stat : 32468 (java) S 32449 32451 32179 0 -1 4202560 8569 0 0 0 178 2 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953180739640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32469] ppid=32449 vsize=2966184 CPUtime=1.15 cores=1,3,5,7
/proc/32451/task/32469/stat : 32469 (java) S 32449 32451 32179 0 -1 4202560 10203 0 0 0 114 1 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953179687096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32470] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32470/stat : 32470 (java) S 32449 32451 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953178634744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32451/tid=32471] ppid=32449 vsize=2966184 CPUtime=0.37 cores=1,3,5,7
/proc/32451/task/32471/stat : 32471 (java) S 32449 32451 32179 0 -1 4202560 50 0 0 0 15 22 0 0 20 0 22 0 340005372 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953177582408 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32474] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32474/stat : 32474 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340005463 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953174423080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32451/tid=32475] ppid=32449 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/32451/task/32475/stat : 32475 (java) S 32449 32451 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340005463 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953173370536 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32495] ppid=32449 vsize=2966184 CPUtime=507.45 cores=1,3,5,7
/proc/32451/task/32495/stat : 32495 (java) R 32449 32451 32179 0 -1 4202560 194 0 0 0 50738 7 0 0 20 0 22 0 340042454 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953175473728 139953674539421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32451/tid=32496] ppid=32449 vsize=2966184 CPUtime=507.43 cores=1,3,5,7
/proc/32451/task/32496/stat : 32496 (java) R 32449 32451 32179 0 -1 4202560 236 0 0 0 50736 7 0 0 20 0 22 0 340042454 3037372416 237103 33554432000 1073741824 1073778376 140733787357952 139953176525736 139953674431320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (KiB) 2966184

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 32451 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=928281
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=142674
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1798.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.67993
#  lost CPU user time (s): 1.78998
#  lost CPU system time (s): -0.11

Real time (s): 897.668
CPU time (s): 1800.22
CPU user time (s): 1798.56
CPU system time (s): 1.66
CPU usage (%): 200.544
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.93
system time used= 2.14267
maximum resident set size= 954600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81903
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43774
involuntary context switches= 93246

runsolver used 4.17037 second user time and 7.41487 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-03 17:53:19
IDJOB=3731927
IDBENCH=2011
IDSOLVER=2324
FILE ID=node123/3731927-1338738799
RUNJOBID= node123-1338737887-32196
PBS_JOBID= 14636768
Free space on /tmp= 71300 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731927-1338738799/watcher-3731927-1338738799 -o /tmp/evaluation-result-3731927-1338738799/solver-3731927-1338738799 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3731927-1338738799.opb

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

MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4
RANDOM SEED=1472856463

node123.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.217
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.43
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.217
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	: 5331.91
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.217
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	: 5331.92
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.217
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	: 5331.91
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.217
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	: 5331.91
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.217
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	: 5331.91
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.217
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	: 5331.91
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.217
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27520548 kB
Buffers:         1798520 kB
Cached:          2241392 kB
SwapCached:         2268 kB
Active:          2561908 kB
Inactive:        1901292 kB
Active(anon):     416528 kB
Inactive(anon):     5504 kB
Active(file):    2145380 kB
Inactive(file):  1895788 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              4152 kB
Writeback:             0 kB
AnonPages:        517044 kB
Mapped:            18592 kB
Shmem:                 0 kB
Slab:             751048 kB
SReclaimable:     193944 kB
SUnreclaim:       557104 kB
KernelStack:        1792 kB
PageTables:         4776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1571168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    471040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71300 MiB
End job on node123 at 2012-06-03 18:08:19