Trace number 3709964

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshot? (TO) 1800.09 1795.65

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-123.opb
MD5SUMe6dc64843ebe4c9cb8812bfa08aa0858
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 variables36611
Total number of constraints853935
Number of constraints which are clauses766797
Number of constraints which are cardinality constraints (but not clauses)2865
Number of constraints which are nor clauses,nor cardinality constraints84273
Minimum length of a constraint1
Maximum length of a constraint756
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 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.10/0.10	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.10	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3709964-1338194296.opb
0.10/0.11	c reading problem ... 
6.47/5.25	c ... done. Wall clock time 5.142s.
6.47/5.25	c declared #vars     36611
6.47/5.25	c #constraints  726553
6.47/5.25	c constraints type 
6.47/5.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 443795
6.47/5.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 2687
6.47/5.25	c ignored satisfied constraints => 128910
6.47/5.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 188268
6.47/5.25	c org.sat4j.minisat.constraints.cnf.UnitClause => 7530
6.47/5.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 84273
6.47/5.25	c 855463 constraints processed.
15.41/13.68	c cleaning 2442 clauses out of 4911 with flag 5000/5000
20.69/18.60	c cleaning 4180 clauses out of 8444 with flag 11000/11000
25.80/23.73	c cleaning 5489 clauses out of 11238 with flag 18000/18000
30.66/28.51	c cleaning 6778 clauses out of 13722 with flag 26000/26000
36.07/33.97	c cleaning 7778 clauses out of 15919 with flag 35000/35000
41.50/39.35	c cleaning 9040 clauses out of 18128 with flag 45000/45000
47.82/45.64	c cleaning 9836 clauses out of 20080 with flag 56000/56000
54.64/52.43	c cleaning 10877 clauses out of 22237 with flag 68000/68000
66.38/64.16	c cleaning 12115 clauses out of 24240 with flag 81000/81000
75.21/72.93	c cleaning 13029 clauses out of 26070 with flag 95000/95000
82.74/80.42	c cleaning 13941 clauses out of 28027 with flag 110000/110000
91.17/88.86	c cleaning 14784 clauses out of 30081 with flag 126000/126000
99.19/96.87	c cleaning 15556 clauses out of 32295 with flag 143000/143000
106.90/104.55	c cleaning 17058 clauses out of 34735 with flag 161000/161000
116.60/114.21	c cleaning 18131 clauses out of 36676 with flag 180000/180000
125.14/122.73	c cleaning 18800 clauses out of 38545 with flag 200000/200000
135.35/132.92	c cleaning 20068 clauses out of 40744 with flag 221000/221000
146.07/143.69	c cleaning 20705 clauses out of 42673 with flag 243000/243000
155.43/152.91	c cleaning 22017 clauses out of 44967 with flag 266000/266000
166.95/164.40	c cleaning 23288 clauses out of 46935 with flag 290000/290000
178.07/175.59	c cleaning 23744 clauses out of 48638 with flag 315000/315000
189.00/186.44	c cleaning 24855 clauses out of 50894 with flag 341000/341000
202.13/199.57	c cleaning 26270 clauses out of 53033 with flag 368000/368000
216.66/214.07	c cleaning 27096 clauses out of 54755 with flag 396000/396000
227.79/225.15	c cleaning 27832 clauses out of 56658 with flag 425000/425000
250.13/247.49	c cleaning 29227 clauses out of 58720 with flag 455001/455001
264.36/261.66	c cleaning 29751 clauses out of 60488 with flag 486000/486000
282.37/279.65	c cleaning 30778 clauses out of 62658 with flag 518000/518000
299.20/296.40	c cleaning 32086 clauses out of 64871 with flag 551000/551000
314.71/311.96	c cleaning 32738 clauses out of 66780 with flag 585000/585000
335.96/333.10	c cleaning 34126 clauses out of 69027 with flag 620000/620000
352.28/349.50	c cleaning 35041 clauses out of 70900 with flag 656000/656000
370.10/367.29	c cleaning 35936 clauses out of 72858 with flag 693001/693001
388.71/385.80	c cleaning 36824 clauses out of 74916 with flag 731002/731002
404.37/401.47	c cleaning 38215 clauses out of 77088 with flag 770000/770000
419.70/416.78	c cleaning 39096 clauses out of 78872 with flag 810000/810000
442.62/439.69	c cleaning 39495 clauses out of 80772 with flag 851001/851001
485.16/482.13	c cleaning 41410 clauses out of 83276 with flag 893000/893000
507.44/504.38	c cleaning 41911 clauses out of 84866 with flag 936000/936000
530.07/526.92	c cleaning 42973 clauses out of 86956 with flag 980002/980002
555.30/552.15	c cleaning 44234 clauses out of 88977 with flag 1025000/1025000
574.42/571.23	c cleaning 45112 clauses out of 90738 with flag 1071000/1071000
593.06/589.88	c cleaning 45755 clauses out of 92623 with flag 1118000/1118000
616.02/612.72	c cleaning 47077 clauses out of 94868 with flag 1166000/1166000
644.14/640.80	c cleaning 47784 clauses out of 96787 with flag 1215000/1215000
669.19/665.85	c cleaning 49281 clauses out of 99000 with flag 1265000/1265000
689.53/686.12	c cleaning 50050 clauses out of 100715 with flag 1316000/1316000
715.18/711.79	c cleaning 50703 clauses out of 102660 with flag 1368000/1368000
740.00/736.58	c cleaning 52163 clauses out of 104953 with flag 1421000/1421000
765.03/761.51	c cleaning 52958 clauses out of 106790 with flag 1475000/1475000
790.46/786.94	c cleaning 53863 clauses out of 108830 with flag 1530000/1530000
820.00/816.42	c cleaning 55130 clauses out of 110965 with flag 1586000/1586000
849.75/846.13	c cleaning 55565 clauses out of 112834 with flag 1643000/1643000
871.59/867.94	c cleaning 57074 clauses out of 115268 with flag 1701000/1701000
909.82/906.12	c cleaning 58140 clauses out of 117093 with flag 1760000/1760000
934.35/930.65	c cleaning 59088 clauses out of 118953 with flag 1820000/1820000
967.76/964.00	c cleaning 60103 clauses out of 120863 with flag 1881000/1881000
1001.30/997.51	c cleaning 61058 clauses out of 122756 with flag 1943000/1943000
1034.94/1031.11	c cleaning 61796 clauses out of 124693 with flag 2006000/2006000
1076.67/1072.89	c cleaning 63187 clauses out of 126863 with flag 2070000/2070000
1106.21/1102.37	c cleaning 63776 clauses out of 128675 with flag 2135001/2135001
1137.36/1133.48	c cleaning 64875 clauses out of 130896 with flag 2201000/2201000
1169.08/1165.12	c cleaning 66272 clauses out of 133015 with flag 2268000/2268000
1204.80/1200.81	c cleaning 66936 clauses out of 134739 with flag 2336000/2336000
1239.42/1235.47	c cleaning 67745 clauses out of 136797 with flag 2405000/2405000
1272.36/1268.31	c cleaning 69404 clauses out of 139049 with flag 2475000/2475000
1313.61/1309.53	c cleaning 69812 clauses out of 140644 with flag 2546000/2546000
1357.94/1353.81	c cleaning 71108 clauses out of 142826 with flag 2618000/2618000
1394.37/1390.26	c cleaning 71908 clauses out of 144714 with flag 2691002/2691002
1431.79/1427.64	c cleaning 72855 clauses out of 146805 with flag 2765001/2765001
1467.83/1463.64	c cleaning 73542 clauses out of 148943 with flag 2840000/2840000
1502.38/1498.19	c cleaning 75159 clauses out of 151399 with flag 2916000/2916000
1545.31/1541.06	c cleaning 76195 clauses out of 153235 with flag 2993000/2993000
1589.24/1584.92	c cleaning 76926 clauses out of 155040 with flag 3071000/3071000
1636.56/1632.24	c cleaning 78201 clauses out of 157113 with flag 3150000/3150000
1677.01/1672.70	c cleaning 78790 clauses out of 158914 with flag 3230002/3230002
1728.16/1723.71	c cleaning 79882 clauses out of 160845 with flag 3311000/3311000
1783.97/1779.56	c cleaning 80966 clauses out of 162962 with flag 3393001/3393001
1800.09/1795.61	c starts		: 208
1800.09/1795.61	c conflicts		: 3417606
1800.09/1795.61	c decisions		: 52411833
1800.09/1795.61	c propagations		: 1736608275
1800.09/1795.61	c inspects		: 19580560998
1800.09/1795.61	c shortcuts		: 0
1800.09/1795.61	c learnt literals	: 906
1800.09/1795.61	c learnt binary clauses	: 6881
1800.09/1795.61	c learnt ternary clauses	: 19144
1800.09/1795.61	c learnt constraints	: 3416700
1800.09/1795.61	c ignored constraints	: 0
1800.09/1795.61	c root simplifications	: 1114
1800.09/1795.61	c removed literals (reason simplification)	: 108110406
1800.09/1795.61	c reason swapping (by a shorter reason)	: 0
1800.09/1795.61	c Calls to reduceDB	: 78
1800.09/1795.61	c number of reductions to clauses (during analyze)	: 0
1800.09/1795.61	c number of learned constraints concerned by reduction	: 0
1800.09/1795.61	c number of learning phase by resolution	: 0
1800.09/1795.61	c number of learning phase by cutting planes	: 0
1800.09/1795.61	c speed (assignments/second)	: 969992.5544535873
1800.09/1795.61	c non guided choices	2302597
1800.09/1795.64	c learnt constraints type 
1800.09/1795.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 6852
1800.09/1795.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 99783
1800.09/1795.64	c constraints type 
1800.09/1795.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 443795
1800.09/1795.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 2687
1800.09/1795.64	c ignored satisfied constraints => 128910
1800.09/1795.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 188268
1800.09/1795.64	c org.sat4j.minisat.constraints.cnf.UnitClause => 7530
1800.09/1795.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 84273
1800.09/1795.64	c 855463 constraints processed.
1800.09/1795.64	s UNKNOWN
1800.09/1795.64	c Total wall clock time (in seconds): 1795.532

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-3709964-1338194296/watcher-3709964-1338194296 -o /tmp/evaluation-result-3709964-1338194296/solver-3709964-1338194296 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709964-1338194296.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: 0.77 0.96 1.32 3/193 13861
/proc/meminfo: memFree=27076856/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/13861/stat : 13861 (java) R 13859 13861 13800 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 1 0 285555433 23793664 727 33554432000 1073741824 1073778376 140733337180608 140733337169672 140514217655981 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 5809 739 547 9 0 128 0

[startup+0.098603 s]
/proc/loadavg: 0.77 0.96 1.32 3/193 13861
/proc/meminfo: memFree=27076856/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 4376 0 1 0 8 1 0 0 20 0 18 0 285555433 9787842560 6093 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2389610 6093 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.100217 s]
/proc/loadavg: 0.77 0.96 1.32 3/193 13861
/proc/meminfo: memFree=27076856/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 4391 0 1 0 9 1 0 0 20 0 18 0 285555433 9787842560 6108 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2389610 6108 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300175 s]
/proc/loadavg: 0.77 0.96 1.32 3/193 13861
/proc/meminfo: memFree=27076856/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9558440 CPUtime=0.49 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 5760 0 1 0 48 1 0 0 20 0 18 0 285555433 9787842560 10694 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2389610 10694 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440

[startup+0.700257 s]
/proc/loadavg: 0.77 0.96 1.32 3/193 13861
/proc/meminfo: memFree=27076856/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9558440 CPUtime=1.08 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 6131 0 1 0 105 3 0 0 20 0 18 0 285555433 9787842560 40065 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2389610 40065 2255 9 0 2380296 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9558440

[startup+1.50071 s]
/proc/loadavg: 0.77 0.96 1.32 3/212 13880
/proc/meminfo: memFree=26752168/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9558440 CPUtime=2.12 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 7819 0 1 0 203 9 0 0 20 0 18 0 285555433 9787842560 61808 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2389610 61808 2255 9 0 2380296 0
[pid=13861/tid=13863] ppid=13859 vsize=9558440 CPUtime=1.43 cores=1,3,5,7
/proc/13861/task/13863/stat : 13863 (java) R 13859 13861 13800 0 -1 4202560 2592 0 1 0 139 4 0 0 20 0 18 0 285555434 9787842560 61808 33554432000 1073741824 1073778376 140733337180608 140514209697632 140514033061750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13864] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13864/stat : 13864 (java) S 13859 13861 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 285555435 9787842560 61808 33554432000 1073741824 1073778376 140733337180608 140514171197864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13865] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13865/stat : 13865 (java) S 13859 13861 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 285555435 9787842560 61808 33554432000 1073741824 1073778376 140733337180608 140514170145320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13866] ppid=13859 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/13861/task/13866/stat : 13866 (java) S 13859 13861 13800 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 285555435 9787842560 61808 33554432000 1073741824 1073778376 140733337180608 140514169092264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13867] ppid=13859 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/13861/task/13867/stat : 13867 (java) S 13859 13861 13800 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 18 0 285555435 9787842560 61808 33554432000 1073741824 1073778376 140733337180608 140514168039720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13868] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13868/stat : 13868 (java) S 13859 13861 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 285555435 9787842560 61808 33554432000 1073741824 1073778376 140733337180608 140514166987688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13869] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13869/stat : 13869 (java) S 13859 13861 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 285555435 9787842560 61808 33554432000 1073741824 1073778376 140733337180608 140514165935144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13870] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13870/stat : 13870 (java) S 13859 13861 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 285555435 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514164882088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13871] ppid=13859 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/13861/task/13871/stat : 13871 (java) S 13859 13861 13800 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 285555435 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514163829544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13872] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13872/stat : 13872 (java) S 13859 13861 13800 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 285555436 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514151418216 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13873] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13873/stat : 13873 (java) S 13859 13861 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 285555436 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514032608632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13874] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13874/stat : 13874 (java) S 13859 13861 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 285555436 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514031555464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13875] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13875/stat : 13875 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285555438 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514030504208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13876] ppid=13859 vsize=9558440 CPUtime=0.22 cores=1,3,5,7
/proc/13861/task/13876/stat : 13876 (java) S 13859 13861 13800 0 -1 4202560 1775 0 0 0 22 0 0 0 20 0 18 0 285555438 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514029452088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13877] ppid=13859 vsize=9558440 CPUtime=0.28 cores=1,3,5,7
/proc/13861/task/13877/stat : 13877 (java) S 13859 13861 13800 0 -1 4202560 2127 0 0 0 28 0 0 0 20 0 18 0 285555438 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514028399544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13878] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13878/stat : 13878 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285555438 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514027346680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13879] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13879/stat : 13879 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285555438 9787842560 62320 33554432000 1073741824 1073778376 140733337180608 140514026294344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9558440

[startup+3.10071 s]
/proc/loadavg: 0.87 0.98 1.32 3/212 13880
/proc/meminfo: memFree=26538568/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9558440 CPUtime=4.01 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 8646 0 1 0 381 20 0 0 20 0 18 0 285555433 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2389610 148888 2255 9 0 2380296 0
[pid=13861/tid=13863] ppid=13859 vsize=9558440 CPUtime=2.92 cores=1,3,5,7
/proc/13861/task/13863/stat : 13863 (java) R 13859 13861 13800 0 -1 4202560 2729 0 1 0 284 8 0 0 20 0 18 0 285555434 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514209697936 270333437197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13864] ppid=13859 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/13861/task/13864/stat : 13864 (java) S 13859 13861 13800 0 -1 4202560 76 0 0 0 6 2 0 0 20 0 18 0 285555435 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514171197864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13865] ppid=13859 vsize=9558440 CPUtime=0.03 cores=1,3,5,7
/proc/13861/task/13865/stat : 13865 (java) S 13859 13861 13800 0 -1 4202560 55 0 0 0 2 1 0 0 20 0 18 0 285555435 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514170145320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13866] ppid=13859 vsize=9558440 CPUtime=0.03 cores=1,3,5,7
/proc/13861/task/13866/stat : 13866 (java) S 13859 13861 13800 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 18 0 285555435 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514169092264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13867] ppid=13859 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/13861/task/13867/stat : 13867 (java) S 13859 13861 13800 0 -1 4202560 33 0 0 0 4 1 0 0 20 0 18 0 285555435 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514168039720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13868] ppid=13859 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/13861/task/13868/stat : 13868 (java) S 13859 13861 13800 0 -1 4202560 66 0 0 0 2 2 0 0 20 0 18 0 285555435 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514166987688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13869] ppid=13859 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/13861/task/13869/stat : 13869 (java) S 13859 13861 13800 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 18 0 285555435 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514165935144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13870] ppid=13859 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/13861/task/13870/stat : 13870 (java) S 13859 13861 13800 0 -1 4202560 61 0 0 0 4 0 0 0 20 0 18 0 285555435 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514164882088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13871] ppid=13859 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/13861/task/13871/stat : 13871 (java) S 13859 13861 13800 0 -1 4202560 44 0 0 0 7 2 0 0 20 0 18 0 285555435 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514163829544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13872] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13872/stat : 13872 (java) S 13859 13861 13800 0 -1 4202560 452 0 0 0 0 0 0 0 20 0 18 0 285555436 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514151418216 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13873] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13873/stat : 13873 (java) S 13859 13861 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 285555436 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514032608632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13874] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13874/stat : 13874 (java) S 13859 13861 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 285555436 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514031555464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13875] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13875/stat : 13875 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285555438 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514030504208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13876] ppid=13859 vsize=9558440 CPUtime=0.22 cores=1,3,5,7
/proc/13861/task/13876/stat : 13876 (java) S 13859 13861 13800 0 -1 4202560 1775 0 0 0 22 0 0 0 20 0 18 0 285555438 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514029452088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13877] ppid=13859 vsize=9558440 CPUtime=0.29 cores=1,3,5,7
/proc/13861/task/13877/stat : 13877 (java) S 13859 13861 13800 0 -1 4202560 2136 0 0 0 29 0 0 0 20 0 18 0 285555438 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514028399544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13878] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13878/stat : 13878 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285555438 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514027346680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13879] ppid=13859 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13879/stat : 13879 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285555438 9787842560 148888 33554432000 1073741824 1073778376 140733337180608 140514026294344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 9558440

[startup+6.30074 s]
/proc/loadavg: 0.87 0.98 1.32 4/213 13881
/proc/meminfo: memFree=25737904/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9625004 CPUtime=8.03 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 11654 0 1 0 766 37 0 0 20 0 19 0 285555433 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2406251 286234 2271 9 0 2396937 0
[pid=13861/tid=13863] ppid=13859 vsize=9625004 CPUtime=5.98 cores=1,3,5,7
/proc/13861/task/13863/stat : 13863 (java) R 13859 13861 13800 0 -1 4202560 3335 0 1 0 582 16 0 0 20 0 19 0 285555434 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514209706360 140514032883557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13864] ppid=13859 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/13861/task/13864/stat : 13864 (java) S 13859 13861 13800 0 -1 4202560 175 0 0 0 12 3 0 0 20 0 19 0 285555435 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514171197864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13865] ppid=13859 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/13861/task/13865/stat : 13865 (java) S 13859 13861 13800 0 -1 4202560 86 0 0 0 7 2 0 0 20 0 19 0 285555435 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514170145320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13866] ppid=13859 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/13861/task/13866/stat : 13866 (java) S 13859 13861 13800 0 -1 4202560 129 0 0 0 6 3 0 0 20 0 19 0 285555435 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514169092264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13867] ppid=13859 vsize=9625004 CPUtime=0.14 cores=1,3,5,7
/proc/13861/task/13867/stat : 13867 (java) S 13859 13861 13800 0 -1 4202560 75 0 0 0 11 3 0 0 20 0 19 0 285555435 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514168039720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13868] ppid=13859 vsize=9625004 CPUtime=0.11 cores=1,3,5,7
/proc/13861/task/13868/stat : 13868 (java) S 13859 13861 13800 0 -1 4202560 177 0 0 0 8 3 0 0 20 0 19 0 285555435 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514166987688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13869] ppid=13859 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/13861/task/13869/stat : 13869 (java) S 13859 13861 13800 0 -1 4202560 126 0 0 0 6 2 0 0 20 0 19 0 285555435 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514165935144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13870] ppid=13859 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/13861/task/13870/stat : 13870 (java) S 13859 13861 13800 0 -1 4202560 78 0 0 0 6 2 0 0 20 0 19 0 285555435 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514164882088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13871] ppid=13859 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/13861/task/13871/stat : 13871 (java) S 13859 13861 13800 0 -1 4202560 190 0 0 0 15 4 0 0 20 0 19 0 285555435 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514163829544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13872] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13872/stat : 13872 (java) S 13859 13861 13800 0 -1 4202560 765 0 0 0 0 0 0 0 20 0 19 0 285555436 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514151418216 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13873] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13873/stat : 13873 (java) S 13859 13861 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285555436 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514032608632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13874] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13874/stat : 13874 (java) S 13859 13861 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 285555436 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514031555464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13875] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13875/stat : 13875 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514030504208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13876] ppid=13859 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/13861/task/13876/stat : 13876 (java) S 13859 13861 13800 0 -1 4202560 2659 0 0 0 50 0 0 0 20 0 19 0 285555438 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514029452088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13877] ppid=13859 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/13861/task/13877/stat : 13877 (java) S 13859 13861 13800 0 -1 4202560 2676 0 0 0 46 0 0 0 20 0 19 0 285555438 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514028399544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13878] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13878/stat : 13878 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514027346680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13879] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13879/stat : 13879 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514026294344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13881] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13881/stat : 13881 (java) S 13859 13861 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285555962 9856004096 286234 33554432000 1073741824 1073778376 140733337180608 140514025239592 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]
/proc/loadavg: 1.04 1.01 1.33 3/213 13881
/proc/meminfo: memFree=25737912/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9625004 CPUtime=14.51 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 11731 0 1 0 1414 37 0 0 20 0 19 0 285555433 9856004096 286207 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0

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

[pid=13861/tid=13876] ppid=13859 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/13861/task/13876/stat : 13876 (java) S 13859 13861 13800 0 -1 4202560 2678 0 0 0 63 0 0 0 20 0 19 0 285555438 9856004096 314221 33554432000 1073741824 1073778376 140733337180608 140514029452088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13877] ppid=13859 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/13861/task/13877/stat : 13877 (java) S 13859 13861 13800 0 -1 4202560 2821 0 0 0 55 0 0 0 20 0 19 0 285555438 9856004096 314221 33554432000 1073741824 1073778376 140733337180608 140514028399544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13878] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13878/stat : 13878 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 314221 33554432000 1073741824 1073778376 140733337180608 140514027346680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13879] ppid=13859 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/13861/task/13879/stat : 13879 (java) S 13859 13861 13800 0 -1 4202560 95 0 0 0 26 33 0 0 20 0 19 0 285555438 9856004096 314221 33554432000 1073741824 1073778376 140733337180608 140514026294344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13881] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13881/stat : 13881 (java) S 13859 13861 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285555962 9856004096 314221 33554432000 1073741824 1073778376 140733337180608 140514025239592 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.71
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/213 14033
/proc/meminfo: memFree=24632108/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9625004 CPUtime=1726.75 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 13264 0 1 0 172592 83 0 0 20 0 19 0 285555433 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2406251 314226 2290 9 0 2396937 0
[pid=13861/tid=13863] ppid=13859 vsize=9625004 CPUtime=1699.07 cores=1,3,5,7
/proc/13861/task/13863/stat : 13863 (java) R 13859 13861 13800 0 -1 4202560 3412 0 1 0 169863 44 0 0 20 0 19 0 285555434 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514209706288 140514033428431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13864] ppid=13859 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/13861/task/13864/stat : 13864 (java) S 13859 13861 13800 0 -1 4202560 222 0 0 0 52 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514171197864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13865] ppid=13859 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/13861/task/13865/stat : 13865 (java) S 13859 13861 13800 0 -1 4202560 251 0 0 0 53 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514170145320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13866] ppid=13859 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/13861/task/13866/stat : 13866 (java) S 13859 13861 13800 0 -1 4202560 224 0 0 0 46 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514169092264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13867] ppid=13859 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/13861/task/13867/stat : 13867 (java) S 13859 13861 13800 0 -1 4202560 182 0 0 0 55 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514168039720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13868] ppid=13859 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/13861/task/13868/stat : 13868 (java) S 13859 13861 13800 0 -1 4202560 242 0 0 0 50 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514166987688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13869] ppid=13859 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/13861/task/13869/stat : 13869 (java) S 13859 13861 13800 0 -1 4202560 280 0 0 0 46 3 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514165935144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13870] ppid=13859 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/13861/task/13870/stat : 13870 (java) S 13859 13861 13800 0 -1 4202560 113 0 0 0 46 3 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514164882088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13871] ppid=13859 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/13861/task/13871/stat : 13871 (java) S 13859 13861 13800 0 -1 4202560 229 0 0 0 58 5 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514163829544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13872] ppid=13859 vsize=9625004 CPUtime=17.21 cores=1,3,5,7
/proc/13861/task/13872/stat : 13872 (java) S 13859 13861 13800 0 -1 4202560 1329 0 0 0 1718 3 0 0 20 0 19 0 285555436 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514151418216 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13873] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13873/stat : 13873 (java) S 13859 13861 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285555436 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514032608632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13874] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13874/stat : 13874 (java) S 13859 13861 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 285555436 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514031555464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13875] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13875/stat : 13875 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514030504208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13876] ppid=13859 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/13861/task/13876/stat : 13876 (java) S 13859 13861 13800 0 -1 4202560 2678 0 0 0 63 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514029452088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13877] ppid=13859 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/13861/task/13877/stat : 13877 (java) S 13859 13861 13800 0 -1 4202560 2821 0 0 0 55 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514028399544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13878] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13878/stat : 13878 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514027346680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13879] ppid=13859 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/13861/task/13879/stat : 13879 (java) S 13859 13861 13800 0 -1 4202560 99 0 0 0 26 35 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514026294344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13881] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13881/stat : 13881 (java) S 13859 13861 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285555962 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514025239592 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.75
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/213 14034
/proc/meminfo: memFree=24629008/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9625004 CPUtime=1786.79 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 13275 0 1 0 178594 85 0 0 20 0 19 0 285555433 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2406251 314226 2290 9 0 2396937 0
[pid=13861/tid=13863] ppid=13859 vsize=9625004 CPUtime=1758.45 cores=1,3,5,7
/proc/13861/task/13863/stat : 13863 (java) R 13859 13861 13800 0 -1 4202560 3414 0 1 0 175799 46 0 0 20 0 19 0 285555434 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514209706288 140514033383996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13864] ppid=13859 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/13861/task/13864/stat : 13864 (java) S 13859 13861 13800 0 -1 4202560 222 0 0 0 52 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514171197864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13865] ppid=13859 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/13861/task/13865/stat : 13865 (java) S 13859 13861 13800 0 -1 4202560 251 0 0 0 53 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514170145320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13866] ppid=13859 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/13861/task/13866/stat : 13866 (java) S 13859 13861 13800 0 -1 4202560 224 0 0 0 47 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514169092264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13867] ppid=13859 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/13861/task/13867/stat : 13867 (java) S 13859 13861 13800 0 -1 4202560 182 0 0 0 56 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514168039720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13868] ppid=13859 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/13861/task/13868/stat : 13868 (java) S 13859 13861 13800 0 -1 4202560 242 0 0 0 51 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514166987688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13869] ppid=13859 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/13861/task/13869/stat : 13869 (java) S 13859 13861 13800 0 -1 4202560 280 0 0 0 47 3 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514165935144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13870] ppid=13859 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/13861/task/13870/stat : 13870 (java) S 13859 13861 13800 0 -1 4202560 114 0 0 0 46 3 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514164882088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13871] ppid=13859 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/13861/task/13871/stat : 13871 (java) S 13859 13861 13800 0 -1 4202560 229 0 0 0 59 5 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514163829544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13872] ppid=13859 vsize=9625004 CPUtime=17.63 cores=1,3,5,7
/proc/13861/task/13872/stat : 13872 (java) S 13859 13861 13800 0 -1 4202560 1333 0 0 0 1760 3 0 0 20 0 19 0 285555436 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514151418216 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13873] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13873/stat : 13873 (java) S 13859 13861 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285555436 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514032608632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13874] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13874/stat : 13874 (java) S 13859 13861 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 285555436 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514031555464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13875] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13875/stat : 13875 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514030504208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13876] ppid=13859 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/13861/task/13876/stat : 13876 (java) S 13859 13861 13800 0 -1 4202560 2678 0 0 0 63 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514029452088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13877] ppid=13859 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/13861/task/13877/stat : 13877 (java) S 13859 13861 13800 0 -1 4202560 2821 0 0 0 55 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514028399544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13878] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13878/stat : 13878 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514027346680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13879] ppid=13859 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/13861/task/13879/stat : 13879 (java) S 13859 13861 13800 0 -1 4202560 103 0 0 0 27 36 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514026294344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13881] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13881/stat : 13881 (java) S 13859 13861 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285555962 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514025239592 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.79
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.6 s]
/proc/loadavg: 2.00 1.99 1.87 3/213 14034
/proc/meminfo: memFree=24629012/32873660 swapFree=7120/7120
[pid=13861] ppid=13859 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/13861/stat : 13861 (java) S 13859 13861 13800 0 -1 4202496 13275 0 1 0 179924 85 0 0 20 0 19 0 285555433 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140733337171744 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13861/statm: 2406251 314226 2290 9 0 2396937 0
[pid=13861/tid=13863] ppid=13859 vsize=9625004 CPUtime=1771.72 cores=1,3,5,7
/proc/13861/task/13863/stat : 13863 (java) R 13859 13861 13800 0 -1 4202560 3414 0 1 0 177126 46 0 0 20 0 19 0 285555434 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514209706288 140514033502955 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13864] ppid=13859 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/13861/task/13864/stat : 13864 (java) S 13859 13861 13800 0 -1 4202560 222 0 0 0 52 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514171197864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13865] ppid=13859 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/13861/task/13865/stat : 13865 (java) S 13859 13861 13800 0 -1 4202560 251 0 0 0 53 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514170145320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13866] ppid=13859 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/13861/task/13866/stat : 13866 (java) S 13859 13861 13800 0 -1 4202560 224 0 0 0 47 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514169092264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13867] ppid=13859 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/13861/task/13867/stat : 13867 (java) S 13859 13861 13800 0 -1 4202560 182 0 0 0 56 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514168039720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13861/tid=13868] ppid=13859 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/13861/task/13868/stat : 13868 (java) S 13859 13861 13800 0 -1 4202560 242 0 0 0 51 4 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514166987688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13869] ppid=13859 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/13861/task/13869/stat : 13869 (java) S 13859 13861 13800 0 -1 4202560 280 0 0 0 47 3 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514165935144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13870] ppid=13859 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/13861/task/13870/stat : 13870 (java) S 13859 13861 13800 0 -1 4202560 114 0 0 0 46 3 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514164882088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13871] ppid=13859 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/13861/task/13871/stat : 13871 (java) S 13859 13861 13800 0 -1 4202560 229 0 0 0 59 5 0 0 20 0 19 0 285555435 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514163829544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13872] ppid=13859 vsize=9625004 CPUtime=17.63 cores=1,3,5,7
/proc/13861/task/13872/stat : 13872 (java) S 13859 13861 13800 0 -1 4202560 1333 0 0 0 1760 3 0 0 20 0 19 0 285555436 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514151418216 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13873] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13873/stat : 13873 (java) S 13859 13861 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285555436 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514032608632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13874] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13874/stat : 13874 (java) S 13859 13861 13800 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 285555436 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514031555464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13875] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13875/stat : 13875 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514030504208 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13876] ppid=13859 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/13861/task/13876/stat : 13876 (java) S 13859 13861 13800 0 -1 4202560 2678 0 0 0 63 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514029452088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13861/tid=13877] ppid=13859 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/13861/task/13877/stat : 13877 (java) S 13859 13861 13800 0 -1 4202560 2821 0 0 0 55 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514028399544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13878] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13878/stat : 13878 (java) S 13859 13861 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514027346680 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13861/tid=13879] ppid=13859 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/13861/task/13879/stat : 13879 (java) S 13859 13861 13800 0 -1 4202560 103 0 0 0 27 36 0 0 20 0 19 0 285555438 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514026294344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13861/tid=13881] ppid=13859 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13861/task/13881/stat : 13881 (java) S 13859 13861 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285555962 9856004096 314226 33554432000 1073741824 1073778376 140733337180608 140514025239592 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13861 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=618176
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=301802
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.65
CPU time (s): 1800.09
CPU user time (s): 1799.24
CPU system time (s): 0.85
CPU usage (%): 100.247
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.62
system time used= 1.3018
maximum resident set size= 1257168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13343
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40300
involuntary context switches= 27909

runsolver used 5.82211 second user time and 15.7816 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-28 10:38:17
IDJOB=3709964
IDBENCH=89740
IDSOLVER=2289
FILE ID=node117/3709964-1338194296
RUNJOBID= node117-1338194296-13817
PBS_JOBID= 14624597
Free space on /tmp= 70008 MiB

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

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

MD5SUM BENCH= e6dc64843ebe4c9cb8812bfa08aa0858
RANDOM SEED=1711643568

node117.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.148
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.29
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.148
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.148
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.148
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.95
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.148
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.148
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.148
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.148
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:       32873660 kB
MemFree:        27076856 kB
Buffers:          582148 kB
Cached:          4126912 kB
SwapCached:            0 kB
Active:          2675852 kB
Inactive:        2199704 kB
Active(anon):     150964 kB
Inactive(anon):    11352 kB
Active(file):    2524888 kB
Inactive(file):  2188352 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             46204 kB
Writeback:            16 kB
AnonPages:        232444 kB
Mapped:            21624 kB
Shmem:               200 kB
Slab:             776348 kB
SReclaimable:     218584 kB
SUnreclaim:       557764 kB
KernelStack:        1512 kB
PageTables:         4740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     823044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69964 MiB
End job on node117 at 2012-05-28 11:08:15