Trace number 3688011

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
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.47 1768.25

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
MD5SUM0b4d976a66cd69333fd390f8a9139e21
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.18997
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables10100
Total number of constraints201
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3688011-1337879098.opb
0.07/0.12	c reading problem ... 
0.53/0.32	c ... done. Wall clock time 0.201s.
0.53/0.32	c declared #vars     10100
0.53/0.32	c #constraints  201
0.53/0.32	c constraints type 
0.53/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101
0.53/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
0.53/0.32	c 201 constraints processed.
1.62/1.03	c cleaning 2476 clauses out of 5000 with flag 5000/5000
2.30/1.60	c cleaning 4223 clauses out of 8524 with flag 11000/11000
3.13/2.49	c cleaning 5590 clauses out of 11301 with flag 18000/18000
4.24/3.50	c cleaning 6815 clauses out of 13711 with flag 26000/26000
5.61/4.84	c cleaning 7862 clauses out of 15898 with flag 35002/35002
7.13/6.39	c cleaning 8922 clauses out of 18034 with flag 45000/45000
8.87/8.07	c cleaning 9940 clauses out of 20115 with flag 56003/56003
12.02/11.11	c cleaning 11024 clauses out of 22172 with flag 68000/68000
14.85/13.91	c cleaning 11972 clauses out of 24148 with flag 81000/81000
17.69/16.71	c cleaning 13034 clauses out of 26177 with flag 95001/95001
21.07/20.02	c cleaning 14052 clauses out of 28143 with flag 110001/110001
23.91/22.84	c cleaning 15041 clauses out of 30090 with flag 126000/126000
27.15/26.00	c cleaning 15998 clauses out of 32049 with flag 143000/143000
31.97/30.82	c cleaning 17014 clauses out of 34052 with flag 161001/161001
36.24/35.03	c cleaning 17973 clauses out of 36037 with flag 180000/180000
40.19/38.91	c cleaning 18996 clauses out of 38065 with flag 200001/200001
46.87/45.55	c cleaning 20019 clauses out of 40069 with flag 221001/221001
53.22/51.87	c cleaning 21016 clauses out of 42051 with flag 243002/243002
59.44/57.98	c cleaning 21996 clauses out of 44035 with flag 266002/266002
64.50/62.92	c cleaning 22982 clauses out of 46038 with flag 290001/290001
70.85/69.28	c cleaning 24004 clauses out of 48055 with flag 315000/315000
79.70/78.02	c cleaning 25015 clauses out of 50051 with flag 341000/341000
87.31/85.58	c cleaning 26005 clauses out of 52038 with flag 368002/368002
94.38/92.55	c cleaning 27003 clauses out of 54031 with flag 396000/396000
99.85/97.96	c cleaning 27991 clauses out of 56029 with flag 425001/425001
107.77/105.85	c cleaning 29005 clauses out of 58038 with flag 455001/455001
115.75/113.79	c cleaning 30006 clauses out of 60037 with flag 486005/486005
126.84/124.63	c cleaning 30998 clauses out of 62027 with flag 518001/518001
137.15/134.96	c cleaning 32003 clauses out of 64028 with flag 551000/551000
148.11/145.83	c cleaning 32998 clauses out of 66027 with flag 585002/585002
156.53/154.13	c cleaning 34005 clauses out of 68028 with flag 620001/620001
166.20/163.80	c cleaning 34994 clauses out of 70023 with flag 656001/656001
177.28/174.71	c cleaning 35996 clauses out of 72028 with flag 693000/693000
188.09/185.48	c cleaning 37000 clauses out of 74035 with flag 731003/731003
202.69/200.00	c cleaning 37994 clauses out of 76033 with flag 770001/770001
215.50/212.66	c cleaning 39002 clauses out of 78042 with flag 810004/810004
236.75/233.69	c cleaning 40005 clauses out of 80036 with flag 851000/851000
250.29/246.96	c cleaning 40991 clauses out of 82032 with flag 893001/893001
261.23/257.80	c cleaning 41991 clauses out of 84040 with flag 936000/936000
273.71/270.20	c cleaning 43014 clauses out of 86049 with flag 980000/980000
288.51/284.94	c cleaning 43995 clauses out of 88036 with flag 1025001/1025001
307.81/304.18	c cleaning 44995 clauses out of 90040 with flag 1071000/1071000
323.03/319.21	c cleaning 46007 clauses out of 92045 with flag 1118000/1118000
342.04/338.18	c cleaning 47008 clauses out of 94040 with flag 1166002/1166002
357.87/353.89	c cleaning 48007 clauses out of 96034 with flag 1215004/1215004
377.38/373.29	c cleaning 49005 clauses out of 98023 with flag 1265000/1265000
397.49/393.23	c cleaning 49999 clauses out of 100019 with flag 1316001/1316001
409.87/405.46	c cleaning 50996 clauses out of 102024 with flag 1368005/1368005
425.57/421.07	c cleaning 51992 clauses out of 104024 with flag 1421001/1421001
443.37/438.75	c cleaning 53002 clauses out of 106031 with flag 1475000/1475000
464.98/460.26	c cleaning 54000 clauses out of 108029 with flag 1530000/1530000
495.79/490.77	c cleaning 55002 clauses out of 110029 with flag 1586000/1586000
515.04/509.92	c cleaning 56006 clauses out of 112031 with flag 1643004/1643004
543.30/538.00	c cleaning 57000 clauses out of 114026 with flag 1701005/1701005
569.34/563.83	c cleaning 58002 clauses out of 116021 with flag 1760000/1760000
595.18/589.57	c cleaning 59006 clauses out of 118021 with flag 1820002/1820002
620.73/614.91	c cleaning 60000 clauses out of 120013 with flag 1881000/1881000
651.92/645.35	c cleaning 60992 clauses out of 122015 with flag 1943002/1943002
678.81/671.31	c cleaning 61969 clauses out of 124021 with flag 2006000/2006000
700.23/692.15	c cleaning 63008 clauses out of 126053 with flag 2070001/2070001
731.73/723.03	c cleaning 64000 clauses out of 128045 with flag 2135001/2135001
764.22/754.88	c cleaning 65005 clauses out of 130044 with flag 2201000/2201000
814.37/804.18	c cleaning 66005 clauses out of 132044 with flag 2268005/2268005
854.56/843.44	c cleaning 66998 clauses out of 134034 with flag 2336000/2336000
898.93/887.08	c cleaning 68009 clauses out of 136036 with flag 2405000/2405000
936.72/923.76	c cleaning 68996 clauses out of 138028 with flag 2475001/2475001
980.38/966.77	c cleaning 70001 clauses out of 140033 with flag 2546002/2546002
1023.29/1008.80	c cleaning 70997 clauses out of 142031 with flag 2618001/2618001
1054.21/1039.19	c cleaning 72005 clauses out of 144035 with flag 2691002/2691002
1097.49/1081.71	c cleaning 72999 clauses out of 146028 with flag 2765000/2765000
1152.43/1135.65	c cleaning 74004 clauses out of 148031 with flag 2840002/2840002
1196.09/1178.16	c cleaning 75003 clauses out of 150030 with flag 2916005/2916005
1235.39/1216.86	c cleaning 75975 clauses out of 152022 with flag 2993000/2993000
1265.88/1246.46	c cleaning 77012 clauses out of 154047 with flag 3071000/3071000
1301.84/1281.76	c cleaning 78004 clauses out of 156036 with flag 3150001/3150001
1343.10/1322.32	c cleaning 79010 clauses out of 158035 with flag 3230004/3230004
1382.20/1360.64	c cleaning 79991 clauses out of 160021 with flag 3311000/3311000
1430.35/1408.00	c cleaning 80992 clauses out of 162030 with flag 3393000/3393000
1465.94/1442.22	c cleaning 82008 clauses out of 164039 with flag 3476001/3476001
1513.42/1489.01	c cleaning 83006 clauses out of 166030 with flag 3560000/3560000
1559.15/1532.55	c cleaning 83998 clauses out of 168025 with flag 3645001/3645001
1613.91/1586.29	c cleaning 85000 clauses out of 170031 with flag 3731005/3731005
1665.56/1636.96	c cleaning 86005 clauses out of 172031 with flag 3818005/3818005
1720.67/1691.19	c cleaning 87001 clauses out of 174022 with flag 3906001/3906001
1776.07/1744.86	c cleaning 88001 clauses out of 176024 with flag 3995004/3995004
1800.03/1768.21	c starts		: 253
1800.03/1768.21	c conflicts		: 4042145
1800.03/1768.21	c decisions		: 6285519
1800.03/1768.21	c propagations		: 360380573
1800.03/1768.21	c inspects		: 13470741584
1800.03/1768.21	c shortcuts		: 0
1800.03/1768.21	c learnt literals	: 0
1800.03/1768.21	c learnt binary clauses	: 0
1800.03/1768.21	c learnt ternary clauses	: 0
1800.03/1768.21	c learnt constraints	: 4042145
1800.03/1768.21	c ignored constraints	: 0
1800.03/1768.21	c root simplifications	: 0
1800.03/1768.21	c removed literals (reason simplification)	: 0
1800.03/1768.21	c reason swapping (by a shorter reason)	: 0
1800.03/1768.21	c Calls to reduceDB	: 85
1800.03/1768.21	c number of reductions to clauses (during analyze)	: 0
1800.03/1768.21	c number of learned constraints concerned by reduction	: 0
1800.03/1768.21	c number of learning phase by resolution	: 0
1800.03/1768.21	c number of learning phase by cutting planes	: 0
1800.03/1768.21	c speed (assignments/second)	: 203849.80991281613
1800.03/1768.21	c non guided choices	535058
1800.03/1768.24	c learnt constraints type 
1800.03/1768.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 135180
1800.03/1768.24	c constraints type 
1800.03/1768.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101
1800.03/1768.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
1800.03/1768.24	c 201 constraints processed.
1800.03/1768.24	s UNKNOWN
1800.03/1768.24	c Total wall clock time (in seconds): 1768.121

Verifier Data

ERROR: no interpretation found !

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-3688011-1337879098/watcher-3688011-1337879098 -o /tmp/evaluation-result-3688011-1337879098/solver-3688011-1337879098 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688011-1337879098.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: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/24243/stat : 24243 (java) D 24241 24243 23489 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 254035753 2560000 46 33554432000 1073741824 1073778376 140733719957440 140733719954568 217401355559 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/24243/statm: 625 46 37 9 0 29 0

[startup+0.0831901 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 3336 0 1 0 5 0 0 0 20 0 18 0 254035753 9787813888 4033 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2389603 4033 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.10027 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 4234 0 1 0 7 0 0 0 20 0 18 0 254035753 9787813888 4919 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2389603 4919 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.300173 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9558412 CPUtime=0.53 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 7396 0 1 0 52 1 0 0 20 0 18 0 254035753 9787813888 10943 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2389603 10943 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412

[startup+0.700161 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 24243
/proc/meminfo: memFree=28703920/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=1.32 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 8742 0 1 0 130 2 0 0 20 0 19 0 254035753 9855975424 14177 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 14177 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9624976

[startup+1.5006 s]
/proc/loadavg: 2.16 2.05 2.01 3/213 24262
/proc/meminfo: memFree=28646524/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=2.19 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 8842 0 1 0 216 3 0 0 20 0 19 0 254035753 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 21909 2271 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 2526 0 1 0 142 2 0 0 20 0 19 0 254035755 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140116322795832 140116263163632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21909 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 21910 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 254035757 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) R 24241 24243 23489 0 -1 4202560 2433 0 0 0 37 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413893176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) R 24241 24243 23489 0 -1 4202560 2618 0 0 0 30 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116141692680 217413902773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 21911 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9624976

[startup+3.1006 s]
/proc/loadavg: 2.16 2.05 2.01 4/213 24262
/proc/meminfo: memFree=28609288/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=3.83 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 8881 0 1 0 378 5 0 0 20 0 19 0 254035753 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 27552 2271 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 2527 0 1 0 297 2 0 0 20 0 19 0 254035755 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116322795744 140116263107811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 19 0 254035757 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2435 0 0 0 38 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2621 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 27552 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9624976

[startup+6.3006 s]
/proc/loadavg: 2.16 2.05 2.01 4/213 24262
/proc/meminfo: memFree=28583348/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=7.13 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 9497 0 1 0 706 7 0 0 20 0 19 0 254035753 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 31968 2271 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=6.12 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 2529 0 1 0 610 2 0 0 20 0 19 0 254035755 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116322795744 140116263163723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 118 0 0 0 1 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 19 0 254035756 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 40 0 0 0 8 0 0 0 20 0 19 0 254035757 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2589 0 0 0 41 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 31968 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=4.73 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 3055 0 0 0 446 27 0 0 20 0 19 0 254035756 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=4.5 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 2117 0 0 0 426 24 0 0 20 0 19 0 254035756 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=4.79 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 2617 0 0 0 448 31 0 0 20 0 19 0 254035756 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=6.81 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 2131 0 0 0 674 7 0 0 20 0 19 0 254035757 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2593 0 0 0 42 0 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 93 0 0 0 25 30 0 0 20 0 19 0 254035760 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 216164 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1630.46
Current children cumulated vsize (KiB) 9624976

[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 24337
/proc/meminfo: memFree=26927648/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=1691.46 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 33566 0 1 0 168883 263 0 0 20 0 19 0 254035753 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 222791 2272 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=1644.41 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 3262 0 1 0 164411 30 0 0 20 0 19 0 254035755 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116322794800 140116263127437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=4.78 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 3324 0 0 0 448 30 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=4.96 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 2200 0 0 0 469 27 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=4.88 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 2156 0 0 0 466 22 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=4.85 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 3166 0 0 0 454 31 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=4.87 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 2710 0 0 0 460 27 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=4.86 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 3177 0 0 0 458 28 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=4.68 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 2217 0 0 0 444 24 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=5 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 2697 0 0 0 468 32 0 0 20 0 19 0 254035756 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=6.95 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 2159 0 0 0 688 7 0 0 20 0 19 0 254035757 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2593 0 0 0 42 0 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 97 0 0 0 26 31 0 0 20 0 19 0 254035760 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 222791 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1691.46
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.97 2.02 2.00 3/213 24337
/proc/meminfo: memFree=26865772/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=1752.67 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 34781 0 1 0 174995 272 0 0 20 0 19 0 254035753 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 238368 2272 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=1703.81 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 3283 0 1 0 170350 31 0 0 20 0 19 0 254035755 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116322794800 140116263226721 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=5 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 3551 0 0 0 469 31 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=5.17 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 2255 0 0 0 489 28 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=5.09 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 2216 0 0 0 486 23 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=5.06 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 3273 0 0 0 474 32 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=5.05 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 2924 0 0 0 477 28 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=5.06 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 3393 0 0 0 477 29 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=4.9 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 2375 0 0 0 465 25 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=5.21 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 2794 0 0 0 488 33 0 0 20 0 19 0 254035756 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=7.1 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 2217 0 0 0 702 8 0 0 20 0 19 0 254035757 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2593 0 0 0 42 0 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 99 0 0 0 27 32 0 0 20 0 19 0 254035760 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 238368 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1752.67
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1768.2 s]
/proc/loadavg: 1.98 2.02 2.00 3/213 24337
/proc/meminfo: memFree=26967432/32873648 swapFree=7372/7372
[pid=24243] ppid=24241 vsize=9624976 CPUtime=1800.03 cores=0,2,4,6
/proc/24243/stat : 24243 (java) S 24241 24243 23489 0 -1 4202496 35170 0 1 0 179725 278 0 0 20 0 19 0 254035753 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140737332422496 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24243/statm: 2406244 219035 2272 9 0 2396937 0
[pid=24243/tid=24245] ppid=24241 vsize=9624976 CPUtime=1749.01 cores=0,2,4,6
/proc/24243/task/24245/stat : 24245 (java) R 24241 24243 23489 0 -1 4202560 3318 0 1 0 174868 33 0 0 20 0 19 0 254035755 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116322794800 140116263108684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24246] ppid=24241 vsize=9624976 CPUtime=5.25 cores=0,2,4,6
/proc/24243/task/24246/stat : 24246 (java) S 24241 24243 23489 0 -1 4202560 3552 0 0 0 493 32 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116166748840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24243/tid=24247] ppid=24241 vsize=9624976 CPUtime=5.38 cores=0,2,4,6
/proc/24243/task/24247/stat : 24247 (java) S 24241 24243 23489 0 -1 4202560 2265 0 0 0 509 29 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116165696296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24248] ppid=24241 vsize=9624976 CPUtime=5.34 cores=0,2,4,6
/proc/24243/task/24248/stat : 24248 (java) S 24241 24243 23489 0 -1 4202560 2228 0 0 0 510 24 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116164643752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24249] ppid=24241 vsize=9624976 CPUtime=5.31 cores=0,2,4,6
/proc/24243/task/24249/stat : 24249 (java) S 24241 24243 23489 0 -1 4202560 3283 0 0 0 498 33 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116163591208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24250] ppid=24241 vsize=9624976 CPUtime=5.3 cores=0,2,4,6
/proc/24243/task/24250/stat : 24250 (java) S 24241 24243 23489 0 -1 4202560 2995 0 0 0 502 28 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116162537640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24251] ppid=24241 vsize=9624976 CPUtime=5.32 cores=0,2,4,6
/proc/24243/task/24251/stat : 24251 (java) S 24241 24243 23489 0 -1 4202560 3469 0 0 0 502 30 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116161485096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24252] ppid=24241 vsize=9624976 CPUtime=5.16 cores=0,2,4,6
/proc/24243/task/24252/stat : 24252 (java) S 24241 24243 23489 0 -1 4202560 2435 0 0 0 491 25 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116160432552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24253] ppid=24241 vsize=9624976 CPUtime=5.46 cores=0,2,4,6
/proc/24243/task/24253/stat : 24253 (java) S 24241 24243 23489 0 -1 4202560 2872 0 0 0 513 33 0 0 20 0 19 0 254035756 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116159380008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24254] ppid=24241 vsize=9624976 CPUtime=7.25 cores=0,2,4,6
/proc/24243/task/24254/stat : 24254 (java) S 24241 24243 23489 0 -1 4202560 2249 0 0 0 717 8 0 0 20 0 19 0 254035757 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116146969192 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24255] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24255/stat : 24255 (java) S 24241 24243 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116145915512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24256] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24256/stat : 24256 (java) S 24241 24243 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254035758 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116144862856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24257] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24257/stat : 24257 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116143811600 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24258] ppid=24241 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24243/task/24258/stat : 24258 (java) S 24241 24243 23489 0 -1 4202560 2593 0 0 0 42 0 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116142757944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24243/tid=24259] ppid=24241 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/24243/task/24259/stat : 24259 (java) S 24241 24243 23489 0 -1 4202560 2622 0 0 0 31 0 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116141705400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24260] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24260/stat : 24260 (java) S 24241 24243 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116140653048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24243/tid=24261] ppid=24241 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/24243/task/24261/stat : 24261 (java) S 24241 24243 23489 0 -1 4202560 103 0 0 0 28 33 0 0 20 0 19 0 254035760 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116139600712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24243/tid=24262] ppid=24241 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24243/task/24262/stat : 24262 (java) S 24241 24243 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254035788 9855975424 219035 33554432000 1073741824 1073778376 140737332431360 140116138546472 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143
Real time (s): 1768.25
CPU time (s): 1800.47
CPU user time (s): 1797.24
CPU system time (s): 3.23151
CPU usage (%): 101.822
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.24
system time used= 3.23151
maximum resident set size= 1264760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35214
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52812
involuntary context switches= 64728

runsolver used 6.66999 second user time and 14.0029 second system time

The end

Launcher Data

Begin job on node122 at 2012-05-24 19:04:58
IDJOB=3688011
IDBENCH=2578
IDSOLVER=2269
FILE ID=node122/3688011-1337879098
RUNJOBID= node122-1337871880-23505
PBS_JOBID= 14620082
Free space on /tmp= 71376 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688011-1337879098/watcher-3688011-1337879098 -o /tmp/evaluation-result-3688011-1337879098/solver-3688011-1337879098 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688011-1337879098.opb

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

MD5SUM BENCH= 0b4d976a66cd69333fd390f8a9139e21
RANDOM SEED=947321410

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28704192 kB
Buffers:          191420 kB
Cached:          2925140 kB
SwapCached:            0 kB
Active:          1507384 kB
Inactive:        1879112 kB
Active(anon):     261612 kB
Inactive(anon):    11052 kB
Active(file):    1245772 kB
Inactive(file):  1868060 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               448 kB
Writeback:             0 kB
AnonPages:        289572 kB
Mapped:            21928 kB
Shmem:               200 kB
Slab:             634092 kB
SReclaimable:      78480 kB
SUnreclaim:       555612 kB
KernelStack:        1616 kB
PageTables:         4692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     697188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71372 MiB
End job on node122 at 2012-05-24 19:34:28