Trace number 4099957

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.7 1775.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb
MD5SUM7b94c3aac6895e79f8b40603fea93848
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.025995
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4915
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 526817
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526817
Number of bits of the biggest sum of numbers20
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Glucose 2.1 dynamic restart strategy
0.07/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-4099957-1466209664.opb
0.07/0.12	c reading problem ... 
0.07/0.12	c  objective function found
0.27/0.29	c ... done. Wall clock time 0.17s.
0.27/0.29	c declared #vars     3100
0.27/0.29	c #constraints  140
0.27/0.29	c constraints type 
0.27/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19
0.27/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
0.27/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 110
0.27/0.29	c 140 constraints processed.
0.27/0.29	c objective function length is 3100 literals
1.42/0.81	c cleaning 2426 clauses out of 5001 with flag 25728/5001
1.98/1.32	c cleaning 4255 clauses out of 8574 with flag 70667/11000
2.58/1.90	c cleaning 5634 clauses out of 11319 with flag 120353/18000
3.29/2.65	c cleaning 6817 clauses out of 13685 with flag 177307/26000
4.21/3.51	c cleaning 7917 clauses out of 15874 with flag 247424/35006
5.00/4.36	c cleaning 8932 clauses out of 17953 with flag 306583/45002
6.01/5.36	c cleaning 9990 clauses out of 20019 with flag 382570/56000
7.11/6.44	c cleaning 10996 clauses out of 22029 with flag 464242/68000
8.42/7.74	c cleaning 11993 clauses out of 24033 with flag 567775/81000
9.86/9.18	c cleaning 13011 clauses out of 26040 with flag 677013/95000
11.26/10.58	c cleaning 13968 clauses out of 28029 with flag 793504/110000
12.97/12.25	c cleaning 14985 clauses out of 30065 with flag 948885/126004
14.66/13.98	c cleaning 15962 clauses out of 32076 with flag 1100757/143000
16.46/15.79	c cleaning 16990 clauses out of 34117 with flag 1261128/161003
18.67/17.82	c cleaning 17994 clauses out of 36129 with flag 1445107/180005
20.87/20.00	c cleaning 19036 clauses out of 38132 with flag 1628034/200002
23.17/22.38	c cleaning 20018 clauses out of 40095 with flag 1840692/221001
25.57/24.76	c cleaning 20959 clauses out of 42076 with flag 2049868/243000
28.57/27.74	c cleaning 22060 clauses out of 44119 with flag 2318357/266002
31.94/30.99	c cleaning 22960 clauses out of 46057 with flag 2598287/290000
35.03/34.06	c cleaning 24020 clauses out of 48097 with flag 2876861/315000
38.13/37.13	c cleaning 24985 clauses out of 50077 with flag 3122736/341000
41.61/40.42	c cleaning 25987 clauses out of 52092 with flag 3405972/368000
45.11/43.93	c cleaning 27021 clauses out of 54105 with flag 3718947/396000
48.81/47.60	c cleaning 28023 clauses out of 56086 with flag 4044432/425002
52.62/51.45	c cleaning 28974 clauses out of 58061 with flag 4369082/455000
56.96/55.61	c cleaning 30044 clauses out of 60087 with flag 4739470/486000
61.56/60.28	c cleaning 30936 clauses out of 62043 with flag 5119807/518000
66.63/65.13	c cleaning 31978 clauses out of 64107 with flag 5518993/551000
71.63/70.16	c cleaning 33016 clauses out of 66132 with flag 5940325/585003
77.13/75.64	c cleaning 34030 clauses out of 68113 with flag 6409200/620000
83.01/81.38	c cleaning 34984 clauses out of 70083 with flag 6884004/656000
89.11/87.44	c cleaning 36007 clauses out of 72099 with flag 7419284/693000
96.62/94.63	c cleaning 37010 clauses out of 74092 with flag 8037825/731000
103.41/101.47	c cleaning 37982 clauses out of 76082 with flag 8608139/770000
110.77/108.69	c cleaning 39008 clauses out of 78100 with flag 9191272/810000
118.88/116.60	c cleaning 40023 clauses out of 80095 with flag 9831929/851003
127.16/124.78	c cleaning 40982 clauses out of 82069 with flag 10501830/893000
136.26/133.77	c cleaning 42031 clauses out of 84089 with flag 11222841/936002
145.15/142.56	c cleaning 42926 clauses out of 86059 with flag 11937783/980003
154.84/152.11	c cleaning 43994 clauses out of 88130 with flag 12678767/1025000
164.02/161.30	c cleaning 45019 clauses out of 90136 with flag 13430759/1071000
175.10/172.21	c cleaning 45967 clauses out of 92117 with flag 14263575/1118000
185.44/182.59	c cleaning 47053 clauses out of 94150 with flag 15095572/1166000
196.32/193.28	c cleaning 47946 clauses out of 96097 with flag 15853194/1215000
208.18/204.93	c cleaning 48864 clauses out of 98154 with flag 16775265/1265003
218.56/215.25	c cleaning 50070 clauses out of 100287 with flag 17571561/1316000
230.16/226.70	c cleaning 51069 clauses out of 102217 with flag 18460918/1368000
241.63/238.04	c cleaning 52016 clauses out of 104148 with flag 19349033/1421000
253.63/250.00	c cleaning 53045 clauses out of 106132 with flag 20247179/1475000
265.94/262.11	c cleaning 53940 clauses out of 108088 with flag 21155598/1530001
279.50/275.51	c cleaning 55006 clauses out of 110147 with flag 22112812/1586000
293.09/289.06	c cleaning 56051 clauses out of 112143 with flag 23239983/1643002
307.00/302.75	c cleaning 56946 clauses out of 114090 with flag 24240886/1701000
321.11/316.76	c cleaning 57800 clauses out of 116144 with flag 25308322/1760000
334.95/330.35	c cleaning 58928 clauses out of 118344 with flag 26332167/1820000
349.89/345.02	c cleaning 60177 clauses out of 120416 with flag 27376034/1881000
366.32/361.27	c cleaning 60878 clauses out of 122239 with flag 28641261/1943000
385.61/380.21	c cleaning 62158 clauses out of 124363 with flag 29891066/2006002
402.89/397.27	c cleaning 63039 clauses out of 126204 with flag 31114914/2070001
419.76/413.87	c cleaning 64018 clauses out of 128164 with flag 32220530/2135000
442.26/436.06	c cleaning 65016 clauses out of 130146 with flag 33478210/2201000
459.12/452.52	c cleaning 65768 clauses out of 132130 with flag 34679557/2268000
476.49/469.70	c cleaning 67162 clauses out of 134363 with flag 35942821/2336001
495.28/488.22	c cleaning 68001 clauses out of 136200 with flag 37027811/2405000
516.07/508.83	c cleaning 68896 clauses out of 138199 with flag 38292551/2475000
534.55/527.07	c cleaning 70070 clauses out of 140303 with flag 39452481/2546000
551.98/544.38	c cleaning 71064 clauses out of 142233 with flag 40560085/2618000
570.70/562.73	c cleaning 72024 clauses out of 144169 with flag 41807247/2691000
589.74/581.59	c cleaning 72908 clauses out of 146145 with flag 43065731/2765000
609.56/601.12	c cleaning 74099 clauses out of 148237 with flag 44299368/2840000
630.83/622.15	c cleaning 74924 clauses out of 150138 with flag 45604429/2916000
650.35/641.49	c cleaning 76108 clauses out of 152215 with flag 46886345/2993001
669.93/660.78	c cleaning 77018 clauses out of 154106 with flag 48148119/3071000
691.75/682.25	c cleaning 78040 clauses out of 156089 with flag 49499723/3150001
714.18/704.42	c cleaning 78934 clauses out of 158048 with flag 50878386/3230000
741.86/731.70	c cleaning 79790 clauses out of 160114 with flag 52273424/3311000
767.05/756.47	c cleaning 81085 clauses out of 162325 with flag 53637317/3393001
788.71/777.83	c cleaning 82059 clauses out of 164239 with flag 54992767/3476000
818.35/807.15	c cleaning 83020 clauses out of 166181 with flag 56608893/3560001
842.08/830.63	c cleaning 84020 clauses out of 168160 with flag 58052411/3645000
866.77/855.07	c cleaning 84977 clauses out of 170141 with flag 59520726/3731001
895.45/883.44	c cleaning 86080 clauses out of 172165 with flag 61078540/3818002
919.97/907.58	c cleaning 87016 clauses out of 174083 with flag 62586787/3906000
948.39/935.61	c cleaning 87935 clauses out of 176067 with flag 64110429/3995000
979.36/966.12	c cleaning 89036 clauses out of 178132 with flag 65748393/4085000
1013.89/1000.23	c cleaning 89663 clauses out of 180098 with flag 67433867/4176002
1045.04/1030.94	c cleaning 91024 clauses out of 182433 with flag 69126716/4268000
1072.55/1058.06	c cleaning 92202 clauses out of 184413 with flag 70787599/4361004
1101.05/1086.25	c cleaning 93032 clauses out of 186207 with flag 72351058/4455000
1129.72/1114.53	c cleaning 94023 clauses out of 188175 with flag 74014407/4550000
1176.25/1160.69	c cleaning 95036 clauses out of 190152 with flag 75975053/4646000
1204.42/1188.35	c cleaning 96023 clauses out of 192116 with flag 77602185/4743000
1234.75/1218.19	c cleaning 97002 clauses out of 194094 with flag 79363841/4841001
1266.04/1249.05	c cleaning 98022 clauses out of 196092 with flag 80968153/4940001
1300.10/1282.72	c cleaning 98889 clauses out of 198069 with flag 82740274/5040000
1328.52/1310.68	c cleaning 100074 clauses out of 200180 with flag 84300858/5141000
1359.78/1341.51	c cleaning 100967 clauses out of 202106 with flag 86098116/5243000
1392.48/1373.61	c cleaning 101901 clauses out of 204139 with flag 87869546/5346000
1426.33/1406.99	c cleaning 102803 clauses out of 206239 with flag 89576118/5450001
1459.31/1439.51	c cleaning 104076 clauses out of 208438 with flag 91301259/5555003
1495.58/1475.45	c cleaning 105142 clauses out of 210361 with flag 93266447/5661002
1529.75/1509.12	c cleaning 106099 clauses out of 212217 with flag 95095472/5768000
1564.34/1543.40	c cleaning 107056 clauses out of 214121 with flag 96869712/5876003
1617.21/1595.68	c cleaning 107792 clauses out of 216062 with flag 99094505/5985000
1651.37/1629.22	c cleaning 108924 clauses out of 218270 with flag 100874055/6095000
1685.53/1662.79	c cleaning 109979 clauses out of 220346 with flag 102613744/6206000
1725.48/1702.27	c cleaning 111143 clauses out of 222367 with flag 104489017/6318000
1764.98/1741.24	c cleaning 112079 clauses out of 224226 with flag 106478179/6431002
1800.06/1775.80	c starts		: 63997
1800.06/1775.80	c conflicts		: 6540555
1800.06/1775.80	c decisions		: 106887140
1800.06/1775.80	c propagations		: 297426190
1800.06/1775.80	c inspects		: 18947750749
1800.06/1775.80	c shortcuts		: 0
1800.06/1775.80	c learnt literals	: 0
1800.06/1775.80	c learnt binary clauses	: 0
1800.06/1775.80	c learnt ternary clauses	: 0
1800.06/1775.80	c learnt constraints	: 6540555
1800.06/1775.80	c ignored constraints	: 0
1800.06/1775.80	c root simplifications	: 0
1800.06/1775.80	c removed literals (reason simplification)	: 0
1800.06/1775.80	c reason swapping (by a shorter reason)	: 0
1800.06/1775.80	c timeout
1800.06/1775.80	c Calls to reduceDB	: 109
1800.06/1775.80	c Number of update (reduction) of LBD	: 5297523
1800.06/1775.80	c Imported unit clauses	: 0
1800.06/1775.80	c number of reductions to clauses (during analyze)	: 0
1800.06/1775.80	c number of learned constraints concerned by reduction	: 0
1800.06/1775.80	c number of learning phase by resolution	: 0
1800.06/1775.80	c number of learning phase by cutting planes	: 0
1800.06/1775.80	c speed (assignments/second)	: 167517.42895216768
1800.06/1775.80	c non guided choices	3081
1800.06/1775.83	c learnt constraints type 
1800.06/1775.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 221700
1800.06/1775.83	s UNKNOWN
1800.06/1775.83	c Total wall clock time (in seconds): 1775.708

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4099957-1466209664/watcher-4099957-1466209664 -o /tmp/evaluation-result-4099957-1466209664/solver-4099957-1466209664 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099957-1466209664.opb 

pid=12806
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: 2.70 2.28 2.17 2/194 12809
/proc/meminfo: memFree=27040028/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12809/stat : 12809 (java) D 12806 12809 10680 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 23012093 9515008 175 33554432000 1073741824 1073778376 140733489854832 140733489837560 248790205328 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/12809/statm: 2323 175 133 9 0 71 0

[startup+0.100058 s]
/proc/loadavg: 2.70 2.28 2.17 2/194 12809
/proc/meminfo: memFree=27040028/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 4299 0 1 0 6 1 0 0 20 0 18 0 23012093 9787879424 5415 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2389619 5419 2096 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200277 s]
/proc/loadavg: 2.70 2.28 2.17 2/194 12809
/proc/meminfo: memFree=27040028/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 4996 0 1 0 25 2 0 0 20 0 18 0 23012093 9787879424 6978 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2389619 6978 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300248 s]
/proc/loadavg: 2.70 2.28 2.17 2/194 12809
/proc/meminfo: memFree=27040028/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 7501 0 1 0 51 2 0 0 20 0 18 0 23012093 9787879424 9961 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2389619 9961 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700295 s]
/proc/loadavg: 2.70 2.28 2.17 2/194 12809
/proc/meminfo: memFree=27040028/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 8687 0 1 0 128 3 0 0 20 0 19 0 23012093 9856040960 12353 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2406260 12353 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.64 2.28 2.17 3/213 12828
/proc/meminfo: memFree=26992872/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9625040 CPUtime=2.18 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 8702 0 1 0 215 3 0 0 20 0 19 0 23012093 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2406260 15944 2262 9 0 2396937 0
[pid=12809/tid=12811] ppid=12806 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/12809/task/12811/stat : 12811 (java) R 12806 12809 10680 0 -1 4202560 2431 0 1 0 144 2 0 0 20 0 19 0 23012094 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610410083016 140610267518976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12812] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12812/stat : 12812 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610388183976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12813] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12813/stat : 12813 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610387131432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12814] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12814/stat : 12814 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610386078376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12815] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12815/stat : 12815 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610048617256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12816] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12816/stat : 12816 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610047564200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12817] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12817/stat : 12817 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610046511656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12818] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12818/stat : 12818 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610045458600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12819] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12819/stat : 12819 (java) S 12806 12809 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610044406056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12820] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12820/stat : 12820 (java) S 12806 12809 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610032208744 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12821] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12821/stat : 12821 (java) S 12806 12809 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610031155064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12822] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12822/stat : 12822 (java) S 12806 12809 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610030101896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12823] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12823/stat : 12823 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610029050640 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12824] ppid=12806 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/12809/task/12824/stat : 12824 (java) S 12806 12809 10680 0 -1 4202560 1797 0 0 0 30 0 0 0 20 0 19 0 23012100 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610027997496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12825] ppid=12806 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/12809/task/12825/stat : 12825 (java) S 12806 12809 10680 0 -1 4202560 3197 0 0 0 38 0 0 0 20 0 19 0 23012100 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610026944952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12826] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12826/stat : 12826 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610025892088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12827] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12827/stat : 12827 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610024839752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12828] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12828/stat : 12828 (java) S 12806 12809 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23012124 9856040960 15944 33554432000 1073741824 1073778376 140735441307024 140610023687720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.64 2.28 2.17 3/213 12828
/proc/meminfo: memFree=26974068/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 8717 0 1 0 378 3 0 0 20 0 19 0 23012093 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2406260 22601 2263 9 0 2396937 0
[pid=12809/tid=12811] ppid=12806 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/12809/task/12811/stat : 12811 (java) R 12806 12809 10680 0 -1 4202560 2445 0 1 0 303 2 0 0 20 0 19 0 23012094 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610410082632 140610267331511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12812] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12812/stat : 12812 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610388183976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12813] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12813/stat : 12813 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610387131432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12814] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12814/stat : 12814 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610386078376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12815] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12815/stat : 12815 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610048617256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12816] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12816/stat : 12816 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610047564200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12817] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12817/stat : 12817 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610046511656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12818] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12818/stat : 12818 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610045458600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12819] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12819/stat : 12819 (java) S 12806 12809 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610044406056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12820] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12820/stat : 12820 (java) S 12806 12809 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610032208744 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12821] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12821/stat : 12821 (java) S 12806 12809 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610031155064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12822] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12822/stat : 12822 (java) S 12806 12809 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610030101896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12823] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12823/stat : 12823 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610029050640 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12824] ppid=12806 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/12809/task/12824/stat : 12824 (java) S 12806 12809 10680 0 -1 4202560 1797 0 0 0 30 0 0 0 20 0 19 0 23012100 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610027997496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12825] ppid=12806 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/12809/task/12825/stat : 12825 (java) S 12806 12809 10680 0 -1 4202560 3198 0 0 0 40 0 0 0 20 0 19 0 23012100 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610026944952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12826] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12826/stat : 12826 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610025892088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12827] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12827/stat : 12827 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610024839752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12828] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12828/stat : 12828 (java) S 12806 12809 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23012124 9856040960 22601 33554432000 1073741824 1073778376 140735441307024 140610023687720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.59 2.27 2.17 3/213 12828
/proc/meminfo: memFree=26918920/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9625040 CPUtime=7.01 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 8744 0 1 0 697 4 0 0 20 0 19 0 23012093 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2406260 35289 2264 9 0 2396937 0
[pid=12809/tid=12811] ppid=12806 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/12809/task/12811/stat : 12811 (java) R 12806 12809 10680 0 -1 4202560 2471 0 1 0 622 3 0 0 20 0 19 0 23012094 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610410073792 140610267437282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12812] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12812/stat : 12812 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610388183976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12813] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12813/stat : 12813 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610387131432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12814] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12814/stat : 12814 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610386078376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12815] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12815/stat : 12815 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610048617256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12816] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12816/stat : 12816 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610047564200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12817] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12817/stat : 12817 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610046511656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12818] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12818/stat : 12818 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610045458600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12819] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12819/stat : 12819 (java) S 12806 12809 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23012096 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610044406056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12820] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12820/stat : 12820 (java) S 12806 12809 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610032208744 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12821] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12821/stat : 12821 (java) S 12806 12809 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610031155064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12822] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12822/stat : 12822 (java) S 12806 12809 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610030101896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12823] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12823/stat : 12823 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610029050640 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12824] ppid=12806 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/12809/task/12824/stat : 12824 (java) S 12806 12809 10680 0 -1 4202560 1797 0 0 0 30 0 0 0 20 0 19 0 23012100 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610027997496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12825] ppid=12806 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/12809/task/12825/stat : 12825 (java) S 12806 12809 10680 0 -1 4202560 3198 0 0 0 40 0 0 0 20 0 19 0 23012100 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610026944952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12826] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12826/stat : 12826 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610025892088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12827] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12827/stat : 12827 (java) S 12806 12809 10680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610024839752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12828] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12828/stat : 12828 (java) S 12806 12809 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23012124 9856040960 35289 33554432000 1073741824 1073778376 140735441307024 140610023687720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 9625040


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

[pid=12809/tid=12821] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12821/stat : 12821 (java) S 12806 12809 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 173589 33554432000 1073741824 1073778376 140735441307024 140610031155064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12822] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12822/stat : 12822 (java) S 12806 12809 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 173589 33554432000 1073741824 1073778376 140735441307024 140610030101896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12823] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12823/stat : 12823 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 173589 33554432000 1073741824 1073778376 140735441307024 140610029050640 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12824] ppid=12806 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/12809/task/12824/stat : 12824 (java) S 12806 12809 10680 0 -1 4202560 1797 0 0 0 30 0 0 0 20 0 19 0 23012100 9856040960 173589 33554432000 1073741824 1073778376 140735441307024 140610027997496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12825] ppid=12806 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/12809/task/12825/stat : 12825 (java) S 12806 12809 10680 0 -1 4202560 3203 0 0 0 43 0 0 0 20 0 19 0 23012100 9856040960 173589 33554432000 1073741824 1073778376 140735441307024 140610026944952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12826] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12826/stat : 12826 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 173589 33554432000 1073741824 1073778376 140735441307024 140610025892088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12827] ppid=12806 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/12809/task/12827/stat : 12827 (java) S 12806 12809 10680 0 -1 4202560 94 0 0 0 29 35 0 0 20 0 19 0 23012100 9856040960 173589 33554432000 1073741824 1073778376 140735441307024 140610024839752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12828] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12828/stat : 12828 (java) S 12806 12809 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23012124 9856040960 173589 33554432000 1073741824 1073778376 140735441307024 140610023687720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1624.07
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.22 2.28 2.22 3/213 12935
/proc/meminfo: memFree=29428996/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9625040 CPUtime=1685.13 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 28198 0 1 0 168245 268 0 0 20 0 19 0 23012093 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2406260 208318 2286 9 0 2396937 0
[pid=12809/tid=12811] ppid=12806 vsize=9625040 CPUtime=1647.01 cores=1,3,5,7
/proc/12809/task/12811/stat : 12811 (java) R 12806 12809 10680 0 -1 4202560 2726 0 1 0 164670 31 0 0 20 0 19 0 23012094 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610410081600 140610267425601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12812] ppid=12806 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/12809/task/12812/stat : 12812 (java) S 12806 12809 10680 0 -1 4202560 1836 0 0 0 351 29 0 0 20 0 19 0 23012096 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610388183976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12813] ppid=12806 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/12809/task/12813/stat : 12813 (java) S 12806 12809 10680 0 -1 4202560 2506 0 0 0 348 32 0 0 20 0 19 0 23012096 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610387131432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12814] ppid=12806 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/12809/task/12814/stat : 12814 (java) S 12806 12809 10680 0 -1 4202560 2081 0 0 0 362 29 0 0 20 0 19 0 23012096 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610386078376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12815] ppid=12806 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/12809/task/12815/stat : 12815 (java) S 12806 12809 10680 0 -1 4202560 2255 0 0 0 348 28 0 0 20 0 19 0 23012096 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610048617256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12816] ppid=12806 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/12809/task/12816/stat : 12816 (java) S 12806 12809 10680 0 -1 4202560 1402 0 0 0 357 24 0 0 20 0 19 0 23012096 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610047564200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12817] ppid=12806 vsize=9625040 CPUtime=3.48 cores=1,3,5,7
/proc/12809/task/12817/stat : 12817 (java) S 12806 12809 10680 0 -1 4202560 2793 0 0 0 320 28 0 0 20 0 19 0 23012096 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610046511656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12818] ppid=12806 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/12809/task/12818/stat : 12818 (java) S 12806 12809 10680 0 -1 4202560 1886 0 0 0 373 30 0 0 20 0 19 0 23012096 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610045458600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12819] ppid=12806 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/12809/task/12819/stat : 12819 (java) S 12806 12809 10680 0 -1 4202560 2018 0 0 0 343 25 0 0 20 0 19 0 23012096 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610044406056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12820] ppid=12806 vsize=9625040 CPUtime=6.72 cores=1,3,5,7
/proc/12809/task/12820/stat : 12820 (java) S 12806 12809 10680 0 -1 4202560 2336 0 0 0 665 7 0 0 20 0 19 0 23012097 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610032208744 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12821] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12821/stat : 12821 (java) S 12806 12809 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610031155064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12822] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12822/stat : 12822 (java) S 12806 12809 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610030101896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12823] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12823/stat : 12823 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610029050640 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12824] ppid=12806 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/12809/task/12824/stat : 12824 (java) S 12806 12809 10680 0 -1 4202560 1797 0 0 0 30 0 0 0 20 0 19 0 23012100 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610027997496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12825] ppid=12806 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/12809/task/12825/stat : 12825 (java) S 12806 12809 10680 0 -1 4202560 3203 0 0 0 43 0 0 0 20 0 19 0 23012100 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610026944952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12826] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12826/stat : 12826 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610025892088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12827] ppid=12806 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/12809/task/12827/stat : 12827 (java) S 12806 12809 10680 0 -1 4202560 96 0 0 0 31 36 0 0 20 0 19 0 23012100 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610024839752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12828] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12828/stat : 12828 (java) S 12806 12809 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23012124 9856040960 208318 33554432000 1073741824 1073778376 140735441307024 140610023687720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1685.13
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.27 2.28 2.22 3/213 12936
/proc/meminfo: memFree=29378800/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9625040 CPUtime=1745.79 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 29109 0 1 0 174305 274 0 0 20 0 19 0 23012093 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2406260 222953 2286 9 0 2396937 0
[pid=12809/tid=12811] ppid=12806 vsize=9625040 CPUtime=1706.5 cores=1,3,5,7
/proc/12809/task/12811/stat : 12811 (java) R 12806 12809 10680 0 -1 4202560 2733 0 1 0 170619 31 0 0 20 0 19 0 23012094 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610410081600 140610267425692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12812] ppid=12806 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/12809/task/12812/stat : 12812 (java) S 12806 12809 10680 0 -1 4202560 1845 0 0 0 360 29 0 0 20 0 19 0 23012096 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610388183976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12813] ppid=12806 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/12809/task/12813/stat : 12813 (java) S 12806 12809 10680 0 -1 4202560 2516 0 0 0 359 32 0 0 20 0 19 0 23012096 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610387131432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12814] ppid=12806 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/12809/task/12814/stat : 12814 (java) S 12806 12809 10680 0 -1 4202560 2421 0 0 0 373 30 0 0 20 0 19 0 23012096 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610386078376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12815] ppid=12806 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/12809/task/12815/stat : 12815 (java) S 12806 12809 10680 0 -1 4202560 2265 0 0 0 356 28 0 0 20 0 19 0 23012096 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610048617256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12816] ppid=12806 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/12809/task/12816/stat : 12816 (java) S 12806 12809 10680 0 -1 4202560 1675 0 0 0 372 25 0 0 20 0 19 0 23012096 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610047564200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12817] ppid=12806 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/12809/task/12817/stat : 12817 (java) S 12806 12809 10680 0 -1 4202560 2847 0 0 0 333 29 0 0 20 0 19 0 23012096 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610046511656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12818] ppid=12806 vsize=9625040 CPUtime=4.18 cores=1,3,5,7
/proc/12809/task/12818/stat : 12818 (java) S 12806 12809 10680 0 -1 4202560 1924 0 0 0 388 30 0 0 20 0 19 0 23012096 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610045458600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12819] ppid=12806 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/12809/task/12819/stat : 12819 (java) S 12806 12809 10680 0 -1 4202560 2137 0 0 0 350 26 0 0 20 0 19 0 23012096 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610044406056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12820] ppid=12806 vsize=9625040 CPUtime=6.97 cores=1,3,5,7
/proc/12809/task/12820/stat : 12820 (java) S 12806 12809 10680 0 -1 4202560 2383 0 0 0 690 7 0 0 20 0 19 0 23012097 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610032208744 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12821] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12821/stat : 12821 (java) S 12806 12809 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610031155064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12822] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12822/stat : 12822 (java) S 12806 12809 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610030101896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12823] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12823/stat : 12823 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610029050640 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12824] ppid=12806 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/12809/task/12824/stat : 12824 (java) S 12806 12809 10680 0 -1 4202560 1797 0 0 0 30 0 0 0 20 0 19 0 23012100 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610027997496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12825] ppid=12806 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/12809/task/12825/stat : 12825 (java) S 12806 12809 10680 0 -1 4202560 3203 0 0 0 43 0 0 0 20 0 19 0 23012100 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610026944952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12826] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12826/stat : 12826 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610025892088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12827] ppid=12806 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/12809/task/12827/stat : 12827 (java) S 12806 12809 10680 0 -1 4202560 100 0 0 0 32 37 0 0 20 0 19 0 23012100 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610024839752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12828] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12828/stat : 12828 (java) S 12806 12809 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23012124 9856040960 222953 33554432000 1073741824 1073778376 140735441307024 140610023687720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1745.79
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.8 s]
/proc/loadavg: 2.26 2.28 2.22 3/213 12936
/proc/meminfo: memFree=29317724/32872528 swapFree=1402776/1580604
[pid=12809] ppid=12806 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/12809/stat : 12809 (java) S 12806 12809 10680 0 -1 4202496 29331 0 1 0 179724 282 0 0 20 0 19 0 23012093 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140735441298160 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12809/statm: 2406260 237624 2286 9 0 2396937 0
[pid=12809/tid=12811] ppid=12806 vsize=9625040 CPUtime=1759.54 cores=1,3,5,7
/proc/12809/task/12811/stat : 12811 (java) R 12806 12809 10680 0 -1 4202560 2741 0 1 0 175922 32 0 0 20 0 19 0 23012094 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610410081600 140610267425638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12812] ppid=12806 vsize=9625040 CPUtime=4 cores=1,3,5,7
/proc/12809/task/12812/stat : 12812 (java) S 12806 12809 10680 0 -1 4202560 1862 0 0 0 370 30 0 0 20 0 19 0 23012096 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610388183976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12813] ppid=12806 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/12809/task/12813/stat : 12813 (java) S 12806 12809 10680 0 -1 4202560 2537 0 0 0 371 34 0 0 20 0 19 0 23012096 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610387131432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12814] ppid=12806 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/12809/task/12814/stat : 12814 (java) S 12806 12809 10680 0 -1 4202560 2431 0 0 0 384 31 0 0 20 0 19 0 23012096 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610386078376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12815] ppid=12806 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/12809/task/12815/stat : 12815 (java) S 12806 12809 10680 0 -1 4202560 2289 0 0 0 368 29 0 0 20 0 19 0 23012096 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610048617256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12816] ppid=12806 vsize=9625040 CPUtime=4.1 cores=1,3,5,7
/proc/12809/task/12816/stat : 12816 (java) S 12806 12809 10680 0 -1 4202560 1685 0 0 0 384 26 0 0 20 0 19 0 23012096 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610047564200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12817] ppid=12806 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/12809/task/12817/stat : 12817 (java) S 12806 12809 10680 0 -1 4202560 2877 0 0 0 349 30 0 0 20 0 19 0 23012096 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610046511656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12818] ppid=12806 vsize=9625040 CPUtime=4.27 cores=1,3,5,7
/proc/12809/task/12818/stat : 12818 (java) S 12806 12809 10680 0 -1 4202560 1932 0 0 0 396 31 0 0 20 0 19 0 23012096 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610045458600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12819] ppid=12806 vsize=9625040 CPUtime=3.93 cores=1,3,5,7
/proc/12809/task/12819/stat : 12819 (java) S 12806 12809 10680 0 -1 4202560 2165 0 0 0 366 27 0 0 20 0 19 0 23012096 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610044406056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12809/tid=12820] ppid=12806 vsize=9625040 CPUtime=7.13 cores=1,3,5,7
/proc/12809/task/12820/stat : 12820 (java) S 12806 12809 10680 0 -1 4202560 2445 0 0 0 706 7 0 0 20 0 19 0 23012097 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610032208744 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12821] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12821/stat : 12821 (java) S 12806 12809 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610031155064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12822] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12822/stat : 12822 (java) S 12806 12809 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23012097 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610030101896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12823] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12823/stat : 12823 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610029050640 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12824] ppid=12806 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/12809/task/12824/stat : 12824 (java) S 12806 12809 10680 0 -1 4202560 1797 0 0 0 30 0 0 0 20 0 19 0 23012100 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610027997496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12809/tid=12825] ppid=12806 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/12809/task/12825/stat : 12825 (java) S 12806 12809 10680 0 -1 4202560 3203 0 0 0 43 0 0 0 20 0 19 0 23012100 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610026944952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12826] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12826/stat : 12826 (java) S 12806 12809 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23012100 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610025892088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12809/tid=12827] ppid=12806 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/12809/task/12827/stat : 12827 (java) S 12806 12809 10680 0 -1 4202560 104 0 0 0 33 39 0 0 20 0 19 0 23012100 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610024839752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12809/tid=12828] ppid=12806 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12809/task/12828/stat : 12828 (java) S 12806 12809 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23012124 9856040960 237624 33554432000 1073741824 1073778376 140735441307024 140610023687720 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12809 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1775.84
CPU time (s): 1800.7
CPU user time (s): 1797.39
CPU system time (s): 3.3135
CPU usage (%): 101.4
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.39
system time used= 3.3135
maximum resident set size= 963756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29372
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44971
involuntary context switches= 45467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5234 second user time and 13.8229 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 02:27:44
IDJOB=4099957
IDBENCH=1555
IDSOLVER=2546
FILE ID=node139/4099957-1466209664
RUNJOBID= node139-1466206053-10697
PBS_JOBID= 19918138
Free space on /tmp= 71588 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099957-1466209664/watcher-4099957-1466209664 -o /tmp/evaluation-result-4099957-1466209664/solver-4099957-1466209664 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10697 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4099957-1466209664.opb

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

MD5SUM BENCH= 7b94c3aac6895e79f8b40603fea93848
RANDOM SEED=797336184

node139.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.500
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.00
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.500
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	: 5332.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.500
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.55
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.500
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	: 5332.56
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.500
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	: 5332.55
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.500
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	: 5332.56
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.500
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	: 5332.55
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.500
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27040556 kB
Buffers:           42868 kB
Cached:            74724 kB
SwapCached:         1904 kB
Active:          3470304 kB
Inactive:          67984 kB
Active(anon):    3421116 kB
Inactive(anon):     1416 kB
Active(file):      49188 kB
Inactive(file):    66568 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099420 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:       4999612 kB
Mapped:            15420 kB
Shmem:                 0 kB
Slab:             571988 kB
SReclaimable:      16052 kB
SUnreclaim:       555936 kB
KernelStack:        1648 kB
PageTables:        13888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5245876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3551232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71592 MiB
End job on node139 at 2016-06-18 02:57:20