Trace number 3709976

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.56 1794.97

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-20.opb
MD5SUM63ab8977587973d616491fbff2cc242b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark204.343
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9342
Total number of constraints199352
Number of constraints which are clauses178530
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint2
Maximum length of a constraint231
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 232
Number of bits of the biggest sum of numbers8
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.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3709976-1338190254.opb
0.09/0.12	c reading problem ... 
2.18/1.55	c ... done. Wall clock time 1.424s.
2.18/1.55	c declared #vars     9342
2.18/1.55	c #constraints  199720
2.18/1.55	c constraints type 
2.18/1.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 138943
2.18/1.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 722
2.18/1.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 39953
2.18/1.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20102
2.18/1.55	c 199720 constraints processed.
3.89/2.85	c cleaning 2497 clauses out of 5001 with flag 5001/5001
5.46/4.24	c cleaning 4252 clauses out of 8503 with flag 11000/11000
7.09/5.82	c cleaning 5626 clauses out of 11252 with flag 18001/18001
8.82/7.56	c cleaning 6807 clauses out of 13625 with flag 26000/26000
10.86/9.54	c cleaning 7900 clauses out of 15818 with flag 35000/35000
12.90/11.59	c cleaning 8948 clauses out of 17918 with flag 45000/45000
15.14/13.76	c cleaning 9978 clauses out of 19971 with flag 56001/56001
17.55/16.14	c cleaning 10974 clauses out of 21993 with flag 68001/68001
20.37/18.95	c cleaning 12007 clauses out of 24018 with flag 81000/81000
23.09/21.60	c cleaning 12997 clauses out of 26012 with flag 95001/95001
26.20/24.74	c cleaning 14002 clauses out of 28015 with flag 110001/110001
29.51/28.05	c cleaning 15001 clauses out of 30012 with flag 126000/126000
33.04/31.59	c cleaning 15987 clauses out of 32013 with flag 143002/143002
36.78/35.26	c cleaning 16998 clauses out of 34026 with flag 161002/161002
41.10/39.53	c cleaning 18010 clauses out of 36027 with flag 180001/180001
44.71/43.19	c cleaning 18998 clauses out of 38016 with flag 200000/200000
49.23/47.64	c cleaning 19994 clauses out of 40019 with flag 221001/221001
54.06/52.45	c cleaning 21007 clauses out of 42024 with flag 243000/243000
59.98/58.34	c cleaning 21999 clauses out of 44017 with flag 266000/266000
64.69/63.01	c cleaning 22968 clauses out of 46022 with flag 290004/290004
70.41/68.70	c cleaning 23979 clauses out of 48050 with flag 315000/315000
76.52/74.87	c cleaning 24991 clauses out of 50071 with flag 341000/341000
82.95/81.26	c cleaning 26010 clauses out of 52080 with flag 368000/368000
90.47/88.75	c cleaning 27030 clauses out of 54071 with flag 396001/396001
97.20/95.45	c cleaning 28013 clauses out of 56040 with flag 425000/425000
104.53/102.70	c cleaning 29004 clauses out of 58028 with flag 455001/455001
112.46/110.64	c cleaning 29988 clauses out of 59983 with flag 486000/486000
120.50/118.67	c cleaning 30944 clauses out of 61996 with flag 518001/518001
129.83/127.90	c cleaning 32011 clauses out of 64036 with flag 551001/551001
139.65/137.73	c cleaning 33006 clauses out of 66025 with flag 585001/585001
149.48/147.59	c cleaning 33935 clauses out of 67906 with flag 620001/620001
157.90/155.94	c cleaning 34890 clauses out of 69836 with flag 656000/656000
167.94/165.97	c cleaning 35967 clauses out of 71947 with flag 693001/693001
177.27/175.23	c cleaning 36904 clauses out of 73981 with flag 731002/731002
188.19/186.13	c cleaning 37963 clauses out of 76024 with flag 770000/770000
199.20/197.10	c cleaning 38990 clauses out of 78061 with flag 810000/810000
207.83/205.79	c cleaning 39991 clauses out of 80074 with flag 851003/851003
215.66/213.54	c cleaning 40876 clauses out of 82080 with flag 893000/893000
225.38/223.20	c cleaning 42017 clauses out of 84206 with flag 936002/936002
237.51/235.38	c cleaning 43041 clauses out of 86190 with flag 980003/980003
252.34/250.17	c cleaning 44031 clauses out of 88146 with flag 1025000/1025000
260.88/258.62	c cleaning 44977 clauses out of 90115 with flag 1071000/1071000
270.70/268.41	c cleaning 46033 clauses out of 92139 with flag 1118001/1118001
285.15/282.86	c cleaning 47036 clauses out of 94105 with flag 1166000/1166000
296.48/294.11	c cleaning 48017 clauses out of 96071 with flag 1215002/1215002
309.60/307.20	c cleaning 48990 clauses out of 98052 with flag 1265000/1265000
324.94/322.55	c cleaning 49978 clauses out of 100062 with flag 1316000/1316000
339.39/336.98	c cleaning 51030 clauses out of 102086 with flag 1368002/1368002
349.72/347.23	c cleaning 51947 clauses out of 104054 with flag 1421000/1421000
363.47/361.00	c cleaning 53002 clauses out of 106108 with flag 1475001/1475001
384.49/381.95	c cleaning 54027 clauses out of 108105 with flag 1530000/1530000
404.62/402.07	c cleaning 54927 clauses out of 110078 with flag 1586000/1586000
423.78/421.10	c cleaning 56047 clauses out of 112152 with flag 1643001/1643001
442.82/440.20	c cleaning 57002 clauses out of 114104 with flag 1701000/1701000
458.36/455.68	c cleaning 57999 clauses out of 116102 with flag 1760000/1760000
468.38/465.66	c cleaning 58823 clauses out of 118103 with flag 1820000/1820000
481.81/479.05	c cleaning 59977 clauses out of 120282 with flag 1881002/1881002
503.67/500.89	c cleaning 61081 clauses out of 122303 with flag 1943000/1943000
519.75/516.84	c cleaning 62072 clauses out of 124222 with flag 2006000/2006000
543.69/540.72	c cleaning 63070 clauses out of 126153 with flag 2070003/2070003
565.65/562.63	c cleaning 64013 clauses out of 128080 with flag 2135000/2135000
591.70/588.68	c cleaning 64914 clauses out of 130067 with flag 2201000/2201000
609.86/606.75	c cleaning 65938 clauses out of 132153 with flag 2268000/2268000
631.44/628.29	c cleaning 67090 clauses out of 134216 with flag 2336001/2336001
658.36/655.16	c cleaning 67996 clauses out of 136125 with flag 2405000/2405000
687.19/683.99	c cleaning 68964 clauses out of 138129 with flag 2475000/2475000
710.32/707.06	c cleaning 70044 clauses out of 140165 with flag 2546000/2546000
736.34/733.08	c cleaning 70961 clauses out of 142121 with flag 2618000/2618000
764.70/761.36	c cleaning 72012 clauses out of 144161 with flag 2691001/2691001
797.05/793.60	c cleaning 72849 clauses out of 146148 with flag 2765000/2765000
829.18/825.76	c cleaning 74017 clauses out of 148299 with flag 2840000/2840000
857.13/853.65	c cleaning 75075 clauses out of 150285 with flag 2916003/2916003
890.30/886.76	c cleaning 76052 clauses out of 152208 with flag 2993001/2993001
916.75/913.16	c cleaning 77023 clauses out of 154156 with flag 3071001/3071001
942.19/938.55	c cleaning 77902 clauses out of 156132 with flag 3150000/3150000
966.46/962.73	c cleaning 79007 clauses out of 158230 with flag 3230000/3230000
1004.59/1000.83	c cleaning 80047 clauses out of 160225 with flag 3311002/3311002
1048.70/1044.89	c cleaning 81069 clauses out of 162176 with flag 3393000/3393000
1070.96/1067.04	c cleaning 82033 clauses out of 164107 with flag 3476000/3476000
1108.39/1104.46	c cleaning 82954 clauses out of 166074 with flag 3560000/3560000
1147.88/1143.81	c cleaning 83951 clauses out of 168121 with flag 3645001/3645001
1181.56/1177.46	c cleaning 85024 clauses out of 170170 with flag 3731001/3731001
1226.13/1221.94	c cleaning 85994 clauses out of 172145 with flag 3818000/3818000
1261.11/1256.81	c cleaning 87007 clauses out of 174151 with flag 3906000/3906000
1290.94/1286.69	c cleaning 87939 clauses out of 176144 with flag 3995000/3995000
1323.58/1319.20	c cleaning 89070 clauses out of 178205 with flag 4085000/4085000
1347.61/1343.30	c cleaning 89965 clauses out of 180135 with flag 4176000/4176000
1382.27/1377.80	c cleaning 91005 clauses out of 182172 with flag 4268002/4268002
1428.84/1424.34	c cleaning 91877 clauses out of 184166 with flag 4361001/4361001
1495.28/1490.71	c cleaning 92995 clauses out of 186290 with flag 4455002/4455002
1538.08/1533.47	c cleaning 94132 clauses out of 188294 with flag 4550001/4550001
1576.63/1571.95	c cleaning 95016 clauses out of 190161 with flag 4646000/4646000
1643.44/1638.61	c cleaning 95963 clauses out of 192145 with flag 4743000/4743000
1691.18/1686.35	c cleaning 97024 clauses out of 194182 with flag 4841000/4841000
1749.17/1744.21	c cleaning 98049 clauses out of 196159 with flag 4940001/4940001
1782.50/1777.42	c cleaning 98927 clauses out of 198109 with flag 5040000/5040000
1800.10/1794.91	c starts		: 273
1800.10/1794.91	c conflicts		: 5087632
1800.10/1794.91	c decisions		: 12251614
1800.10/1794.91	c propagations		: 1905931107
1800.10/1794.91	c inspects		: 21080581142
1800.10/1794.91	c shortcuts		: 0
1800.10/1794.91	c learnt literals	: 7
1800.10/1794.91	c learnt binary clauses	: 816
1800.10/1794.91	c learnt ternary clauses	: 3940
1800.10/1794.91	c learnt constraints	: 5087625
1800.10/1794.91	c ignored constraints	: 0
1800.10/1794.91	c root simplifications	: 280
1800.10/1794.91	c removed literals (reason simplification)	: 152901602
1800.10/1794.91	c reason swapping (by a shorter reason)	: 0
1800.10/1794.91	c Calls to reduceDB	: 96
1800.10/1794.91	c number of reductions to clauses (during analyze)	: 0
1800.10/1794.91	c number of learned constraints concerned by reduction	: 0
1800.10/1794.91	c number of learning phase by resolution	: 0
1800.10/1794.91	c number of learning phase by cutting planes	: 0
1800.10/1794.91	c speed (assignments/second)	: 1062778.1964236724
1800.10/1794.91	c non guided choices	377095
1800.10/1794.95	c learnt constraints type 
1800.10/1794.95	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 794
1800.10/1794.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 146079
1800.10/1794.95	c constraints type 
1800.10/1794.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 138943
1800.10/1794.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 722
1800.10/1794.95	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 39953
1800.10/1794.95	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20102
1800.10/1794.95	c 199720 constraints processed.
1800.10/1794.95	s UNKNOWN
1800.10/1794.95	c Total wall clock time (in seconds): 1794.832

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-3709976-1338190254/watcher-3709976-1338190254 -o /tmp/evaluation-result-3709976-1338190254/solver-3709976-1338190254 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709976-1338190254.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.92 1.98 1.99 3/195 17962
/proc/meminfo: memFree=29720656/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17962/stat : 17962 (java) D 17960 17962 12979 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 285151542 9515008 175 33554432000 1073741824 1073778376 140734234690176 140734234672904 251032060816 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17962/statm: 2323 175 133 9 0 71 0

[startup+0.105372 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 17962
/proc/meminfo: memFree=29720656/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 4295 0 1 0 8 1 0 0 20 0 18 0 285151542 9787842560 6012 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2389610 6012 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.200342 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 17962
/proc/meminfo: memFree=29720656/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9558440 CPUtime=0.23 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 4698 0 1 0 22 1 0 0 20 0 18 0 285151542 9787842560 6884 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2389610 6885 2189 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558440

[startup+0.300338 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 17962
/proc/meminfo: memFree=29720656/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 5596 0 1 0 44 1 0 0 20 0 18 0 285151542 9787842560 8883 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2389610 8883 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440

[startup+0.70032 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 17962
/proc/meminfo: memFree=29720656/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9558440 CPUtime=1.14 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 6816 0 1 0 109 5 0 0 20 0 18 0 285151542 9787842560 40637 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2389610 40637 2255 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558440

[startup+1.50079 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 17980
/proc/meminfo: memFree=29512468/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9558440 CPUtime=2.18 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 8657 0 1 0 206 12 0 0 20 0 18 0 285151542 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2389610 78885 2255 9 0 2380296 0
[pid=17962/tid=17964] ppid=17960 vsize=9558440 CPUtime=1.4 cores=1,3,5,7
/proc/17962/task/17964/stat : 17964 (java) R 17960 17962 12979 0 -1 4202560 2629 0 1 0 133 7 0 0 20 0 18 0 285151543 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593902677160 140593758358278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/17962/task/17965/stat : 17965 (java) S 17960 17962 12979 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 285151544 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593880779560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/17962/task/17966/stat : 17966 (java) S 17960 17962 12979 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 285151544 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593879726760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17967/stat : 17967 (java) S 17960 17962 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 285151544 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593878674472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/17962/task/17968/stat : 17968 (java) S 17960 17962 12979 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 18 0 285151544 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593877621672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17969/stat : 17969 (java) S 17960 17962 12979 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 285151544 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593876568360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17970/stat : 17970 (java) S 17960 17962 12979 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 285151544 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593405618344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/17962/task/17971/stat : 17971 (java) S 17960 17962 12979 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 285151544 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593404566056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/17962/task/17972/stat : 17972 (java) S 17960 17962 12979 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 285151544 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593403513256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17973/stat : 17973 (java) S 17960 17962 12979 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 285151545 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593391102696 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17974/stat : 17974 (java) S 17960 17962 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 285151546 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593390048760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17975/stat : 17975 (java) S 17960 17962 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 285151546 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593388996360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17976/stat : 17976 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285151548 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593387944848 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=9558440 CPUtime=0.25 cores=1,3,5,7
/proc/17962/task/17977/stat : 17977 (java) S 17960 17962 12979 0 -1 4202560 2054 0 0 0 25 0 0 0 20 0 18 0 285151548 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593386891448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=9558440 CPUtime=0.3 cores=1,3,5,7
/proc/17962/task/17978/stat : 17978 (java) S 17960 17962 12979 0 -1 4202560 2517 0 0 0 30 0 0 0 20 0 18 0 285151548 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593385838648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17979/stat : 17979 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285151548 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593384786552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17980/stat : 17980 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 285151548 9787842560 78885 33554432000 1073741824 1073778376 140733895037216 140593383733960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 9558440

[startup+3.10087 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 17981
/proc/meminfo: memFree=29412048/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9625004 CPUtime=4.32 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 10283 0 1 0 416 16 0 0 20 0 19 0 285151542 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2406251 90798 2289 9 0 2396937 0
[pid=17962/tid=17964] ppid=17960 vsize=9625004 CPUtime=2.89 cores=1,3,5,7
/proc/17962/task/17964/stat : 17964 (java) R 17960 17962 12979 0 -1 4202560 2642 0 1 0 282 7 0 0 20 0 19 0 285151543 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593902678264 140593758803126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17962/task/17965/stat : 17965 (java) S 17960 17962 12979 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 285151544 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593880779560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17962/task/17966/stat : 17966 (java) S 17960 17962 12979 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 285151544 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593879726760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17962/task/17967/stat : 17967 (java) S 17960 17962 12979 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 285151544 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593878674472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17962/task/17968/stat : 17968 (java) S 17960 17962 12979 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 19 0 285151544 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593877621672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17962/task/17969/stat : 17969 (java) S 17960 17962 12979 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 285151544 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593876568360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17962/task/17970/stat : 17970 (java) S 17960 17962 12979 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 285151544 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593405618344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17962/task/17971/stat : 17971 (java) S 17960 17962 12979 0 -1 4202560 15 0 0 0 1 2 0 0 20 0 19 0 285151544 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593404566056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17962/task/17972/stat : 17972 (java) S 17960 17962 12979 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 19 0 285151544 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593403513256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/17962/task/17973/stat : 17973 (java) S 17960 17962 12979 0 -1 4202560 229 0 0 0 6 0 0 0 20 0 19 0 285151545 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593391102696 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17974/stat : 17974 (java) S 17960 17962 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593390048760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17975/stat : 17975 (java) S 17960 17962 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593388996360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17976/stat : 17976 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593387944848 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/17962/task/17977/stat : 17977 (java) S 17960 17962 12979 0 -1 4202560 3297 0 0 0 51 0 0 0 20 0 19 0 285151548 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593386891448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/17962/task/17978/stat : 17978 (java) S 17960 17962 12979 0 -1 4202560 2758 0 0 0 50 0 0 0 20 0 19 0 285151548 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593385838648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17979/stat : 17979 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593384786552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17980/stat : 17980 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593383733960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17981/stat : 17981 (java) S 17960 17962 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285151699 9856004096 90798 33554432000 1073741824 1073778376 140733895037216 140593382618536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9625004

[startup+6.30082 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 17981
/proc/meminfo: memFree=29360724/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9625004 CPUtime=7.61 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 10308 0 1 0 744 17 0 0 20 0 19 0 285151542 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2406251 92346 2289 9 0 2396937 0
[pid=17962/tid=17964] ppid=17960 vsize=9625004 CPUtime=5.95 cores=1,3,5,7
/proc/17962/task/17964/stat : 17964 (java) R 17960 17962 12979 0 -1 4202560 2645 0 1 0 587 8 0 0 20 0 19 0 285151543 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593902678536 140593758691661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17962/task/17965/stat : 17965 (java) S 17960 17962 12979 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 285151544 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593880779560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17962/task/17966/stat : 17966 (java) S 17960 17962 12979 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 285151544 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593879726760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17962/task/17967/stat : 17967 (java) S 17960 17962 12979 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 285151544 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593878674472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17962/task/17968/stat : 17968 (java) S 17960 17962 12979 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 19 0 285151544 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593877621672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17962/task/17969/stat : 17969 (java) S 17960 17962 12979 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 285151544 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593876568360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17962/task/17970/stat : 17970 (java) S 17960 17962 12979 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 285151544 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593405618344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17962/task/17971/stat : 17971 (java) S 17960 17962 12979 0 -1 4202560 17 0 0 0 1 2 0 0 20 0 19 0 285151544 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593404566056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/17962/task/17972/stat : 17972 (java) S 17960 17962 12979 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 19 0 285151544 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593403513256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/17962/task/17973/stat : 17973 (java) S 17960 17962 12979 0 -1 4202560 231 0 0 0 21 0 0 0 20 0 19 0 285151545 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593391102696 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17974/stat : 17974 (java) S 17960 17962 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593390048760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17975/stat : 17975 (java) S 17960 17962 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593388996360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17976/stat : 17976 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593387944848 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/17962/task/17977/stat : 17977 (java) S 17960 17962 12979 0 -1 4202560 3297 0 0 0 53 0 0 0 20 0 19 0 285151548 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593386891448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/17962/task/17978/stat : 17978 (java) S 17960 17962 12979 0 -1 4202560 2762 0 0 0 56 0 0 0 20 0 19 0 285151548 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593385838648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17979/stat : 17979 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593384786552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17980/stat : 17980 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593383733960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17981/stat : 17981 (java) S 17960 17962 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285151699 9856004096 92346 33554432000 1073741824 1073778376 140733895037216 140593382618536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 9625004

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 17981
/proc/meminfo: memFree=29355924/32873844 swapFree=7372/7372

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

[pid=17962/tid=17970] ppid=17960 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/17962/task/17970/stat : 17970 (java) S 17960 17962 12979 0 -1 4202560 100 0 0 0 53 2 0 0 20 0 19 0 285151544 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593405618344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/17962/task/17971/stat : 17971 (java) S 17960 17962 12979 0 -1 4202560 84 0 0 0 51 2 0 0 20 0 19 0 285151544 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593404566056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/17962/task/17972/stat : 17972 (java) S 17960 17962 12979 0 -1 4202560 108 0 0 0 53 3 0 0 20 0 19 0 285151544 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593403513256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=9625004 CPUtime=9.69 cores=1,3,5,7
/proc/17962/task/17973/stat : 17973 (java) S 17960 17962 12979 0 -1 4202560 348 0 0 0 966 3 0 0 20 0 19 0 285151545 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593391102696 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17974/stat : 17974 (java) S 17960 17962 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593390048760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17975/stat : 17975 (java) S 17960 17962 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593388996360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17976/stat : 17976 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593387944848 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/17962/task/17977/stat : 17977 (java) S 17960 17962 12979 0 -1 4202560 3371 0 0 0 57 0 0 0 20 0 19 0 285151548 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593386891448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/17962/task/17978/stat : 17978 (java) S 17960 17962 12979 0 -1 4202560 2766 0 0 0 67 0 0 0 20 0 19 0 285151548 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593385838648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17979/stat : 17979 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593384786552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/17962/task/17980/stat : 17980 (java) S 17960 17962 12979 0 -1 4202560 98 0 0 0 38 38 0 0 20 0 19 0 285151548 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593383733960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17981/stat : 17981 (java) S 17960 17962 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285151699 9856004096 107451 33554432000 1073741824 1073778376 140733895037216 140593382618536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.26
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.23 2/190 18023
/proc/meminfo: memFree=30665076/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9625004 CPUtime=1787.49 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 11532 0 1 0 178676 73 0 0 20 0 19 0 285151542 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2406251 112631 2290 9 0 2396937 0
[pid=17962/tid=17964] ppid=17960 vsize=9625004 CPUtime=1770.75 cores=1,3,5,7
/proc/17962/task/17964/stat : 17964 (java) R 17960 17962 12979 0 -1 4202560 2738 0 1 0 177039 36 0 0 20 0 19 0 285151543 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593902678304 140593758806704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/17962/task/17965/stat : 17965 (java) S 17960 17962 12979 0 -1 4202560 125 0 0 0 60 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593880779560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/17962/task/17966/stat : 17966 (java) S 17960 17962 12979 0 -1 4202560 98 0 0 0 58 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593879726760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/17962/task/17967/stat : 17967 (java) S 17960 17962 12979 0 -1 4202560 189 0 0 0 60 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593878674472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/17962/task/17968/stat : 17968 (java) S 17960 17962 12979 0 -1 4202560 135 0 0 0 61 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593877621672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/17962/task/17969/stat : 17969 (java) S 17960 17962 12979 0 -1 4202560 125 0 0 0 54 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593876568360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/17962/task/17970/stat : 17970 (java) S 17960 17962 12979 0 -1 4202560 151 0 0 0 57 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593405618344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/17962/task/17971/stat : 17971 (java) S 17960 17962 12979 0 -1 4202560 87 0 0 0 53 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593404566056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/17962/task/17972/stat : 17972 (java) S 17960 17962 12979 0 -1 4202560 112 0 0 0 55 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593403513256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=9625004 CPUtime=9.99 cores=1,3,5,7
/proc/17962/task/17973/stat : 17973 (java) S 17960 17962 12979 0 -1 4202560 352 0 0 0 996 3 0 0 20 0 19 0 285151545 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593391102696 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17974/stat : 17974 (java) S 17960 17962 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593390048760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17975/stat : 17975 (java) S 17960 17962 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593388996360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17976/stat : 17976 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593387944848 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/17962/task/17977/stat : 17977 (java) S 17960 17962 12979 0 -1 4202560 3371 0 0 0 57 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593386891448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/17962/task/17978/stat : 17978 (java) S 17960 17962 12979 0 -1 4202560 2766 0 0 0 67 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593385838648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17979/stat : 17979 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593384786552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/17962/task/17980/stat : 17980 (java) S 17960 17962 12979 0 -1 4202560 102 0 0 0 41 39 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593383733960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17981/stat : 17981 (java) S 17960 17962 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285151699 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593382618536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.9 s]
/proc/loadavg: 1.00 1.02 1.23 2/190 18023
/proc/meminfo: memFree=30664952/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 11532 0 1 0 179937 73 0 0 20 0 19 0 285151542 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2406251 112631 2290 9 0 2396937 0
[pid=17962/tid=17964] ppid=17960 vsize=9625004 CPUtime=1783.36 cores=1,3,5,7
/proc/17962/task/17964/stat : 17964 (java) R 17960 17962 12979 0 -1 4202560 2738 0 1 0 178299 37 0 0 20 0 19 0 285151543 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593902678304 140593758691580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/17962/task/17965/stat : 17965 (java) S 17960 17962 12979 0 -1 4202560 125 0 0 0 60 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593880779560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/17962/task/17966/stat : 17966 (java) S 17960 17962 12979 0 -1 4202560 98 0 0 0 58 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593879726760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/17962/task/17967/stat : 17967 (java) S 17960 17962 12979 0 -1 4202560 189 0 0 0 60 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593878674472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/17962/task/17968/stat : 17968 (java) S 17960 17962 12979 0 -1 4202560 135 0 0 0 61 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593877621672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/17962/task/17969/stat : 17969 (java) S 17960 17962 12979 0 -1 4202560 125 0 0 0 54 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593876568360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/17962/task/17970/stat : 17970 (java) S 17960 17962 12979 0 -1 4202560 151 0 0 0 57 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593405618344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/17962/task/17971/stat : 17971 (java) S 17960 17962 12979 0 -1 4202560 87 0 0 0 53 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593404566056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/17962/task/17972/stat : 17972 (java) S 17960 17962 12979 0 -1 4202560 112 0 0 0 55 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593403513256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=9625004 CPUtime=9.99 cores=1,3,5,7
/proc/17962/task/17973/stat : 17973 (java) S 17960 17962 12979 0 -1 4202560 352 0 0 0 996 3 0 0 20 0 19 0 285151545 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593391102696 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17974/stat : 17974 (java) S 17960 17962 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593390048760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17975/stat : 17975 (java) S 17960 17962 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593388996360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17976/stat : 17976 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593387944848 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/17962/task/17977/stat : 17977 (java) S 17960 17962 12979 0 -1 4202560 3371 0 0 0 57 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593386891448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/17962/task/17978/stat : 17978 (java) S 17960 17962 12979 0 -1 4202560 2766 0 0 0 67 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593385838648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17979/stat : 17979 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593384786552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/17962/task/17980/stat : 17980 (java) S 17960 17962 12979 0 -1 4202560 102 0 0 0 41 39 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593383733960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17981/stat : 17981 (java) S 17960 17962 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285151699 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593382618536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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

[startup+1794.9 s]
/proc/loadavg: 1.00 1.02 1.23 2/190 18023
/proc/meminfo: memFree=30664952/32873844 swapFree=7372/7372
[pid=17962] ppid=17960 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7
/proc/17962/stat : 17962 (java) S 17960 17962 12979 0 -1 4202496 11532 0 1 0 179937 73 0 0 20 0 19 0 285151542 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140733895028352 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17962/statm: 2406251 112631 2290 9 0 2396937 0
[pid=17962/tid=17964] ppid=17960 vsize=9625004 CPUtime=1783.36 cores=1,3,5,7
/proc/17962/task/17964/stat : 17964 (java) R 17960 17962 12979 0 -1 4202560 2738 0 1 0 178299 37 0 0 20 0 19 0 285151543 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593902678304 140593758691580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17965] ppid=17960 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/17962/task/17965/stat : 17965 (java) S 17960 17962 12979 0 -1 4202560 125 0 0 0 60 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593880779560 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17966] ppid=17960 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/17962/task/17966/stat : 17966 (java) S 17960 17962 12979 0 -1 4202560 98 0 0 0 58 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593879726760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17967] ppid=17960 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/17962/task/17967/stat : 17967 (java) S 17960 17962 12979 0 -1 4202560 189 0 0 0 60 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593878674472 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17968] ppid=17960 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/17962/task/17968/stat : 17968 (java) S 17960 17962 12979 0 -1 4202560 135 0 0 0 61 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593877621672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17969] ppid=17960 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/17962/task/17969/stat : 17969 (java) S 17960 17962 12979 0 -1 4202560 125 0 0 0 54 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593876568360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17970] ppid=17960 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/17962/task/17970/stat : 17970 (java) S 17960 17962 12979 0 -1 4202560 151 0 0 0 57 2 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593405618344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17971] ppid=17960 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/17962/task/17971/stat : 17971 (java) S 17960 17962 12979 0 -1 4202560 87 0 0 0 53 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593404566056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17972] ppid=17960 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/17962/task/17972/stat : 17972 (java) S 17960 17962 12979 0 -1 4202560 112 0 0 0 55 3 0 0 20 0 19 0 285151544 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593403513256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17962/tid=17973] ppid=17960 vsize=9625004 CPUtime=9.99 cores=1,3,5,7
/proc/17962/task/17973/stat : 17973 (java) S 17960 17962 12979 0 -1 4202560 352 0 0 0 996 3 0 0 20 0 19 0 285151545 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593391102696 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17974] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17974/stat : 17974 (java) S 17960 17962 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593390048760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17975] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17975/stat : 17975 (java) S 17960 17962 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285151546 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593388996360 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17976] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17976/stat : 17976 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593387944848 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17977] ppid=17960 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/17962/task/17977/stat : 17977 (java) S 17960 17962 12979 0 -1 4202560 3371 0 0 0 57 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593386891448 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17962/tid=17978] ppid=17960 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/17962/task/17978/stat : 17978 (java) S 17960 17962 12979 0 -1 4202560 2766 0 0 0 67 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593385838648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17979] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17979/stat : 17979 (java) S 17960 17962 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593384786552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17962/tid=17980] ppid=17960 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/17962/task/17980/stat : 17980 (java) S 17960 17962 12979 0 -1 4202560 102 0 0 0 41 39 0 0 20 0 19 0 285151548 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593383733960 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17962/tid=17981] ppid=17960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17962/task/17981/stat : 17981 (java) S 17960 17962 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 285151699 9856004096 112631 33554432000 1073741824 1073778376 140733895037216 140593382618536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1794.97
CPU time (s): 1800.56
CPU user time (s): 1799.43
CPU system time (s): 1.13383
CPU usage (%): 100.311
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 1.13383
maximum resident set size= 450668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11570
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40717
involuntary context switches= 18082

runsolver used 7.00993 second user time and 15.7036 second system time

The end

Launcher Data 

Begin job on node118 at 2012-05-28 09:30:54
IDJOB=3709976
IDBENCH=89706
IDSOLVER=2289
FILE ID=node118/3709976-1338190254
RUNJOBID= node118-1338156758-12996
PBS_JOBID= 14624527
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= 63ab8977587973d616491fbff2cc242b
RANDOM SEED=82864419

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29721268 kB
Buffers:          389584 kB
Cached:           569364 kB
SwapCached:            0 kB
Active:          1922964 kB
Inactive:         390216 kB
Active(anon):    1344512 kB
Inactive(anon):    11320 kB
Active(file):     578452 kB
Inactive(file):   378896 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8956 kB
Writeback:             0 kB
AnonPages:       1335996 kB
Mapped:            19976 kB
Shmem:               200 kB
Slab:             695828 kB
SReclaimable:     137232 kB
SUnreclaim:       558596 kB
KernelStack:        1768 kB
PageTables:         6856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2188528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1267712 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= 71664 MiB
End job on node118 at 2012-05-28 10:00:51