Trace number 3709982

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshot? (TO) 1800.04 1793.35

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-70.opb
MD5SUM4f155d4f8b05885565510d4fbd89c993
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12552
Total number of constraints283802
Number of constraints which are clauses254979
Number of constraints which are cardinality constraints (but not clauses)914
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint1
Maximum length of a constraint270
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 271
Number of bits of the biggest sum of numbers9
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.10/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.12	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3709982-1338196200.opb
0.10/0.12	c reading problem ... 
2.85/2.06	c ... done. Wall clock time 1.937s.
2.85/2.06	c declared #vars     12552
2.85/2.06	c #constraints  280926
2.85/2.06	c constraints type 
2.85/2.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 192016
2.85/2.06	c org.sat4j.minisat.constraints.card.MinWatchCard => 905
2.85/2.06	c ignored satisfied constraints => 3348
2.85/2.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 59964
2.85/2.06	c org.sat4j.minisat.constraints.cnf.UnitClause => 132
2.85/2.06	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
2.85/2.06	c 284274 constraints processed.
5.01/3.78	c cleaning 2502 clauses out of 5003 with flag 5003/5003
7.42/5.54	c cleaning 4249 clauses out of 8499 with flag 11001/11001
9.34/7.48	c cleaning 5622 clauses out of 11251 with flag 18002/18002
11.55/9.66	c cleaning 6813 clauses out of 13629 with flag 26002/26002
14.10/12.11	c cleaning 7895 clauses out of 15814 with flag 35000/35000
16.61/14.63	c cleaning 8942 clauses out of 17920 with flag 45001/45001
19.82/17.88	c cleaning 9963 clauses out of 19977 with flag 56000/56000
23.23/21.23	c cleaning 10966 clauses out of 22014 with flag 68000/68000
26.66/24.60	c cleaning 11998 clauses out of 24048 with flag 81000/81000
29.89/27.86	c cleaning 12900 clauses out of 26050 with flag 95000/95000
33.31/31.24	c cleaning 14022 clauses out of 28152 with flag 110002/110002
37.13/35.01	c cleaning 15001 clauses out of 30128 with flag 126000/126000
41.64/39.50	c cleaning 16045 clauses out of 32127 with flag 143000/143000
45.87/43.75	c cleaning 16969 clauses out of 34082 with flag 161000/161000
50.89/48.71	c cleaning 18016 clauses out of 36115 with flag 180002/180002
56.53/54.32	c cleaning 19012 clauses out of 38098 with flag 200001/200001
62.35/60.19	c cleaning 20014 clauses out of 40087 with flag 221002/221002
68.66/66.40	c cleaning 20905 clauses out of 42071 with flag 243000/243000
76.17/73.96	c cleaning 21990 clauses out of 44166 with flag 266000/266000
81.89/79.66	c cleaning 23010 clauses out of 46176 with flag 290000/290000
89.34/87.07	c cleaning 23994 clauses out of 48167 with flag 315001/315001
98.67/96.32	c cleaning 25009 clauses out of 50172 with flag 341000/341000
106.90/104.54	c cleaning 25938 clauses out of 52163 with flag 368000/368000
116.04/113.63	c cleaning 27102 clauses out of 54225 with flag 396000/396000
125.28/122.86	c cleaning 27972 clauses out of 56124 with flag 425001/425001
134.52/132.06	c cleaning 29052 clauses out of 58153 with flag 455002/455002
146.85/144.32	c cleaning 30039 clauses out of 60099 with flag 486000/486000
155.70/153.17	c cleaning 30951 clauses out of 62062 with flag 518002/518002
168.25/165.60	c cleaning 31968 clauses out of 64110 with flag 551001/551001
181.99/179.39	c cleaning 32989 clauses out of 66142 with flag 585001/585001
192.92/190.23	c cleaning 33898 clauses out of 68152 with flag 620000/620000
203.56/200.81	c cleaning 35072 clauses out of 70254 with flag 656000/656000
216.98/214.20	c cleaning 36004 clauses out of 72182 with flag 693000/693000
228.82/226.01	c cleaning 37026 clauses out of 74178 with flag 731000/731000
249.27/246.47	c cleaning 37946 clauses out of 76152 with flag 770000/770000
264.06/261.10	c cleaning 39065 clauses out of 78209 with flag 810003/810003
277.61/274.60	c cleaning 40042 clauses out of 80142 with flag 851001/851001
293.74/290.70	c cleaning 41031 clauses out of 82099 with flag 893000/893000
307.69/304.67	c cleaning 41992 clauses out of 84073 with flag 936005/936005
325.14/322.01	c cleaning 43003 clauses out of 86076 with flag 980000/980000
339.91/336.73	c cleaning 43971 clauses out of 88074 with flag 1025001/1025001
361.13/357.98	c cleaning 45040 clauses out of 90104 with flag 1071002/1071002
379.72/376.47	c cleaning 45965 clauses out of 92067 with flag 1118005/1118005
399.86/396.55	c cleaning 46975 clauses out of 94097 with flag 1166000/1166000
419.83/416.49	c cleaning 47815 clauses out of 95776 with flag 1215000/1215000
437.88/434.50	c cleaning 48966 clauses out of 97962 with flag 1265001/1265001
460.11/456.61	c cleaning 49964 clauses out of 99996 with flag 1316001/1316001
476.78/473.23	c cleaning 50954 clauses out of 102031 with flag 1368000/1368000
495.84/492.26	c cleaning 51711 clauses out of 103657 with flag 1421000/1421000
521.08/517.40	c cleaning 51890 clauses out of 103978 with flag 1475000/1475000
544.23/540.58	c cleaning 53476 clauses out of 107089 with flag 1530001/1530001
570.42/566.69	c cleaning 54766 clauses out of 109613 with flag 1586001/1586001
595.87/592.01	c cleaning 55917 clauses out of 111847 with flag 1643001/1643001
617.47/613.55	c cleaning 56913 clauses out of 113929 with flag 1701000/1701000
642.92/638.98	c cleaning 57907 clauses out of 116017 with flag 1760001/1760001
670.60/666.56	c cleaning 59041 clauses out of 118110 with flag 1820001/1820001
699.64/695.42	c cleaning 59897 clauses out of 120068 with flag 1881000/1881000
722.78/718.55	c cleaning 60827 clauses out of 122171 with flag 1943000/1943000
755.41/751.16	c cleaning 61948 clauses out of 124344 with flag 2006000/2006000
783.69/779.37	c cleaning 63131 clauses out of 126397 with flag 2070001/2070001
810.35/805.92	c cleaning 63974 clauses out of 128265 with flag 2135000/2135000
838.14/833.68	c cleaning 64961 clauses out of 130292 with flag 2201001/2201001
871.91/867.37	c cleaning 66103 clauses out of 132331 with flag 2268001/2268001
905.41/900.74	c cleaning 67029 clauses out of 134228 with flag 2336001/2336001
932.98/928.21	c cleaning 67996 clauses out of 136198 with flag 2405000/2405000
959.94/955.10	c cleaning 69025 clauses out of 138202 with flag 2475000/2475000
985.19/980.31	c cleaning 69968 clauses out of 140177 with flag 2546000/2546000
1011.13/1006.27	c cleaning 70863 clauses out of 141795 with flag 2618002/2618002
1034.71/1029.73	c cleaning 71749 clauses out of 143931 with flag 2691001/2691001
1070.36/1065.38	c cleaning 72909 clauses out of 146182 with flag 2765001/2765001
1107.26/1102.13	c cleaning 73921 clauses out of 148059 with flag 2840000/2840000
1132.23/1127.09	c cleaning 74814 clauses out of 150140 with flag 2916002/2916002
1157.41/1152.16	c cleaning 75982 clauses out of 152324 with flag 2993000/2993000
1181.08/1175.74	c cleaning 77099 clauses out of 154342 with flag 3071000/3071000
1213.66/1208.23	c cleaning 77942 clauses out of 156243 with flag 3150000/3150000
1239.35/1233.82	c cleaning 79053 clauses out of 158200 with flag 3230002/3230002
1266.69/1261.13	c cleaning 79760 clauses out of 159750 with flag 3311000/3311000
1299.46/1293.87	c cleaning 80961 clauses out of 161992 with flag 3393002/3393002
1348.07/1342.39	c cleaning 81896 clauses out of 164030 with flag 3476001/3476001
1386.16/1380.31	c cleaning 82987 clauses out of 166135 with flag 3560002/3560002
1434.66/1428.74	c cleaning 83937 clauses out of 168148 with flag 3645002/3645002
1479.15/1473.14	c cleaning 85006 clauses out of 170209 with flag 3731000/3731000
1518.16/1512.05	c cleaning 86031 clauses out of 172203 with flag 3818000/3818000
1554.30/1548.16	c cleaning 86966 clauses out of 174174 with flag 3906002/3906002
1590.87/1584.66	c cleaning 87961 clauses out of 176209 with flag 3995003/3995003
1632.19/1625.81	c cleaning 88910 clauses out of 178246 with flag 4085001/4085001
1666.74/1660.31	c cleaning 90109 clauses out of 180336 with flag 4176001/4176001
1713.16/1706.65	c cleaning 91002 clauses out of 182226 with flag 4268000/4268000
1763.85/1757.28	c cleaning 92025 clauses out of 184225 with flag 4361001/4361001
1800.04/1793.31	c starts		: 253
1800.04/1793.31	c conflicts		: 4430565
1800.04/1793.31	c decisions		: 13581309
1800.04/1793.31	c propagations		: 1858330846
1800.04/1793.31	c inspects		: 20071809606
1800.04/1793.31	c shortcuts		: 0
1800.04/1793.31	c learnt literals	: 13
1800.04/1793.31	c learnt binary clauses	: 1815
1800.04/1793.31	c learnt ternary clauses	: 5221
1800.04/1793.31	c learnt constraints	: 4430552
1800.04/1793.31	c ignored constraints	: 0
1800.04/1793.31	c root simplifications	: 266
1800.04/1793.31	c removed literals (reason simplification)	: 149561659
1800.04/1793.31	c reason swapping (by a shorter reason)	: 0
1800.04/1793.31	c Calls to reduceDB	: 89
1800.04/1793.31	c number of reductions to clauses (during analyze)	: 0
1800.04/1793.31	c number of learned constraints concerned by reduction	: 0
1800.04/1793.31	c number of learning phase by resolution	: 0
1800.04/1793.31	c number of learning phase by cutting planes	: 0
1800.04/1793.31	c speed (assignments/second)	: 1037458.0794814752
1800.04/1793.31	c non guided choices	483777
1800.04/1793.34	c learnt constraints type 
1800.04/1793.34	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1688
1800.04/1793.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 160147
1800.04/1793.35	c constraints type 
1800.04/1793.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 192016
1800.04/1793.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 905
1800.04/1793.35	c ignored satisfied constraints => 3348
1800.04/1793.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 59964
1800.04/1793.35	c org.sat4j.minisat.constraints.cnf.UnitClause => 132
1800.04/1793.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
1800.04/1793.35	c 284274 constraints processed.
1800.04/1793.35	s UNKNOWN
1800.04/1793.35	c Total wall clock time (in seconds): 1793.223

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

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

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


[startup+0 s]
/proc/loadavg: 1.95 1.84 1.78 3/194 10207
/proc/meminfo: memFree=30882800/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 285748530 24780800 867 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 6050 867 654 9 0 385 0
[pid=10207/tid=10208] ppid=10205 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 2 0 285748530 91889664 871 33554432000 1073741824 1073778376 140736808362768 140736808351832 270117857677 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.103423 s]
/proc/loadavg: 1.95 1.84 1.78 3/194 10207
/proc/meminfo: memFree=30882800/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 4295 0 1 0 9 1 0 0 20 0 18 0 285748530 9787842560 6014 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2389610 6014 2116 9 0 2380296 0
[pid=10207/tid=10208] ppid=10205 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2449 0 1 0 7 1 0 0 20 0 18 0 285748530 9787842560 6014 33554432000 1073741824 1073778376 140736808362768 139867962936552 270121624845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.200323 s]
/proc/loadavg: 1.95 1.84 1.78 3/194 10207
/proc/meminfo: memFree=30882800/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9558440 CPUtime=0.24 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 4684 0 1 0 23 1 0 0 20 0 18 0 285748530 9787842560 6884 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2389610 6884 2189 9 0 2380296 0
[pid=10207/tid=10208] ppid=10205 vsize=9558440 CPUtime=0.17 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2530 0 1 0 16 1 0 0 20 0 18 0 285748530 9787842560 6884 33554432000 1073741824 1073778376 140736808362768 139867962927976 270121614392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558440

[startup+0.300276 s]
/proc/loadavg: 1.95 1.84 1.78 3/194 10207
/proc/meminfo: memFree=30882800/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9558440 CPUtime=0.47 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 5530 0 1 0 45 2 0 0 20 0 18 0 285748530 9787842560 9437 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2389610 9437 2223 9 0 2380296 0
[pid=10207/tid=10208] ppid=10205 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2534 0 1 0 26 1 0 0 20 0 18 0 285748530 9787842560 9437 33554432000 1073741824 1073778376 140736808362768 139867962927976 139867834924624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558440

[startup+0.70034 s]
/proc/loadavg: 1.95 1.84 1.78 3/194 10207
/proc/meminfo: memFree=30882800/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9558440 CPUtime=1.15 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 6667 0 1 0 111 4 0 0 20 0 18 0 285748530 9787842560 40642 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2389610 40642 2254 9 0 2380296 0
[pid=10207/tid=10208] ppid=10205 vsize=9558440 CPUtime=0.66 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2596 0 1 0 63 3 0 0 20 0 18 0 285748530 9787842560 40642 33554432000 1073741824 1073778376 140736808362768 139867962936712 270121624845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9558440

[startup+1.50076 s]
/proc/loadavg: 1.95 1.84 1.78 3/213 10228
/proc/meminfo: memFree=30716028/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9558440 CPUtime=2.23 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 8308 0 1 0 211 12 0 0 20 0 18 0 285748530 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2389610 78811 2254 9 0 2380296 0
[pid=10207/tid=10208] ppid=10205 vsize=9558440 CPUtime=1.41 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2658 0 1 0 136 5 0 0 20 0 18 0 285748530 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867962936600 270121624845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10210] ppid=10205 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/10207/task/10210/stat : 10210 (java) S 10205 10207 9972 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 285748531 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867806484648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10211] ppid=10205 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/10207/task/10211/stat : 10211 (java) S 10205 10207 9972 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 285748531 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867805432104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10212] ppid=10205 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/10207/task/10212/stat : 10212 (java) S 10205 10207 9972 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 285748531 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867804379560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10213] ppid=10205 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/10207/task/10213/stat : 10213 (java) S 10205 10207 9972 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 285748531 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867803327016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10214] ppid=10205 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/10207/task/10214/stat : 10214 (java) S 10205 10207 9972 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 285748531 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867802274472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10215] ppid=10205 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10215/stat : 10215 (java) S 10205 10207 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 285748531 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867801221928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10216] ppid=10205 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/10207/task/10216/stat : 10216 (java) S 10205 10207 9972 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 285748531 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867800169384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10217] ppid=10205 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/10207/task/10217/stat : 10217 (java) S 10205 10207 9972 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 285748531 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867799116840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10218] ppid=10205 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10218/stat : 10218 (java) S 10205 10207 9972 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 285748532 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867786917992 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10219] ppid=10205 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10219/stat : 10219 (java) S 10205 10207 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 285748533 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867785864312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10220] ppid=10205 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10220/stat : 10220 (java) S 10205 10207 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 285748533 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867784811656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10221] ppid=10205 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10221/stat : 10221 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285748535 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867783760400 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10222] ppid=10205 vsize=9558440 CPUtime=0.23 cores=1,3,5,7
/proc/10207/task/10222/stat : 10222 (java) S 10205 10207 9972 0 -1 4202560 1520 0 0 0 23 0 0 0 20 0 18 0 285748535 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867782707768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10223] ppid=10205 vsize=9558440 CPUtime=0.33 cores=1,3,5,7
/proc/10207/task/10223/stat : 10223 (java) S 10205 10207 9972 0 -1 4202560 2680 0 0 0 33 0 0 0 20 0 18 0 285748535 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867781655224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10224] ppid=10205 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10224/stat : 10224 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285748535 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867780602872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10225] ppid=10205 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10225/stat : 10225 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285748535 9787842560 78811 33554432000 1073741824 1073778376 140736808362768 139867779550536 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9558440

[startup+3.10083 s]
/proc/loadavg: 1.95 1.84 1.78 5/214 10229
/proc/meminfo: memFree=30547900/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9625004 CPUtime=4.39 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 9836 0 1 0 423 16 0 0 20 0 19 0 285748530 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2406251 85583 2273 9 0 2396937 0
[pid=10207/tid=10208] ppid=10205 vsize=9625004 CPUtime=2.97 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2671 0 1 0 291 6 0 0 20 0 19 0 285748530 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867962937336 139867835611484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10210] ppid=10205 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/10207/task/10210/stat : 10210 (java) S 10205 10207 9972 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 285748531 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867806484648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10211] ppid=10205 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/10207/task/10211/stat : 10211 (java) S 10205 10207 9972 0 -1 4202560 39 0 0 0 3 2 0 0 20 0 19 0 285748531 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867805432104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10212] ppid=10205 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/10207/task/10212/stat : 10212 (java) S 10205 10207 9972 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 285748531 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867804379560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10213] ppid=10205 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/10207/task/10213/stat : 10213 (java) S 10205 10207 9972 0 -1 4202560 44 0 0 0 3 0 0 0 20 0 19 0 285748531 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867803327016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10214] ppid=10205 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/10207/task/10214/stat : 10214 (java) S 10205 10207 9972 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 285748531 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867802274472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10215] ppid=10205 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/10207/task/10215/stat : 10215 (java) S 10205 10207 9972 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 285748531 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867801221928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10216] ppid=10205 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/10207/task/10216/stat : 10216 (java) S 10205 10207 9972 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 285748531 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867800169384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10217] ppid=10205 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/10207/task/10217/stat : 10217 (java) S 10205 10207 9972 0 -1 4202560 20 0 0 0 2 2 0 0 20 0 19 0 285748531 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867799116840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10218] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10218/stat : 10218 (java) S 10205 10207 9972 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 285748532 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867786917992 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10219] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10219/stat : 10219 (java) S 10205 10207 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867785864312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10220] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10220/stat : 10220 (java) S 10205 10207 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867784811656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10221] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10221/stat : 10221 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867783760400 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10222] ppid=10205 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/10207/task/10222/stat : 10222 (java) S 10205 10207 9972 0 -1 4202560 2584 0 0 0 44 0 0 0 20 0 19 0 285748535 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867782707768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10223] ppid=10205 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/10207/task/10223/stat : 10223 (java) S 10205 10207 9972 0 -1 4202560 3021 0 0 0 57 0 0 0 20 0 19 0 285748535 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867781655224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10224] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10224/stat : 10224 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867780602872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10225] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10225/stat : 10225 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867779550536 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10229] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10229/stat : 10229 (java) S 10205 10207 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285748738 9856004096 85583 33554432000 1073741824 1073778376 140736808362768 139867778495272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 9625004

[startup+6.30087 s]
/proc/loadavg: 1.95 1.84 1.78 3/214 10229
/proc/meminfo: memFree=30495092/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9625004 CPUtime=8.24 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 17366 0 1 0 801 23 0 0 20 0 19 0 285748530 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2406251 99258 2285 9 0 2396937 0
[pid=10207/tid=10208] ppid=10205 vsize=9625004 CPUtime=5.93 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2676 0 1 0 587 6 0 0 20 0 19 0 285748530 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867962937768 139867835629121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10210] ppid=10205 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/10207/task/10210/stat : 10210 (java) S 10205 10207 9972 0 -1 4202560 44 0 0 0 4 2 0 0 20 0 19 0 285748531 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867806484648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10211] ppid=10205 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/10207/task/10211/stat : 10211 (java) S 10205 10207 9972 0 -1 4202560 44 0 0 0 4 3 0 0 20 0 19 0 285748531 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867805432104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10212] ppid=10205 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/10207/task/10212/stat : 10212 (java) S 10205 10207 9972 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 19 0 285748531 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867804379560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10213] ppid=10205 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/10207/task/10213/stat : 10213 (java) S 10205 10207 9972 0 -1 4202560 47 0 0 0 3 1 0 0 20 0 19 0 285748531 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867803327016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10214] ppid=10205 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/10207/task/10214/stat : 10214 (java) S 10205 10207 9972 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 19 0 285748531 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867802274472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10215] ppid=10205 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/10207/task/10215/stat : 10215 (java) S 10205 10207 9972 0 -1 4202560 26 0 0 0 4 1 0 0 20 0 19 0 285748531 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867801221928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10216] ppid=10205 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/10207/task/10216/stat : 10216 (java) S 10205 10207 9972 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 285748531 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867800169384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10217] ppid=10205 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/10207/task/10217/stat : 10217 (java) S 10205 10207 9972 0 -1 4202560 33 0 0 0 5 3 0 0 20 0 19 0 285748531 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867799116840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10218] ppid=10205 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/10207/task/10218/stat : 10218 (java) S 10205 10207 9972 0 -1 4202560 229 0 0 0 18 0 0 0 20 0 19 0 285748532 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867786917992 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10219] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10219/stat : 10219 (java) S 10205 10207 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867785864312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10220] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10220/stat : 10220 (java) S 10205 10207 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867784811656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10221] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10221/stat : 10221 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867783760400 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10222] ppid=10205 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/10207/task/10222/stat : 10222 (java) S 10205 10207 9972 0 -1 4202560 9995 0 0 0 90 3 0 0 20 0 19 0 285748535 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867782707768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10223] ppid=10205 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/10207/task/10223/stat : 10223 (java) S 10205 10207 9972 0 -1 4202560 3027 0 0 0 61 0 0 0 20 0 19 0 285748535 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867781655224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10224] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10224/stat : 10224 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 99258 33554432000 1073741824 1073778376 140736808362768 139867780602872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=10207/tid=10222] ppid=10205 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/10207/task/10222/stat : 10222 (java) S 10205 10207 9972 0 -1 4202560 10012 0 0 0 100 3 0 0 20 0 19 0 285748535 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867782707768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10223] ppid=10205 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/10207/task/10223/stat : 10223 (java) S 10205 10207 9972 0 -1 4202560 3027 0 0 0 62 0 0 0 20 0 19 0 285748535 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867781655224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10224] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10224/stat : 10224 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867780602872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10225] ppid=10205 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/10207/task/10225/stat : 10225 (java) S 10205 10207 9972 0 -1 4202560 97 0 0 0 59 26 0 0 20 0 19 0 285748535 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867779550536 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10229] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10229/stat : 10229 (java) S 10205 10207 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285748738 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867778495272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1668.81
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/213 10300
/proc/meminfo: memFree=29545776/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9625004 CPUtime=1728.91 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 18360 0 1 0 172808 83 0 0 20 0 19 0 285748530 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2406251 112770 2287 9 0 2396937 0
[pid=10207/tid=10208] ppid=10205 vsize=9625004 CPUtime=1705.07 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2765 0 1 0 170476 31 0 0 20 0 19 0 285748530 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867962937648 139867835554087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10210] ppid=10205 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/10207/task/10210/stat : 10210 (java) S 10205 10207 9972 0 -1 4202560 152 0 0 0 58 3 0 0 20 0 19 0 285748531 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867806484648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10211] ppid=10205 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/10207/task/10211/stat : 10211 (java) S 10205 10207 9972 0 -1 4202560 125 0 0 0 52 4 0 0 20 0 19 0 285748531 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867805432104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10212] ppid=10205 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/10207/task/10212/stat : 10212 (java) S 10205 10207 9972 0 -1 4202560 196 0 0 0 56 3 0 0 20 0 19 0 285748531 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867804379560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10213] ppid=10205 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/10207/task/10213/stat : 10213 (java) S 10205 10207 9972 0 -1 4202560 143 0 0 0 57 2 0 0 20 0 19 0 285748531 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867803327016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10214] ppid=10205 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/10207/task/10214/stat : 10214 (java) S 10205 10207 9972 0 -1 4202560 129 0 0 0 62 3 0 0 20 0 19 0 285748531 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867802274472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10215] ppid=10205 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/10207/task/10215/stat : 10215 (java) S 10205 10207 9972 0 -1 4202560 68 0 0 0 58 2 0 0 20 0 19 0 285748531 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867801221928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10216] ppid=10205 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10207/task/10216/stat : 10216 (java) S 10205 10207 9972 0 -1 4202560 62 0 0 0 60 3 0 0 20 0 19 0 285748531 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867800169384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10217] ppid=10205 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10207/task/10217/stat : 10217 (java) S 10205 10207 9972 0 -1 4202560 73 0 0 0 60 3 0 0 20 0 19 0 285748531 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867799116840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10218] ppid=10205 vsize=9625004 CPUtime=11.35 cores=1,3,5,7
/proc/10207/task/10218/stat : 10218 (java) S 10205 10207 9972 0 -1 4202560 329 0 0 0 1132 3 0 0 20 0 19 0 285748532 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867786917992 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10219] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10219/stat : 10219 (java) S 10205 10207 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867785864312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10220] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10220/stat : 10220 (java) S 10205 10207 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867784811656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10221] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10221/stat : 10221 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867783760400 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10222] ppid=10205 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/10207/task/10222/stat : 10222 (java) S 10205 10207 9972 0 -1 4202560 10012 0 0 0 100 3 0 0 20 0 19 0 285748535 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867782707768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10223] ppid=10205 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/10207/task/10223/stat : 10223 (java) S 10205 10207 9972 0 -1 4202560 3027 0 0 0 62 0 0 0 20 0 19 0 285748535 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867781655224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10224] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10224/stat : 10224 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867780602872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10225] ppid=10205 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/10207/task/10225/stat : 10225 (java) S 10205 10207 9972 0 -1 4202560 99 0 0 0 62 27 0 0 20 0 19 0 285748535 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867779550536 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10229] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10229/stat : 10229 (java) S 10205 10207 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285748738 9856004096 112770 33554432000 1073741824 1073778376 140736808362768 139867778495272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.91
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/213 10300
/proc/meminfo: memFree=29545464/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9625004 CPUtime=1789.02 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 18368 0 1 0 178816 86 0 0 20 0 19 0 285748530 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2406251 112771 2287 9 0 2396937 0
[pid=10207/tid=10208] ppid=10205 vsize=9625004 CPUtime=1764.76 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2766 0 1 0 176444 32 0 0 20 0 19 0 285748530 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867962937648 139867835611564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10210] ppid=10205 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/10207/task/10210/stat : 10210 (java) S 10205 10207 9972 0 -1 4202560 153 0 0 0 59 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867806484648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10211] ppid=10205 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/10207/task/10211/stat : 10211 (java) S 10205 10207 9972 0 -1 4202560 125 0 0 0 53 4 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867805432104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10212] ppid=10205 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/10207/task/10212/stat : 10212 (java) S 10205 10207 9972 0 -1 4202560 196 0 0 0 57 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867804379560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10213] ppid=10205 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/10207/task/10213/stat : 10213 (java) S 10205 10207 9972 0 -1 4202560 143 0 0 0 57 2 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867803327016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10214] ppid=10205 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/10207/task/10214/stat : 10214 (java) S 10205 10207 9972 0 -1 4202560 129 0 0 0 62 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867802274472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10215] ppid=10205 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/10207/task/10215/stat : 10215 (java) S 10205 10207 9972 0 -1 4202560 68 0 0 0 59 2 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867801221928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10216] ppid=10205 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10207/task/10216/stat : 10216 (java) S 10205 10207 9972 0 -1 4202560 62 0 0 0 60 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867800169384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10217] ppid=10205 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10207/task/10217/stat : 10217 (java) S 10205 10207 9972 0 -1 4202560 73 0 0 0 60 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867799116840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10218] ppid=10205 vsize=9625004 CPUtime=11.49 cores=1,3,5,7
/proc/10207/task/10218/stat : 10218 (java) S 10205 10207 9972 0 -1 4202560 331 0 0 0 1146 3 0 0 20 0 19 0 285748532 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867786917992 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10219] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10219/stat : 10219 (java) S 10205 10207 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867785864312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10220] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10220/stat : 10220 (java) S 10205 10207 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867784811656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10221] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10221/stat : 10221 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867783760400 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10222] ppid=10205 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/10207/task/10222/stat : 10222 (java) S 10205 10207 9972 0 -1 4202560 10012 0 0 0 100 3 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867782707768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10223] ppid=10205 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/10207/task/10223/stat : 10223 (java) S 10205 10207 9972 0 -1 4202560 3027 0 0 0 62 0 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867781655224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10224] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10224/stat : 10224 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867780602872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10225] ppid=10205 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/10207/task/10225/stat : 10225 (java) S 10205 10207 9972 0 -1 4202560 103 0 0 0 64 28 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867779550536 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10229] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10229/stat : 10229 (java) S 10205 10207 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285748738 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867778495272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1789.02
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/213 10300
/proc/meminfo: memFree=29545588/32873844 swapFree=6872/6872
[pid=10207] ppid=10205 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7
/proc/10207/stat : 10207 (java) S 10205 10207 9972 0 -1 4202496 18368 0 1 0 179918 86 0 0 20 0 19 0 285748530 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 140736808353904 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10207/statm: 2406251 112771 2287 9 0 2396937 0
[pid=10207/tid=10208] ppid=10205 vsize=9625004 CPUtime=1775.74 cores=1,3,5,7
/proc/10207/task/10208/stat : 10208 (java) R 10205 10207 9972 0 -1 4202560 2766 0 1 0 177542 32 0 0 20 0 19 0 285748530 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867962937648 139867835629307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10210] ppid=10205 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/10207/task/10210/stat : 10210 (java) S 10205 10207 9972 0 -1 4202560 153 0 0 0 59 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867806484648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10211] ppid=10205 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/10207/task/10211/stat : 10211 (java) S 10205 10207 9972 0 -1 4202560 125 0 0 0 53 4 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867805432104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10212] ppid=10205 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/10207/task/10212/stat : 10212 (java) S 10205 10207 9972 0 -1 4202560 196 0 0 0 57 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867804379560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10213] ppid=10205 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/10207/task/10213/stat : 10213 (java) S 10205 10207 9972 0 -1 4202560 143 0 0 0 57 2 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867803327016 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10214] ppid=10205 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/10207/task/10214/stat : 10214 (java) S 10205 10207 9972 0 -1 4202560 129 0 0 0 62 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867802274472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10215] ppid=10205 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/10207/task/10215/stat : 10215 (java) S 10205 10207 9972 0 -1 4202560 68 0 0 0 59 2 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867801221928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10216] ppid=10205 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10207/task/10216/stat : 10216 (java) S 10205 10207 9972 0 -1 4202560 62 0 0 0 60 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867800169384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10217] ppid=10205 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10207/task/10217/stat : 10217 (java) S 10205 10207 9972 0 -1 4202560 73 0 0 0 60 3 0 0 20 0 19 0 285748531 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867799116840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10218] ppid=10205 vsize=9625004 CPUtime=11.49 cores=1,3,5,7
/proc/10207/task/10218/stat : 10218 (java) S 10205 10207 9972 0 -1 4202560 331 0 0 0 1146 3 0 0 20 0 19 0 285748532 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867786917992 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10219] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10219/stat : 10219 (java) S 10205 10207 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867785864312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10220] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10220/stat : 10220 (java) S 10205 10207 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285748533 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867784811656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10221] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10221/stat : 10221 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867783760400 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10222] ppid=10205 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/10207/task/10222/stat : 10222 (java) S 10205 10207 9972 0 -1 4202560 10012 0 0 0 100 3 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867782707768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10207/tid=10223] ppid=10205 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/10207/task/10223/stat : 10223 (java) S 10205 10207 9972 0 -1 4202560 3027 0 0 0 62 0 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867781655224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10207/tid=10224] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10224/stat : 10224 (java) S 10205 10207 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867780602872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10207/tid=10225] ppid=10205 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/10207/task/10225/stat : 10225 (java) S 10205 10207 9972 0 -1 4202560 103 0 0 0 65 28 0 0 20 0 19 0 285748535 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867779550536 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10207/tid=10229] ppid=10205 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10207/task/10229/stat : 10229 (java) S 10205 10207 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285748738 9856004096 112771 33554432000 1073741824 1073778376 140736808362768 139867778495272 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 10207 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=27266
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=32842
# CPU time returned by wait4() is 1795.06
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.35
CPU time (s): 1800.04
CPU user time (s): 1799.18
CPU system time (s): 0.86
CPU usage (%): 100.373
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 1.03284
maximum resident set size= 451212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18404
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40471
involuntary context switches= 11757

runsolver used 5.98109 second user time and 16.7635 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-28 11:10:00
IDJOB=3709982
IDBENCH=89796
IDSOLVER=2289
FILE ID=node106/3709982-1338196200
RUNJOBID= node106-1338195726-9989
PBS_JOBID= 14624610
Free space on /tmp= 71312 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-70.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-3709982-1338196200/watcher-3709982-1338196200 -o /tmp/evaluation-result-3709982-1338196200/solver-3709982-1338196200 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709982-1338196200.opb

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

MD5SUM BENCH= 4f155d4f8b05885565510d4fbd89c993
RANDOM SEED=613111162

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30883560 kB
Buffers:          292864 kB
Cached:           567660 kB
SwapCached:            0 kB
Active:           961800 kB
Inactive:         166872 kB
Active(anon):     259128 kB
Inactive(anon):    11256 kB
Active(file):     702672 kB
Inactive(file):   155616 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             12952 kB
Writeback:             0 kB
AnonPages:        278720 kB
Mapped:            18824 kB
Shmem:               200 kB
Slab:             716972 kB
SReclaimable:     158716 kB
SUnreclaim:       558256 kB
KernelStack:        1592 kB
PageTables:         5048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     825400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71288 MiB
End job on node106 at 2012-05-28 11:39:56