Trace number 3709706

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 specific settings 2.3.2 snapshot? (TO) 1800.09 1794.65

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
MD5SUM891ef60a3c811d65a65dee7761e3f07c
Bench CategoryDEC-MEDINT (no optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.83357
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables96
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint96
Maximum length of a constraint96
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 27267752
Number of bits of the biggest number in a constraint 25
Biggest sum of numbers in a constraint 410674921
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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 phase appearing in latest learned clause
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3709706-1338150259.opb
0.10/0.11	c reading problem ... 
0.10/0.13	c ... done. Wall clock time 0.016s.
0.10/0.13	c declared #vars     96
0.10/0.13	c #constraints  2
0.10/0.13	c constraints type 
0.10/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.10/0.13	c 2 constraints processed.
0.66/0.44	c cleaning 2499 clauses out of 5000 with flag 5000/5000
0.94/0.66	c cleaning 4246 clauses out of 8501 with flag 11000/11000
1.18/0.89	c cleaning 5624 clauses out of 11255 with flag 18000/18000
1.50/1.18	c cleaning 6816 clauses out of 13631 with flag 26000/26000
1.83/1.49	c cleaning 7902 clauses out of 15815 with flag 35000/35000
2.23/1.85	c cleaning 8952 clauses out of 17914 with flag 45001/45001
2.64/2.28	c cleaning 9979 clauses out of 19961 with flag 56000/56000
3.16/2.76	c cleaning 10990 clauses out of 21982 with flag 68000/68000
3.78/3.34	c cleaning 11996 clauses out of 23992 with flag 81000/81000
4.39/3.92	c cleaning 12992 clauses out of 25996 with flag 95000/95000
5.00/4.56	c cleaning 13995 clauses out of 28005 with flag 110001/110001
5.72/5.28	c cleaning 15000 clauses out of 30010 with flag 126001/126001
6.54/6.07	c cleaning 16004 clauses out of 32009 with flag 143000/143000
7.44/6.98	c cleaning 16998 clauses out of 34008 with flag 161003/161003
8.46/7.95	c cleaning 18004 clauses out of 36008 with flag 180001/180001
9.57/9.00	c cleaning 18996 clauses out of 38003 with flag 200000/200000
10.78/10.23	c cleaning 19994 clauses out of 40008 with flag 221001/221001
11.89/11.31	c cleaning 21000 clauses out of 42013 with flag 243000/243000
13.09/12.53	c cleaning 22007 clauses out of 44014 with flag 266001/266001
14.20/13.64	c cleaning 22997 clauses out of 46006 with flag 290000/290000
15.51/14.95	c cleaning 23996 clauses out of 48009 with flag 315000/315000
17.14/16.59	c cleaning 25003 clauses out of 50013 with flag 341000/341000
18.66/18.06	c cleaning 26001 clauses out of 52010 with flag 368000/368000
20.48/19.82	c cleaning 27006 clauses out of 54011 with flag 396002/396002
21.90/21.24	c cleaning 27999 clauses out of 56005 with flag 425002/425002
23.81/23.16	c cleaning 29000 clauses out of 58007 with flag 455003/455003
25.82/25.19	c cleaning 29999 clauses out of 60006 with flag 486002/486002
28.44/27.74	c cleaning 31002 clauses out of 62005 with flag 518000/518000
31.07/30.33	c cleaning 31999 clauses out of 64003 with flag 551000/551000
33.50/32.76	c cleaning 32997 clauses out of 66005 with flag 585001/585001
35.31/34.55	c cleaning 33999 clauses out of 68007 with flag 620000/620000
37.71/36.94	c cleaning 34997 clauses out of 70010 with flag 656002/656002
39.82/39.03	c cleaning 36004 clauses out of 72012 with flag 693001/693001
42.45/41.60	c cleaning 36999 clauses out of 74007 with flag 731000/731000
45.76/44.94	c cleaning 38004 clauses out of 76008 with flag 770000/770000
48.78/47.93	c cleaning 38996 clauses out of 78004 with flag 810000/810000
54.18/53.31	c cleaning 40000 clauses out of 80008 with flag 851000/851000
58.22/57.37	c cleaning 41004 clauses out of 82008 with flag 893000/893000
60.96/60.05	c cleaning 42001 clauses out of 84007 with flag 936003/936003
63.78/62.81	c cleaning 42999 clauses out of 86004 with flag 980001/980001
68.20/67.28	c cleaning 43995 clauses out of 88004 with flag 1025000/1025000
72.61/71.67	c cleaning 45000 clauses out of 90010 with flag 1071001/1071001
76.44/75.42	c cleaning 46003 clauses out of 92010 with flag 1118001/1118001
80.97/79.94	c cleaning 46998 clauses out of 94007 with flag 1166001/1166001
85.19/84.19	c cleaning 47999 clauses out of 96008 with flag 1215000/1215000
90.52/89.44	c cleaning 49002 clauses out of 98010 with flag 1265001/1265001
96.94/95.81	c cleaning 50006 clauses out of 100011 with flag 1316004/1316004
100.46/99.35	c cleaning 51002 clauses out of 102004 with flag 1368003/1368003
104.99/103.87	c cleaning 52000 clauses out of 104001 with flag 1421002/1421002
111.00/109.81	c cleaning 53000 clauses out of 106000 with flag 1475001/1475001
116.13/114.98	c cleaning 54000 clauses out of 108003 with flag 1530004/1530004
122.56/121.32	c cleaning 54990 clauses out of 110000 with flag 1586001/1586001
128.27/127.01	c cleaning 55992 clauses out of 112010 with flag 1643001/1643001
134.01/132.71	c cleaning 57007 clauses out of 114017 with flag 1701000/1701000
141.15/139.80	c cleaning 58002 clauses out of 116011 with flag 1760001/1760001
146.38/145.10	c cleaning 58997 clauses out of 118008 with flag 1820000/1820000
153.58/152.21	c cleaning 60005 clauses out of 120014 with flag 1881003/1881003
160.01/158.66	c cleaning 60996 clauses out of 122006 with flag 1943000/1943000
167.04/165.65	c cleaning 62005 clauses out of 124010 with flag 2006000/2006000
172.15/170.76	c cleaning 63000 clauses out of 126006 with flag 2070001/2070001
179.87/178.49	c cleaning 63993 clauses out of 128006 with flag 2135001/2135001
185.20/183.80	c cleaning 65002 clauses out of 130012 with flag 2201000/2201000
195.62/194.17	c cleaning 66002 clauses out of 132012 with flag 2268002/2268002
201.85/200.34	c cleaning 67000 clauses out of 134008 with flag 2336000/2336000
208.27/206.79	c cleaning 68001 clauses out of 136010 with flag 2405002/2405002
213.61/212.05	c cleaning 68998 clauses out of 138008 with flag 2475001/2475001
221.24/219.63	c cleaning 70002 clauses out of 140010 with flag 2546001/2546001
229.05/227.43	c cleaning 71001 clauses out of 142007 with flag 2618000/2618000
235.76/234.16	c cleaning 71997 clauses out of 144006 with flag 2691000/2691000
248.10/246.47	c cleaning 73002 clauses out of 146010 with flag 2765001/2765001
257.64/255.99	c cleaning 73996 clauses out of 148008 with flag 2840001/2840001
268.68/266.95	c cleaning 75003 clauses out of 150013 with flag 2916002/2916002
278.32/276.57	c cleaning 76004 clauses out of 152009 with flag 2993001/2993001
285.17/283.36	c cleaning 76999 clauses out of 154004 with flag 3071000/3071000
293.28/291.45	c cleaning 78002 clauses out of 156006 with flag 3150001/3150001
301.49/299.68	c cleaning 78992 clauses out of 158003 with flag 3230000/3230000
310.70/308.85	c cleaning 80001 clauses out of 160012 with flag 3311001/3311001
321.42/319.57	c cleaning 80999 clauses out of 162010 with flag 3393000/3393000
329.66/327.79	c cleaning 82001 clauses out of 164011 with flag 3476000/3476000
339.09/337.13	c cleaning 83005 clauses out of 166012 with flag 3560002/3560002
349.20/347.26	c cleaning 84002 clauses out of 168007 with flag 3645002/3645002
361.90/359.91	c cleaning 84998 clauses out of 170004 with flag 3731001/3731001
376.65/374.69	c cleaning 85999 clauses out of 172005 with flag 3818000/3818000
392.13/390.00	c cleaning 87000 clauses out of 174006 with flag 3906000/3906000
401.48/399.36	c cleaning 88002 clauses out of 176007 with flag 3995001/3995001
419.11/416.90	c cleaning 89002 clauses out of 178005 with flag 4085001/4085001
439.85/437.70	c cleaning 89999 clauses out of 180004 with flag 4176002/4176002
456.54/454.25	c cleaning 90995 clauses out of 182003 with flag 4268000/4268000
471.01/468.69	c cleaning 91998 clauses out of 184008 with flag 4361000/4361000
490.12/487.70	c cleaning 93003 clauses out of 186011 with flag 4455001/4455001
500.09/497.60	c cleaning 94000 clauses out of 188009 with flag 4550002/4550002
509.04/506.53	c cleaning 94996 clauses out of 190010 with flag 4646003/4646003
520.76/518.29	c cleaning 96006 clauses out of 192015 with flag 4743004/4743004
532.69/530.19	c cleaning 96998 clauses out of 194006 with flag 4841001/4841001
551.02/548.43	c cleaning 97998 clauses out of 196007 with flag 4940000/4940000
567.87/565.21	c cleaning 99001 clauses out of 198009 with flag 5040000/5040000
585.95/583.28	c cleaning 100003 clauses out of 200008 with flag 5141000/5141000
598.81/596.01	c cleaning 100996 clauses out of 202005 with flag 5243000/5243000
612.95/610.18	c cleaning 102003 clauses out of 204009 with flag 5346000/5346000
629.18/626.33	c cleaning 102996 clauses out of 206006 with flag 5450000/5450000
644.62/641.71	c cleaning 104007 clauses out of 208014 with flag 5555004/5555004
664.64/661.78	c cleaning 104999 clauses out of 210003 with flag 5661000/5661000
680.27/677.35	c cleaning 105998 clauses out of 212004 with flag 5768000/5768000
696.59/693.69	c cleaning 106999 clauses out of 214007 with flag 5876001/5876001
714.75/711.75	c cleaning 108002 clauses out of 216007 with flag 5985000/5985000
735.71/732.64	c cleaning 109000 clauses out of 218006 with flag 6095001/6095001
751.69/748.53	c cleaning 109996 clauses out of 220005 with flag 6206000/6206000
769.55/766.33	c cleaning 111003 clauses out of 222009 with flag 6318000/6318000
785.50/782.27	c cleaning 112001 clauses out of 224006 with flag 6431000/6431000
799.31/796.03	c cleaning 113001 clauses out of 226005 with flag 6545000/6545000
815.42/812.11	c cleaning 113999 clauses out of 228004 with flag 6660000/6660000
828.55/825.26	c cleaning 114998 clauses out of 230005 with flag 6776000/6776000
840.70/837.37	c cleaning 115996 clauses out of 232008 with flag 6893001/6893001
855.43/852.04	c cleaning 116999 clauses out of 234011 with flag 7011000/7011000
872.55/869.11	c cleaning 117997 clauses out of 236012 with flag 7130000/7130000
886.48/883.01	c cleaning 119000 clauses out of 238017 with flag 7250002/7250002
904.42/900.97	c cleaning 120001 clauses out of 240015 with flag 7371000/7371000
918.44/914.98	c cleaning 121001 clauses out of 242015 with flag 7493001/7493001
936.07/932.52	c cleaning 122003 clauses out of 244015 with flag 7616002/7616002
954.13/950.58	c cleaning 123000 clauses out of 246012 with flag 7740002/7740002
976.59/972.96	c cleaning 124000 clauses out of 248010 with flag 7865000/7865000
1001.26/997.55	c cleaning 125004 clauses out of 250010 with flag 7991000/7991000
1027.75/1023.94	c cleaning 126000 clauses out of 252006 with flag 8118000/8118000
1047.17/1043.29	c cleaning 126993 clauses out of 254006 with flag 8246000/8246000
1069.69/1065.79	c cleaning 128005 clauses out of 256014 with flag 8375001/8375001
1091.87/1087.86	c cleaning 129002 clauses out of 258008 with flag 8505000/8505000
1115.33/1111.28	c cleaning 130000 clauses out of 260006 with flag 8636000/8636000
1151.73/1147.55	c cleaning 131002 clauses out of 262008 with flag 8768002/8768002
1177.13/1172.81	c cleaning 131995 clauses out of 264005 with flag 8901001/8901001
1194.98/1190.61	c cleaning 133002 clauses out of 266009 with flag 9035000/9035000
1222.93/1218.52	c cleaning 134001 clauses out of 268009 with flag 9170002/9170002
1250.85/1246.46	c cleaning 135002 clauses out of 270006 with flag 9306000/9306000
1286.13/1281.68	c cleaning 135999 clauses out of 272004 with flag 9443000/9443000
1321.13/1316.57	c cleaning 136998 clauses out of 274007 with flag 9581002/9581002
1360.45/1355.82	c cleaning 137999 clauses out of 276008 with flag 9720001/9720001
1399.16/1394.43	c cleaning 139003 clauses out of 278009 with flag 9860001/9860001
1458.30/1453.59	c cleaning 140005 clauses out of 280009 with flag 10001004/10001004
1488.73/1483.89	c cleaning 140993 clauses out of 282002 with flag 10143002/10143002
1506.18/1501.28	c cleaning 141997 clauses out of 284008 with flag 10286001/10286001
1524.62/1519.67	c cleaning 143000 clauses out of 286011 with flag 10430001/10430001
1541.55/1536.53	c cleaning 144004 clauses out of 288014 with flag 10575004/10575004
1569.58/1564.57	c cleaning 144999 clauses out of 290006 with flag 10721000/10721000
1594.69/1589.68	c cleaning 145998 clauses out of 292009 with flag 10868002/10868002
1631.65/1626.56	c cleaning 147002 clauses out of 294012 with flag 11016003/11016003
1653.67/1648.54	c cleaning 147997 clauses out of 296008 with flag 11165001/11165001
1680.09/1674.91	c cleaning 149001 clauses out of 298010 with flag 11315000/11315000
1706.38/1701.16	c cleaning 150002 clauses out of 300010 with flag 11466001/11466001
1732.11/1726.81	c cleaning 151000 clauses out of 302007 with flag 11618000/11618000
1755.78/1750.45	c cleaning 152002 clauses out of 304007 with flag 11771000/11771000
1778.74/1773.32	c cleaning 153002 clauses out of 306005 with flag 11925000/11925000
1800.09/1794.61	c starts		: 323
1800.09/1794.61	c conflicts		: 12080000
1800.09/1794.61	c decisions		: 12092191
1800.09/1794.61	c propagations		: 68175454
1800.09/1794.61	c inspects		: 16304077325
1800.09/1794.61	c shortcuts		: 0
1800.09/1794.61	c learnt literals	: 0
1800.09/1794.61	c learnt binary clauses	: 0
1800.09/1794.61	c learnt ternary clauses	: 0
1800.09/1794.61	c learnt constraints	: 12080000
1800.09/1794.61	c ignored constraints	: 0
1800.09/1794.61	c root simplifications	: 323
1800.09/1794.61	c removed literals (reason simplification)	: 104579153
1800.09/1794.61	c reason swapping (by a shorter reason)	: 0
1800.09/1794.61	c Calls to reduceDB	: 151
1800.09/1794.61	c number of reductions to clauses (during analyze)	: 0
1800.09/1794.61	c number of learned constraints concerned by reduction	: 0
1800.09/1794.61	c number of learning phase by resolution	: 0
1800.09/1794.61	c number of learning phase by cutting planes	: 0
1800.09/1794.61	c speed (assignments/second)	: 37991.76028710267
1800.09/1794.61	c non guided choices	84
1800.09/1794.64	c learnt constraints type 
1800.09/1794.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 308003
1800.09/1794.64	c constraints type 
1800.09/1794.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.09/1794.64	c 2 constraints processed.
1800.09/1794.64	s UNKNOWN
1800.09/1794.64	c Total wall clock time (in seconds): 1794.533

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-3709706-1338150259/watcher-3709706-1338150259 -o /tmp/evaluation-result-3709706-1338150259/solver-3709706-1338150259 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709706-1338150259.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.99 3/194 5385
/proc/meminfo: memFree=31632364/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/5385/stat : 5385 (java) R 5383 5385 31461 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 281151325 278528 33 33554432000 1073741824 1073778376 140736416553920 140735156741704 260181159093 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 68 33 25 9 0 25 0

[startup+0.0169889 s]
/proc/loadavg: 2.00 2.00 1.99 3/194 5385
/proc/meminfo: memFree=31632364/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9014776 CPUtime=0 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 2138 0 1 0 0 0 0 0 20 0 10 0 281151325 9231130624 2329 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2253694 2329 1013 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.100184 s]
/proc/loadavg: 2.00 2.00 1.99 3/194 5385
/proc/meminfo: memFree=31632364/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 4352 0 1 0 9 1 0 0 20 0 18 0 281151325 9787842560 6067 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2389610 6067 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 1.99 3/194 5385
/proc/meminfo: memFree=31632364/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 6510 0 1 0 51 1 0 0 20 0 19 0 281151325 9856004096 8402 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2406251 8402 2227 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004

[startup+0.700115 s]
/proc/loadavg: 2.00 2.00 1.99 3/194 5385
/proc/meminfo: memFree=31632364/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9625004 CPUtime=1.08 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 7091 0 1 0 106 2 0 0 20 0 19 0 281151325 9856004096 11020 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2406251 11020 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9625004

[startup+1.50084 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 5404
/proc/meminfo: memFree=31593816/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9625004 CPUtime=1.94 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 7264 0 1 0 191 3 0 0 20 0 19 0 281151325 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2406251 12076 2275 9 0 2396937 0
[pid=5385/tid=5387] ppid=5383 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/5385/task/5387/stat : 5387 (java) S 5383 5385 31461 0 -1 4202560 2517 0 1 0 140 1 0 0 20 0 19 0 281151326 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140275087503464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5388] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5388/stat : 5388 (java) S 5383 5385 31461 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140275048995752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5389] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5389/stat : 5389 (java) R 5383 5385 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140275047943208 260193694780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5390] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5390/stat : 5390 (java) S 5383 5385 31461 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140275046890152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5391] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5391/stat : 5391 (java) S 5383 5385 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140275045837608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5392] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (java) S 5383 5385 31461 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140275044784552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5393] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5393/stat : 5393 (java) S 5383 5385 31461 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140275043732008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5394] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5394/stat : 5394 (java) S 5383 5385 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140275042678952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5395] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5395/stat : 5395 (java) S 5383 5385 31461 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274923727144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5396] ppid=5383 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/5385/task/5396/stat : 5396 (java) R 5383 5385 31461 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 281151327 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274911528808 260193706421 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5397] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5397/stat : 5397 (java) S 5383 5385 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274910476152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5398] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5398/stat : 5398 (java) S 5383 5385 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274909422984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5399] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5399/stat : 5399 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274908371728 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5400] ppid=5383 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/5385/task/5400/stat : 5400 (java) S 5383 5385 31461 0 -1 4202560 1740 0 0 0 16 0 0 0 20 0 19 0 281151330 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274168752440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (java) S 5383 5385 31461 0 -1 4202560 1737 0 0 0 22 0 0 0 20 0 19 0 281151330 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274167699896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5402] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5402/stat : 5402 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274166647032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5403] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5403/stat : 5403 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274165594696 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5404] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5404/stat : 5404 (java) S 5383 5385 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281151338 9856004096 12076 33554432000 1073741824 1073778376 140736416553920 140274164540968 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9625004

[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 5404
/proc/meminfo: memFree=31589472/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9625004 CPUtime=3.57 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 7274 0 1 0 354 3 0 0 20 0 19 0 281151325 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2406251 13105 2275 9 0 2396937 0
[pid=5385/tid=5387] ppid=5383 vsize=9625004 CPUtime=2.94 cores=1,3,5,7
/proc/5385/task/5387/stat : 5387 (java) R 5383 5385 31461 0 -1 4202560 2520 0 1 0 293 1 0 0 20 0 19 0 281151326 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140275087503624 140274924273371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5388] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5388/stat : 5388 (java) S 5383 5385 31461 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140275048995752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5389] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5389/stat : 5389 (java) S 5383 5385 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140275047943208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5390] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5390/stat : 5390 (java) S 5383 5385 31461 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140275046890152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5391] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5391/stat : 5391 (java) S 5383 5385 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140275045837608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5392] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (java) S 5383 5385 31461 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140275044784552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5393] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5393/stat : 5393 (java) S 5383 5385 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140275043732008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5394] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5394/stat : 5394 (java) S 5383 5385 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140275042678952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5395] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5395/stat : 5395 (java) S 5383 5385 31461 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274923727144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5396] ppid=5383 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/5385/task/5396/stat : 5396 (java) S 5383 5385 31461 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 281151327 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274911529832 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5397] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5397/stat : 5397 (java) S 5383 5385 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274910476152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5398] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5398/stat : 5398 (java) S 5383 5385 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274909422984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5399] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5399/stat : 5399 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274908371728 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5400] ppid=5383 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/5385/task/5400/stat : 5400 (java) S 5383 5385 31461 0 -1 4202560 1740 0 0 0 16 0 0 0 20 0 19 0 281151330 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274168752440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (java) S 5383 5385 31461 0 -1 4202560 1737 0 0 0 22 0 0 0 20 0 19 0 281151330 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274167699896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5402] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5402/stat : 5402 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274166647032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5403] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5403/stat : 5403 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274165594696 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5404] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5404/stat : 5404 (java) S 5383 5385 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281151338 9856004096 13105 33554432000 1073741824 1073778376 140736416553920 140274164540968 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 9625004

[startup+6.30059 s]
/proc/loadavg: 2.00 2.00 1.99 3/213 5404
/proc/meminfo: memFree=31576932/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9625004 CPUtime=6.84 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 7326 0 1 0 681 3 0 0 20 0 19 0 281151325 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2406251 15660 2275 9 0 2396937 0
[pid=5385/tid=5387] ppid=5383 vsize=9625004 CPUtime=6.03 cores=1,3,5,7
/proc/5385/task/5387/stat : 5387 (java) R 5383 5385 31461 0 -1 4202560 2528 0 1 0 602 1 0 0 20 0 19 0 281151326 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140275087503664 140274924172960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5388] ppid=5383 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/5385/task/5388/stat : 5388 (java) S 5383 5385 31461 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 281151326 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140275048995752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5389] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5389/stat : 5389 (java) S 5383 5385 31461 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140275047943208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5390] ppid=5383 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5385/task/5390/stat : 5390 (java) S 5383 5385 31461 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 281151326 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140275046890152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5391] ppid=5383 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5385/task/5391/stat : 5391 (java) S 5383 5385 31461 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 281151326 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140275045837608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5392] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (java) S 5383 5385 31461 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140275044784552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5393] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5393/stat : 5393 (java) S 5383 5385 31461 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281151326 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140275043732008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5394] ppid=5383 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5385/task/5394/stat : 5394 (java) S 5383 5385 31461 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 281151326 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140275042678952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5395] ppid=5383 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5385/task/5395/stat : 5395 (java) S 5383 5385 31461 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 281151326 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274923727144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5396] ppid=5383 vsize=9625004 CPUtime=0.13 cores=1,3,5,7
/proc/5385/task/5396/stat : 5396 (java) S 5383 5385 31461 0 -1 4202560 34 0 0 0 13 0 0 0 20 0 19 0 281151327 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274911529832 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5397] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5397/stat : 5397 (java) S 5383 5385 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274910476152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5398] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5398/stat : 5398 (java) S 5383 5385 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274909422984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5399] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5399/stat : 5399 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274908371728 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5400] ppid=5383 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/5385/task/5400/stat : 5400 (java) S 5383 5385 31461 0 -1 4202560 1740 0 0 0 16 0 0 0 20 0 19 0 281151330 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274168752440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (java) S 5383 5385 31461 0 -1 4202560 1737 0 0 0 22 0 0 0 20 0 19 0 281151330 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274167699896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5402] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5402/stat : 5402 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274166647032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5403] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5403/stat : 5403 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274165594696 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5404] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5404/stat : 5404 (java) S 5383 5385 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281151338 9856004096 15660 33554432000 1073741824 1073778376 140736416553920 140274164540968 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 9625004

[startup+12.7008 s]

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

[pid=5385/tid=5400] ppid=5383 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/5385/task/5400/stat : 5400 (java) S 5383 5385 31461 0 -1 4202560 1740 0 0 0 16 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274168752440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (java) S 5383 5385 31461 0 -1 4202560 2019 0 0 0 24 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274167699896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5402] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5402/stat : 5402 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274166647032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5403] ppid=5383 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/5385/task/5403/stat : 5403 (java) S 5383 5385 31461 0 -1 4202560 95 0 0 0 17 23 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274165594696 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5404] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5404/stat : 5404 (java) S 5383 5385 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281151338 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274164540968 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1667.49
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 5419
/proc/meminfo: memFree=31173164/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9625004 CPUtime=1727.61 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 10523 0 1 0 172716 45 0 0 20 0 19 0 281151325 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2406251 71432 2276 9 0 2396937 0
[pid=5385/tid=5387] ppid=5383 vsize=9625004 CPUtime=1709.17 cores=1,3,5,7
/proc/5385/task/5387/stat : 5387 (java) R 5383 5385 31461 0 -1 4202560 2690 0 1 0 170889 28 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275087503664 140274924357420 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5388] ppid=5383 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/5385/task/5388/stat : 5388 (java) S 5383 5385 31461 0 -1 4202560 365 0 0 0 86 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275048995752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5389] ppid=5383 vsize=9625004 CPUtime=0.79 cores=1,3,5,7
/proc/5385/task/5389/stat : 5389 (java) S 5383 5385 31461 0 -1 4202560 455 0 0 0 76 3 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275047943208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5390] ppid=5383 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/5385/task/5390/stat : 5390 (java) S 5383 5385 31461 0 -1 4202560 266 0 0 0 78 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275046890152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5391] ppid=5383 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/5385/task/5391/stat : 5391 (java) S 5383 5385 31461 0 -1 4202560 231 0 0 0 83 1 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275045837608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5392] ppid=5383 vsize=9625004 CPUtime=0.79 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (java) S 5383 5385 31461 0 -1 4202560 371 0 0 0 77 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275044784552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5393] ppid=5383 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/5385/task/5393/stat : 5393 (java) S 5383 5385 31461 0 -1 4202560 442 0 0 0 82 3 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275043732008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5394] ppid=5383 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/5385/task/5394/stat : 5394 (java) S 5383 5385 31461 0 -1 4202560 220 0 0 0 84 3 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275042678952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5395] ppid=5383 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/5385/task/5395/stat : 5395 (java) S 5383 5385 31461 0 -1 4202560 286 0 0 0 86 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274923727144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5396] ppid=5383 vsize=9625004 CPUtime=6.59 cores=1,3,5,7
/proc/5385/task/5396/stat : 5396 (java) S 5383 5385 31461 0 -1 4202560 158 0 0 0 657 2 0 0 20 0 19 0 281151327 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274911529832 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5397] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5397/stat : 5397 (java) S 5383 5385 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274910476152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5398] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5398/stat : 5398 (java) S 5383 5385 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274909422984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5399] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5399/stat : 5399 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274908371728 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5400] ppid=5383 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/5385/task/5400/stat : 5400 (java) S 5383 5385 31461 0 -1 4202560 1740 0 0 0 16 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274168752440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (java) S 5383 5385 31461 0 -1 4202560 2019 0 0 0 24 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274167699896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5402] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5402/stat : 5402 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274166647032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5403] ppid=5383 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/5385/task/5403/stat : 5403 (java) S 5383 5385 31461 0 -1 4202560 99 0 0 0 18 23 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274165594696 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5404] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5404/stat : 5404 (java) S 5383 5385 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281151338 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274164540968 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1727.61
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/213 5479
/proc/meminfo: memFree=31239992/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9625004 CPUtime=1787.79 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 10536 0 1 0 178734 45 0 0 20 0 19 0 281151325 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2406251 71432 2276 9 0 2396937 0
[pid=5385/tid=5387] ppid=5383 vsize=9625004 CPUtime=1768.68 cores=1,3,5,7
/proc/5385/task/5387/stat : 5387 (java) R 5383 5385 31461 0 -1 4202560 2693 0 1 0 176839 29 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275087503664 140274924172263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5388] ppid=5383 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/5385/task/5388/stat : 5388 (java) S 5383 5385 31461 0 -1 4202560 365 0 0 0 89 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275048995752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5389] ppid=5383 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/5385/task/5389/stat : 5389 (java) S 5383 5385 31461 0 -1 4202560 455 0 0 0 77 3 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275047943208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5390] ppid=5383 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/5385/task/5390/stat : 5390 (java) S 5383 5385 31461 0 -1 4202560 266 0 0 0 83 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275046890152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5391] ppid=5383 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/5385/task/5391/stat : 5391 (java) S 5383 5385 31461 0 -1 4202560 231 0 0 0 86 1 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275045837608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5392] ppid=5383 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (java) S 5383 5385 31461 0 -1 4202560 371 0 0 0 80 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275044784552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5393] ppid=5383 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/5385/task/5393/stat : 5393 (java) S 5383 5385 31461 0 -1 4202560 442 0 0 0 86 3 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275043732008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5394] ppid=5383 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/5385/task/5394/stat : 5394 (java) S 5383 5385 31461 0 -1 4202560 220 0 0 0 86 3 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275042678952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5395] ppid=5383 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/5385/task/5395/stat : 5395 (java) S 5383 5385 31461 0 -1 4202560 286 0 0 0 89 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274923727144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5396] ppid=5383 vsize=9625004 CPUtime=6.85 cores=1,3,5,7
/proc/5385/task/5396/stat : 5396 (java) S 5383 5385 31461 0 -1 4202560 164 0 0 0 683 2 0 0 20 0 19 0 281151327 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274911529832 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5397] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5397/stat : 5397 (java) S 5383 5385 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274910476152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5398] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5398/stat : 5398 (java) S 5383 5385 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274909422984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5399] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5399/stat : 5399 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274908371728 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5400] ppid=5383 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/5385/task/5400/stat : 5400 (java) S 5383 5385 31461 0 -1 4202560 1740 0 0 0 16 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274168752440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (java) S 5383 5385 31461 0 -1 4202560 2019 0 0 0 24 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274167699896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5402] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5402/stat : 5402 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274166647032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5403] ppid=5383 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/5385/task/5403/stat : 5403 (java) S 5383 5385 31461 0 -1 4202560 103 0 0 0 19 24 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274165594696 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5404] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5404/stat : 5404 (java) S 5383 5385 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281151338 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274164540968 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1787.79
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.6 s]
/proc/loadavg: 1.97 1.98 1.99 3/213 5479
/proc/meminfo: memFree=31238072/32873648 swapFree=7116/7116
[pid=5385] ppid=5383 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/5385/stat : 5385 (java) S 5383 5385 31461 0 -1 4202496 10536 0 1 0 179964 45 0 0 20 0 19 0 281151325 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140736416545056 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5385/statm: 2406251 71432 2276 9 0 2396937 0
[pid=5385/tid=5387] ppid=5383 vsize=9625004 CPUtime=1780.95 cores=1,3,5,7
/proc/5385/task/5387/stat : 5387 (java) R 5383 5385 31461 0 -1 4202560 2693 0 1 0 178065 30 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275087503664 140274924357055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5388] ppid=5383 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/5385/task/5388/stat : 5388 (java) S 5383 5385 31461 0 -1 4202560 365 0 0 0 89 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275048995752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5385/tid=5389] ppid=5383 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/5385/task/5389/stat : 5389 (java) S 5383 5385 31461 0 -1 4202560 455 0 0 0 77 3 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275047943208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5390] ppid=5383 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/5385/task/5390/stat : 5390 (java) S 5383 5385 31461 0 -1 4202560 266 0 0 0 83 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275046890152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5391] ppid=5383 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/5385/task/5391/stat : 5391 (java) S 5383 5385 31461 0 -1 4202560 231 0 0 0 86 1 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275045837608 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5392] ppid=5383 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (java) S 5383 5385 31461 0 -1 4202560 371 0 0 0 80 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275044784552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5393] ppid=5383 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/5385/task/5393/stat : 5393 (java) S 5383 5385 31461 0 -1 4202560 442 0 0 0 86 3 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275043732008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5394] ppid=5383 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/5385/task/5394/stat : 5394 (java) S 5383 5385 31461 0 -1 4202560 220 0 0 0 86 3 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140275042678952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5385/tid=5395] ppid=5383 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/5385/task/5395/stat : 5395 (java) S 5383 5385 31461 0 -1 4202560 286 0 0 0 89 2 0 0 20 0 19 0 281151326 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274923727144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5396] ppid=5383 vsize=9625004 CPUtime=6.85 cores=1,3,5,7
/proc/5385/task/5396/stat : 5396 (java) S 5383 5385 31461 0 -1 4202560 164 0 0 0 683 2 0 0 20 0 19 0 281151327 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274911529832 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5397] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5397/stat : 5397 (java) S 5383 5385 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274910476152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5398] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5398/stat : 5398 (java) S 5383 5385 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281151328 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274909422984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5399] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5399/stat : 5399 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274908371728 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5400] ppid=5383 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/5385/task/5400/stat : 5400 (java) S 5383 5385 31461 0 -1 4202560 1740 0 0 0 16 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274168752440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (java) S 5383 5385 31461 0 -1 4202560 2019 0 0 0 24 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274167699896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5402] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5402/stat : 5402 (java) S 5383 5385 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274166647032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5403] ppid=5383 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/5385/task/5403/stat : 5403 (java) S 5383 5385 31461 0 -1 4202560 103 0 0 0 19 24 0 0 20 0 19 0 281151330 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274165594696 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5385/tid=5404] ppid=5383 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5404/stat : 5404 (java) S 5383 5385 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281151338 9856004096 71432 33554432000 1073741824 1073778376 140736416553920 140274164540968 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5385 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=57109
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=882865
# CPU time returned by wait4() is 1795.94
# 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): 1794.65
CPU time (s): 1800.09
CPU user time (s): 1799.64
CPU system time (s): 0.45
CPU usage (%): 100.303
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 0.882865
maximum resident set size= 290168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10656
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42070
involuntary context switches= 27270

runsolver used 5.43917 second user time and 14.8347 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-27 22:24:19
IDJOB=3709706
IDBENCH=2561
IDSOLVER=2289
FILE ID=node123/3709706-1338150259
RUNJOBID= node123-1338144817-4665
PBS_JOBID= 14624505
Free space on /tmp= 71684 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob7.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709706-1338150259/watcher-3709706-1338150259 -o /tmp/evaluation-result-3709706-1338150259/solver-3709706-1338150259 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709706-1338150259.opb

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

MD5SUM BENCH= 891ef60a3c811d65a65dee7761e3f07c
RANDOM SEED=1846512211

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31632636 kB
Buffers:          156992 kB
Cached:           207112 kB
SwapCached:          956 kB
Active:           256284 kB
Inactive:         191828 kB
Active(anon):      77240 kB
Inactive(anon):     9080 kB
Active(file):     179044 kB
Inactive(file):   182748 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:        172664 kB
Mapped:            18552 kB
Shmem:                 0 kB
Slab:             652024 kB
SReclaimable:      96244 kB
SUnreclaim:       555780 kB
KernelStack:        1760 kB
PageTables:         4452 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71680 MiB
End job on node123 at 2012-05-27 22:54:15