Trace number 3710822

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshot? (TO) 1800 1795.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
MD5SUMdc0116cc9dd2d87e5a6934d46be3ef43
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4594
Number of bits of the biggest sum of numbers13
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710822-1338154791.opb
0.09/0.12	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.038s.
0.09/0.16	c declared #vars     61
0.09/0.16	c #constraints  15
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.09/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.09/0.16	c 15 constraints processed.
0.65/0.49	c cleaning 2502 clauses out of 5004 with flag 5004/5004
1.03/0.76	c cleaning 4247 clauses out of 8498 with flag 11000/11000
1.36/1.06	c cleaning 5621 clauses out of 11252 with flag 18001/18001
1.78/1.47	c cleaning 6813 clauses out of 13631 with flag 26001/26001
2.30/1.95	c cleaning 7908 clauses out of 15818 with flag 35001/35001
2.91/2.51	c cleaning 8951 clauses out of 17909 with flag 45000/45000
3.52/3.11	c cleaning 9981 clauses out of 19961 with flag 56003/56003
4.12/3.74	c cleaning 10989 clauses out of 21977 with flag 68000/68000
4.92/4.53	c cleaning 11995 clauses out of 23989 with flag 81001/81001
5.73/5.32	c cleaning 12994 clauses out of 25993 with flag 95000/95000
6.64/6.28	c cleaning 13996 clauses out of 28000 with flag 110001/110001
7.75/7.31	c cleaning 15000 clauses out of 30004 with flag 126001/126001
8.66/8.28	c cleaning 16002 clauses out of 32005 with flag 143002/143002
9.67/9.22	c cleaning 16998 clauses out of 34003 with flag 161002/161002
10.87/10.49	c cleaning 17996 clauses out of 36005 with flag 180002/180002
12.38/11.93	c cleaning 19004 clauses out of 38009 with flag 200002/200002
13.79/13.39	c cleaning 20005 clauses out of 40009 with flag 221006/221006
15.49/15.05	c cleaning 20996 clauses out of 41998 with flag 243000/243000
17.30/16.86	c cleaning 22002 clauses out of 44004 with flag 266002/266002
19.21/18.77	c cleaning 23001 clauses out of 46002 with flag 290002/290002
21.01/20.54	c cleaning 24000 clauses out of 48002 with flag 315003/315003
23.32/22.81	c cleaning 25000 clauses out of 49999 with flag 341000/341000
25.63/25.14	c cleaning 26000 clauses out of 51999 with flag 368000/368000
27.94/27.43	c cleaning 26995 clauses out of 54001 with flag 396002/396002
30.34/29.83	c cleaning 27996 clauses out of 56004 with flag 425000/425000
32.84/32.31	c cleaning 29002 clauses out of 58008 with flag 455000/455000
35.76/35.22	c cleaning 30001 clauses out of 60006 with flag 486000/486000
38.26/37.73	c cleaning 31001 clauses out of 62007 with flag 518002/518002
40.99/40.44	c cleaning 32003 clauses out of 64006 with flag 551002/551002
43.80/43.24	c cleaning 32996 clauses out of 66001 with flag 585000/585000
47.12/46.52	c cleaning 34002 clauses out of 68005 with flag 620000/620000
50.33/49.77	c cleaning 34998 clauses out of 70003 with flag 656000/656000
53.53/52.95	c cleaning 35999 clauses out of 72005 with flag 693000/693000
56.54/55.99	c cleaning 36995 clauses out of 74006 with flag 731000/731000
60.25/59.62	c cleaning 38005 clauses out of 76012 with flag 770001/770001
64.17/63.52	c cleaning 39001 clauses out of 78009 with flag 810003/810003
67.88/67.29	c cleaning 40002 clauses out of 80005 with flag 851000/851000
72.39/71.72	c cleaning 40998 clauses out of 82003 with flag 893000/893000
76.23/75.56	c cleaning 42000 clauses out of 84005 with flag 936000/936000
80.45/79.77	c cleaning 42999 clauses out of 86005 with flag 980000/980000
84.98/84.25	c cleaning 44001 clauses out of 88006 with flag 1025000/1025000
89.30/88.56	c cleaning 44998 clauses out of 90006 with flag 1071001/1071001
94.03/93.29	c cleaning 46000 clauses out of 92008 with flag 1118001/1118001
99.35/98.58	c cleaning 47004 clauses out of 94011 with flag 1166004/1166004
104.76/103.90	c cleaning 48001 clauses out of 96007 with flag 1215004/1215004
110.00/109.14	c cleaning 48993 clauses out of 98002 with flag 1265000/1265000
115.93/115.00	c cleaning 50001 clauses out of 100009 with flag 1316000/1316000
122.76/121.83	c cleaning 50998 clauses out of 102009 with flag 1368001/1368001
129.08/128.15	c cleaning 51999 clauses out of 104010 with flag 1421000/1421000
135.42/134.41	c cleaning 53003 clauses out of 106011 with flag 1475000/1475000
142.33/141.31	c cleaning 54002 clauses out of 108009 with flag 1530001/1530001
149.75/148.75	c cleaning 55002 clauses out of 110007 with flag 1586001/1586001
156.38/155.34	c cleaning 56001 clauses out of 112004 with flag 1643000/1643000
164.32/163.21	c cleaning 56997 clauses out of 114005 with flag 1701002/1701002
172.85/171.72	c cleaning 58002 clauses out of 116007 with flag 1760001/1760001
180.58/179.49	c cleaning 59002 clauses out of 118004 with flag 1820000/1820000
188.80/187.68	c cleaning 60001 clauses out of 120005 with flag 1881003/1881003
198.33/197.13	c cleaning 60997 clauses out of 122001 with flag 1943000/1943000
208.06/206.82	c cleaning 62000 clauses out of 124004 with flag 2006000/2006000
217.37/216.10	c cleaning 62995 clauses out of 126004 with flag 2070000/2070000
225.99/224.71	c cleaning 64000 clauses out of 128009 with flag 2135000/2135000
233.92/232.65	c cleaning 65005 clauses out of 130011 with flag 2201002/2201002
241.06/239.74	c cleaning 65995 clauses out of 132004 with flag 2268000/2268000
249.39/248.10	c cleaning 67004 clauses out of 134010 with flag 2336001/2336001
257.72/256.39	c cleaning 68000 clauses out of 136005 with flag 2405000/2405000
266.36/264.98	c cleaning 69002 clauses out of 138008 with flag 2475003/2475003
274.81/273.37	c cleaning 69996 clauses out of 140004 with flag 2546001/2546001
282.72/281.27	c cleaning 70998 clauses out of 142009 with flag 2618002/2618002
290.63/289.10	c cleaning 72003 clauses out of 144011 with flag 2691002/2691002
301.15/299.69	c cleaning 72995 clauses out of 146007 with flag 2765001/2765001
311.09/309.57	c cleaning 74000 clauses out of 148012 with flag 2840001/2840001
322.61/321.09	c cleaning 75001 clauses out of 150013 with flag 2916002/2916002
337.36/335.75	c cleaning 76003 clauses out of 152010 with flag 2993000/2993000
348.68/347.05	c cleaning 76995 clauses out of 154007 with flag 3071000/3071000
361.11/359.44	c cleaning 77999 clauses out of 156013 with flag 3150001/3150001
373.83/372.12	c cleaning 79004 clauses out of 158013 with flag 3230000/3230000
387.36/385.67	c cleaning 80005 clauses out of 160009 with flag 3311000/3311000
400.90/399.18	c cleaning 81001 clauses out of 162004 with flag 3393000/3393000
414.62/412.85	c cleaning 81998 clauses out of 164006 with flag 3476003/3476003
427.25/425.46	c cleaning 83000 clauses out of 166005 with flag 3560000/3560000
441.98/440.13	c cleaning 84004 clauses out of 168007 with flag 3645002/3645002
455.42/453.55	c cleaning 84996 clauses out of 170001 with flag 3731000/3731000
467.45/465.59	c cleaning 86002 clauses out of 172005 with flag 3818000/3818000
481.68/479.77	c cleaning 87004 clauses out of 174007 with flag 3906004/3906004
495.82/493.85	c cleaning 87990 clauses out of 175999 with flag 3995000/3995000
513.83/511.81	c cleaning 89006 clauses out of 178011 with flag 4085002/4085002
531.26/529.24	c cleaning 89996 clauses out of 180004 with flag 4176001/4176001
548.48/546.45	c cleaning 91002 clauses out of 182007 with flag 4268000/4268000
567.09/565.09	c cleaning 92003 clauses out of 184007 with flag 4361002/4361002
586.91/584.87	c cleaning 92998 clauses out of 186002 with flag 4455000/4455000
610.04/607.93	c cleaning 94000 clauses out of 188005 with flag 4550001/4550001
630.28/628.13	c cleaning 95002 clauses out of 190005 with flag 4646001/4646001
650.20/648.02	c cleaning 96003 clauses out of 192005 with flag 4743003/4743003
661.60/659.49	c cleaning 96993 clauses out of 194000 with flag 4841001/4841001
673.94/671.74	c cleaning 97997 clauses out of 196006 with flag 4940000/4940000
686.09/683.83	c cleaning 99004 clauses out of 198011 with flag 5040002/5040002
698.28/695.99	c cleaning 99996 clauses out of 200006 with flag 5141001/5141001
711.22/708.82	c cleaning 101002 clauses out of 202011 with flag 5243002/5243002
724.66/722.29	c cleaning 101996 clauses out of 204008 with flag 5346001/5346001
738.52/736.10	c cleaning 103006 clauses out of 206012 with flag 5450001/5450001
750.55/748.01	c cleaning 104000 clauses out of 208008 with flag 5555003/5555003
765.28/762.75	c cleaning 104995 clauses out of 210006 with flag 5661001/5661001
781.42/778.85	c cleaning 105996 clauses out of 212010 with flag 5768000/5768000
798.59/795.96	c cleaning 107004 clauses out of 214014 with flag 5876000/5876000
813.81/811.14	c cleaning 108002 clauses out of 216014 with flag 5985004/5985004
830.05/827.32	c cleaning 109000 clauses out of 218009 with flag 6095001/6095001
845.49/842.76	c cleaning 110002 clauses out of 220009 with flag 6206001/6206001
860.31/857.56	c cleaning 110994 clauses out of 222006 with flag 6318000/6318000
877.16/874.30	c cleaning 111997 clauses out of 224012 with flag 6431000/6431000
894.76/891.95	c cleaning 113001 clauses out of 226015 with flag 6545000/6545000
912.70/909.84	c cleaning 113998 clauses out of 228014 with flag 6660000/6660000
933.04/930.17	c cleaning 115010 clauses out of 230020 with flag 6776004/6776004
954.77/951.86	c cleaning 116001 clauses out of 232006 with flag 6893000/6893000
976.01/973.07	c cleaning 116996 clauses out of 234005 with flag 7011000/7011000
1000.36/997.35	c cleaning 117998 clauses out of 236011 with flag 7130002/7130002
1021.44/1018.34	c cleaning 118997 clauses out of 238012 with flag 7250001/7250001
1041.16/1038.04	c cleaning 120004 clauses out of 240015 with flag 7371001/7371001
1063.69/1060.51	c cleaning 120996 clauses out of 242012 with flag 7493002/7493002
1087.45/1084.29	c cleaning 121997 clauses out of 244014 with flag 7616000/7616000
1110.13/1106.86	c cleaning 123005 clauses out of 246023 with flag 7740006/7740006
1135.38/1132.07	c cleaning 124000 clauses out of 248013 with flag 7865001/7865001
1156.25/1152.87	c cleaning 124999 clauses out of 250014 with flag 7991002/7991002
1182.46/1179.06	c cleaning 126007 clauses out of 252013 with flag 8118000/8118000
1206.52/1203.03	c cleaning 126995 clauses out of 254012 with flag 8246006/8246006
1233.75/1230.23	c cleaning 128000 clauses out of 256011 with flag 8375000/8375000
1262.88/1259.37	c cleaning 128999 clauses out of 258013 with flag 8505002/8505002
1286.41/1282.83	c cleaning 129994 clauses out of 260012 with flag 8636000/8636000
1313.81/1310.20	c cleaning 131007 clauses out of 262022 with flag 8768004/8768004
1340.85/1337.16	c cleaning 132002 clauses out of 264011 with flag 8901000/8901000
1366.31/1362.50	c cleaning 132999 clauses out of 266009 with flag 9035000/9035000
1394.92/1391.14	c cleaning 133998 clauses out of 268010 with flag 9170000/9170000
1424.46/1420.64	c cleaning 134999 clauses out of 270012 with flag 9306000/9306000
1447.62/1443.79	c cleaning 135997 clauses out of 272014 with flag 9443001/9443001
1474.76/1470.83	c cleaning 136999 clauses out of 274018 with flag 9581002/9581002
1502.00/1498.04	c cleaning 138002 clauses out of 276017 with flag 9720000/9720000
1529.75/1525.71	c cleaning 139003 clauses out of 278017 with flag 9860002/9860002
1559.31/1555.28	c cleaning 140004 clauses out of 280013 with flag 10001001/10001001
1596.63/1592.58	c cleaning 141006 clauses out of 282012 with flag 10143004/10143004
1628.78/1624.61	c cleaning 141994 clauses out of 284004 with flag 10286002/10286002
1660.70/1656.53	c cleaning 143002 clauses out of 286008 with flag 10430000/10430000
1692.75/1688.55	c cleaning 144000 clauses out of 288009 with flag 10575003/10575003
1729.68/1725.50	c cleaning 145004 clauses out of 290009 with flag 10721003/10721003
1762.27/1757.91	c cleaning 145992 clauses out of 292004 with flag 10868002/10868002
1800.00/1795.61	c starts		: 321
1800.00/1795.61	c conflicts		: 11016002
1800.00/1795.61	c decisions		: 11221576
1800.00/1795.61	c propagations		: 83221313
1800.00/1795.61	c inspects		: 22011290455
1800.00/1795.61	c shortcuts		: 0
1800.00/1795.61	c learnt literals	: 0
1800.00/1795.61	c learnt binary clauses	: 0
1800.00/1795.61	c learnt ternary clauses	: 0
1800.00/1795.61	c learnt constraints	: 11016002
1800.00/1795.61	c ignored constraints	: 0
1800.00/1795.61	c root simplifications	: 321
1800.00/1795.61	c removed literals (reason simplification)	: 84669983
1800.00/1795.61	c reason swapping (by a shorter reason)	: 0
1800.00/1795.61	c Calls to reduceDB	: 144
1800.00/1795.61	c number of reductions to clauses (during analyze)	: 0
1800.00/1795.61	c number of learned constraints concerned by reduction	: 0
1800.00/1795.61	c number of learning phase by resolution	: 0
1800.00/1795.61	c number of learning phase by cutting planes	: 0
1800.00/1795.61	c speed (assignments/second)	: 46351.20256693165
1800.00/1795.61	c non guided choices	28
1800.00/1795.64	c learnt constraints type 
1800.00/1795.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 294012
1800.00/1795.64	c constraints type 
1800.00/1795.64	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.00/1795.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
1800.00/1795.64	c 15 constraints processed.
1800.00/1795.64	s UNKNOWN
1800.00/1795.64	c Total wall clock time (in seconds): 1795.525

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-3710822-1338154791/watcher-3710822-1338154791 -o /tmp/evaluation-result-3710822-1338154791/solver-3710822-1338154791 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710822-1338154791.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.00 2.00 3/194 26585
/proc/meminfo: memFree=31228344/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/26585/stat : 26585 (java) D 26583 26585 22368 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 281603601 9515008 183 33554432000 1073741824 1073778376 140734235767728 140734235758760 212073266869 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/26585/statm: 2323 183 140 9 0 71 0

[startup+0.0893251 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26585
/proc/meminfo: memFree=31228344/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 3698 0 1 0 6 0 0 0 20 0 18 0 281603601 9787842560 4906 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2389610 4906 1939 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100185 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26585
/proc/meminfo: memFree=31228344/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 4285 0 1 0 8 1 0 0 20 0 18 0 281603601 9787842560 5492 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2389610 5492 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300159 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26585
/proc/meminfo: memFree=31228344/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 7991 0 1 0 50 2 0 0 20 0 19 0 281603601 9856004096 8989 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2406251 8989 2234 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004

[startup+0.700264 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26585
/proc/meminfo: memFree=31228344/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9625004 CPUtime=1.03 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 8120 0 1 0 101 2 0 0 20 0 19 0 281603601 9856004096 11158 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2406251 11158 2272 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625004

[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26604
/proc/meminfo: memFree=31190096/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9625004 CPUtime=1.9 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 8142 0 1 0 187 3 0 0 20 0 19 0 281603601 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2406251 12197 2273 9 0 2396937 0
[pid=26585/tid=26587] ppid=26583 vsize=9625004 CPUtime=1.41 cores=0,2,4,6
/proc/26585/task/26587/stat : 26587 (java) R 26583 26585 22368 0 -1 4202560 2519 0 1 0 140 1 0 0 20 0 19 0 281603602 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825715405224 139825563184532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26588] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26588/stat : 26588 (java) S 26583 26585 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825687858088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26589] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (java) S 26583 26585 22368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825686805544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (java) S 26583 26585 22368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825685752488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26591] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26591/stat : 26591 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825684699944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26592] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26592/stat : 26592 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825683646888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26593] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26593/stat : 26593 (java) S 26583 26585 22368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825682594344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26594] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26594/stat : 26594 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825681541288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26595] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26595/stat : 26595 (java) S 26583 26585 22368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825551812904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26596] ppid=26583 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/26585/task/26596/stat : 26596 (java) S 26583 26585 22368 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 281603604 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825068866408 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26597] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26597/stat : 26597 (java) S 26583 26585 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825067812728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26598] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26598/stat : 26598 (java) S 26583 26585 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825066759560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26599] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26599/stat : 26599 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825065708304 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26600] ppid=26583 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/26585/task/26600/stat : 26600 (java) S 26583 26585 22368 0 -1 4202560 1206 0 0 0 14 0 0 0 20 0 19 0 281603607 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825064655160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26601] ppid=26583 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/26585/task/26601/stat : 26601 (java) S 26583 26585 22368 0 -1 4202560 3162 0 0 0 23 0 0 0 20 0 19 0 281603607 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825063602616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26602] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26602/stat : 26602 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825062549752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26603] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26603/stat : 26603 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825061497416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26604] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26604/stat : 26604 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603617 9856004096 12197 33554432000 1073741824 1073778376 140734082767056 139825060443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9625004

[startup+3.10066 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26604
/proc/meminfo: memFree=31187800/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9625004 CPUtime=3.52 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 8147 0 1 0 349 3 0 0 20 0 19 0 281603601 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2406251 12200 2273 9 0 2396937 0
[pid=26585/tid=26587] ppid=26583 vsize=9625004 CPUtime=2.98 cores=0,2,4,6
/proc/26585/task/26587/stat : 26587 (java) R 26583 26585 22368 0 -1 4202560 2521 0 1 0 297 1 0 0 20 0 19 0 281603602 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825715405104 139825563402156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26588] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26588/stat : 26588 (java) S 26583 26585 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825687858088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26589] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (java) S 26583 26585 22368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825686805544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (java) S 26583 26585 22368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825685752488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26591] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26591/stat : 26591 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825684699944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26592] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26592/stat : 26592 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825683646888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26593] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26593/stat : 26593 (java) S 26583 26585 22368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825682594344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26594] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26594/stat : 26594 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825681541288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26595] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26595/stat : 26595 (java) S 26583 26585 22368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825551812904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26596] ppid=26583 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/26585/task/26596/stat : 26596 (java) S 26583 26585 22368 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 281603604 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825068866408 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26597] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26597/stat : 26597 (java) S 26583 26585 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825067812728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26598] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26598/stat : 26598 (java) S 26583 26585 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825066759560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26599] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26599/stat : 26599 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825065708304 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26600] ppid=26583 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/26585/task/26600/stat : 26600 (java) S 26583 26585 22368 0 -1 4202560 1206 0 0 0 14 0 0 0 20 0 19 0 281603607 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825064655160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26601] ppid=26583 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/26585/task/26601/stat : 26601 (java) S 26583 26585 22368 0 -1 4202560 3162 0 0 0 23 0 0 0 20 0 19 0 281603607 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825063602616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26602] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26602/stat : 26602 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825062549752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26603] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26603/stat : 26603 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825061497416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26604] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26604/stat : 26604 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603617 9856004096 12200 33554432000 1073741824 1073778376 140734082767056 139825060443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9625004

[startup+6.30068 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26604
/proc/meminfo: memFree=31183712/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9625004 CPUtime=6.75 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 8192 0 1 0 672 3 0 0 20 0 19 0 281603601 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2406251 13080 2273 9 0 2396937 0
[pid=26585/tid=26587] ppid=26583 vsize=9625004 CPUtime=6.1 cores=0,2,4,6
/proc/26585/task/26587/stat : 26587 (java) S 26583 26585 22368 0 -1 4202560 2526 0 1 0 609 1 0 0 20 0 19 0 281603602 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825715405224 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26588] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26588/stat : 26588 (java) S 26583 26585 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825687858088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26589] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825686805544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (java) S 26583 26585 22368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825685752488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26591] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26591/stat : 26591 (java) S 26583 26585 22368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825684699944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26592] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26592/stat : 26592 (java) S 26583 26585 22368 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825683646888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26593] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26593/stat : 26593 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825682594344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26594] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26594/stat : 26594 (java) S 26583 26585 22368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281603603 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825681541288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26595] ppid=26583 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/26585/task/26595/stat : 26595 (java) S 26583 26585 22368 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 281603603 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825551812904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26596] ppid=26583 vsize=9625004 CPUtime=0.1 cores=0,2,4,6
/proc/26585/task/26596/stat : 26596 (java) R 26583 26585 22368 0 -1 4202560 32 0 0 0 10 0 0 0 20 0 19 0 281603604 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825068865264 139825719541001 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26597] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26597/stat : 26597 (java) S 26583 26585 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825067812728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26598] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26598/stat : 26598 (java) S 26583 26585 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825066759560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26599] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26599/stat : 26599 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825065708304 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26600] ppid=26583 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/26585/task/26600/stat : 26600 (java) S 26583 26585 22368 0 -1 4202560 1206 0 0 0 14 0 0 0 20 0 19 0 281603607 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825064655160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26601] ppid=26583 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/26585/task/26601/stat : 26601 (java) S 26583 26585 22368 0 -1 4202560 3162 0 0 0 23 0 0 0 20 0 19 0 281603607 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825063602616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26602] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26602/stat : 26602 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825062549752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26603] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26603/stat : 26603 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825061497416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26604] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26604/stat : 26604 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603617 9856004096 13080 33554432000 1073741824 1073778376 140734082767056 139825060443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=26585/tid=26600] ppid=26583 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/26585/task/26600/stat : 26600 (java) S 26583 26585 22368 0 -1 4202560 1206 0 0 0 14 0 0 0 20 0 19 0 281603607 9856004096 43752 33554432000 1073741824 1073778376 140734082767056 139825064655160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26601] ppid=26583 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/26585/task/26601/stat : 26601 (java) S 26583 26585 22368 0 -1 4202560 3212 0 0 0 26 0 0 0 20 0 19 0 281603607 9856004096 43752 33554432000 1073741824 1073778376 140734082767056 139825063602616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26602] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26602/stat : 26602 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 43752 33554432000 1073741824 1073778376 140734082767056 139825062549752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26603] ppid=26583 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/26585/task/26603/stat : 26603 (java) S 26583 26585 22368 0 -1 4202560 95 0 0 0 25 25 0 0 20 0 19 0 281603607 9856004096 43752 33554432000 1073741824 1073778376 140734082767056 139825061497416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26604] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26604/stat : 26604 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603617 9856004096 43752 33554432000 1073741824 1073778376 140734082767056 139825060443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1666.53
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/213 26711
/proc/meminfo: memFree=31022220/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9625004 CPUtime=1726.58 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 10368 0 1 0 172622 36 0 0 20 0 19 0 281603601 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2406251 44264 2274 9 0 2396937 0
[pid=26585/tid=26587] ppid=26583 vsize=9625004 CPUtime=1711.22 cores=0,2,4,6
/proc/26585/task/26587/stat : 26587 (java) R 26583 26585 22368 0 -1 4202560 2670 0 1 0 171094 28 0 0 20 0 19 0 281603602 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825715405104 139825563401776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26588] ppid=26583 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/26585/task/26588/stat : 26588 (java) S 26583 26585 22368 0 -1 4202560 344 0 0 0 63 2 0 0 20 0 19 0 281603603 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825687858088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26589] ppid=26583 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (java) S 26583 26585 22368 0 -1 4202560 265 0 0 0 68 0 0 0 20 0 19 0 281603603 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825686805544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (java) S 26583 26585 22368 0 -1 4202560 273 0 0 0 71 2 0 0 20 0 19 0 281603603 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825685752488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26591] ppid=26583 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/26585/task/26591/stat : 26591 (java) S 26583 26585 22368 0 -1 4202560 335 0 0 0 62 2 0 0 20 0 19 0 281603603 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825684699944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26592] ppid=26583 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/26585/task/26592/stat : 26592 (java) S 26583 26585 22368 0 -1 4202560 230 0 0 0 59 2 0 0 20 0 19 0 281603603 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825683646888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26593] ppid=26583 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/26585/task/26593/stat : 26593 (java) S 26583 26585 22368 0 -1 4202560 110 0 0 0 59 0 0 0 20 0 19 0 281603603 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825682594344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26594] ppid=26583 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/26585/task/26594/stat : 26594 (java) S 26583 26585 22368 0 -1 4202560 149 0 0 0 57 2 0 0 20 0 19 0 281603603 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825681541288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26595] ppid=26583 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/26585/task/26595/stat : 26595 (java) S 26583 26585 22368 0 -1 4202560 140 0 0 0 69 0 0 0 20 0 19 0 281603603 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825551812904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26596] ppid=26583 vsize=9625004 CPUtime=5.11 cores=0,2,4,6
/proc/26585/task/26596/stat : 26596 (java) S 26583 26585 22368 0 -1 4202560 154 0 0 0 509 2 0 0 20 0 19 0 281603604 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825068866408 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26597] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26597/stat : 26597 (java) S 26583 26585 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825067812728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26598] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26598/stat : 26598 (java) S 26583 26585 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825066759560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26599] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26599/stat : 26599 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825065708304 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26600] ppid=26583 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/26585/task/26600/stat : 26600 (java) S 26583 26585 22368 0 -1 4202560 1206 0 0 0 14 0 0 0 20 0 19 0 281603607 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825064655160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26601] ppid=26583 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/26585/task/26601/stat : 26601 (java) S 26583 26585 22368 0 -1 4202560 3212 0 0 0 26 0 0 0 20 0 19 0 281603607 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825063602616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26602] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26602/stat : 26602 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825062549752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26603] ppid=26583 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/26585/task/26603/stat : 26603 (java) S 26583 26585 22368 0 -1 4202560 99 0 0 0 26 27 0 0 20 0 19 0 281603607 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825061497416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26604] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26604/stat : 26604 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603617 9856004096 44264 33554432000 1073741824 1073778376 140734082767056 139825060443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.58
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 26711
/proc/meminfo: memFree=31017136/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9625004 CPUtime=1786.69 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 10596 0 1 0 178632 37 0 0 20 0 19 0 281603601 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2406251 45501 2274 9 0 2396937 0
[pid=26585/tid=26587] ppid=26583 vsize=9625004 CPUtime=1770.92 cores=0,2,4,6
/proc/26585/task/26587/stat : 26587 (java) R 26583 26585 22368 0 -1 4202560 2672 0 1 0 177064 28 0 0 20 0 19 0 281603602 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825715405104 139825563184532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26588] ppid=26583 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/26585/task/26588/stat : 26588 (java) S 26583 26585 22368 0 -1 4202560 398 0 0 0 65 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825687858088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26589] ppid=26583 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (java) S 26583 26585 22368 0 -1 4202560 265 0 0 0 70 0 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825686805544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (java) S 26583 26585 22368 0 -1 4202560 273 0 0 0 73 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825685752488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26591] ppid=26583 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/26585/task/26591/stat : 26591 (java) S 26583 26585 22368 0 -1 4202560 384 0 0 0 63 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825684699944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26592] ppid=26583 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/26585/task/26592/stat : 26592 (java) S 26583 26585 22368 0 -1 4202560 288 0 0 0 60 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825683646888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26593] ppid=26583 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/26585/task/26593/stat : 26593 (java) S 26583 26585 22368 0 -1 4202560 165 0 0 0 61 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825682594344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26594] ppid=26583 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/26585/task/26594/stat : 26594 (java) S 26583 26585 22368 0 -1 4202560 149 0 0 0 58 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825681541288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26595] ppid=26583 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/26585/task/26595/stat : 26595 (java) S 26583 26585 22368 0 -1 4202560 141 0 0 0 70 0 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825551812904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26596] ppid=26583 vsize=9625004 CPUtime=5.22 cores=0,2,4,6
/proc/26585/task/26596/stat : 26596 (java) S 26583 26585 22368 0 -1 4202560 159 0 0 0 520 2 0 0 20 0 19 0 281603604 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825068866408 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26597] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26597/stat : 26597 (java) S 26583 26585 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825067812728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26598] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26598/stat : 26598 (java) S 26583 26585 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825066759560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26599] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26599/stat : 26599 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825065708304 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26600] ppid=26583 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/26585/task/26600/stat : 26600 (java) S 26583 26585 22368 0 -1 4202560 1206 0 0 0 14 0 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825064655160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26601] ppid=26583 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/26585/task/26601/stat : 26601 (java) S 26583 26585 22368 0 -1 4202560 3212 0 0 0 26 0 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825063602616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26602] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26602/stat : 26602 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825062549752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26603] ppid=26583 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/26585/task/26603/stat : 26603 (java) S 26583 26585 22368 0 -1 4202560 103 0 0 0 27 28 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825061497416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26604] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26604/stat : 26604 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603617 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825060443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.69
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.6 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 26712
/proc/meminfo: memFree=31017264/32873648 swapFree=6612/6612
[pid=26585] ppid=26583 vsize=9625004 CPUtime=1800 cores=0,2,4,6
/proc/26585/stat : 26585 (java) S 26583 26585 22368 0 -1 4202496 10596 0 1 0 179962 38 0 0 20 0 19 0 281603601 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 140734082758192 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26585/statm: 2406251 45501 2274 9 0 2396937 0
[pid=26585/tid=26587] ppid=26583 vsize=9625004 CPUtime=1784.19 cores=0,2,4,6
/proc/26585/task/26587/stat : 26587 (java) R 26583 26585 22368 0 -1 4202560 2672 0 1 0 178390 29 0 0 20 0 19 0 281603602 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825715405104 139825563401823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26588] ppid=26583 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/26585/task/26588/stat : 26588 (java) S 26583 26585 22368 0 -1 4202560 398 0 0 0 65 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825687858088 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26589] ppid=26583 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/26585/task/26589/stat : 26589 (java) S 26583 26585 22368 0 -1 4202560 265 0 0 0 70 0 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825686805544 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26590] ppid=26583 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/26585/task/26590/stat : 26590 (java) S 26583 26585 22368 0 -1 4202560 273 0 0 0 73 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825685752488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26591] ppid=26583 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/26585/task/26591/stat : 26591 (java) S 26583 26585 22368 0 -1 4202560 384 0 0 0 63 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825684699944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26592] ppid=26583 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/26585/task/26592/stat : 26592 (java) S 26583 26585 22368 0 -1 4202560 288 0 0 0 60 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825683646888 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26593] ppid=26583 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/26585/task/26593/stat : 26593 (java) S 26583 26585 22368 0 -1 4202560 165 0 0 0 61 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825682594344 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26594] ppid=26583 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/26585/task/26594/stat : 26594 (java) S 26583 26585 22368 0 -1 4202560 149 0 0 0 58 2 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825681541288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26595] ppid=26583 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/26585/task/26595/stat : 26595 (java) S 26583 26585 22368 0 -1 4202560 141 0 0 0 70 0 0 0 20 0 19 0 281603603 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825551812904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26596] ppid=26583 vsize=9625004 CPUtime=5.23 cores=0,2,4,6
/proc/26585/task/26596/stat : 26596 (java) S 26583 26585 22368 0 -1 4202560 159 0 0 0 521 2 0 0 20 0 19 0 281603604 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825068866408 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26597] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26597/stat : 26597 (java) S 26583 26585 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825067812728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26598] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26598/stat : 26598 (java) S 26583 26585 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281603604 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825066759560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26599] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26599/stat : 26599 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825065708304 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26600] ppid=26583 vsize=9625004 CPUtime=0.14 cores=0,2,4,6
/proc/26585/task/26600/stat : 26600 (java) S 26583 26585 22368 0 -1 4202560 1206 0 0 0 14 0 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825064655160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26585/tid=26601] ppid=26583 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/26585/task/26601/stat : 26601 (java) S 26583 26585 22368 0 -1 4202560 3212 0 0 0 26 0 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825063602616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26585/tid=26602] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26602/stat : 26602 (java) S 26583 26585 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825062549752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26585/tid=26603] ppid=26583 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/26585/task/26603/stat : 26603 (java) S 26583 26585 22368 0 -1 4202560 103 0 0 0 27 28 0 0 20 0 19 0 281603607 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825061497416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26585/tid=26604] ppid=26583 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26585/task/26604/stat : 26604 (java) S 26583 26585 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281603617 9856004096 45501 33554432000 1073741824 1073778376 140734082767056 139825060443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 26585 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=199088
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=851870
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.65
CPU time (s): 1800
CPU user time (s): 1799.62
CPU system time (s): 0.38
CPU usage (%): 100.242
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.2
system time used= 0.85187
maximum resident set size= 186260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10642
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42047
involuntary context switches= 12059

runsolver used 5.99109 second user time and 14.8137 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-27 23:39:51
IDJOB=3710822
IDBENCH=2917
IDSOLVER=2289
FILE ID=node148/3710822-1338154791
RUNJOBID= node148-1338138660-24908
PBS_JOBID= 14624498
Free space on /tmp= 71700 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.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-3710822-1338154791/watcher-3710822-1338154791 -o /tmp/evaluation-result-3710822-1338154791/solver-3710822-1338154791 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710822-1338154791.opb

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

MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43
RANDOM SEED=930433218

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.284
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.90
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.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31228608 kB
Buffers:          296988 kB
Cached:           335864 kB
SwapCached:          576 kB
Active:           613496 kB
Inactive:         186960 kB
Active(anon):     158168 kB
Inactive(anon):    11760 kB
Active(file):     455328 kB
Inactive(file):   175200 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67108024 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:        175104 kB
Mapped:            19096 kB
Shmem:                96 kB
Slab:             704820 kB
SReclaimable:     148636 kB
SUnreclaim:       556184 kB
KernelStack:        1600 kB
PageTables:         4512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71700 MiB
End job on node148 at 2012-05-28 00:09:49