Trace number 3689209

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
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.31 1775.35

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12039_7-sat.opb
MD5SUM0f318fc75cd8d877b44870fe2fa76e77
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 variables25410
Total number of constraints83992
Number of constraints which are clauses83576
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints416
Minimum length of a constraint1
Maximum length of a constraint120
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 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 732
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.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3689209-1337889887.opb
0.11/0.10	c reading problem ... 
1.56/0.82	c ... done. Wall clock time 0.72s.
1.56/0.82	c declared #vars     25410
1.56/0.82	c #constraints  71077
1.56/0.82	c constraints type 
1.56/0.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8407
1.56/0.82	c ignored satisfied constraints => 12915
1.56/0.82	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 57059
1.56/0.82	c org.sat4j.minisat.constraints.cnf.UnitClause => 5195
1.56/0.82	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 416
1.56/0.82	c 83992 constraints processed.
2.99/1.88	c cleaning 2489 clauses out of 5000 with flag 5000/5000
4.29/3.04	c cleaning 4247 clauses out of 8512 with flag 11001/11001
5.50/4.29	c cleaning 5627 clauses out of 11265 with flag 18001/18001
6.81/5.53	c cleaning 6804 clauses out of 13637 with flag 26000/26000
8.25/6.96	c cleaning 7899 clauses out of 15833 with flag 35000/35000
9.86/8.54	c cleaning 8940 clauses out of 17935 with flag 45001/45001
11.67/10.34	c cleaning 9988 clauses out of 19995 with flag 56001/56001
13.87/12.50	c cleaning 10968 clauses out of 22006 with flag 68000/68000
15.98/14.67	c cleaning 12011 clauses out of 24038 with flag 81000/81000
18.41/17.06	c cleaning 13001 clauses out of 26029 with flag 95002/95002
20.81/19.49	c cleaning 13992 clauses out of 28027 with flag 110001/110001
23.44/22.07	c cleaning 15012 clauses out of 30036 with flag 126002/126002
26.34/24.98	c cleaning 16002 clauses out of 32022 with flag 143000/143000
29.37/27.91	c cleaning 16984 clauses out of 34020 with flag 161000/161000
32.58/31.13	c cleaning 17999 clauses out of 36036 with flag 180000/180000
36.62/35.18	c cleaning 18996 clauses out of 38037 with flag 200000/200000
40.72/39.29	c cleaning 20000 clauses out of 40041 with flag 221000/221000
45.24/43.71	c cleaning 21001 clauses out of 42042 with flag 243001/243001
50.35/48.86	c cleaning 22012 clauses out of 44042 with flag 266002/266002
54.59/53.08	c cleaning 22985 clauses out of 46032 with flag 290004/290004
59.90/58.31	c cleaning 24006 clauses out of 48045 with flag 315002/315002
64.92/63.32	c cleaning 24987 clauses out of 50037 with flag 341000/341000
70.45/68.85	c cleaning 25997 clauses out of 52051 with flag 368001/368001
76.36/74.78	c cleaning 27019 clauses out of 54054 with flag 396001/396001
81.87/80.24	c cleaning 27976 clauses out of 56034 with flag 425000/425000
87.78/86.12	c cleaning 29000 clauses out of 58063 with flag 455005/455005
94.40/92.72	c cleaning 30002 clauses out of 60062 with flag 486004/486004
101.21/99.51	c cleaning 30986 clauses out of 62056 with flag 518000/518000
108.65/106.94	c cleaning 32017 clauses out of 64074 with flag 551004/551004
115.19/113.43	c cleaning 32996 clauses out of 66053 with flag 585000/585000
121.61/119.90	c cleaning 34017 clauses out of 68057 with flag 620000/620000
129.12/127.33	c cleaning 34992 clauses out of 70040 with flag 656000/656000
136.04/134.21	c cleaning 35984 clauses out of 72048 with flag 693000/693000
143.04/141.21	c cleaning 36992 clauses out of 74064 with flag 731000/731000
152.76/150.93	c cleaning 38000 clauses out of 76072 with flag 770000/770000
160.91/159.05	c cleaning 38991 clauses out of 78075 with flag 810003/810003
170.54/168.66	c cleaning 40021 clauses out of 80083 with flag 851002/851002
179.88/177.90	c cleaning 41016 clauses out of 82060 with flag 893000/893000
187.91/185.97	c cleaning 41991 clauses out of 84046 with flag 936002/936002
197.33/195.30	c cleaning 43008 clauses out of 86053 with flag 980000/980000
208.31/206.21	c cleaning 43991 clauses out of 88049 with flag 1025004/1025004
218.74/216.66	c cleaning 44995 clauses out of 90054 with flag 1071000/1071000
230.19/228.00	c cleaning 46017 clauses out of 92059 with flag 1118000/1118000
242.87/240.69	c cleaning 47008 clauses out of 94042 with flag 1166000/1166000
254.09/251.83	c cleaning 47982 clauses out of 96034 with flag 1215000/1215000
266.64/264.30	c cleaning 49014 clauses out of 98054 with flag 1265002/1265002
279.28/276.90	c cleaning 49997 clauses out of 100040 with flag 1316002/1316002
290.00/287.52	c cleaning 51002 clauses out of 102042 with flag 1368001/1368001
301.21/298.65	c cleaning 51997 clauses out of 104039 with flag 1421000/1421000
313.83/311.11	c cleaning 52992 clauses out of 106045 with flag 1475003/1475003
328.61/325.89	c cleaning 53986 clauses out of 108050 with flag 1530000/1530000
345.92/343.00	c cleaning 54969 clauses out of 110065 with flag 1586001/1586001
359.75/356.71	c cleaning 56017 clauses out of 112096 with flag 1643001/1643001
375.15/372.03	c cleaning 57002 clauses out of 114078 with flag 1701000/1701000
390.86/387.65	c cleaning 58001 clauses out of 116077 with flag 1760001/1760001
408.63/405.31	c cleaning 59029 clauses out of 118078 with flag 1820003/1820003
423.54/420.18	c cleaning 59956 clauses out of 120046 with flag 1881000/1881000
441.28/437.72	c cleaning 60991 clauses out of 122092 with flag 1943002/1943002
457.22/453.60	c cleaning 62033 clauses out of 124104 with flag 2006005/2006005
471.54/467.74	c cleaning 63023 clauses out of 126067 with flag 2070001/2070001
488.57/484.63	c cleaning 64004 clauses out of 128043 with flag 2135000/2135000
506.71/502.69	c cleaning 64991 clauses out of 130040 with flag 2201001/2201001
525.76/521.56	c cleaning 65995 clauses out of 132049 with flag 2268001/2268001
542.91/538.58	c cleaning 66967 clauses out of 134054 with flag 2336001/2336001
563.31/558.79	c cleaning 68000 clauses out of 136088 with flag 2405002/2405002
583.33/578.66	c cleaning 68984 clauses out of 138086 with flag 2475000/2475000
606.95/602.09	c cleaning 70025 clauses out of 140104 with flag 2546002/2546002
624.69/619.63	c cleaning 71008 clauses out of 142080 with flag 2618003/2618003
641.28/636.02	c cleaning 71982 clauses out of 144070 with flag 2691001/2691001
661.94/656.45	c cleaning 73017 clauses out of 146088 with flag 2765001/2765001
679.91/674.21	c cleaning 74015 clauses out of 148070 with flag 2840000/2840000
702.64/696.76	c cleaning 74975 clauses out of 150057 with flag 2916002/2916002
725.27/719.12	c cleaning 76024 clauses out of 152080 with flag 2993000/2993000
746.37/739.91	c cleaning 76982 clauses out of 154056 with flag 3071000/3071000
768.27/761.41	c cleaning 77967 clauses out of 156074 with flag 3150000/3150000
792.31/785.05	c cleaning 79032 clauses out of 158108 with flag 3230001/3230001
817.66/809.87	c cleaning 80009 clauses out of 160077 with flag 3311002/3311002
847.40/839.18	c cleaning 80988 clauses out of 162066 with flag 3393000/3393000
871.48/862.79	c cleaning 82005 clauses out of 164080 with flag 3476002/3476002
899.28/889.96	c cleaning 82992 clauses out of 166078 with flag 3560005/3560005
929.83/919.91	c cleaning 83991 clauses out of 168083 with flag 3645002/3645002
957.09/946.87	c cleaning 85000 clauses out of 170090 with flag 3731000/3731000
986.95/976.23	c cleaning 86028 clauses out of 172092 with flag 3818002/3818002
1022.31/1010.82	c cleaning 86990 clauses out of 174065 with flag 3906003/3906003
1052.57/1040.51	c cleaning 87985 clauses out of 176072 with flag 3995000/3995000
1080.69/1068.15	c cleaning 88975 clauses out of 178087 with flag 4085000/4085000
1115.76/1102.66	c cleaning 89989 clauses out of 180112 with flag 4176000/4176000
1151.04/1137.38	c cleaning 90990 clauses out of 182125 with flag 4268002/4268002
1186.50/1172.27	c cleaning 92004 clauses out of 184133 with flag 4361000/4361000
1218.05/1203.21	c cleaning 92988 clauses out of 186130 with flag 4455001/4455001
1241.95/1226.67	c cleaning 94048 clauses out of 188141 with flag 4550000/4550000
1266.77/1251.01	c cleaning 95023 clauses out of 190093 with flag 4646000/4646000
1291.92/1275.86	c cleaning 95993 clauses out of 192070 with flag 4743000/4743000
1320.45/1303.79	c cleaning 96991 clauses out of 194077 with flag 4841000/4841000
1357.04/1339.73	c cleaning 98013 clauses out of 196086 with flag 4940000/4940000
1395.64/1377.75	c cleaning 98995 clauses out of 198074 with flag 5040001/5040001
1433.87/1415.22	c cleaning 100028 clauses out of 200079 with flag 5141001/5141001
1466.38/1447.17	c cleaning 100998 clauses out of 202055 with flag 5243005/5243005
1504.94/1485.11	c cleaning 101999 clauses out of 204052 with flag 5346000/5346000
1542.13/1521.68	c cleaning 103000 clauses out of 206054 with flag 5450001/5450001
1572.88/1551.84	c cleaning 103990 clauses out of 208053 with flag 5555000/5555000
1616.22/1594.60	c cleaning 104996 clauses out of 210063 with flag 5661000/5661000
1657.32/1635.11	c cleaning 105984 clauses out of 212068 with flag 5768001/5768001
1699.81/1676.98	c cleaning 107000 clauses out of 214085 with flag 5876002/5876002
1738.74/1715.18	c cleaning 107996 clauses out of 216083 with flag 5985000/5985000
1770.43/1746.18	c cleaning 109013 clauses out of 218090 with flag 6095003/6095003
1800.10/1775.32	c starts		: 276
1800.10/1775.32	c conflicts		: 6185230
1800.10/1775.32	c decisions		: 8490589
1800.10/1775.32	c propagations		: 1783294290
1800.10/1775.32	c inspects		: 16834950487
1800.10/1775.32	c shortcuts		: 0
1800.10/1775.32	c learnt literals	: 0
1800.10/1775.32	c learnt binary clauses	: 0
1800.10/1775.32	c learnt ternary clauses	: 2121
1800.10/1775.32	c learnt constraints	: 6185230
1800.10/1775.32	c ignored constraints	: 0
1800.10/1775.32	c root simplifications	: 0
1800.10/1775.32	c removed literals (reason simplification)	: 0
1800.10/1775.32	c reason swapping (by a shorter reason)	: 0
1800.10/1775.32	c Calls to reduceDB	: 106
1800.10/1775.32	c number of reductions to clauses (during analyze)	: 0
1800.10/1775.32	c number of learned constraints concerned by reduction	: 0
1800.10/1775.32	c number of learning phase by resolution	: 0
1800.10/1775.32	c number of learning phase by cutting planes	: 0
1800.10/1775.32	c speed (assignments/second)	: 1004989.9686661707
1800.10/1775.32	c non guided choices	504
1800.10/1775.34	c learnt constraints type 
1800.10/1775.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 199346
1800.10/1775.34	c constraints type 
1800.10/1775.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8407
1800.10/1775.34	c ignored satisfied constraints => 12915
1800.10/1775.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 57059
1800.10/1775.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 5195
1800.10/1775.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 416
1800.10/1775.34	c 83992 constraints processed.
1800.10/1775.34	s UNKNOWN
1800.10/1775.34	c Total wall clock time (in seconds): 1775.246

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-3689209-1337889887/watcher-3689209-1337889887 -o /tmp/evaluation-result-3689209-1337889887/solver-3689209-1337889887 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689209-1337889887.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.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/25343/stat : 25343 (java) R 25341 25343 23489 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 255114667 23793664 717 33554432000 1073741824 1073778376 140737179541872 140737179530936 217401309264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 5809 717 531 9 0 128 0

[startup+0.017213 s]
/proc/loadavg: 1.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 2271 0 1 0 0 0 0 0 20 0 10 0 255114667 9233014784 2972 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2254154 2980 1116 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100187 s]
/proc/loadavg: 1.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 4422 0 1 0 10 1 0 0 20 0 18 0 255114667 9787813888 6089 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2389603 6089 2130 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300171 s]
/proc/loadavg: 1.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 6169 0 1 0 48 2 0 0 20 0 18 0 255114667 9787813888 9305 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2389603 9305 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.700184 s]
/proc/loadavg: 1.87 1.97 1.99 3/194 25343
/proc/meminfo: memFree=28745092/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9558412 CPUtime=1.29 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 9512 0 1 0 124 5 0 0 20 0 18 0 255114667 9787813888 41561 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2389603 41561 2253 9 0 2380296 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9558412

[startup+1.5007 s]
/proc/loadavg: 1.87 1.97 1.99 5/213 25362
/proc/meminfo: memFree=28581872/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=2.65 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 13067 0 1 0 259 6 0 0 20 0 19 0 255114667 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 43023 2266 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 2514 0 1 0 143 3 0 0 20 0 19 0 255114667 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320576680168 140320424465108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 255114669 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5158 0 0 0 56 1 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4101 0 0 0 53 0 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 43023 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 9624976

[startup+3.1007 s]
/proc/loadavg: 1.87 1.97 1.99 3/213 25362
/proc/meminfo: memFree=28546552/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=4.4 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 13148 0 1 0 433 7 0 0 20 0 19 0 255114667 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 52279 2283 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 2517 0 1 0 292 3 0 0 20 0 19 0 255114667 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320576680344 140320424379378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 101 0 0 0 8 0 0 0 20 0 19 0 255114669 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5162 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4109 0 0 0 60 0 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 52279 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 9624976

[startup+6.30068 s]
/proc/loadavg: 1.88 1.97 1.99 3/213 25362
/proc/meminfo: memFree=28539928/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=7.65 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 13206 0 1 0 758 7 0 0 20 0 19 0 255114667 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 53356 2283 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=6.04 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 2518 0 1 0 601 3 0 0 20 0 19 0 255114667 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320576680224 140320424390109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 255114668 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 127 0 0 0 18 0 0 0 20 0 19 0 255114669 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4120 0 0 0 65 0 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 53356 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=3.65 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1337 0 0 0 359 6 0 0 20 0 19 0 255114668 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=3.68 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1596 0 0 0 363 5 0 0 20 0 19 0 255114668 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=3.77 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 2023 0 0 0 369 8 0 0 20 0 19 0 255114668 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=7.73 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 586 0 0 0 766 7 0 0 20 0 19 0 255114669 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4123 0 0 0 67 0 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 94 0 0 0 22 28 0 0 20 0 19 0 255114672 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 81525 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1685
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/213 25378
/proc/meminfo: memFree=28227436/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=1746.1 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 28707 0 1 0 174504 106 0 0 20 0 19 0 255114667 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 80246 2284 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=1704.88 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 3588 0 1 0 170453 35 0 0 20 0 19 0 255114667 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320576679264 140320424464468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=4.09 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 1476 0 0 0 401 8 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=3.89 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 1423 0 0 0 380 9 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=4.01 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 1677 0 0 0 394 7 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=3.77 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 1229 0 0 0 370 7 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=3.88 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 2695 0 0 0 381 7 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=3.85 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1392 0 0 0 378 7 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=3.85 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 1814 0 0 0 380 5 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=3.98 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 2083 0 0 0 390 8 0 0 20 0 19 0 255114668 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=7.96 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 759 0 0 0 789 7 0 0 20 0 19 0 255114669 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4123 0 0 0 67 0 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 98 0 0 0 23 29 0 0 20 0 19 0 255114672 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 80246 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1746.1
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/212 25436
/proc/meminfo: memFree=26993004/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 31251 0 1 0 179899 111 0 0 20 0 19 0 255114667 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 85913 2284 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=1757.37 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 3627 0 1 0 175701 36 0 0 20 0 19 0 255114667 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320576679384 140320424389472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=4.28 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 1719 0 0 0 419 9 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=4.06 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 1671 0 0 0 396 10 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=4.18 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 2025 0 0 0 411 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=3.95 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 1354 0 0 0 388 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=4.03 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 2878 0 0 0 396 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=4.01 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1771 0 0 0 394 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=4.05 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 2631 0 0 0 399 6 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=4.17 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 2223 0 0 0 408 9 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=8.07 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 779 0 0 0 799 8 0 0 20 0 19 0 255114669 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4123 0 0 0 67 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 100 0 0 0 23 30 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1775.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/212 25436
/proc/meminfo: memFree=26993004/32873648 swapFree=7372/7372
[pid=25343] ppid=25341 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/25343/stat : 25343 (java) S 25341 25343 23489 0 -1 4202496 31251 0 1 0 179899 111 0 0 20 0 19 0 255114667 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140737179533008 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25343/statm: 2406244 85913 2284 9 0 2396937 0
[pid=25343/tid=25345] ppid=25341 vsize=9624976 CPUtime=1757.37 cores=1,3,5,7
/proc/25343/task/25345/stat : 25345 (java) R 25341 25343 23489 0 -1 4202560 3627 0 1 0 175701 36 0 0 20 0 19 0 255114667 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320576679384 140320424389472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25346] ppid=25341 vsize=9624976 CPUtime=4.28 cores=1,3,5,7
/proc/25343/task/25346/stat : 25346 (java) S 25341 25343 23489 0 -1 4202560 1719 0 0 0 419 9 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320549132456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25347] ppid=25341 vsize=9624976 CPUtime=4.06 cores=1,3,5,7
/proc/25343/task/25347/stat : 25347 (java) S 25341 25343 23489 0 -1 4202560 1671 0 0 0 396 10 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320548079912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25348] ppid=25341 vsize=9624976 CPUtime=4.18 cores=1,3,5,7
/proc/25343/task/25348/stat : 25348 (java) S 25341 25343 23489 0 -1 4202560 2025 0 0 0 411 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320547027368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25349] ppid=25341 vsize=9624976 CPUtime=3.95 cores=1,3,5,7
/proc/25343/task/25349/stat : 25349 (java) S 25341 25343 23489 0 -1 4202560 1354 0 0 0 388 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320545974824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25350] ppid=25341 vsize=9624976 CPUtime=4.03 cores=1,3,5,7
/proc/25343/task/25350/stat : 25350 (java) S 25341 25343 23489 0 -1 4202560 2878 0 0 0 396 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320544922280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25351] ppid=25341 vsize=9624976 CPUtime=4.01 cores=1,3,5,7
/proc/25343/task/25351/stat : 25351 (java) S 25341 25343 23489 0 -1 4202560 1771 0 0 0 394 7 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320543869736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25343/tid=25352] ppid=25341 vsize=9624976 CPUtime=4.05 cores=1,3,5,7
/proc/25343/task/25352/stat : 25352 (java) S 25341 25343 23489 0 -1 4202560 2631 0 0 0 399 6 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320542817192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25353] ppid=25341 vsize=9624976 CPUtime=4.17 cores=1,3,5,7
/proc/25343/task/25353/stat : 25353 (java) S 25341 25343 23489 0 -1 4202560 2223 0 0 0 408 9 0 0 20 0 19 0 255114668 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140320412576808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25354] ppid=25341 vsize=9624976 CPUtime=8.07 cores=1,3,5,7
/proc/25343/task/25354/stat : 25354 (java) S 25341 25343 23489 0 -1 4202560 779 0 0 0 799 8 0 0 20 0 19 0 255114669 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319929628776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25355] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25355/stat : 25355 (java) S 25341 25343 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319928575096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25356] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25356/stat : 25356 (java) S 25341 25343 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255114670 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319927522440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25357] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25357/stat : 25357 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319926471184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25343/tid=25358] ppid=25341 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/25343/task/25358/stat : 25358 (java) S 25341 25343 23489 0 -1 4202560 5170 0 0 0 59 1 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319925418552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25359] ppid=25341 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/25343/task/25359/stat : 25359 (java) S 25341 25343 23489 0 -1 4202560 4123 0 0 0 67 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319924366008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25360] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25360/stat : 25360 (java) S 25341 25343 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319923313656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25343/tid=25361] ppid=25341 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/25343/task/25361/stat : 25361 (java) S 25341 25343 23489 0 -1 4202560 100 0 0 0 23 30 0 0 20 0 19 0 255114672 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319922261320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25343/tid=25362] ppid=25341 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25343/task/25362/stat : 25362 (java) S 25341 25343 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255114755 9855975424 85913 33554432000 1073741824 1073778376 140737179541872 140319921206056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1775.35
CPU time (s): 1800.31
CPU user time (s): 1798.8
CPU system time (s): 1.51177
CPU usage (%): 101.406
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.51177
maximum resident set size= 431404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31290
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62752
involuntary context switches= 82917

runsolver used 6.22005 second user time and 15.0937 second system time

The end

Launcher Data

Begin job on node122 at 2012-05-24 22:04:47
IDJOB=3689209
IDBENCH=74369
IDSOLVER=2269
FILE ID=node122/3689209-1337889887
RUNJOBID= node122-1337871880-23506
PBS_JOBID= 14620082
Free space on /tmp= 71368 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12039_7-sat.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689209-1337889887/watcher-3689209-1337889887 -o /tmp/evaluation-result-3689209-1337889887/solver-3689209-1337889887 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689209-1337889887.opb

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

MD5SUM BENCH= 0f318fc75cd8d877b44870fe2fa76e77
RANDOM SEED=1946432027

node122.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.533
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	: 5333.06
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.533
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		: 2666.533
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	: 5332.04
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.533
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.533
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		: 2666.533
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	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        28745736 kB
Buffers:          200804 kB
Cached:          2934468 kB
SwapCached:            0 kB
Active:          1464852 kB
Inactive:        1890940 kB
Active(anon):     212048 kB
Inactive(anon):    11052 kB
Active(file):    1252804 kB
Inactive(file):  1879888 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7248 kB
Writeback:             0 kB
AnonPages:        231552 kB
Mapped:            21976 kB
Shmem:               200 kB
Slab:             634652 kB
SReclaimable:      78716 kB
SUnreclaim:       555936 kB
KernelStack:        1600 kB
PageTables:         4648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     826596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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= 71364 MiB
End job on node122 at 2012-05-24 22:34:24