Trace number 3688630

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)41 1800.11 914.145

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_2.opb
MD5SUMe4d0ce6c299ae1a05f607b170c68aad6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1796.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
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 constraint26
Maximum length of a constraint46
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)15670
Sum of products size (including duplicates)31340
Number of different products15670
Sum of products size31340

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3688630-1337878625.opb
0.10/0.12	c reading problem ... 
1.91/0.84	c ... done. Wall clock time 0.72s.
1.91/0.84	c declared #vars     500
1.91/0.84	c internal #vars     16170
1.91/0.84	c #constraints  31840
1.91/0.84	c constraints type 
1.91/0.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170
1.91/0.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
1.91/0.84	c 31840 constraints processed.
1.91/0.84	c constraints type 
1.91/0.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16170
1.91/0.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15670
1.91/0.84	c 31840 constraints processed.
1.91/0.84	c objective function length is 500 literals
3.09/1.14	c  And the winner is solver0
3.34/1.34	c SATISFIABLE
3.34/1.34	c OPTIMIZING...
3.34/1.34	c Got one! Elapsed wall clock time (in seconds):1.222
3.34/1.34	o 45
4.68/1.71	c  And the winner is solver1
4.80/1.85	c Got one! Elapsed wall clock time (in seconds):1.727
4.80/1.85	o 44
7.97/3.37	c  And the winner is solver1
8.12/3.85	c Got one! Elapsed wall clock time (in seconds):3.732
8.12/3.85	o 43
13.17/6.36	c  And the winner is solver1
13.31/6.85	c Got one! Elapsed wall clock time (in seconds):6.735
13.31/6.85	o 42
35.45/17.74	c cleaning 2947 clauses out of 5893 with flag 4002/5893
68.99/34.53	c cleaning 4472 clauses out of 8946 with flag 10002/11893
112.89/56.57	c cleaning 5736 clauses out of 11472 with flag 17000/18891
165.22/82.99	c cleaning 6869 clauses out of 13738 with flag 25002/26893
231.12/117.00	c cleaning 7921 clauses out of 15867 with flag 34000/35891
310.15/156.80	c cleaning 8977 clauses out of 17954 with flag 44008/45899
331.50/167.80	c  And the winner is solver1
330.79/168.06	c Got one! Elapsed wall clock time (in seconds):167.945
330.79/168.06	o 41
348.74/177.05	c cleaning 7344 clauses out of 14706 with flag 3000/51628
386.62/196.57	c cleaning 6680 clauses out of 13362 with flag 9000/57628
437.13/222.13	c cleaning 6821 clauses out of 13684 with flag 16002/64630
492.97/250.48	c cleaning 7427 clauses out of 14861 with flag 24000/72628
560.61/284.63	c cleaning 8216 clauses out of 16436 with flag 33002/81630
634.87/322.37	c cleaning 9087 clauses out of 18218 with flag 43000/91628
711.01/360.78	c cleaning 10065 clauses out of 20139 with flag 54008/102636
791.00/401.05	c cleaning 11015 clauses out of 22067 with flag 66001/114629
884.68/448.31	c cleaning 12010 clauses out of 24051 with flag 79000/127628
954.16/485.03	c cleaning 0 clauses out of 6063 with flag 0/6063
977.50/497.20	c cleaning 13010 clauses out of 26041 with flag 93000/141628
1091.74/554.76	c cleaning 13997 clauses out of 28032 with flag 108001/156629
1206.40/613.08	c cleaning 14995 clauses out of 30034 with flag 124000/172628
1325.53/673.27	c cleaning 15995 clauses out of 32039 with flag 141000/189628
1461.73/742.03	c cleaning 17016 clauses out of 34044 with flag 159000/207628
1613.04/818.41	c cleaning 18012 clauses out of 36035 with flag 178007/226635
1773.19/899.92	c cleaning 18998 clauses out of 38016 with flag 198000/246628
1799.40/914.12	c starts		: 38
1799.40/914.12	c conflicts		: 9230
1799.40/914.12	c decisions		: 38394
1799.40/914.12	c propagations		: 5586661
1799.40/914.12	c inspects		: 632859041
1799.40/914.12	c shortcuts		: 0
1799.40/914.12	c learnt literals	: 0
1799.40/914.12	c learnt binary clauses	: 0
1799.40/914.12	c learnt ternary clauses	: 0
1799.40/914.12	c learnt constraints	: 9229
1799.40/914.12	c ignored constraints	: 0
1799.40/914.12	c root simplifications	: 0
1799.40/914.12	c removed literals (reason simplification)	: 0
1799.40/914.12	c reason swapping (by a shorter reason)	: 0
1799.40/914.12	c Calls to reduceDB	: 1
1799.40/914.12	c number of reductions to clauses (during analyze)	: 0
1799.40/914.12	c number of learned constraints concerned by reduction	: 0
1799.40/914.12	c number of learning phase by resolution	: 0
1799.40/914.12	c number of learning phase by cutting planes	: 0
1799.40/914.12	c speed (assignments/second)	: 6120.563910474611
1799.40/914.12	c non guided choices	0
1799.40/914.12	c learnt constraints type 
1799.40/914.12	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1799.40/914.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 177
1799.40/914.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9051
1799.40/914.12	c constraints type 
1799.40/914.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16170
1799.40/914.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.40/914.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
1799.40/914.12	c 31841 constraints processed.
1799.40/914.12	c constraints type 
1799.40/914.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16170
1799.40/914.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.40/914.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15670
1799.40/914.12	c 31841 constraints processed.
1799.40/914.12	s SATISFIABLE
1799.40/914.12	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 
1799.40/914.12	c objective function=41
1799.40/914.12	c Total wall clock time (in seconds): 914.004

Verifier Data 

OK	41

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-3688630-1337878625/watcher-3688630-1337878625 -o /tmp/evaluation-result-3688630-1337878625/solver-3688630-1337878625 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688630-1337878625.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.49 3.77 3.81 4/197 27625
/proc/meminfo: memFree=27306584/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/27625/stat : 27625 (java) R 27623 27625 25404 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 253986827 23793664 712 33554432000 1073741824 1073778376 140737160021408 140737160010472 251035432296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 5809 712 526 9 0 128 0

[startup+0.0533589 s]
/proc/loadavg: 3.49 3.77 3.81 4/197 27625
/proc/meminfo: memFree=27306584/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/27625/stat : 27625 (java) S 27623 27625 25404 0 -1 4202496 3081 0 1 0 2 1 0 0 20 0 13 0 253986827 9446973440 4289 33554432000 1073741824 1073778376 140737160021408 140737160012544 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 2306390 4289 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100252 s]
/proc/loadavg: 3.49 3.77 3.81 4/197 27625
/proc/meminfo: memFree=27306584/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/27625/stat : 27625 (java) S 27623 27625 25404 0 -1 4202496 4288 0 1 0 9 1 0 0 20 0 18 0 253986827 9787813888 5491 33554432000 1073741824 1073778376 140737160021408 140737160012544 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 2389603 5492 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300218 s]
/proc/loadavg: 3.49 3.77 3.81 4/197 27625
/proc/meminfo: memFree=27306584/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/27625/stat : 27625 (java) S 27623 27625 25404 0 -1 4202496 6061 0 1 0 45 2 0 0 20 0 18 0 253986827 9787813888 8288 33554432000 1073741824 1073778376 140737160021408 140737160012544 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 2389603 8288 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.700235 s]
/proc/loadavg: 3.49 3.77 3.81 4/197 27625
/proc/meminfo: memFree=27306584/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=9558412 CPUtime=1.62 cores=0,2,4,6
/proc/27625/stat : 27625 (java) S 27623 27625 25404 0 -1 4202496 24011 0 1 0 156 6 0 0 20 0 18 0 253986827 9787813888 27758 33554432000 1073741824 1073778376 140737160021408 140737160012544 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 2389603 27758 2244 9 0 2380296 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558412

[startup+1.50064 s]
/proc/loadavg: 3.49 3.77 3.81 7/219 27647
/proc/meminfo: memFree=27162240/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=9824668 CPUtime=3.94 cores=0,2,4,6
/proc/27625/stat : 27625 (java) S 27623 27625 25404 0 -1 4202496 30955 0 1 0 385 9 0 0 20 0 22 0 253986827 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140737160012544 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 2456167 40952 2260 9 0 2446860 0
[pid=27625/tid=27627] ppid=27623 vsize=9824668 CPUtime=0.83 cores=0,2,4,6
/proc/27625/task/27627/stat : 27627 (java) S 27623 27625 25404 0 -1 4202560 2482 0 1 0 80 3 0 0 20 0 22 0 253986828 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684556551160 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27628/stat : 27628 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684545612712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27629] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27629/stat : 27629 (java) S 27623 27625 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684544560168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27630] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27630/stat : 27630 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684543507112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27631] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27631/stat : 27631 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684542454568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27632] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27632/stat : 27632 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684541401512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27633] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27633/stat : 27633 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684394445352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27634] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27634/stat : 27634 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684393392296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27635] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27635/stat : 27635 (java) S 27623 27625 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684392339752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27636] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27636/stat : 27636 (java) S 27623 27625 25404 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684380142440 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27637] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27637/stat : 27637 (java) S 27623 27625 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684379088760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27638] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27638/stat : 27638 (java) S 27623 27625 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684378035592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27639] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27639/stat : 27639 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684376984336 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27640] ppid=27623 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/27625/task/27640/stat : 27640 (java) R 27623 27625 25404 0 -1 4202560 11546 0 0 0 106 1 0 0 20 0 22 0 253986833 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684375928464 140684563537173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27641] ppid=27623 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/27625/task/27641/stat : 27641 (java) R 27623 27625 25404 0 -1 4202560 15608 0 0 0 105 4 0 0 20 0 22 0 253986833 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684374865936 140684559458214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27642] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27642/stat : 27642 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684373825784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27643] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27643/stat : 27643 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684372773448 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27646] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27646/stat : 27646 (java) S 27623 27625 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253986916 10060460032 40952 33554432000 1073741824 1073778376 140737160021408 140684369614120 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9824668

[startup+3.10071 s]
/proc/loadavg: 3.49 3.77 3.81 5/219 27653
/proc/meminfo: memFree=27111856/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=9824668 CPUtime=7.55 cores=0,2,4,6
/proc/27625/stat : 27625 (java) S 27623 27625 25404 0 -1 4202496 32116 0 1 0 741 14 0 0 20 0 22 0 253986827 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140737160012544 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 2456167 61388 2275 9 0 2446860 0
[pid=27625/tid=27627] ppid=27623 vsize=9824668 CPUtime=0.83 cores=0,2,4,6
/proc/27625/task/27627/stat : 27627 (java) S 27623 27625 25404 0 -1 4202560 2482 0 1 0 80 3 0 0 20 0 22 0 253986828 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684556551160 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27628/stat : 27628 (java) S 27623 27625 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684545612712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27629] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27629/stat : 27629 (java) S 27623 27625 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684544560168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27630] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27630/stat : 27630 (java) S 27623 27625 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684543507112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27631] ppid=27623 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27625/task/27631/stat : 27631 (java) S 27623 27625 25404 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 253986828 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684542454568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27632] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27632/stat : 27632 (java) S 27623 27625 25404 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684541401512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27633] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27633/stat : 27633 (java) S 27623 27625 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684394445352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27634] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27634/stat : 27634 (java) S 27623 27625 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684393392296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27635] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27635/stat : 27635 (java) S 27623 27625 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253986828 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684392339752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27636] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27636/stat : 27636 (java) S 27623 27625 25404 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684380142440 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27637] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27637/stat : 27637 (java) S 27623 27625 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684379088760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27638] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27638/stat : 27638 (java) S 27623 27625 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684378035592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27639] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27639/stat : 27639 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684376984336 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27640] ppid=27623 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/27625/task/27640/stat : 27640 (java) S 27623 27625 25404 0 -1 4202560 12527 0 0 0 131 1 0 0 20 0 22 0 253986833 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684375931192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27641] ppid=27623 vsize=9824668 CPUtime=1.45 cores=0,2,4,6
/proc/27625/task/27641/stat : 27641 (java) S 27623 27625 25404 0 -1 4202560 15614 0 0 0 141 4 0 0 20 0 22 0 253986833 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684374878648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27642] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27642/stat : 27642 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684373825784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27643] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27643/stat : 27643 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684372773448 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27650] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27650/stat : 27650 (java) S 27623 27625 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253986962 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684368560936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27651] ppid=27623 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/27625/task/27651/stat : 27651 (java) R 27623 27625 25404 0 -1 4202560 3 0 0 0 118 0 0 0 20 0 22 0 253987013 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684370663872 140684423154471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27652] ppid=27623 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/27625/task/27652/stat : 27652 (java) R 27623 27625 25404 0 -1 4202560 23 0 0 0 118 0 0 0 20 0 22 0 253987013 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684371718760 140684423344807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27653] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27653/stat : 27653 (java) S 27623 27625 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253987013 10060460032 61388 33554432000 1073741824 1073778376 140737160021408 140684369614504 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 9824668

[startup+6.30083 s]
/proc/loadavg: 3.53 3.78 3.81 5/219 27656
/proc/meminfo: memFree=27033392/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=9824668 CPUtime=13.17 cores=0,2,4,6
/proc/27625/stat : 27625 (java) S 27623 27625 25404 0 -1 4202496 32574 0 1 0 1296 21 0 0 20 0 22 0 253986827 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140737160012544 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 2456167 77934 2278 9 0 2446860 0
[pid=27625/tid=27627] ppid=27623 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/27625/task/27627/stat : 27627 (java) S 27623 27625 25404 0 -1 4202560 2482 0 1 0 81 3 0 0 20 0 22 0 253986828 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684556551160 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27625/task/27628/stat : 27628 (java) S 27623 27625 25404 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253986828 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684545612712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27629] ppid=27623 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/27625/task/27629/stat : 27629 (java) S 27623 27625 25404 0 -1 4202560 95 0 0 0 3 1 0 0 20 0 22 0 253986828 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684544560168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27630] ppid=27623 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27625/task/27630/stat : 27630 (java) S 27623 27625 25404 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253986828 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684543507112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27631] ppid=27623 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27625/task/27631/stat : 27631 (java) S 27623 27625 25404 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 22 0 253986828 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684542454568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27632] ppid=27623 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27625/task/27632/stat : 27632 (java) S 27623 27625 25404 0 -1 4202560 104 0 0 0 1 0 0 0 20 0 22 0 253986828 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684541401512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27633] ppid=27623 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27625/task/27633/stat : 27633 (java) S 27623 27625 25404 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 253986828 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684394445352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27634] ppid=27623 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27625/task/27634/stat : 27634 (java) S 27623 27625 25404 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 22 0 253986828 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684393392296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27635] ppid=27623 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/27625/task/27635/stat : 27635 (java) S 27623 27625 25404 0 -1 4202560 137 0 0 0 2 2 0 0 20 0 22 0 253986828 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684392339752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27636] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27636/stat : 27636 (java) S 27623 27625 25404 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684380142440 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27637] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27637/stat : 27637 (java) S 27623 27625 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684379088760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27638] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27638/stat : 27638 (java) S 27623 27625 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684378035592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27639] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27639/stat : 27639 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684376984336 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27640] ppid=27623 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/27625/task/27640/stat : 27640 (java) S 27623 27625 25404 0 -1 4202560 12530 0 0 0 143 1 0 0 20 0 22 0 253986833 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684375931192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27641] ppid=27623 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/27625/task/27641/stat : 27641 (java) S 27623 27625 25404 0 -1 4202560 15614 0 0 0 142 4 0 0 20 0 22 0 253986833 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684374878648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27642] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27642/stat : 27642 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684373825784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27643] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27643/stat : 27643 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 77934 33554432000 1073741824 1073778376 140737160021408 140684372773448 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=27625/tid=27631] ppid=27623 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/27625/task/27631/stat : 27631 (java) S 27623 27625 25404 0 -1 4202560 323 0 0 0 192 10 0 0 20 0 22 0 253986828 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684542454568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27632] ppid=27623 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/27625/task/27632/stat : 27632 (java) S 27623 27625 25404 0 -1 4202560 340 0 0 0 177 8 0 0 20 0 22 0 253986828 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684541401512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27633] ppid=27623 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/27625/task/27633/stat : 27633 (java) S 27623 27625 25404 0 -1 4202560 401 0 0 0 179 11 0 0 20 0 22 0 253986828 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684394445352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27634] ppid=27623 vsize=9824668 CPUtime=2.15 cores=0,2,4,6
/proc/27625/task/27634/stat : 27634 (java) S 27623 27625 25404 0 -1 4202560 353 0 0 0 206 9 0 0 20 0 22 0 253986828 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684393392296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27635] ppid=27623 vsize=9824668 CPUtime=2.16 cores=0,2,4,6
/proc/27625/task/27635/stat : 27635 (java) S 27623 27625 25404 0 -1 4202560 544 0 0 0 203 13 0 0 20 0 22 0 253986828 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684392339752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27636] ppid=27623 vsize=9824668 CPUtime=33.35 cores=0,2,4,6
/proc/27625/task/27636/stat : 27636 (java) S 27623 27625 25404 0 -1 4202560 3317 0 0 0 3314 21 0 0 20 0 22 0 253986830 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684380142440 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27637] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27637/stat : 27637 (java) S 27623 27625 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684379088760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27638] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27638/stat : 27638 (java) S 27623 27625 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684378035592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27639] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27639/stat : 27639 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684376984336 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27640] ppid=27623 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/27625/task/27640/stat : 27640 (java) S 27623 27625 25404 0 -1 4202560 12546 0 0 0 188 1 0 0 20 0 22 0 253986833 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684375931192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27641] ppid=27623 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/27625/task/27641/stat : 27641 (java) S 27623 27625 25404 0 -1 4202560 15642 0 0 0 168 4 0 0 20 0 22 0 253986833 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684374878648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27642] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27642/stat : 27642 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684373825784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27643] ppid=27623 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/27625/task/27643/stat : 27643 (java) S 27623 27625 25404 0 -1 4202560 51 0 0 0 19 16 0 0 20 0 22 0 253986833 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684372773448 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27650] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27650/stat : 27650 (java) S 27623 27625 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253986962 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684368560936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27660] ppid=27623 vsize=9824668 CPUtime=681.11 cores=0,2,4,6
/proc/27625/task/27660/stat : 27660 (java) R 27623 27625 25404 0 -1 4202560 8 0 0 0 68101 10 0 0 20 0 22 0 254003634 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684370665392 140684423154440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27661] ppid=27623 vsize=9824668 CPUtime=681.23 cores=0,2,4,6
/proc/27625/task/27661/stat : 27661 (java) R 27623 27625 25404 0 -1 4202560 54 0 0 0 68113 10 0 0 20 0 22 0 254003634 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684371719448 140684423089432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27662] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27662/stat : 27662 (java) S 27623 27625 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254003634 10060460032 970082 33554432000 1073741824 1073778376 140737160021408 140684369614120 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1737.74
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+914.107 s]
/proc/loadavg: 4.00 3.88 3.85 5/219 27776
/proc/meminfo: memFree=22816084/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=9824668 CPUtime=1799.4 cores=0,2,4,6
/proc/27625/stat : 27625 (java) S 27623 27625 25404 0 -1 4202496 40743 0 1 0 179744 196 0 0 20 0 22 0 253986827 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140737160012544 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 2456167 981410 2290 9 0 2446860 0
[pid=27625/tid=27627] ppid=27623 vsize=9824668 CPUtime=0.87 cores=0,2,4,6
/proc/27625/task/27627/stat : 27627 (java) S 27623 27625 25404 0 -1 4202560 2495 0 1 0 83 4 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684556551160 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=9824668 CPUtime=1.92 cores=0,2,4,6
/proc/27625/task/27628/stat : 27628 (java) S 27623 27625 25404 0 -1 4202560 365 0 0 0 178 14 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684545612712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27629] ppid=27623 vsize=9824668 CPUtime=2.26 cores=0,2,4,6
/proc/27625/task/27629/stat : 27629 (java) S 27623 27625 25404 0 -1 4202560 462 0 0 0 209 17 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684544560168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27630] ppid=27623 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/27625/task/27630/stat : 27630 (java) S 27623 27625 25404 0 -1 4202560 385 0 0 0 196 14 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684543507112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27631] ppid=27623 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/27625/task/27631/stat : 27631 (java) S 27623 27625 25404 0 -1 4202560 334 0 0 0 200 10 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684542454568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27632] ppid=27623 vsize=9824668 CPUtime=1.96 cores=0,2,4,6
/proc/27625/task/27632/stat : 27632 (java) S 27623 27625 25404 0 -1 4202560 354 0 0 0 188 8 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684541401512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27633] ppid=27623 vsize=9824668 CPUtime=1.97 cores=0,2,4,6
/proc/27625/task/27633/stat : 27633 (java) S 27623 27625 25404 0 -1 4202560 401 0 0 0 186 11 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684394445352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27634] ppid=27623 vsize=9824668 CPUtime=2.28 cores=0,2,4,6
/proc/27625/task/27634/stat : 27634 (java) S 27623 27625 25404 0 -1 4202560 353 0 0 0 219 9 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684393392296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27635] ppid=27623 vsize=9824668 CPUtime=2.23 cores=0,2,4,6
/proc/27625/task/27635/stat : 27635 (java) S 27623 27625 25404 0 -1 4202560 552 0 0 0 210 13 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684392339752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27636] ppid=27623 vsize=9824668 CPUtime=35.68 cores=0,2,4,6
/proc/27625/task/27636/stat : 27636 (java) S 27623 27625 25404 0 -1 4202560 3369 0 0 0 3546 22 0 0 20 0 22 0 253986830 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684380142440 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27637] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27637/stat : 27637 (java) S 27623 27625 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684379088760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27638] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27638/stat : 27638 (java) S 27623 27625 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684378035592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27639] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27639/stat : 27639 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684376984336 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27640] ppid=27623 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/27625/task/27640/stat : 27640 (java) S 27623 27625 25404 0 -1 4202560 12546 0 0 0 188 1 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684375931192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27641] ppid=27623 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/27625/task/27641/stat : 27641 (java) S 27623 27625 25404 0 -1 4202560 15642 0 0 0 168 4 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684374878648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27642] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27642/stat : 27642 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684373825784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27643] ppid=27623 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/27625/task/27643/stat : 27643 (java) S 27623 27625 25404 0 -1 4202560 53 0 0 0 20 17 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684372773448 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27650] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27650/stat : 27650 (java) S 27623 27625 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253986962 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684368560936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27660] ppid=27623 vsize=9824668 CPUtime=710.29 cores=0,2,4,6
/proc/27625/task/27660/stat : 27660 (java) R 27623 27625 25404 0 -1 4202560 8 0 0 0 71019 10 0 0 20 0 22 0 254003634 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684370666336 140684423309426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27661] ppid=27623 vsize=9824668 CPUtime=710.42 cores=0,2,4,6
/proc/27625/task/27661/stat : 27661 (java) R 27623 27625 25404 0 -1 4202560 56 0 0 0 71032 10 0 0 20 0 22 0 254003634 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684371717200 140684423497920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27662] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27662/stat : 27662 (java) S 27623 27625 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254003634 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684369614120 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
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

[startup+914.107 s]
/proc/loadavg: 4.00 3.88 3.85 5/219 27776
/proc/meminfo: memFree=22816084/32873844 swapFree=7612/7612
[pid=27625] ppid=27623 vsize=9824668 CPUtime=1799.4 cores=0,2,4,6
/proc/27625/stat : 27625 (java) S 27623 27625 25404 0 -1 4202496 40743 0 1 0 179744 196 0 0 20 0 22 0 253986827 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140737160012544 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27625/statm: 2456167 981410 2290 9 0 2446860 0
[pid=27625/tid=27627] ppid=27623 vsize=9824668 CPUtime=0.87 cores=0,2,4,6
/proc/27625/task/27627/stat : 27627 (java) S 27623 27625 25404 0 -1 4202560 2495 0 1 0 83 4 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684556551160 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=9824668 CPUtime=1.92 cores=0,2,4,6
/proc/27625/task/27628/stat : 27628 (java) S 27623 27625 25404 0 -1 4202560 365 0 0 0 178 14 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684545612712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27629] ppid=27623 vsize=9824668 CPUtime=2.26 cores=0,2,4,6
/proc/27625/task/27629/stat : 27629 (java) S 27623 27625 25404 0 -1 4202560 462 0 0 0 209 17 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684544560168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27630] ppid=27623 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/27625/task/27630/stat : 27630 (java) S 27623 27625 25404 0 -1 4202560 385 0 0 0 196 14 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684543507112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27631] ppid=27623 vsize=9824668 CPUtime=2.1 cores=0,2,4,6
/proc/27625/task/27631/stat : 27631 (java) S 27623 27625 25404 0 -1 4202560 334 0 0 0 200 10 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684542454568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27625/tid=27632] ppid=27623 vsize=9824668 CPUtime=1.96 cores=0,2,4,6
/proc/27625/task/27632/stat : 27632 (java) S 27623 27625 25404 0 -1 4202560 354 0 0 0 188 8 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684541401512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27633] ppid=27623 vsize=9824668 CPUtime=1.97 cores=0,2,4,6
/proc/27625/task/27633/stat : 27633 (java) S 27623 27625 25404 0 -1 4202560 401 0 0 0 186 11 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684394445352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27634] ppid=27623 vsize=9824668 CPUtime=2.28 cores=0,2,4,6
/proc/27625/task/27634/stat : 27634 (java) S 27623 27625 25404 0 -1 4202560 353 0 0 0 219 9 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684393392296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27635] ppid=27623 vsize=9824668 CPUtime=2.23 cores=0,2,4,6
/proc/27625/task/27635/stat : 27635 (java) S 27623 27625 25404 0 -1 4202560 552 0 0 0 210 13 0 0 20 0 22 0 253986828 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684392339752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27636] ppid=27623 vsize=9824668 CPUtime=35.68 cores=0,2,4,6
/proc/27625/task/27636/stat : 27636 (java) S 27623 27625 25404 0 -1 4202560 3369 0 0 0 3546 22 0 0 20 0 22 0 253986830 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684380142440 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27637] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27637/stat : 27637 (java) S 27623 27625 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684379088760 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27638] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27638/stat : 27638 (java) S 27623 27625 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253986830 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684378035592 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27639] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27639/stat : 27639 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684376984336 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27640] ppid=27623 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/27625/task/27640/stat : 27640 (java) S 27623 27625 25404 0 -1 4202560 12546 0 0 0 188 1 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684375931192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27641] ppid=27623 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/27625/task/27641/stat : 27641 (java) S 27623 27625 25404 0 -1 4202560 15642 0 0 0 168 4 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684374878648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27642] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27642/stat : 27642 (java) S 27623 27625 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684373825784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27643] ppid=27623 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/27625/task/27643/stat : 27643 (java) S 27623 27625 25404 0 -1 4202560 53 0 0 0 20 17 0 0 20 0 22 0 253986833 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684372773448 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27625/tid=27650] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27650/stat : 27650 (java) S 27623 27625 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253986962 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684368560936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27660] ppid=27623 vsize=9824668 CPUtime=710.29 cores=0,2,4,6
/proc/27625/task/27660/stat : 27660 (java) R 27623 27625 25404 0 -1 4202560 8 0 0 0 71019 10 0 0 20 0 22 0 254003634 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684370666336 140684423309426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27625/tid=27661] ppid=27623 vsize=9824668 CPUtime=710.42 cores=0,2,4,6
/proc/27625/task/27661/stat : 27661 (java) R 27623 27625 25404 0 -1 4202560 56 0 0 0 71032 10 0 0 20 0 22 0 254003634 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684371717200 140684423497920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27625/tid=27662] ppid=27623 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27625/task/27662/stat : 27662 (java) S 27623 27625 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254003634 10060460032 981410 33554432000 1073741824 1073778376 140737160021408 140684369614120 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27625 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=577334
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=283652
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1799.4
#
# 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.709991
#  lost CPU user time (s): 0.759979
#  lost CPU system time (s): -0.05

Real time (s): 914.145
CPU time (s): 1800.11
CPU user time (s): 1798.2
CPU system time (s): 1.91
CPU usage (%): 196.917
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 2.28365
maximum resident set size= 3925756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40774
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23814
involuntary context switches= 27131

runsolver used 4.05138 second user time and 7.33488 second system time

The end

Launcher Data 

Begin job on node143 at 2012-05-24 18:57:05
IDJOB=3688630
IDBENCH=48140
IDSOLVER=2268
FILE ID=node143/3688630-1337878625
RUNJOBID= node143-1337871881-25421
PBS_JOBID= 14620061
Free space on /tmp= 71516 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_25_2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688630-1337878625/watcher-3688630-1337878625 -o /tmp/evaluation-result-3688630-1337878625/solver-3688630-1337878625 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688630-1337878625.opb

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

MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6
RANDOM SEED=672009774

node143.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		: 2666.787
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	: 5333.57
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		: 2666.787
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		: 2666.787
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		: 2666.787
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		: 2666.787
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.90
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		: 2666.787
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	: 5298.57
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		: 2666.787
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		: 2666.787
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:       32873844 kB
MemFree:        27306584 kB
Buffers:          223716 kB
Cached:          2556856 kB
SwapCached:            0 kB
Active:          2595468 kB
Inactive:        2189320 kB
Active(anon):    2006912 kB
Inactive(anon):        0 kB
Active(file):     588556 kB
Inactive(file):  2189320 kB
Unevictable:        7612 kB
Mlocked:            7612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               552 kB
Writeback:             0 kB
AnonPages:       2028136 kB
Mapped:            22584 kB
Shmem:               200 kB
Slab:             639932 kB
SReclaimable:      81984 kB
SUnreclaim:       557948 kB
KernelStack:        1808 kB
PageTables:         8060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2208844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1957888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71516 MiB
End job on node143 at 2012-05-24 19:12:21