Trace number 3718460

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.09 1796.15

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo
MD5SUM3ef623ad54bc9b8a55f5198a1c4abc02
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.024996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables500
Total number of constraints45
Number of soft constraints45
Number of constraints which are clauses25
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint25
Top cost 1950
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 1949
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.2.v20120528
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		501472288
0.02/0.09	c Max memory 		7480803328
0.02/0.09	c Total memory 		504102912
0.02/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3718460-1338254089.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.047s.
0.10/0.16	c declared #vars     500
0.10/0.16	c internal #vars     545
0.10/0.16	c #constraints  45
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25
0.10/0.16	c ignored satisfied constraints => 1
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20
0.10/0.16	c 46 constraints processed.
0.10/0.16	c objective function length is 45 literals
0.27/0.24	c SATISFIABLE
0.27/0.24	c OPTIMIZING...
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.127
0.27/0.24	o 128
0.27/0.25	c Got one! Elapsed wall clock time (in seconds):0.142
0.27/0.25	o 48
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.151
0.27/0.26	o 42
0.27/0.29	c Got one! Elapsed wall clock time (in seconds):0.174
0.27/0.29	o 21
0.47/0.35	c Got one! Elapsed wall clock time (in seconds):0.237
0.47/0.35	o 4
0.87/0.69	c cleaning 3301 clauses out of 6728 with flag 29786/6728
1.44/1.19	c cleaning 4706 clauses out of 9427 with flag 79522/12728
2.45/2.11	c cleaning 5851 clauses out of 11722 with flag 137753/19729
3.56/3.23	c cleaning 6928 clauses out of 13870 with flag 202629/27728
4.88/4.52	c cleaning 7967 clauses out of 15942 with flag 275338/36728
6.38/6.06	c cleaning 8989 clauses out of 17978 with flag 353901/46731
8.30/7.93	c cleaning 9988 clauses out of 19986 with flag 443983/57728
10.31/9.99	c cleaning 10990 clauses out of 21998 with flag 542256/69728
12.21/11.87	c cleaning 11999 clauses out of 24008 with flag 656880/82728
14.91/14.58	c cleaning 13004 clauses out of 26013 with flag 776587/96732
17.62/17.23	c cleaning 13998 clauses out of 28005 with flag 942108/111728
20.14/19.79	c cleaning 15000 clauses out of 30007 with flag 1077353/127728
22.95/22.51	c cleaning 16000 clauses out of 32008 with flag 1221008/144729
25.76/25.38	c cleaning 16998 clauses out of 34009 with flag 1363052/162730
29.41/28.98	c cleaning 18000 clauses out of 36010 with flag 1521707/181729
32.82/32.38	c cleaning 18997 clauses out of 38009 with flag 1686024/201728
37.35/36.87	c cleaning 20003 clauses out of 40012 with flag 1861248/222728
42.15/41.65	c cleaning 21003 clauses out of 42012 with flag 2050755/244731
47.37/46.86	c cleaning 22001 clauses out of 44006 with flag 2273278/267728
53.12/52.58	c cleaning 22995 clauses out of 46006 with flag 2480121/291729
59.25/58.68	c cleaning 24002 clauses out of 48010 with flag 2728213/316728
65.58/64.95	c cleaning 24999 clauses out of 50008 with flag 2971938/342728
71.22/70.58	c cleaning 26001 clauses out of 52010 with flag 3212551/369729
78.26/77.57	c cleaning 26998 clauses out of 54009 with flag 3501004/397729
87.29/86.51	c cleaning 28000 clauses out of 56011 with flag 3864376/426729
95.44/94.69	c cleaning 28999 clauses out of 58011 with flag 4191459/456729
103.97/103.12	c cleaning 30002 clauses out of 60011 with flag 4467273/487728
113.11/112.22	c cleaning 31002 clauses out of 62012 with flag 4758409/519731
120.76/119.86	c cleaning 31997 clauses out of 64007 with flag 5094487/552728
129.47/128.51	c cleaning 33003 clauses out of 66014 with flag 5464235/586732
140.10/139.12	c cleaning 33998 clauses out of 68012 with flag 5829396/621733
152.06/151.00	c cleaning 35002 clauses out of 70011 with flag 6180632/657730
163.41/162.33	c cleaning 36001 clauses out of 72011 with flag 6516922/694732
174.84/173.71	c cleaning 36998 clauses out of 74006 with flag 6894332/732728
188.65/187.52	c cleaning 37995 clauses out of 76010 with flag 7322928/771730
203.72/202.56	c cleaning 39002 clauses out of 78015 with flag 7770972/811730
217.80/216.54	c cleaning 39998 clauses out of 80011 with flag 8219404/852728
233.13/231.89	c cleaning 40997 clauses out of 82015 with flag 8703521/894730
245.56/244.21	c cleaning 42002 clauses out of 84017 with flag 9109744/937729
262.71/261.33	c cleaning 43005 clauses out of 86016 with flag 9580074/981730
281.84/280.42	c cleaning 44000 clauses out of 88011 with flag 10058732/1026730
301.47/300.07	c cleaning 45001 clauses out of 90010 with flag 10582791/1072729
321.52/320.06	c cleaning 45998 clauses out of 92009 with flag 11100496/1119729
341.28/339.75	c cleaning 46997 clauses out of 94010 with flag 11595565/1167728
363.52/361.95	c cleaning 48001 clauses out of 96014 with flag 12128854/1216729
384.76/383.18	c cleaning 48997 clauses out of 98012 with flag 12673286/1266728
408.54/406.82	c cleaning 50000 clauses out of 100015 with flag 13280062/1317728
428.83/427.02	c cleaning 51003 clauses out of 102015 with flag 13816359/1369728
456.09/454.26	c cleaning 52005 clauses out of 104016 with flag 14369338/1422732
484.84/482.97	c cleaning 53000 clauses out of 106009 with flag 14970611/1476730
513.07/511.18	c cleaning 53994 clauses out of 108010 with flag 15573743/1531731
541.47/539.40	c cleaning 55001 clauses out of 110015 with flag 16171303/1587730
569.51/567.49	c cleaning 56002 clauses out of 112016 with flag 16795591/1644732
598.86/596.70	c cleaning 56991 clauses out of 114012 with flag 17457606/1702730
628.61/626.42	c cleaning 58000 clauses out of 116020 with flag 18219058/1761729
662.25/660.05	c cleaning 59005 clauses out of 118020 with flag 18944840/1821729
695.81/693.53	c cleaning 60001 clauses out of 120016 with flag 19654949/1882730
733.66/731.36	c cleaning 61005 clauses out of 122015 with flag 20449344/1944730
767.43/765.03	c cleaning 62000 clauses out of 124010 with flag 21193756/2007730
799.18/796.73	c cleaning 62998 clauses out of 126008 with flag 21880005/2071728
832.32/829.87	c cleaning 63987 clauses out of 128012 with flag 22574441/2136730
873.31/870.73	c cleaning 64995 clauses out of 130023 with flag 23383443/2202728
908.44/905.89	c cleaning 66005 clauses out of 132028 with flag 24103737/2269728
950.21/947.56	c cleaning 67008 clauses out of 134025 with flag 24920955/2337730
993.57/990.80	c cleaning 68004 clauses out of 136019 with flag 25714755/2406732
1035.34/1032.54	c cleaning 69002 clauses out of 138012 with flag 26566548/2476729
1087.52/1084.67	c cleaning 69995 clauses out of 140010 with flag 27543772/2547729
1133.99/1131.05	c cleaning 71001 clauses out of 142014 with flag 28416870/2619728
1185.53/1182.41	c cleaning 72002 clauses out of 144013 with flag 29308854/2692728
1239.37/1236.21	c cleaning 72998 clauses out of 146012 with flag 30125007/2766729
1289.87/1286.66	c cleaning 74001 clauses out of 148013 with flag 30819585/2841728
1338.45/1335.16	c cleaning 74995 clauses out of 150013 with flag 31600557/2917729
1390.67/1387.22	c cleaning 75998 clauses out of 152019 with flag 32437390/2994730
1444.97/1441.49	c cleaning 76997 clauses out of 154020 with flag 33354603/3072729
1502.42/1498.80	c cleaning 78001 clauses out of 156022 with flag 34294747/3151728
1556.30/1552.67	c cleaning 79005 clauses out of 158021 with flag 35163305/3231728
1610.52/1606.82	c cleaning 79994 clauses out of 160016 with flag 36119757/3312728
1667.87/1664.20	c cleaning 81008 clauses out of 162024 with flag 37013731/3394730
1725.55/1721.71	c cleaning 81993 clauses out of 164015 with flag 37900267/3477729
1787.92/1784.04	c cleaning 83005 clauses out of 166021 with flag 38956952/3561728
1800.09/1796.11	c starts		: 256
1800.09/1796.11	c conflicts		: 3585841
1800.09/1796.11	c decisions		: 4442783
1800.09/1796.11	c propagations		: 78868611
1800.09/1796.11	c inspects		: 21776778313
1800.09/1796.11	c shortcuts		: 0
1800.09/1796.11	c learnt literals	: 0
1800.09/1796.11	c learnt binary clauses	: 0
1800.09/1796.11	c learnt ternary clauses	: 0
1800.09/1796.11	c learnt constraints	: 3585841
1800.09/1796.11	c ignored constraints	: 0
1800.09/1796.11	c root simplifications	: 0
1800.09/1796.11	c removed literals (reason simplification)	: 0
1800.09/1796.11	c reason swapping (by a shorter reason)	: 0
1800.09/1796.11	c Calls to reduceDB	: 80
1800.09/1796.11	c Number of update (reduction) of LBD	: 2245299
1800.09/1796.11	c number of reductions to clauses (during analyze)	: 0
1800.09/1796.11	c number of learned constraints concerned by reduction	: 0
1800.09/1796.11	c number of learning phase by resolution	: 0
1800.09/1796.11	c number of learning phase by cutting planes	: 0
1800.09/1796.11	c speed (assignments/second)	: 43914.80924259416
1800.09/1796.11	c non guided choices	1820
1800.09/1796.14	c learnt constraints type 
1800.09/1796.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 107169
1800.09/1796.14	c constraints type 
1800.09/1796.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25
1800.09/1796.14	c ignored satisfied constraints => 1
1800.09/1796.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
1800.09/1796.14	c 47 constraints processed.
1800.09/1796.14	s SATISFIABLE
1800.09/1796.14	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.09/1796.14	c objective function=4
1800.09/1796.14	c Total wall clock time (in seconds): 1796.029

Verifier Data 

OK	4

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

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: 1.96 2.06 2.01 3/196 3785
/proc/meminfo: memFree=30469308/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/3785/stat : 3785 (java) R 3783 3785 562 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 291534336 23793664 715 33554432000 1073741824 1073778376 140736913880768 140736913869832 273896486248 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 5809 716 531 9 0 128 0

[startup+0.0327399 s]
/proc/loadavg: 1.96 2.06 2.01 3/196 3785
/proc/meminfo: memFree=30469308/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 2967 0 1 0 2 0 0 0 20 0 13 0 291534336 9446973440 3665 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2306390 3665 1661 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100254 s]
/proc/loadavg: 1.96 2.06 2.01 3/196 3785
/proc/meminfo: memFree=30469308/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 4298 0 1 0 9 1 0 0 20 0 18 0 291534336 9787817984 5499 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2389604 5499 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300199 s]
/proc/loadavg: 1.96 2.06 2.01 3/196 3785
/proc/meminfo: memFree=30469308/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 6373 0 1 0 46 1 0 0 20 0 19 0 291534336 9855979520 7755 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2406245 7755 2222 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9624980

[startup+0.703576 s]
/proc/loadavg: 1.96 2.06 2.01 3/196 3785
/proc/meminfo: memFree=30469308/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9624980 CPUtime=1.01 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 7103 0 1 0 99 2 0 0 20 0 19 0 291534336 9855979520 11759 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2406245 11760 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9624980

[startup+1.50064 s]
/proc/loadavg: 1.96 2.06 2.01 3/215 3804
/proc/meminfo: memFree=30418480/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9624980 CPUtime=1.84 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 7127 0 1 0 181 3 0 0 20 0 19 0 291534336 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2406245 13305 2262 9 0 2396937 0
[pid=3785/tid=3787] ppid=3783 vsize=9624980 CPUtime=1.44 cores=0,2,4,6
/proc/3785/task/3787/stat : 3787 (java) R 3783 3785 562 0 -1 4202560 2458 0 1 0 144 0 0 0 20 0 19 0 291534337 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140182137487648 140181978484093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3788] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3788/stat : 3788 (java) S 3783 3785 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140182098979752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3789] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3789/stat : 3789 (java) S 3783 3785 562 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140182097927208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3790] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3790/stat : 3790 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140182096874152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3791] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3791/stat : 3791 (java) S 3783 3785 562 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181977951016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3792] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3792/stat : 3792 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181976897960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3793] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3793/stat : 3793 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181975845416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3794] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3794/stat : 3794 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181974792360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3795] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3795/stat : 3795 (java) S 3783 3785 562 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181973739816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3796] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3796/stat : 3796 (java) S 3783 3785 562 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 291534339 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181491411816 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3797] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3797/stat : 3797 (java) S 3783 3785 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181490358136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3798] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3798/stat : 3798 (java) S 3783 3785 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181489304968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3799] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3799/stat : 3799 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181488253712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3800] ppid=3783 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/3785/task/3800/stat : 3800 (java) S 3783 3785 562 0 -1 4202560 1605 0 0 0 13 0 0 0 20 0 19 0 291534342 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181487200568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3801] ppid=3783 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/3785/task/3801/stat : 3801 (java) S 3783 3785 562 0 -1 4202560 1803 0 0 0 19 0 0 0 20 0 19 0 291534342 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181486148024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3802] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3802/stat : 3802 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181485095160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3803] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3803/stat : 3803 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181484042824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3804] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3804/stat : 3804 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534353 9855979520 13305 33554432000 1073741824 1073778376 140736913880768 140181482989096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9624980

[startup+3.10063 s]
/proc/loadavg: 1.96 2.06 2.01 3/215 3804
/proc/meminfo: memFree=30411716/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9624980 CPUtime=3.46 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 7145 0 1 0 343 3 0 0 20 0 19 0 291534336 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2406245 15358 2262 9 0 2396937 0
[pid=3785/tid=3787] ppid=3783 vsize=9624980 CPUtime=3.03 cores=0,2,4,6
/proc/3785/task/3787/stat : 3787 (java) R 3783 3785 562 0 -1 4202560 2458 0 1 0 303 0 0 0 20 0 19 0 291534337 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140182137487864 140181978380260 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3788] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3788/stat : 3788 (java) S 3783 3785 562 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140182098979752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3789] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3789/stat : 3789 (java) S 3783 3785 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140182097927208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3790] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3790/stat : 3790 (java) S 3783 3785 562 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140182096874152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3791] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3791/stat : 3791 (java) S 3783 3785 562 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181977951016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3792] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3792/stat : 3792 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181976897960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3793] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3793/stat : 3793 (java) S 3783 3785 562 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181975845416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3794] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3794/stat : 3794 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181974792360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3795] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3795/stat : 3795 (java) S 3783 3785 562 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181973739816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3796] ppid=3783 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/3785/task/3796/stat : 3796 (java) S 3783 3785 562 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 291534339 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181491411816 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3797] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3797/stat : 3797 (java) S 3783 3785 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181490358136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3798] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3798/stat : 3798 (java) S 3783 3785 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181489304968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3799] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3799/stat : 3799 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181488253712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3800] ppid=3783 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/3785/task/3800/stat : 3800 (java) S 3783 3785 562 0 -1 4202560 1605 0 0 0 13 0 0 0 20 0 19 0 291534342 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181487200568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3801] ppid=3783 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/3785/task/3801/stat : 3801 (java) S 3783 3785 562 0 -1 4202560 1804 0 0 0 19 0 0 0 20 0 19 0 291534342 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181486148024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3802] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3802/stat : 3802 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181485095160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3803] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3803/stat : 3803 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181484042824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3804] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3804/stat : 3804 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534353 9855979520 15358 33554432000 1073741824 1073778376 140736913880768 140181482989096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9624980

[startup+6.30061 s]
/proc/loadavg: 1.96 2.06 2.01 3/215 3804
/proc/meminfo: memFree=30380748/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9624980 CPUtime=6.7 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 7174 0 1 0 666 4 0 0 20 0 19 0 291534336 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2406245 18848 2263 9 0 2396937 0
[pid=3785/tid=3787] ppid=3783 vsize=9624980 CPUtime=6.16 cores=0,2,4,6
/proc/3785/task/3787/stat : 3787 (java) R 3783 3785 562 0 -1 4202560 2463 0 1 0 616 0 0 0 20 0 19 0 291534337 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140182137487648 140181978380668 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3788] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3788/stat : 3788 (java) S 3783 3785 562 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140182098979752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3789] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3789/stat : 3789 (java) S 3783 3785 562 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140182097927208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3790] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3790/stat : 3790 (java) S 3783 3785 562 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140182096874152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3791] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3791/stat : 3791 (java) S 3783 3785 562 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181977951016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3792] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3792/stat : 3792 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181976897960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3793] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3793/stat : 3793 (java) S 3783 3785 562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181975845416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3794] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3794/stat : 3794 (java) S 3783 3785 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181974792360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3795] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3795/stat : 3795 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534338 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181973739816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3796] ppid=3783 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/3785/task/3796/stat : 3796 (java) S 3783 3785 562 0 -1 4202560 37 0 0 0 6 0 0 0 20 0 19 0 291534339 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181491411816 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3797] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3797/stat : 3797 (java) S 3783 3785 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181490358136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3798] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3798/stat : 3798 (java) S 3783 3785 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181489304968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3799] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3799/stat : 3799 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181488253712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3800] ppid=3783 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/3785/task/3800/stat : 3800 (java) S 3783 3785 562 0 -1 4202560 1606 0 0 0 13 0 0 0 20 0 19 0 291534342 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181487200568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3801] ppid=3783 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/3785/task/3801/stat : 3801 (java) S 3783 3785 562 0 -1 4202560 1805 0 0 0 21 0 0 0 20 0 19 0 291534342 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181486148024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3802] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3802/stat : 3802 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181485095160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3803] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3803/stat : 3803 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181484042824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3804] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3804/stat : 3804 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534353 9855979520 18848 33554432000 1073741824 1073778376 140736913880768 140181482989096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=3785/tid=3800] ppid=3783 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/3785/task/3800/stat : 3800 (java) S 3783 3785 562 0 -1 4202560 1606 0 0 0 13 0 0 0 20 0 19 0 291534342 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181487200568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3801] ppid=3783 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/3785/task/3801/stat : 3801 (java) S 3783 3785 562 0 -1 4202560 1818 0 0 0 23 0 0 0 20 0 19 0 291534342 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181486148024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3802] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3802/stat : 3802 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181485095160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3803] ppid=3783 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/3785/task/3803/stat : 3803 (java) S 3783 3785 562 0 -1 4202560 99 0 0 0 41 32 0 0 20 0 19 0 291534342 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181484042824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3804] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3804/stat : 3804 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534353 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181482989096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.19
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 1.84 1.95 1.98 3/215 3878
/proc/meminfo: memFree=30185208/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9624980 CPUtime=1786.22 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 9349 0 1 0 178562 60 0 0 20 0 19 0 291534336 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2406245 81422 2264 9 0 2396937 0
[pid=3785/tid=3787] ppid=3783 vsize=9624980 CPUtime=1773.63 cores=0,2,4,6
/proc/3785/task/3787/stat : 3787 (java) R 3783 3785 562 0 -1 4202560 2575 0 1 0 177333 30 0 0 20 0 19 0 291534337 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140182137487648 140181978448439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3788] ppid=3783 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/3785/task/3788/stat : 3788 (java) S 3783 3785 562 0 -1 4202560 297 0 0 0 48 2 0 0 20 0 19 0 291534338 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140182098979752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3789] ppid=3783 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/3785/task/3789/stat : 3789 (java) S 3783 3785 562 0 -1 4202560 154 0 0 0 47 3 0 0 20 0 19 0 291534338 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140182097927208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3790] ppid=3783 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/3785/task/3790/stat : 3790 (java) S 3783 3785 562 0 -1 4202560 294 0 0 0 52 4 0 0 20 0 19 0 291534338 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140182096874152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3791] ppid=3783 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/3785/task/3791/stat : 3791 (java) S 3783 3785 562 0 -1 4202560 142 0 0 0 53 2 0 0 20 0 19 0 291534338 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181977951016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3792] ppid=3783 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/3785/task/3792/stat : 3792 (java) S 3783 3785 562 0 -1 4202560 233 0 0 0 60 3 0 0 20 0 19 0 291534338 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181976897960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3793] ppid=3783 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/3785/task/3793/stat : 3793 (java) S 3783 3785 562 0 -1 4202560 312 0 0 0 46 2 0 0 20 0 19 0 291534338 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181975845416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3794] ppid=3783 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/3785/task/3794/stat : 3794 (java) S 3783 3785 562 0 -1 4202560 356 0 0 0 48 3 0 0 20 0 19 0 291534338 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181974792360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3795] ppid=3783 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/3785/task/3795/stat : 3795 (java) S 3783 3785 562 0 -1 4202560 151 0 0 0 51 4 0 0 20 0 19 0 291534338 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181973739816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3796] ppid=3783 vsize=9624980 CPUtime=2.82 cores=0,2,4,6
/proc/3785/task/3796/stat : 3796 (java) S 3783 3785 562 0 -1 4202560 127 0 0 0 279 3 0 0 20 0 19 0 291534339 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181491411816 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3797] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3797/stat : 3797 (java) S 3783 3785 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181490358136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3798] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3798/stat : 3798 (java) S 3783 3785 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181489304968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3799] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3799/stat : 3799 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181488253712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3800] ppid=3783 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/3785/task/3800/stat : 3800 (java) S 3783 3785 562 0 -1 4202560 1606 0 0 0 13 0 0 0 20 0 19 0 291534342 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181487200568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3801] ppid=3783 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/3785/task/3801/stat : 3801 (java) S 3783 3785 562 0 -1 4202560 1818 0 0 0 23 0 0 0 20 0 19 0 291534342 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181486148024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3802] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3802/stat : 3802 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181485095160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3803] ppid=3783 vsize=9624980 CPUtime=0.77 cores=0,2,4,6
/proc/3785/task/3803/stat : 3803 (java) S 3783 3785 562 0 -1 4202560 103 0 0 0 43 34 0 0 20 0 19 0 291534342 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181484042824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3804] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3804/stat : 3804 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534353 9855979520 81422 33554432000 1073741824 1073778376 140736913880768 140181482989096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.22
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.1 s]
/proc/loadavg: 1.87 1.95 1.98 4/215 3878
/proc/meminfo: memFree=30174636/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9624980 CPUtime=1800.09 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 9389 0 1 0 179949 60 0 0 20 0 19 0 291534336 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2406245 81459 2264 9 0 2396937 0
[pid=3785/tid=3787] ppid=3783 vsize=9624980 CPUtime=1787.3 cores=0,2,4,6
/proc/3785/task/3787/stat : 3787 (java) R 3783 3785 562 0 -1 4202560 2576 0 1 0 178699 31 0 0 20 0 19 0 291534337 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140182137487648 140181978448444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3788] ppid=3783 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/3785/task/3788/stat : 3788 (java) S 3783 3785 562 0 -1 4202560 297 0 0 0 48 2 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140182098979752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3789] ppid=3783 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/3785/task/3789/stat : 3789 (java) S 3783 3785 562 0 -1 4202560 181 0 0 0 50 3 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140182097927208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3790] ppid=3783 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/3785/task/3790/stat : 3790 (java) S 3783 3785 562 0 -1 4202560 294 0 0 0 55 4 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140182096874152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3791] ppid=3783 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/3785/task/3791/stat : 3791 (java) S 3783 3785 562 0 -1 4202560 142 0 0 0 53 2 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181977951016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3792] ppid=3783 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/3785/task/3792/stat : 3792 (java) S 3783 3785 562 0 -1 4202560 233 0 0 0 62 3 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181976897960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3793] ppid=3783 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/3785/task/3793/stat : 3793 (java) S 3783 3785 562 0 -1 4202560 322 0 0 0 48 2 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181975845416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3794] ppid=3783 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/3785/task/3794/stat : 3794 (java) S 3783 3785 562 0 -1 4202560 356 0 0 0 49 3 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181974792360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3795] ppid=3783 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/3785/task/3795/stat : 3795 (java) S 3783 3785 562 0 -1 4202560 151 0 0 0 52 4 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181973739816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3796] ppid=3783 vsize=9624980 CPUtime=2.9 cores=0,2,4,6
/proc/3785/task/3796/stat : 3796 (java) S 3783 3785 562 0 -1 4202560 129 0 0 0 287 3 0 0 20 0 19 0 291534339 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181491411816 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3797] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3797/stat : 3797 (java) S 3783 3785 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181490358136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3798] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3798/stat : 3798 (java) S 3783 3785 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181489304968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3799] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3799/stat : 3799 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181488253712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3800] ppid=3783 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/3785/task/3800/stat : 3800 (java) S 3783 3785 562 0 -1 4202560 1606 0 0 0 13 0 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181487200568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3801] ppid=3783 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/3785/task/3801/stat : 3801 (java) S 3783 3785 562 0 -1 4202560 1818 0 0 0 23 0 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181486148024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3802] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3802/stat : 3802 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181485095160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3803] ppid=3783 vsize=9624980 CPUtime=0.77 cores=0,2,4,6
/proc/3785/task/3803/stat : 3803 (java) S 3783 3785 562 0 -1 4202560 103 0 0 0 43 34 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181484042824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3804] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3804/stat : 3804 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534353 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181482989096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624980

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

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

[startup+1796.1 s]
/proc/loadavg: 1.87 1.95 1.98 4/215 3878
/proc/meminfo: memFree=30174636/32873844 swapFree=7124/7124
[pid=3785] ppid=3783 vsize=9624980 CPUtime=1800.09 cores=0,2,4,6
/proc/3785/stat : 3785 (java) S 3783 3785 562 0 -1 4202496 9389 0 1 0 179949 60 0 0 20 0 19 0 291534336 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140736913871904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3785/statm: 2406245 81459 2264 9 0 2396937 0
[pid=3785/tid=3787] ppid=3783 vsize=9624980 CPUtime=1787.3 cores=0,2,4,6
/proc/3785/task/3787/stat : 3787 (java) R 3783 3785 562 0 -1 4202560 2576 0 1 0 178699 31 0 0 20 0 19 0 291534337 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140182137487648 140181978448444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3788] ppid=3783 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/3785/task/3788/stat : 3788 (java) S 3783 3785 562 0 -1 4202560 297 0 0 0 48 2 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140182098979752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3789] ppid=3783 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/3785/task/3789/stat : 3789 (java) S 3783 3785 562 0 -1 4202560 181 0 0 0 50 3 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140182097927208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3790] ppid=3783 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/3785/task/3790/stat : 3790 (java) S 3783 3785 562 0 -1 4202560 294 0 0 0 55 4 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140182096874152 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3791] ppid=3783 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/3785/task/3791/stat : 3791 (java) S 3783 3785 562 0 -1 4202560 142 0 0 0 53 2 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181977951016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3792] ppid=3783 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/3785/task/3792/stat : 3792 (java) S 3783 3785 562 0 -1 4202560 233 0 0 0 62 3 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181976897960 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3793] ppid=3783 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/3785/task/3793/stat : 3793 (java) S 3783 3785 562 0 -1 4202560 322 0 0 0 48 2 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181975845416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3794] ppid=3783 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/3785/task/3794/stat : 3794 (java) S 3783 3785 562 0 -1 4202560 356 0 0 0 49 3 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181974792360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3795] ppid=3783 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/3785/task/3795/stat : 3795 (java) S 3783 3785 562 0 -1 4202560 151 0 0 0 52 4 0 0 20 0 19 0 291534338 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181973739816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3796] ppid=3783 vsize=9624980 CPUtime=2.9 cores=0,2,4,6
/proc/3785/task/3796/stat : 3796 (java) S 3783 3785 562 0 -1 4202560 129 0 0 0 287 3 0 0 20 0 19 0 291534339 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181491411816 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3797] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3797/stat : 3797 (java) S 3783 3785 562 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181490358136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3798] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3798/stat : 3798 (java) S 3783 3785 562 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291534340 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181489304968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3799] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3799/stat : 3799 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181488253712 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3785/tid=3800] ppid=3783 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/3785/task/3800/stat : 3800 (java) S 3783 3785 562 0 -1 4202560 1606 0 0 0 13 0 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181487200568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3785/tid=3801] ppid=3783 vsize=9624980 CPUtime=0.23 cores=0,2,4,6
/proc/3785/task/3801/stat : 3801 (java) S 3783 3785 562 0 -1 4202560 1818 0 0 0 23 0 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181486148024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3802] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3802/stat : 3802 (java) S 3783 3785 562 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181485095160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3785/tid=3803] ppid=3783 vsize=9624980 CPUtime=0.77 cores=0,2,4,6
/proc/3785/task/3803/stat : 3803 (java) S 3783 3785 562 0 -1 4202560 103 0 0 0 43 34 0 0 20 0 19 0 291534342 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181484042824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3785/tid=3804] ppid=3783 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/3785/task/3804/stat : 3804 (java) S 3783 3785 562 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291534353 9855979520 81459 33554432000 1073741824 1073778376 140736913880768 140181482989096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624980

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3785 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=50110
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=49840
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.15
CPU time (s): 1800.09
CPU user time (s): 1799.49
CPU system time (s): 0.6
CPU usage (%): 100.219
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 1.04984
maximum resident set size= 325996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9431
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40224
involuntary context switches= 10804

runsolver used 6.76997 second user time and 14.3338 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-29 03:14:50
IDJOB=3718460
IDBENCH=79187
IDSOLVER=2301
FILE ID=node134/3718460-1338254089
RUNJOBID= node134-1338248725-3092
PBS_JOBID= 14624637
Free space on /tmp= 71012 MiB

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

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

MD5SUM BENCH= 3ef623ad54bc9b8a55f5198a1c4abc02
RANDOM SEED=1429919789

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30469192 kB
Buffers:          459276 kB
Cached:           937844 kB
SwapCached:          416 kB
Active:          1457192 kB
Inactive:          46684 kB
Active(anon):      97224 kB
Inactive(anon):    11384 kB
Active(file):    1359968 kB
Inactive(file):    35300 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107772 kB
Dirty:               896 kB
Writeback:             0 kB
AnonPages:        112872 kB
Mapped:            20880 kB
Shmem:               100 kB
Slab:             759976 kB
SReclaimable:     201260 kB
SUnreclaim:       558716 kB
KernelStack:        1616 kB
PageTables:         4040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

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