Trace number 3454905

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 Res//CP 2.3.0? (TO) 1800.53 904.518

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
MD5SUMa399b3055416a9d1117a7f2bb11b2cef
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark419.029
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints86040
Number of constraints which are clauses85680
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.03/0.12	c Pseudo Boolean Optimization
0.03/0.12	c ManyCore solver with 2 solvers running in parallel
0.03/0.12	c --- Begin Solver configuration ---
0.03/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.03/0.12	c Learn all clauses as in MiniSAT
0.03/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.03/0.12	c Expensive reason simplification
0.03/0.12	c Armin Biere (Picosat) restarts strategy
0.03/0.12	c Glucose learned constraints deletion strategy
0.03/0.12	c timeout=2147483s
0.03/0.12	c DB Simplification allowed=false
0.03/0.12	c --- End Solver configuration ---
0.03/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.03/0.12	c --- Begin Solver configuration ---
0.03/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.03/0.12	c Learn all clauses as in MiniSAT
0.03/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.03/0.12	c No reason simplification
0.03/0.12	c Armin Biere (Picosat) restarts strategy
0.03/0.12	c Glucose learned constraints deletion strategy
0.03/0.12	c timeout=2147483s
0.03/0.12	c DB Simplification allowed=false
0.03/0.12	c --- End Solver configuration ---
0.03/0.12	c solving HOME/instance-3454905-1307187567.opb
0.03/0.12	c reading problem ... 
1.49/1.07	c ... done. Wall clock time 0.959s.
1.49/1.07	c #vars     1440
1.49/1.07	c #constraints  86400
1.49/1.07	c constraints type 
1.49/1.07	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 86040
1.49/1.07	c org.sat4j.minisat.constraints.card.MinWatchCard => 360
1.49/1.07	c constraints type 
1.49/1.07	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 86040
1.49/1.07	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 360
4.53/2.23	c cleaning 2492 clauses out of 5001 with flag 5001/5001
6.41/3.11	c cleaning 4244 clauses out of 8509 with flag 11001/11001
8.39/4.12	c cleaning 5628 clauses out of 11265 with flag 18001/18001
10.73/5.35	c cleaning 6816 clauses out of 13639 with flag 26003/26003
11.88/5.99	c cleaning 0 clauses out of 5000 with flag 0/5000
13.95/6.80	c cleaning 7907 clauses out of 15820 with flag 35000/35000
16.87/8.29	c cleaning 8952 clauses out of 17915 with flag 45002/45002
20.21/9.96	c cleaning 9978 clauses out of 19963 with flag 56002/56002
23.91/11.84	c cleaning 10981 clauses out of 21984 with flag 68001/68001
27.84/13.88	c cleaning 11989 clauses out of 24002 with flag 81000/81000
32.16/16.05	c cleaning 13001 clauses out of 26013 with flag 95000/95000
37.12/18.57	c cleaning 13998 clauses out of 28012 with flag 110000/110000
42.05/21.08	c cleaning 14997 clauses out of 30014 with flag 126000/126000
43.53/21.88	c cleaning 0 clauses out of 11001 with flag 0/11001
47.65/23.99	c cleaning 15989 clauses out of 32019 with flag 143002/143002
54.17/27.28	c cleaning 17005 clauses out of 34028 with flag 161000/161000
61.07/30.72	c cleaning 18007 clauses out of 36023 with flag 180000/180000
67.59/34.06	c cleaning 19000 clauses out of 38016 with flag 200000/200000
75.10/37.85	c cleaning 20000 clauses out of 40017 with flag 221001/221001
83.02/41.88	c cleaning 20992 clauses out of 42016 with flag 243000/243000
92.90/46.85	c cleaning 21988 clauses out of 44024 with flag 266000/266000
100.81/50.85	c cleaning 23011 clauses out of 46038 with flag 290002/290002
110.12/55.56	c cleaning 24006 clauses out of 48026 with flag 315001/315001
112.63/56.90	c cleaning 0 clauses out of 18001 with flag 0/18001
122.50/61.82	c cleaning 25001 clauses out of 50019 with flag 341000/341000
134.00/67.67	c cleaning 25991 clauses out of 52018 with flag 368000/368000
147.52/74.40	c cleaning 27005 clauses out of 54027 with flag 396000/396000
158.03/79.78	c cleaning 28006 clauses out of 56025 with flag 425003/425003
170.89/86.29	c cleaning 29000 clauses out of 58017 with flag 455001/455001
184.79/93.21	c cleaning 29991 clauses out of 60017 with flag 486001/486001
203.31/102.54	c cleaning 31000 clauses out of 62025 with flag 518000/518000
220.42/111.14	c cleaning 32001 clauses out of 64025 with flag 551000/551000
239.88/121.00	c cleaning 33001 clauses out of 66025 with flag 585001/585001
253.18/127.67	c cleaning 34006 clauses out of 68023 with flag 620000/620000
257.87/130.04	c cleaning 0 clauses out of 26000 with flag 0/26000
268.82/135.54	c cleaning 34998 clauses out of 70017 with flag 656000/656000
285.07/143.75	c cleaning 35989 clauses out of 72019 with flag 693000/693000
303.98/153.21	c cleaning 37006 clauses out of 74031 with flag 731001/731001
329.93/166.28	c cleaning 38003 clauses out of 76025 with flag 770001/770001
349.39/176.08	c cleaning 39001 clauses out of 78021 with flag 810000/810000
377.24/190.06	c cleaning 40003 clauses out of 80020 with flag 851000/851000
400.54/201.75	c cleaning 40982 clauses out of 82017 with flag 893000/893000
419.43/211.31	c cleaning 41993 clauses out of 84036 with flag 936001/936001
443.51/223.38	c cleaning 43011 clauses out of 86042 with flag 980000/980000
470.00/236.65	c cleaning 43998 clauses out of 88031 with flag 1025000/1025000
498.66/251.02	c cleaning 45002 clauses out of 90033 with flag 1071000/1071000
529.57/266.59	c cleaning 46003 clauses out of 92032 with flag 1118001/1118001
530.86/267.28	c cleaning 0 clauses out of 35001 with flag 0/35001
567.09/285.47	c cleaning 46999 clauses out of 94028 with flag 1166000/1166000
598.78/301.38	c cleaning 48007 clauses out of 96029 with flag 1215000/1215000
639.87/321.94	c cleaning 49002 clauses out of 98023 with flag 1265001/1265001
684.97/344.53	c cleaning 49995 clauses out of 100022 with flag 1316002/1316002
708.18/356.29	c cleaning 51009 clauses out of 102030 with flag 1368005/1368005
737.08/370.77	c cleaning 51998 clauses out of 104019 with flag 1421003/1421003
769.36/386.96	c cleaning 52987 clauses out of 106019 with flag 1475001/1475001
806.44/405.60	c cleaning 54001 clauses out of 108031 with flag 1530000/1530000
850.65/427.76	c cleaning 55003 clauses out of 110030 with flag 1586000/1586000
887.74/446.37	c cleaning 55997 clauses out of 112027 with flag 1643000/1643000
932.25/468.68	c cleaning 56994 clauses out of 114030 with flag 1701000/1701000
982.53/493.82	c cleaning 57988 clauses out of 116036 with flag 1760000/1760000
1023.29/514.37	c cleaning 59010 clauses out of 118049 with flag 1820001/1820001
1040.32/522.90	c cleaning 0 clauses out of 45000 with flag 0/45000
1068.17/536.98	c cleaning 59977 clauses out of 120038 with flag 1881000/1881000
1118.18/562.03	c cleaning 60994 clauses out of 122063 with flag 1943002/1943002
1160.75/583.47	c cleaning 62032 clauses out of 124069 with flag 2006002/2006002
1193.97/600.19	c cleaning 62999 clauses out of 126035 with flag 2070000/2070000
1234.82/620.65	c cleaning 63978 clauses out of 128036 with flag 2135000/2135000
1281.87/644.23	c cleaning 65019 clauses out of 130058 with flag 2201000/2201000
1336.44/671.65	c cleaning 66008 clauses out of 132043 with flag 2268004/2268004
1382.28/694.61	c cleaning 66996 clauses out of 134031 with flag 2336000/2336000
1435.93/721.59	c cleaning 68006 clauses out of 136035 with flag 2405000/2405000
1486.38/746.84	c cleaning 68993 clauses out of 138029 with flag 2475000/2475000
1548.93/778.24	c cleaning 70002 clauses out of 140036 with flag 2546000/2546000
1611.56/809.71	c cleaning 71008 clauses out of 142037 with flag 2618003/2618003
1661.00/834.45	c cleaning 72002 clauses out of 144028 with flag 2691002/2691002
1720.85/864.44	c cleaning 72998 clauses out of 146027 with flag 2765003/2765003
1793.17/900.74	c cleaning 73990 clauses out of 148028 with flag 2840002/2840002
1800.22/904.34	c starts		: 231
1800.22/904.34	c conflicts		: 2853460
1800.22/904.34	c decisions		: 3549179
1800.22/904.35	c propagations		: 326207510
1800.22/904.35	c inspects		: 6891769856
1800.22/904.35	c shortcuts		: 0
1800.22/904.35	c learnt literals	: 0
1800.22/904.35	c learnt binary clauses	: 0
1800.22/904.35	c learnt ternary clauses	: 0
1800.22/904.35	c learnt constraints	: 2853460
1800.22/904.35	c ignored constraints	: 0
1800.22/904.35	c root simplifications	: 0
1800.22/904.35	c removed literals (reason simplification)	: 33865143
1800.22/904.35	c reason swapping (by a shorter reason)	: 0
1800.22/904.35	c Calls to reduceDB	: 71
1800.22/904.35	c number of reductions to clauses (during analyze)	: 0
1800.22/904.35	c number of learned constraints concerned by reduction	: 0
1800.22/904.35	c number of learning phase by resolution	: 0
1800.22/904.35	c number of learning phase by cutting planes	: 0
1800.22/904.35	c speed (assignments/second)	: 361141.12739394355
1800.22/904.35	c non guided choices	214
1800.22/904.37	c learnt constraints type 
1800.22/904.37	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87578
1800.22/904.37	c constraints type 
1800.22/904.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 86040
1800.22/904.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 360
1800.22/904.37	c constraints type 
1800.22/904.37	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 86040
1800.22/904.37	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 360
1800.22/904.37	s UNKNOWN
1800.22/904.37	c Total wall clock time (in seconds): 904.259

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3454905-1307187567/watcher-3454905-1307187567 -o /tmp/evaluation-result-3454905-1307187567/solver-3454905-1307187567 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454905-1307187567.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: 1.13 1.18 1.54 2/547 670
/proc/meminfo: memFree=21128964/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/670/stat : 670 (java) R 668 670 29102 0 -1 4202496 234 0 0 0 0 0 0 0 22 0 1 0 830357084 9318400 170 33554432000 1073741824 1073778376 140735731118176 18446744073709551615 253640855397 0 2147483391 4096 0 0 0 0 17 4 0 0 0
/proc/670/statm: 2275 170 130 9 0 67 0
[pid=670/tid=671] ppid=668 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) R 668 670 29102 0 -1 4202560 6304 0 1 0 0 0 0 0 23 0 2 0 830357085 10694979584 7120 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0522809 s]
/proc/loadavg: 1.13 1.18 1.54 2/547 670
/proc/meminfo: memFree=21128964/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 11319 0 1 0 2 1 0 0 22 0 13 0 830357084 10718699520 11016 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2616870 11016 1676 9 0 2607618 0
[pid=670/tid=671] ppid=668 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) R 668 670 29102 0 -1 4202560 10171 0 1 0 2 1 0 0 25 0 13 0 830357085 10718699520 11016 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 47660081225600 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.220281 s]
/proc/loadavg: 1.13 1.18 1.54 2/547 670
/proc/meminfo: memFree=21128964/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10540976 CPUtime=0.29 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 15487 0 1 0 27 2 0 0 22 0 18 0 830357084 10793959424 15131 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2635244 15131 2190 9 0 2625978 0
[pid=670/tid=671] ppid=668 vsize=10540976 CPUtime=0.2 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) R 668 670 29102 0 -1 4202560 13085 0 1 0 18 2 0 0 18 0 18 0 830357085 10793959424 15131 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540976

[startup+0.301264 s]
/proc/loadavg: 1.13 1.18 1.54 2/547 670
/proc/meminfo: memFree=21128964/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10541404 CPUtime=0.47 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 16881 0 1 0 44 3 0 0 22 0 18 0 830357084 10794397696 16305 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2635351 16306 2199 9 0 2626085 0
[pid=670/tid=671] ppid=668 vsize=10541404 CPUtime=0.28 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) R 668 670 29102 0 -1 4202560 14041 0 1 0 26 2 0 0 18 0 18 0 830357085 10794397696 16306 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505532362 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541404

[startup+0.701151 s]
/proc/loadavg: 1.13 1.18 1.54 2/547 670
/proc/meminfo: memFree=21128964/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10544108 CPUtime=1.19 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 53167 0 1 0 110 9 0 0 22 0 18 0 830357084 10797166592 51172 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2636027 51177 2214 9 0 2626761 0
[pid=670/tid=671] ppid=668 vsize=10544108 CPUtime=0.68 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) R 668 670 29102 0 -1 4202560 46823 0 1 0 60 8 0 0 18 0 18 0 830357085 10797166592 51179 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505656207 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10544108

[startup+1.50097 s]
/proc/loadavg: 1.28 1.21 1.55 5/589 715
/proc/meminfo: memFree=20577352/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10549980 CPUtime=2.61 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 99561 0 1 0 245 16 0 0 22 0 22 0 830357084 10803179520 97504 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2637495 97504 2239 9 0 2628229 0
[pid=670/tid=671] ppid=668 vsize=10549980 CPUtime=1.05 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) S 668 670 29102 0 -1 4202560 90481 0 1 0 92 13 0 0 20 0 22 0 830357085 10803179520 97505 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=673] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/673/stat : 673 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830357086 10803179520 97505 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=674] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/674/stat : 674 (java) S 668 670 29102 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830357086 10803179520 97505 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=675] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/675/stat : 675 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357086 10803179520 97506 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=676] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/676/stat : 676 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357086 10803179520 97507 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=677] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/677/stat : 677 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357086 10803179520 97507 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=678] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/678/stat : 678 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357086 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=679] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/679/stat : 679 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357086 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=680] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/680/stat : 680 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357086 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=681] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/681/stat : 681 (java) S 668 670 29102 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 22 0 830357088 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 0 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=682] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/682/stat : 682 (java) S 668 670 29102 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830357088 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=683] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/683/stat : 683 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830357088 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=684] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/684/stat : 684 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652683185 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=685] ppid=668 vsize=10549980 CPUtime=0.45 cores=0,2,4,6
/proc/670/task/685/stat : 685 (java) R 668 670 29102 0 -1 4202560 2819 0 0 0 45 0 0 0 15 0 22 0 830357090 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 47660084313367 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=670/tid=686] ppid=668 vsize=10549980 CPUtime=0.52 cores=0,2,4,6
/proc/670/task/686/stat : 686 (java) R 668 670 29102 0 -1 4202560 3019 0 0 0 52 0 0 0 16 0 22 0 830357090 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 47660080916309 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=670/tid=687] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/687/stat : 687 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=688] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/688/stat : 688 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830357091 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=712] ppid=668 vsize=10549980 CPUtime=0.37 cores=0,2,4,6
/proc/670/task/712/stat : 712 (java) R 668 670 29102 0 -1 4202560 626 0 0 0 37 0 0 0 18 0 22 0 830357192 10803179520 97509 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505826379 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=670/tid=713] ppid=668 vsize=10549980 CPUtime=0.15 cores=0,2,4,6
/proc/670/task/713/stat : 713 (java) R 668 670 29102 0 -1 4202560 1453 0 0 0 15 0 0 0 22 0 22 0 830357192 10803179520 97510 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505814688 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=670/tid=714] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/714/stat : 714 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10803179520 97510 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=715] ppid=668 vsize=10549980 CPUtime=0 cores=0,2,4,6
/proc/670/task/715/stat : 715 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10803179520 97510 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 10549980

[startup+3.10168 s]
/proc/loadavg: 1.28 1.21 1.55 4/589 715
/proc/meminfo: memFree=19949952/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10550836 CPUtime=6.41 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 139151 0 1 0 620 21 0 0 22 0 22 0 830357084 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2637709 132783 2267 9 0 2628443 0
[pid=670/tid=671] ppid=668 vsize=10550836 CPUtime=1.05 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) S 668 670 29102 0 -1 4202560 90481 0 1 0 92 13 0 0 15 0 22 0 830357085 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=673] ppid=668 vsize=10550836 CPUtime=0.01 cores=0,2,4,6
/proc/670/task/673/stat : 673 (java) S 668 670 29102 0 -1 4202560 1088 0 0 0 1 0 0 0 18 0 22 0 830357086 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=674] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/674/stat : 674 (java) S 668 670 29102 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830357086 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=675] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/675/stat : 675 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830357086 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=676] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/676/stat : 676 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830357086 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=677] ppid=668 vsize=10550836 CPUtime=0.01 cores=0,2,4,6
/proc/670/task/677/stat : 677 (java) S 668 670 29102 0 -1 4202560 966 0 0 0 1 0 0 0 18 0 22 0 830357086 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=678] ppid=668 vsize=10550836 CPUtime=0.01 cores=0,2,4,6
/proc/670/task/678/stat : 678 (java) S 668 670 29102 0 -1 4202560 1010 0 0 0 1 0 0 0 18 0 22 0 830357086 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=679] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/679/stat : 679 (java) S 668 670 29102 0 -1 4202560 70 0 0 0 0 0 0 0 18 0 22 0 830357086 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=680] ppid=668 vsize=10550836 CPUtime=0.01 cores=0,2,4,6
/proc/670/task/680/stat : 680 (java) S 668 670 29102 0 -1 4202560 1253 0 0 0 1 0 0 0 18 0 22 0 830357086 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=681] ppid=668 vsize=10550836 CPUtime=0.09 cores=0,2,4,6
/proc/670/task/681/stat : 681 (java) S 668 670 29102 0 -1 4202560 4367 0 0 0 8 1 0 0 15 0 22 0 830357088 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 0 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=682] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/682/stat : 682 (java) S 668 670 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830357088 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=683] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/683/stat : 683 (java) S 668 670 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830357088 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=684] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/684/stat : 684 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652683185 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=685] ppid=668 vsize=10550836 CPUtime=0.75 cores=0,2,4,6
/proc/670/task/685/stat : 685 (java) S 668 670 29102 0 -1 4202560 3537 0 0 0 75 0 0 0 15 0 22 0 830357090 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=686] ppid=668 vsize=10550836 CPUtime=0.87 cores=0,2,4,6
/proc/670/task/686/stat : 686 (java) S 668 670 29102 0 -1 4202560 8001 0 0 0 86 1 0 0 15 0 22 0 830357090 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=687] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/687/stat : 687 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=688] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/688/stat : 688 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830357091 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=712] ppid=668 vsize=10550836 CPUtime=1.87 cores=0,2,4,6
/proc/670/task/712/stat : 712 (java) R 668 670 29102 0 -1 4202560 1073 0 0 0 187 0 0 0 19 0 22 0 830357192 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505797508 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=670/tid=713] ppid=668 vsize=10550836 CPUtime=1.65 cores=0,2,4,6
/proc/670/task/713/stat : 713 (java) R 668 670 29102 0 -1 4202560 26144 0 0 0 162 3 0 0 25 0 22 0 830357192 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505957400 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=670/tid=714] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/714/stat : 714 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=715] ppid=668 vsize=10550836 CPUtime=0 cores=0,2,4,6
/proc/670/task/715/stat : 715 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10804056064 132783 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 10550836

[startup+6.3011 s]
/proc/loadavg: 1.28 1.21 1.55 6/593 719
/proc/meminfo: memFree=18631420/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10558400 CPUtime=12.92 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 162787 0 1 0 1268 24 0 0 22 0 22 0 830357084 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2639600 155400 2267 9 0 2630334 0
[pid=670/tid=671] ppid=668 vsize=10558400 CPUtime=1.05 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) S 668 670 29102 0 -1 4202560 90481 0 1 0 92 13 0 0 15 0 22 0 830357085 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=673] ppid=668 vsize=10558400 CPUtime=0.02 cores=0,2,4,6
/proc/670/task/673/stat : 673 (java) S 668 670 29102 0 -1 4202560 1226 0 0 0 2 0 0 0 15 0 22 0 830357086 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=674] ppid=668 vsize=10558400 CPUtime=0 cores=0,2,4,6
/proc/670/task/674/stat : 674 (java) S 668 670 29102 0 -1 4202560 312 0 0 0 0 0 0 0 15 0 22 0 830357086 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=675] ppid=668 vsize=10558400 CPUtime=0 cores=0,2,4,6
/proc/670/task/675/stat : 675 (java) S 668 670 29102 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 830357086 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=676] ppid=668 vsize=10558400 CPUtime=0 cores=0,2,4,6
/proc/670/task/676/stat : 676 (java) S 668 670 29102 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 830357086 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=677] ppid=668 vsize=10558400 CPUtime=0.02 cores=0,2,4,6
/proc/670/task/677/stat : 677 (java) S 668 670 29102 0 -1 4202560 1381 0 0 0 2 0 0 0 15 0 22 0 830357086 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=678] ppid=668 vsize=10558400 CPUtime=0.02 cores=0,2,4,6
/proc/670/task/678/stat : 678 (java) S 668 670 29102 0 -1 4202560 1062 0 0 0 2 0 0 0 15 0 22 0 830357086 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=679] ppid=668 vsize=10558400 CPUtime=0 cores=0,2,4,6
/proc/670/task/679/stat : 679 (java) S 668 670 29102 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 22 0 830357086 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=680] ppid=668 vsize=10558400 CPUtime=0.01 cores=0,2,4,6
/proc/670/task/680/stat : 680 (java) S 668 670 29102 0 -1 4202560 1253 0 0 0 1 0 0 0 15 0 22 0 830357086 10811801600 155400 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0

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

/proc/meminfo: memFree=13647984/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10553304 CPUtime=1636.77 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 924863 0 1 0 163564 113 0 0 22 0 22 0 830357084 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2638326 913018 2268 9 0 2629060 0
[pid=670/tid=671] ppid=668 vsize=10553304 CPUtime=1.05 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) S 668 670 29102 0 -1 4202560 90495 0 1 0 92 13 0 0 15 0 22 0 830357085 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=673] ppid=668 vsize=10553304 CPUtime=0.43 cores=0,2,4,6
/proc/670/task/673/stat : 673 (java) S 668 670 29102 0 -1 4202560 5951 0 0 0 42 1 0 0 16 0 22 0 830357086 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=674] ppid=668 vsize=10553304 CPUtime=0.48 cores=0,2,4,6
/proc/670/task/674/stat : 674 (java) S 668 670 29102 0 -1 4202560 6771 0 0 0 47 1 0 0 16 0 22 0 830357086 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=675] ppid=668 vsize=10553304 CPUtime=0.47 cores=0,2,4,6
/proc/670/task/675/stat : 675 (java) S 668 670 29102 0 -1 4202560 5347 0 0 0 46 1 0 0 16 0 22 0 830357086 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=676] ppid=668 vsize=10553304 CPUtime=0.4 cores=0,2,4,6
/proc/670/task/676/stat : 676 (java) S 668 670 29102 0 -1 4202560 5338 0 0 0 40 0 0 0 16 0 22 0 830357086 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=677] ppid=668 vsize=10553304 CPUtime=0.47 cores=0,2,4,6
/proc/670/task/677/stat : 677 (java) S 668 670 29102 0 -1 4202560 7038 0 0 0 47 0 0 0 15 0 22 0 830357086 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=678] ppid=668 vsize=10553304 CPUtime=0.48 cores=0,2,4,6
/proc/670/task/678/stat : 678 (java) S 668 670 29102 0 -1 4202560 6833 0 0 0 48 0 0 0 15 0 22 0 830357086 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=679] ppid=668 vsize=10553304 CPUtime=0.34 cores=0,2,4,6
/proc/670/task/679/stat : 679 (java) S 668 670 29102 0 -1 4202560 5156 0 0 0 34 0 0 0 15 0 22 0 830357086 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=680] ppid=668 vsize=10553304 CPUtime=0.57 cores=0,2,4,6
/proc/670/task/680/stat : 680 (java) S 668 670 29102 0 -1 4202560 4541 0 0 0 57 0 0 0 16 0 22 0 830357086 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=681] ppid=668 vsize=10553304 CPUtime=10.38 cores=0,2,4,6
/proc/670/task/681/stat : 681 (java) S 668 670 29102 0 -1 4202560 18242 0 0 0 1034 4 0 0 15 0 22 0 830357088 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 0 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=682] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/682/stat : 682 (java) S 668 670 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830357088 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=683] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/683/stat : 683 (java) S 668 670 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830357088 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=684] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/684/stat : 684 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652683185 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=685] ppid=668 vsize=10553304 CPUtime=1.28 cores=0,2,4,6
/proc/670/task/685/stat : 685 (java) S 668 670 29102 0 -1 4202560 7019 0 0 0 128 0 0 0 16 0 22 0 830357090 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=686] ppid=668 vsize=10553304 CPUtime=1.12 cores=0,2,4,6
/proc/670/task/686/stat : 686 (java) S 668 670 29102 0 -1 4202560 8036 0 0 0 111 1 0 0 15 0 22 0 830357090 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=687] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/687/stat : 687 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=688] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/688/stat : 688 (java) S 668 670 29102 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830357091 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=712] ppid=668 vsize=10553304 CPUtime=809.69 cores=0,2,4,6
/proc/670/task/712/stat : 712 (java) R 668 670 29102 0 -1 4202560 2742 0 0 0 80968 1 0 0 25 0 22 0 830357192 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505792784 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=670/tid=713] ppid=668 vsize=10553304 CPUtime=809.47 cores=0,2,4,6
/proc/670/task/713/stat : 713 (java) R 668 670 29102 0 -1 4202560 750150 0 0 0 80863 84 0 0 25 0 22 0 830357192 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505797692 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=670/tid=714] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/714/stat : 714 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=715] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/715/stat : 715 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10806583296 913018 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1636.77
Current children cumulated vsize (KiB) 10553304

[startup+882.322 s]
/proc/loadavg: 4.20 3.92 3.06 5/593 742
/proc/meminfo: memFree=13647400/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10553304 CPUtime=1756.39 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 924996 0 1 0 175526 113 0 0 22 0 22 0 830357084 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2638326 913132 2268 9 0 2629060 0
[pid=670/tid=671] ppid=668 vsize=10553304 CPUtime=1.05 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) S 668 670 29102 0 -1 4202560 90495 0 1 0 92 13 0 0 15 0 22 0 830357085 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=673] ppid=668 vsize=10553304 CPUtime=0.45 cores=0,2,4,6
/proc/670/task/673/stat : 673 (java) S 668 670 29102 0 -1 4202560 5954 0 0 0 44 1 0 0 16 0 22 0 830357086 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=674] ppid=668 vsize=10553304 CPUtime=0.5 cores=0,2,4,6
/proc/670/task/674/stat : 674 (java) S 668 670 29102 0 -1 4202560 6803 0 0 0 49 1 0 0 15 0 22 0 830357086 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=675] ppid=668 vsize=10553304 CPUtime=0.5 cores=0,2,4,6
/proc/670/task/675/stat : 675 (java) S 668 670 29102 0 -1 4202560 5347 0 0 0 49 1 0 0 15 0 22 0 830357086 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=676] ppid=668 vsize=10553304 CPUtime=0.41 cores=0,2,4,6
/proc/670/task/676/stat : 676 (java) S 668 670 29102 0 -1 4202560 5338 0 0 0 41 0 0 0 16 0 22 0 830357086 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=677] ppid=668 vsize=10553304 CPUtime=0.5 cores=0,2,4,6
/proc/670/task/677/stat : 677 (java) S 668 670 29102 0 -1 4202560 7040 0 0 0 50 0 0 0 15 0 22 0 830357086 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=678] ppid=668 vsize=10553304 CPUtime=0.51 cores=0,2,4,6
/proc/670/task/678/stat : 678 (java) S 668 670 29102 0 -1 4202560 6864 0 0 0 51 0 0 0 16 0 22 0 830357086 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=679] ppid=668 vsize=10553304 CPUtime=0.38 cores=0,2,4,6
/proc/670/task/679/stat : 679 (java) S 668 670 29102 0 -1 4202560 5184 0 0 0 38 0 0 0 15 0 22 0 830357086 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=680] ppid=668 vsize=10553304 CPUtime=0.61 cores=0,2,4,6
/proc/670/task/680/stat : 680 (java) S 668 670 29102 0 -1 4202560 4567 0 0 0 61 0 0 0 16 0 22 0 830357086 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=681] ppid=668 vsize=10553304 CPUtime=10.9 cores=0,2,4,6
/proc/670/task/681/stat : 681 (java) S 668 670 29102 0 -1 4202560 18244 0 0 0 1086 4 0 0 15 0 22 0 830357088 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 0 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=682] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/682/stat : 682 (java) S 668 670 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830357088 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=683] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/683/stat : 683 (java) S 668 670 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830357088 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=684] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/684/stat : 684 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652683185 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=685] ppid=668 vsize=10553304 CPUtime=1.28 cores=0,2,4,6
/proc/670/task/685/stat : 685 (java) S 668 670 29102 0 -1 4202560 7019 0 0 0 128 0 0 0 16 0 22 0 830357090 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=686] ppid=668 vsize=10553304 CPUtime=1.12 cores=0,2,4,6
/proc/670/task/686/stat : 686 (java) S 668 670 29102 0 -1 4202560 8036 0 0 0 111 1 0 0 15 0 22 0 830357090 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=687] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/687/stat : 687 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=688] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/688/stat : 688 (java) S 668 670 29102 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830357091 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=712] ppid=668 vsize=10553304 CPUtime=869.13 cores=0,2,4,6
/proc/670/task/712/stat : 712 (java) R 668 670 29102 0 -1 4202560 2746 0 0 0 86912 1 0 0 25 0 22 0 830357192 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505797692 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=670/tid=713] ppid=668 vsize=10553304 CPUtime=868.91 cores=0,2,4,6
/proc/670/task/713/stat : 713 (java) R 668 670 29102 0 -1 4202560 750151 0 0 0 86807 84 0 0 25 0 22 0 830357192 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505991223 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=670/tid=714] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/714/stat : 714 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=715] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/715/stat : 715 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10806583296 913132 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1756.39
Current children cumulated vsize (KiB) 10553304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.322 s]
/proc/loadavg: 4.14 3.93 3.08 4/593 743
/proc/meminfo: memFree=13647260/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=10553304 CPUtime=1800.22 cores=0,2,4,6
/proc/670/stat : 670 (java) S 668 670 29102 0 -1 4202496 925008 0 1 0 179909 113 0 0 22 0 22 0 830357084 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 2638326 913139 2269 9 0 2629060 0
[pid=670/tid=671] ppid=668 vsize=10553304 CPUtime=1.05 cores=0,2,4,6
/proc/670/task/671/stat : 671 (java) S 668 670 29102 0 -1 4202560 90496 0 1 0 92 13 0 0 15 0 22 0 830357085 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=673] ppid=668 vsize=10553304 CPUtime=0.46 cores=0,2,4,6
/proc/670/task/673/stat : 673 (java) S 668 670 29102 0 -1 4202560 5955 0 0 0 45 1 0 0 16 0 22 0 830357086 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=674] ppid=668 vsize=10553304 CPUtime=0.5 cores=0,2,4,6
/proc/670/task/674/stat : 674 (java) S 668 670 29102 0 -1 4202560 6803 0 0 0 49 1 0 0 15 0 22 0 830357086 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=675] ppid=668 vsize=10553304 CPUtime=0.53 cores=0,2,4,6
/proc/670/task/675/stat : 675 (java) S 668 670 29102 0 -1 4202560 5347 0 0 0 52 1 0 0 16 0 22 0 830357086 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=676] ppid=668 vsize=10553304 CPUtime=0.41 cores=0,2,4,6
/proc/670/task/676/stat : 676 (java) S 668 670 29102 0 -1 4202560 5338 0 0 0 41 0 0 0 16 0 22 0 830357086 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=677] ppid=668 vsize=10553304 CPUtime=0.52 cores=0,2,4,6
/proc/670/task/677/stat : 677 (java) S 668 670 29102 0 -1 4202560 7040 0 0 0 52 0 0 0 15 0 22 0 830357086 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=678] ppid=668 vsize=10553304 CPUtime=0.52 cores=0,2,4,6
/proc/670/task/678/stat : 678 (java) S 668 670 29102 0 -1 4202560 6864 0 0 0 52 0 0 0 15 0 22 0 830357086 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=679] ppid=668 vsize=10553304 CPUtime=0.39 cores=0,2,4,6
/proc/670/task/679/stat : 679 (java) S 668 670 29102 0 -1 4202560 5189 0 0 0 39 0 0 0 16 0 22 0 830357086 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=680] ppid=668 vsize=10553304 CPUtime=0.62 cores=0,2,4,6
/proc/670/task/680/stat : 680 (java) S 668 670 29102 0 -1 4202560 4567 0 0 0 62 0 0 0 16 0 22 0 830357086 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=681] ppid=668 vsize=10553304 CPUtime=11.11 cores=0,2,4,6
/proc/670/task/681/stat : 681 (java) S 668 670 29102 0 -1 4202560 18246 0 0 0 1107 4 0 0 15 0 22 0 830357088 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 0 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=682] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/682/stat : 682 (java) S 668 670 29102 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830357088 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=683] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/683/stat : 683 (java) S 668 670 29102 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830357088 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=684] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/684/stat : 684 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652683185 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=685] ppid=668 vsize=10553304 CPUtime=1.28 cores=0,2,4,6
/proc/670/task/685/stat : 685 (java) S 668 670 29102 0 -1 4202560 7019 0 0 0 128 0 0 0 16 0 22 0 830357090 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
[pid=670/tid=686] ppid=668 vsize=10553304 CPUtime=1.12 cores=0,2,4,6
/proc/670/task/686/stat : 686 (java) S 668 670 29102 0 -1 4202560 8038 0 0 0 111 1 0 0 15 0 22 0 830357090 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=687] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/687/stat : 687 (java) S 668 670 29102 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830357090 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652675481 0 4 0 16800975 18446604453931411648 0 0 -1 6 0 0 0
[pid=670/tid=688] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/688/stat : 688 (java) S 668 670 29102 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830357091 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 2 0 0 0
[pid=670/tid=712] ppid=668 vsize=10553304 CPUtime=890.9 cores=0,2,4,6
/proc/670/task/712/stat : 712 (java) R 668 670 29102 0 -1 4202560 2747 0 0 0 89089 1 0 0 25 0 22 0 830357192 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505826353 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=670/tid=713] ppid=668 vsize=10553304 CPUtime=890.68 cores=0,2,4,6
/proc/670/task/713/stat : 713 (java) R 668 670 29102 0 -1 4202560 750151 0 0 0 88984 84 0 0 25 0 22 0 830357192 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 46912505973411 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=670/tid=714] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/714/stat : 714 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 0 0 0 0
[pid=670/tid=715] ppid=668 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/670/task/715/stat : 715 (java) S 668 670 29102 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830357193 10806583296 913139 33554432000 1073741824 1073778376 140733294703424 18446744073709551615 253652676096 0 4 0 16800975 18446604453931411648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 10553304

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

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

[startup+904.501 s]
/proc/loadavg: 4.14 3.93 3.08 4/593 743
/proc/meminfo: memFree=13647260/32951124 swapFree=53733252/67111528
[pid=670] ppid=668 vsize=0 CPUtime=1800.5 cores=0,2,4,6
/proc/670/stat : 670 (java) Z 668 670 29102 0 -1 4203548 925036 0 1 0 179925 125 0 0 17 0 2 0 830357084 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/670/statm: 0 0 0 0 0 0 0
[pid=670/tid=712] ppid=668 vsize=0 CPUtime=891.06 cores=0,2,4,6
/proc/670/task/712/stat : 712 (java) R 668 670 29102 0 -1 4203588 2747 0 0 0 89093 13 0 0 25 0 2 0 830357192 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 904.518
CPU time (s): 1800.53
CPU user time (s): 1799.25
CPU system time (s): 1.27481
CPU usage (%): 199.059
Max. virtual memory (cumulated for all children) (KiB): 10561844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 1.27481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925036
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24000
involuntary context switches= 12003

runsolver used 5.59415 second user time and 11.5272 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 13:39:27
IDJOB=3454905
IDBENCH=1372
IDSOLVER=1950
FILE ID=node106/3454905-1307187567
RUNJOBID= node106-1307187567-656
PBS_JOBID= 13508822
Free space on /tmp= 73752 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454905-1307187567/watcher-3454905-1307187567 -o /tmp/evaluation-result-3454905-1307187567/solver-3454905-1307187567 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454905-1307187567.opb

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

MD5SUM BENCH= a399b3055416a9d1117a7f2bb11b2cef
RANDOM SEED=429225027

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21129244 kB
Buffers:        399628 kB
Cached:        6019176 kB
SwapCached:      22744 kB
Active:        5911680 kB
Inactive:      5569012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21129244 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            8200 kB
Writeback:           4 kB
AnonPages:     5058128 kB
Mapped:          25436 kB
Slab:           192128 kB
PageTables:      77772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167521060 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73736 MiB
End job on node106 at 2011-06-04 13:54:33