Trace number 3688618

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)77 1800.17 928.249

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
MD5SUMf7e9965e006e5669c3252afd9a68998d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1796.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
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 Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 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 c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
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 phase appearing in latest learned clause 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 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 c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3688618-1337878604.opb
0.09/0.12	c reading problem ... 
0.99/0.55	c ... done. Wall clock time 0.43s.
0.99/0.55	c declared #vars     500
0.99/0.55	c internal #vars     6828
0.99/0.55	c #constraints  13156
0.99/0.55	c constraints type 
0.99/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6828
0.99/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
0.99/0.55	c 13156 constraints processed.
0.99/0.55	c constraints type 
0.99/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6828
0.99/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6328
0.99/0.55	c 13156 constraints processed.
0.99/0.55	c objective function length is 500 literals
1.34/0.68	c  And the winner is solver0
2.37/1.05	c SATISFIABLE
2.37/1.05	c OPTIMIZING...
2.37/1.05	c Got one! Elapsed wall clock time (in seconds):0.933
2.37/1.05	o 83
3.44/1.37	c  And the winner is solver1
3.82/1.55	c Got one! Elapsed wall clock time (in seconds):1.437
3.82/1.55	o 82
15.38/6.92	c cleaning 2611 clauses out of 5225 with flag 5000/5225
19.76/9.19	c  And the winner is solver1
19.97/9.61	c Got one! Elapsed wall clock time (in seconds):9.489
19.97/9.61	o 81
26.15/12.67	c  And the winner is solver1
26.32/13.11	c Got one! Elapsed wall clock time (in seconds):12.991
26.32/13.11	o 80
29.36/14.61	c  And the winner is solver1
29.40/15.11	c Got one! Elapsed wall clock time (in seconds):14.993
29.40/15.11	o 79
31.19/16.06	c cleaning 4997 clauses out of 9993 with flag 1001/12604
35.86/18.45	c  And the winner is solver1
35.97/18.86	c Got one! Elapsed wall clock time (in seconds):18.745
35.97/18.86	o 78
43.89/22.88	c cleaning 5477 clauses out of 10961 with flag 4000/18569
56.93/29.42	c cleaning 5740 clauses out of 11485 with flag 10001/24570
72.19/37.24	c cleaning 6362 clauses out of 12744 with flag 17000/31569
75.99/39.24	c  And the winner is solver1
75.98/39.58	c Got one! Elapsed wall clock time (in seconds):39.468
75.98/39.58	o 77
84.00/43.65	c cleaning 5958 clauses out of 11917 with flag 4005/37104
97.29/50.40	c cleaning 5971 clauses out of 11957 with flag 10003/43102
112.13/58.05	c cleaning 6482 clauses out of 12983 with flag 17000/50099
129.88/67.28	c cleaning 7250 clauses out of 14501 with flag 25000/58099
149.83/77.48	c cleaning 8114 clauses out of 16251 with flag 34000/67099
171.53/88.58	c cleaning 9064 clauses out of 18137 with flag 44000/77099
195.16/100.66	c cleaning 10035 clauses out of 20073 with flag 55000/88099
223.62/116.10	c cleaning 11004 clauses out of 22038 with flag 67000/100099
253.40/131.16	c cleaning 12018 clauses out of 24036 with flag 80002/113101
285.35/147.43	c cleaning 12998 clauses out of 26016 with flag 94000/127099
320.13/165.44	c cleaning 13992 clauses out of 28018 with flag 109000/142099
355.36/183.49	c cleaning 15003 clauses out of 30026 with flag 125000/158099
393.15/202.71	c cleaning 16000 clauses out of 32023 with flag 142000/175099
414.82/214.04	c cleaning 0 clauses out of 6852 with flag 0/6852
435.80/225.26	c cleaning 16988 clauses out of 34024 with flag 160001/193100
480.25/248.86	c cleaning 18013 clauses out of 36042 with flag 179007/212106
526.23/272.23	c cleaning 19012 clauses out of 38023 with flag 199001/232100
575.34/297.70	c cleaning 20003 clauses out of 40010 with flag 220000/253099
626.45/323.84	c cleaning 20991 clauses out of 42007 with flag 242000/275099
678.95/350.63	c cleaning 22002 clauses out of 44016 with flag 265000/298099
732.96/378.22	c cleaning 23005 clauses out of 46017 with flag 289003/322102
789.82/407.74	c cleaning 23986 clauses out of 48009 with flag 314000/347099
849.08/438.05	c cleaning 25000 clauses out of 50023 with flag 340000/373099
911.15/469.78	c cleaning 26002 clauses out of 52024 with flag 367001/400100
975.11/502.46	c cleaning 27010 clauses out of 54022 with flag 395001/428100
1043.39/537.81	c cleaning 27995 clauses out of 56012 with flag 424001/457100
1112.99/573.36	c cleaning 29009 clauses out of 58019 with flag 454003/487102
1182.29/608.76	c cleaning 30003 clauses out of 60007 with flag 485000/518099
1254.36/645.55	c cleaning 30996 clauses out of 62004 with flag 517000/550099
1331.78/685.54	c cleaning 32002 clauses out of 64008 with flag 550000/583099
1409.82/725.38	c cleaning 32998 clauses out of 66006 with flag 584000/617099
1488.64/765.60	c cleaning 34003 clauses out of 68008 with flag 619000/652099
1569.97/807.08	c cleaning 34988 clauses out of 70005 with flag 655000/688099
1595.59/821.41	c cleaning 0 clauses out of 12852 with flag 0/12852
1660.76/856.17	c cleaning 35993 clauses out of 72017 with flag 692000/725099
1746.54/899.87	c cleaning 37004 clauses out of 74025 with flag 730001/763100
1800.16/928.21	c starts		: 46
1800.16/928.21	c conflicts		: 13574
1800.16/928.21	c decisions		: 77114
1800.16/928.21	c propagations		: 3277258
1800.16/928.21	c inspects		: 724288802
1800.16/928.21	c shortcuts		: 0
1800.16/928.21	c learnt literals	: 0
1800.16/928.21	c learnt binary clauses	: 0
1800.16/928.21	c learnt ternary clauses	: 0
1800.16/928.21	c learnt constraints	: 13574
1800.16/928.21	c ignored constraints	: 0
1800.16/928.21	c root simplifications	: 0
1800.16/928.21	c removed literals (reason simplification)	: 0
1800.16/928.21	c reason swapping (by a shorter reason)	: 0
1800.16/928.21	c Calls to reduceDB	: 2
1800.16/928.21	c number of reductions to clauses (during analyze)	: 0
1800.16/928.21	c number of learned constraints concerned by reduction	: 0
1800.16/928.21	c number of learning phase by resolution	: 0
1800.16/928.21	c number of learning phase by cutting planes	: 0
1800.16/928.21	c speed (assignments/second)	: 3534.7504298099343
1800.16/928.21	c non guided choices	0
1800.16/928.21	c learnt constraints type 
1800.16/928.21	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 3
1800.16/928.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 162
1800.16/928.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13409
1800.16/928.22	c constraints type 
1800.16/928.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6828
1800.16/928.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.16/928.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
1800.16/928.22	c 13157 constraints processed.
1800.16/928.22	c constraints type 
1800.16/928.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6828
1800.16/928.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.16/928.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6328
1800.16/928.22	c 13157 constraints processed.
1800.16/928.22	s SATISFIABLE
1800.16/928.22	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 
1800.16/928.22	c objective function=77
1800.16/928.22	c Total wall clock time (in seconds): 928.101

Verifier Data

OK	77

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

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

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


[startup+0 s]
/proc/loadavg: 3.75 3.91 3.90 4/197 24008
/proc/meminfo: memFree=28785340/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24008/stat : 24008 (java) D 24006 24008 21381 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 253986138 9515008 184 33554432000 1073741824 1073778376 140736236190656 140736236181880 270329867703 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/24008/statm: 2323 184 142 9 0 71 0

[startup+0.0444699 s]
/proc/loadavg: 3.75 3.91 3.90 4/197 24008
/proc/meminfo: memFree=28785340/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/24008/stat : 24008 (java) S 24006 24008 21381 0 -1 4202496 3044 0 1 0 1 0 0 0 20 0 13 0 253986138 9446973440 3231 33554432000 1073741824 1073778376 140735282491408 140735282482544 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24008/statm: 2306390 3232 1683 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100199 s]
/proc/loadavg: 3.75 3.91 3.90 4/197 24008
/proc/meminfo: memFree=28785340/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/24008/stat : 24008 (java) S 24006 24008 21381 0 -1 4202496 4321 0 1 0 8 1 0 0 20 0 18 0 253986138 9787813888 5010 33554432000 1073741824 1073778376 140735282491408 140735282482544 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24008/statm: 2389603 5010 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300169 s]
/proc/loadavg: 3.75 3.91 3.90 4/197 24008
/proc/meminfo: memFree=28785340/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/24008/stat : 24008 (java) S 24006 24008 21381 0 -1 4202496 6200 0 1 0 44 2 0 0 20 0 18 0 253986138 9787813888 7929 33554432000 1073741824 1073778376 140735282491408 140735282482544 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24008/statm: 2389603 7929 2228 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700171 s]
/proc/loadavg: 3.75 3.91 3.90 4/197 24008
/proc/meminfo: memFree=28785340/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9824668 CPUtime=1.73 cores=0,2,4,6
/proc/24008/stat : 24008 (java) S 24006 24008 21381 0 -1 4202496 22463 0 1 0 166 7 0 0 20 0 20 0 253986138 10060460032 24714 33554432000 1073741824 1073778376 140735282491408 140735282482544 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24008/statm: 2456167 24714 2246 9 0 2446860 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 9824668

[startup+1.50063 s]
/proc/loadavg: 3.75 3.91 3.90 5/216 24030
/proc/meminfo: memFree=28690464/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9824668 CPUtime=3.82 cores=0,2,4,6
/proc/24008/stat : 24008 (java) S 24006 24008 21381 0 -1 4202496 30603 0 1 0 371 11 0 0 20 0 19 0 253986138 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140735282482544 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24008/statm: 2456167 29601 2259 9 0 2446860 0
[pid=24008/tid=24010] ppid=24006 vsize=9824668 CPUtime=0.52 cores=0,2,4,6
/proc/24008/task/24010/stat : 24010 (java) S 24006 24008 21381 0 -1 4202560 2519 0 1 0 50 2 0 0 20 0 19 0 253986139 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162898658296 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24011] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24011/stat : 24011 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986140 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162837388328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24012] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24012/stat : 24012 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986140 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162836335528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24013] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24013/stat : 24013 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986140 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162740468520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24014] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24014/stat : 24014 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986140 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162739415720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24015] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24015/stat : 24015 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986140 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162738362920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24016] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24016/stat : 24016 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986140 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162737310120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24017] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24017/stat : 24017 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986140 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162736257320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24018] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24018/stat : 24018 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253986140 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162735204520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24019] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24019/stat : 24019 (java) S 24006 24008 21381 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253986141 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162722794472 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24020] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24020/stat : 24020 (java) S 24006 24008 21381 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253986142 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162721740536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24021] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24021/stat : 24021 (java) S 24006 24008 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253986142 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162720687624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24022] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24022/stat : 24022 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986144 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162719636112 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24023] ppid=24006 vsize=9824668 CPUtime=1.15 cores=0,2,4,6
/proc/24008/task/24023/stat : 24023 (java) S 24006 24008 21381 0 -1 4202560 14489 0 0 0 112 3 0 0 20 0 19 0 253986144 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162718583224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24024] ppid=24006 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/24008/task/24024/stat : 24024 (java) S 24006 24008 21381 0 -1 4202560 12270 0 0 0 114 2 0 0 20 0 19 0 253986144 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162717530424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24025] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24025/stat : 24025 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986144 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162716477816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24026] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24026/stat : 24026 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253986144 10060460032 29601 33554432000 1073741824 1073778376 140735282491408 140162715425224 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9824668

[startup+3.10071 s]
/proc/loadavg: 3.61 3.88 3.89 5/219 24036
/proc/meminfo: memFree=28467584/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9824668 CPUtime=7.41 cores=0,2,4,6
/proc/24008/stat : 24008 (java) S 24006 24008 21381 0 -1 4202496 30870 0 1 0 725 16 0 0 20 0 22 0 253986138 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140735282482544 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24008/statm: 2456167 55389 2276 9 0 2446860 0
[pid=24008/tid=24010] ppid=24006 vsize=9824668 CPUtime=0.52 cores=0,2,4,6
/proc/24008/task/24010/stat : 24010 (java) S 24006 24008 21381 0 -1 4202560 2520 0 1 0 50 2 0 0 20 0 22 0 253986139 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162898658296 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24011] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24011/stat : 24011 (java) S 24006 24008 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253986140 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162837388328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24012] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24012/stat : 24012 (java) S 24006 24008 21381 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253986140 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162836335528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24013] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24013/stat : 24013 (java) S 24006 24008 21381 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253986140 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162740468520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24014] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24014/stat : 24014 (java) S 24006 24008 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253986140 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162739415720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24015] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24015/stat : 24015 (java) S 24006 24008 21381 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253986140 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162738362920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24016] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24016/stat : 24016 (java) S 24006 24008 21381 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253986140 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162737310120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24017] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24017/stat : 24017 (java) S 24006 24008 21381 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253986140 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162736257320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24018] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24018/stat : 24018 (java) S 24006 24008 21381 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253986140 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162735204520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24019] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24019/stat : 24019 (java) S 24006 24008 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253986141 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162722794472 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24020] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24020/stat : 24020 (java) S 24006 24008 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162721740536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24021] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24021/stat : 24021 (java) S 24006 24008 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162720687624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24022] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24022/stat : 24022 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162719636112 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24023] ppid=24006 vsize=9824668 CPUtime=1.41 cores=0,2,4,6
/proc/24008/task/24023/stat : 24023 (java) S 24006 24008 21381 0 -1 4202560 14626 0 0 0 138 3 0 0 20 0 22 0 253986144 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162718583224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24024] ppid=24006 vsize=9824668 CPUtime=1.39 cores=0,2,4,6
/proc/24008/task/24024/stat : 24024 (java) S 24006 24008 21381 0 -1 4202560 12291 0 0 0 136 3 0 0 20 0 22 0 253986144 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162717530424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24025] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24025/stat : 24025 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162716477816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24026] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24026/stat : 24026 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162715425224 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24033] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24033/stat : 24033 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253986244 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162711212968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24034] ppid=24006 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/24008/task/24034/stat : 24034 (java) R 24006 24008 21381 0 -1 4202560 6 0 0 0 149 0 0 0 20 0 22 0 253986294 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162713317912 140162839434217 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24035] ppid=24006 vsize=9824668 CPUtime=1.5 cores=0,2,4,6
/proc/24008/task/24035/stat : 24035 (java) R 24006 24008 21381 0 -1 4202560 44 0 0 0 148 2 0 0 20 0 22 0 253986294 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162714370440 140162839619115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24036] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24036/stat : 24036 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253986294 10060460032 55389 33554432000 1073741824 1073778376 140735282491408 140162712266280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9824668

[startup+6.30072 s]
/proc/loadavg: 3.61 3.88 3.89 5/219 24036
/proc/meminfo: memFree=28063472/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9824668 CPUtime=14 cores=0,2,4,6
/proc/24008/stat : 24008 (java) S 24006 24008 21381 0 -1 4202496 31509 0 1 0 1379 21 0 0 20 0 22 0 253986138 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140735282482544 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24008/statm: 2456167 64545 2276 9 0 2446860 0
[pid=24008/tid=24010] ppid=24006 vsize=9824668 CPUtime=0.52 cores=0,2,4,6
/proc/24008/task/24010/stat : 24010 (java) S 24006 24008 21381 0 -1 4202560 2521 0 1 0 50 2 0 0 20 0 22 0 253986139 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162898658296 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24011] ppid=24006 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24008/task/24011/stat : 24011 (java) S 24006 24008 21381 0 -1 4202560 16 0 0 0 1 1 0 0 20 0 22 0 253986140 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162837388328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24012] ppid=24006 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24008/task/24012/stat : 24012 (java) S 24006 24008 21381 0 -1 4202560 135 0 0 0 4 0 0 0 20 0 22 0 253986140 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162836335528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24013] ppid=24006 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24008/task/24013/stat : 24013 (java) S 24006 24008 21381 0 -1 4202560 140 0 0 0 3 0 0 0 20 0 22 0 253986140 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162740468520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24014] ppid=24006 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24008/task/24014/stat : 24014 (java) S 24006 24008 21381 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 253986140 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162739415720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24015] ppid=24006 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/24008/task/24015/stat : 24015 (java) S 24006 24008 21381 0 -1 4202560 148 0 0 0 3 2 0 0 20 0 22 0 253986140 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162738362920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24016] ppid=24006 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24008/task/24016/stat : 24016 (java) S 24006 24008 21381 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 253986140 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162737310120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24017] ppid=24006 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/24008/task/24017/stat : 24017 (java) S 24006 24008 21381 0 -1 4202560 138 0 0 0 5 1 0 0 20 0 22 0 253986140 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162736257320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24018] ppid=24006 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24008/task/24018/stat : 24018 (java) S 24006 24008 21381 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253986140 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162735204520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24019] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24019/stat : 24019 (java) S 24006 24008 21381 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253986141 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162722794472 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24020] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24020/stat : 24020 (java) S 24006 24008 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162721740536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24021] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24021/stat : 24021 (java) S 24006 24008 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162720687624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24022] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24022/stat : 24022 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162719636112 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24023] ppid=24006 vsize=9824668 CPUtime=1.41 cores=0,2,4,6
/proc/24008/task/24023/stat : 24023 (java) S 24006 24008 21381 0 -1 4202560 14626 0 0 0 138 3 0 0 20 0 22 0 253986144 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162718583224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24024] ppid=24006 vsize=9824668 CPUtime=1.5 cores=0,2,4,6
/proc/24008/task/24024/stat : 24024 (java) S 24006 24008 21381 0 -1 4202560 12297 0 0 0 147 3 0 0 20 0 22 0 253986144 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162717530424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24025] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24025/stat : 24025 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162716477816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24026] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24026/stat : 24026 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162715425224 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24033] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24033/stat : 24033 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253986244 10060460032 64545 33554432000 1073741824 1073778376 140735282491408 140162711212968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=24008/tid=24014] ppid=24006 vsize=9824668 CPUtime=1.98 cores=0,2,4,6
/proc/24008/task/24014/stat : 24014 (java) S 24006 24008 21381 0 -1 4202560 360 0 0 0 185 13 0 0 20 0 22 0 253986140 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162739415720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24015] ppid=24006 vsize=9824668 CPUtime=2.16 cores=0,2,4,6
/proc/24008/task/24015/stat : 24015 (java) S 24006 24008 21381 0 -1 4202560 471 0 0 0 204 12 0 0 20 0 22 0 253986140 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162738362920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24016] ppid=24006 vsize=9824668 CPUtime=2.04 cores=0,2,4,6
/proc/24008/task/24016/stat : 24016 (java) S 24006 24008 21381 0 -1 4202560 412 0 0 0 193 11 0 0 20 0 22 0 253986140 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162737310120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24017] ppid=24006 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/24008/task/24017/stat : 24017 (java) S 24006 24008 21381 0 -1 4202560 664 0 0 0 169 11 0 0 20 0 22 0 253986140 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162736257320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24018] ppid=24006 vsize=9824668 CPUtime=1.73 cores=0,2,4,6
/proc/24008/task/24018/stat : 24018 (java) S 24006 24008 21381 0 -1 4202560 411 0 0 0 165 8 0 0 20 0 22 0 253986140 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162735204520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24019] ppid=24006 vsize=9824668 CPUtime=53.13 cores=0,2,4,6
/proc/24008/task/24019/stat : 24019 (java) R 24006 24008 21381 0 -1 4202560 4223 0 0 0 5294 19 0 0 20 0 22 0 253986141 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162722793448 140162904784015 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24020] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24020/stat : 24020 (java) S 24006 24008 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162721740536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24021] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24021/stat : 24021 (java) S 24006 24008 21381 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162720687624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24022] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24022/stat : 24022 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162719636112 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24023] ppid=24006 vsize=9824668 CPUtime=2.15 cores=0,2,4,6
/proc/24008/task/24023/stat : 24023 (java) S 24006 24008 21381 0 -1 4202560 15499 0 0 0 212 3 0 0 20 0 22 0 253986144 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162718583224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24024] ppid=24006 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/24008/task/24024/stat : 24024 (java) S 24006 24008 21381 0 -1 4202560 12304 0 0 0 172 3 0 0 20 0 22 0 253986144 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162717530424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24025] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24025/stat : 24025 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162716477816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24026] ppid=24006 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/24008/task/24026/stat : 24026 (java) S 24006 24008 21381 0 -1 4202560 47 0 0 0 17 11 0 0 20 0 22 0 253986144 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162715425224 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24033] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24033/stat : 24033 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253986244 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162711212968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24049] ppid=24006 vsize=9824668 CPUtime=725.14 cores=0,2,4,6
/proc/24008/task/24049/stat : 24049 (java) S 24006 24008 21381 0 -1 4202560 22 0 0 0 72503 11 0 0 20 0 22 0 253990097 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162713315816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24050] ppid=24006 vsize=9824668 CPUtime=725.16 cores=0,2,4,6
/proc/24008/task/24050/stat : 24050 (java) S 24006 24008 21381 0 -1 4202560 443 0 0 0 72493 23 0 0 20 0 22 0 253990097 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162714370264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24051] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24051/stat : 24051 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253990097 10060460032 973659 33554432000 1073741824 1073778376 140735282491408 140162712266408 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1596.61
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.83 3.87 3.89 5/219 24086
/proc/meminfo: memFree=21984928/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9824668 CPUtime=1711.28 cores=0,2,4,6
/proc/24008/stat : 24008 (java) S 24006 24008 21381 0 -1 4202496 42492 0 1 0 170957 171 0 0 20 0 22 0 253986138 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140735282482544 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24008/statm: 2456167 990311 2289 9 0 2446860 0
[pid=24008/tid=24010] ppid=24006 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/24008/task/24010/stat : 24010 (java) S 24006 24008 21381 0 -1 4202560 2540 0 1 0 53 4 0 0 20 0 22 0 253986139 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162898658296 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24011] ppid=24006 vsize=9824668 CPUtime=2.07 cores=0,2,4,6
/proc/24008/task/24011/stat : 24011 (java) S 24006 24008 21381 0 -1 4202560 361 0 0 0 193 14 0 0 20 0 22 0 253986140 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162837388328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24012] ppid=24006 vsize=9824668 CPUtime=2.38 cores=0,2,4,6
/proc/24008/task/24012/stat : 24012 (java) S 24006 24008 21381 0 -1 4202560 538 0 0 0 228 10 0 0 20 0 22 0 253986140 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162836335528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24013] ppid=24006 vsize=9824668 CPUtime=2.25 cores=0,2,4,6
/proc/24008/task/24013/stat : 24013 (java) S 24006 24008 21381 0 -1 4202560 585 0 0 0 214 11 0 0 20 0 22 0 253986140 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162740468520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24014] ppid=24006 vsize=9824668 CPUtime=2.32 cores=0,2,4,6
/proc/24008/task/24014/stat : 24014 (java) S 24006 24008 21381 0 -1 4202560 376 0 0 0 219 13 0 0 20 0 22 0 253986140 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162739415720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24015] ppid=24006 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/24008/task/24015/stat : 24015 (java) S 24006 24008 21381 0 -1 4202560 481 0 0 0 218 12 0 0 20 0 22 0 253986140 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162738362920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24016] ppid=24006 vsize=9824668 CPUtime=2.18 cores=0,2,4,6
/proc/24008/task/24016/stat : 24016 (java) S 24006 24008 21381 0 -1 4202560 412 0 0 0 206 12 0 0 20 0 22 0 253986140 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162737310120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24017] ppid=24006 vsize=9824668 CPUtime=1.94 cores=0,2,4,6
/proc/24008/task/24017/stat : 24017 (java) S 24006 24008 21381 0 -1 4202560 672 0 0 0 183 11 0 0 20 0 22 0 253986140 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162736257320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24018] ppid=24006 vsize=9824668 CPUtime=1.91 cores=0,2,4,6
/proc/24008/task/24018/stat : 24018 (java) S 24006 24008 21381 0 -1 4202560 425 0 0 0 183 8 0 0 20 0 22 0 253986140 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162735204520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24019] ppid=24006 vsize=9824668 CPUtime=59.2 cores=0,2,4,6
/proc/24008/task/24019/stat : 24019 (java) S 24006 24008 21381 0 -1 4202560 5602 0 0 0 5901 19 0 0 20 0 22 0 253986141 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162722794472 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24020] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24020/stat : 24020 (java) S 24006 24008 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162721740536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24021] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24021/stat : 24021 (java) S 24006 24008 21381 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162720687624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24022] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24022/stat : 24022 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162719636112 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24023] ppid=24006 vsize=9824668 CPUtime=2.15 cores=0,2,4,6
/proc/24008/task/24023/stat : 24023 (java) S 24006 24008 21381 0 -1 4202560 15499 0 0 0 212 3 0 0 20 0 22 0 253986144 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162718583224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24024] ppid=24006 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/24008/task/24024/stat : 24024 (java) S 24006 24008 21381 0 -1 4202560 12304 0 0 0 172 3 0 0 20 0 22 0 253986144 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162717530424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24025] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24025/stat : 24025 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162716477816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24026] ppid=24006 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/24008/task/24026/stat : 24026 (java) S 24006 24008 21381 0 -1 4202560 51 0 0 0 19 12 0 0 20 0 22 0 253986144 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162715425224 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24033] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24033/stat : 24033 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253986244 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162711212968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24049] ppid=24006 vsize=9824668 CPUtime=778.5 cores=0,2,4,6
/proc/24008/task/24049/stat : 24049 (java) R 24006 24008 21381 0 -1 4202560 24 0 0 0 77839 11 0 0 20 0 22 0 253990097 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162713315744 140162838898250 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24050] ppid=24006 vsize=9824668 CPUtime=778.51 cores=0,2,4,6
/proc/24008/task/24050/stat : 24050 (java) R 24006 24008 21381 0 -1 4202560 444 0 0 0 77828 23 0 0 20 0 22 0 253990097 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162714369200 140162839639585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24051] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24051/stat : 24051 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253990097 10060460032 990311 33554432000 1073741824 1073778376 140735282491408 140162712266408 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1711.28
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+928.201 s]
/proc/loadavg: 3.68 3.81 3.86 5/219 24229
/proc/meminfo: memFree=24241340/32873660 swapFree=7108/7108
[pid=24008] ppid=24006 vsize=9824668 CPUtime=1800.16 cores=0,2,4,6
/proc/24008/stat : 24008 (java) S 24006 24008 21381 0 -1 4202496 42620 0 1 0 179843 173 0 0 20 0 22 0 253986138 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140735282482544 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24008/statm: 2456167 991935 2289 9 0 2446860 0
[pid=24008/tid=24010] ppid=24006 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/24008/task/24010/stat : 24010 (java) S 24006 24008 21381 0 -1 4202560 2540 0 1 0 53 4 0 0 20 0 22 0 253986139 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162898658296 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24011] ppid=24006 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/24008/task/24011/stat : 24011 (java) S 24006 24008 21381 0 -1 4202560 370 0 0 0 207 14 0 0 20 0 22 0 253986140 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162837388328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24012] ppid=24006 vsize=9824668 CPUtime=2.52 cores=0,2,4,6
/proc/24008/task/24012/stat : 24012 (java) S 24006 24008 21381 0 -1 4202560 550 0 0 0 242 10 0 0 20 0 22 0 253986140 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162836335528 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24013] ppid=24006 vsize=9824668 CPUtime=2.35 cores=0,2,4,6
/proc/24008/task/24013/stat : 24013 (java) S 24006 24008 21381 0 -1 4202560 592 0 0 0 224 11 0 0 20 0 22 0 253986140 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162740468520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24014] ppid=24006 vsize=9824668 CPUtime=2.44 cores=0,2,4,6
/proc/24008/task/24014/stat : 24014 (java) S 24006 24008 21381 0 -1 4202560 376 0 0 0 231 13 0 0 20 0 22 0 253986140 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162739415720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24015] ppid=24006 vsize=9824668 CPUtime=2.51 cores=0,2,4,6
/proc/24008/task/24015/stat : 24015 (java) S 24006 24008 21381 0 -1 4202560 510 0 0 0 239 12 0 0 20 0 22 0 253986140 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162738362920 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24016] ppid=24006 vsize=9824668 CPUtime=2.32 cores=0,2,4,6
/proc/24008/task/24016/stat : 24016 (java) S 24006 24008 21381 0 -1 4202560 412 0 0 0 220 12 0 0 20 0 22 0 253986140 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162737310120 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24017] ppid=24006 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/24008/task/24017/stat : 24017 (java) S 24006 24008 21381 0 -1 4202560 684 0 0 0 199 11 0 0 20 0 22 0 253986140 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162736257320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24018] ppid=24006 vsize=9824668 CPUtime=2.06 cores=0,2,4,6
/proc/24008/task/24018/stat : 24018 (java) S 24006 24008 21381 0 -1 4202560 429 0 0 0 198 8 0 0 20 0 22 0 253986140 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162735204520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24019] ppid=24006 vsize=9824668 CPUtime=62.66 cores=0,2,4,6
/proc/24008/task/24019/stat : 24019 (java) S 24006 24008 21381 0 -1 4202560 5650 0 0 0 6247 19 0 0 20 0 22 0 253986141 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162722794472 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24020] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24020/stat : 24020 (java) S 24006 24008 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162721740536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24021] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24021/stat : 24021 (java) S 24006 24008 21381 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253986142 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162720687624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24022] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24022/stat : 24022 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162719636112 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24023] ppid=24006 vsize=9824668 CPUtime=2.15 cores=0,2,4,6
/proc/24008/task/24023/stat : 24023 (java) S 24006 24008 21381 0 -1 4202560 15499 0 0 0 212 3 0 0 20 0 22 0 253986144 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162718583224 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24024] ppid=24006 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/24008/task/24024/stat : 24024 (java) S 24006 24008 21381 0 -1 4202560 12304 0 0 0 172 3 0 0 20 0 22 0 253986144 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162717530424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24008/tid=24025] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24025/stat : 24025 (java) S 24006 24008 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986144 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162716477816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24008/tid=24026] ppid=24006 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/24008/task/24026/stat : 24026 (java) S 24006 24008 21381 0 -1 4202560 53 0 0 0 19 13 0 0 20 0 22 0 253986144 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162715425224 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24033] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24033/stat : 24033 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253986244 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162711212968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24049] ppid=24006 vsize=9824668 CPUtime=820.51 cores=0,2,4,6
/proc/24008/task/24049/stat : 24049 (java) R 24006 24008 21381 0 -1 4202560 25 0 0 0 82039 12 0 0 20 0 22 0 253990097 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162713316560 140162839434822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24008/tid=24050] ppid=24006 vsize=9824668 CPUtime=820.52 cores=0,2,4,6
/proc/24008/task/24050/stat : 24050 (java) R 24006 24008 21381 0 -1 4202560 448 0 0 0 82028 24 0 0 20 0 22 0 253990097 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162714370272 140162839444440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24008/tid=24051] ppid=24006 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24008/task/24051/stat : 24051 (java) S 24006 24008 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253990097 10060460032 991935 33554432000 1073741824 1073778376 140735282491408 140162712266408 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668

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 24008 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=958276
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=131675
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.16
#
# 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): 0.0100021
#  lost CPU user time (s): 0.0299988
#  lost CPU system time (s): -0.02

Real time (s): 928.249
CPU time (s): 1800.17
CPU user time (s): 1798.46
CPU system time (s): 1.71
CPU usage (%): 193.932
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.96
system time used= 2.13167
maximum resident set size= 3967852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42650
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24849
involuntary context switches= 35246

runsolver used 3.35249 second user time and 8.27274 second system time

The end

Launcher Data

Begin job on node117 at 2012-05-24 18:56:44
IDJOB=3688618
IDBENCH=48131
IDSOLVER=2268
FILE ID=node117/3688618-1337878604
RUNJOBID= node117-1337871880-21397
PBS_JOBID= 14620087
Free space on /tmp= 71624 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688618-1337878604/watcher-3688618-1337878604 -o /tmp/evaluation-result-3688618-1337878604/solver-3688618-1337878604 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688618-1337878604.opb

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

MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d
RANDOM SEED=1240642930

node117.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.148
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.29
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.148
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.148
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.91
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.148
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.95
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.148
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.148
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.148
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.148
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:       32873660 kB
MemFree:        28785496 kB
Buffers:          221604 kB
Cached:          2286776 kB
SwapCached:            0 kB
Active:          1175816 kB
Inactive:        2118068 kB
Active(anon):     787692 kB
Inactive(anon):        0 kB
Active(file):     388124 kB
Inactive(file):  2118068 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1016 kB
Writeback:             0 kB
AnonPages:        882352 kB
Mapped:            22624 kB
Shmem:               200 kB
Slab:             638372 kB
SReclaimable:      82668 kB
SUnreclaim:       555704 kB
KernelStack:        1784 kB
PageTables:         5584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:    1654328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    784384 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= 71624 MiB
End job on node117 at 2012-05-24 19:12:14