Trace number 4089831

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.46 1798.65

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v081-n1.opb
MD5SUM81a826667ee52016133e00717cdeea19
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark18.0523
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables243
Total number of constraints81
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.32	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.05/0.32	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.32	c See www.sat4j.org for details.
0.05/0.33	c version PB16.v20160501
0.05/0.33	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.33	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.33	c java.vm.version	19.1-b02
0.05/0.33	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.33	c sun.arch.data.model	64
0.05/0.33	c java.version		1.6.0_24
0.05/0.33	c os.name		Linux
0.05/0.33	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.33	c os.arch		amd64
0.05/0.33	c Free memory 		501472288
0.05/0.33	c Max memory 		7480803328
0.05/0.33	c Total memory 		504102912
0.05/0.33	c Number of processors 	8
0.05/0.36	c Pseudo Boolean Optimization by upper bound
0.05/0.36	c --- Begin Solver configuration ---
0.05/0.36	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.05/0.36	c Learn all clauses as in MiniSAT
0.05/0.36	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.36	c No reason simplification
0.05/0.36	c Glucose 2.1 dynamic restart strategy
0.05/0.36	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.05/0.36	c timeout=2147483s
0.05/0.36	c DB Simplification allowed=false
0.05/0.36	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.05/0.36	c --- End Solver configuration ---
0.05/0.36	c solving HOME/instance-4089831-1466034510.opb
0.05/0.36	c reading problem ... 
0.05/0.37	c  no objective function found
0.05/0.39	c ... done. Wall clock time 0.027s.
0.05/0.39	c declared #vars     243
0.05/0.39	c #constraints  162
0.05/0.39	c constraints type 
0.05/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 162
0.05/0.39	c 162 constraints processed.
0.78/0.70	c cleaning 2493 clauses out of 5000 with flag 24584/5000
1.06/0.92	c cleaning 4249 clauses out of 8507 with flag 57887/11000
1.26/1.18	c cleaning 5624 clauses out of 11258 with flag 97426/18000
1.67/1.56	c cleaning 6811 clauses out of 13634 with flag 146415/26000
2.08/1.98	c cleaning 7902 clauses out of 15823 with flag 201409/35000
2.68/2.51	c cleaning 8955 clauses out of 17921 with flag 261379/45000
3.38/3.25	c cleaning 9969 clauses out of 19966 with flag 350713/56000
3.98/3.89	c cleaning 10994 clauses out of 21997 with flag 426772/68000
4.78/4.67	c cleaning 11995 clauses out of 24003 with flag 504258/81000
5.98/5.84	c cleaning 12997 clauses out of 26008 with flag 594722/95000
6.88/6.77	c cleaning 14000 clauses out of 28011 with flag 679824/110000
8.18/8.00	c cleaning 15002 clauses out of 30011 with flag 785239/126000
9.48/9.31	c cleaning 15997 clauses out of 32009 with flag 892917/143000
10.88/10.74	c cleaning 17005 clauses out of 34014 with flag 1009345/161002
12.38/12.23	c cleaning 17988 clauses out of 36009 with flag 1131361/180002
13.98/13.84	c cleaning 19003 clauses out of 38019 with flag 1256680/200000
16.08/15.97	c cleaning 19999 clauses out of 40016 with flag 1390323/221000
17.98/17.85	c cleaning 20994 clauses out of 42017 with flag 1533713/243000
20.47/20.33	c cleaning 22004 clauses out of 44024 with flag 1676807/266001
22.98/22.85	c cleaning 22997 clauses out of 46019 with flag 1844166/290000
25.59/25.49	c cleaning 24003 clauses out of 48023 with flag 2018541/315001
28.68/28.56	c cleaning 25004 clauses out of 50019 with flag 2220643/341000
31.38/31.29	c cleaning 25998 clauses out of 52015 with flag 2388710/368000
34.47/34.34	c cleaning 26999 clauses out of 54019 with flag 2574914/396002
37.69/37.59	c cleaning 27998 clauses out of 56018 with flag 2758891/425000
41.58/41.47	c cleaning 29005 clauses out of 58023 with flag 2973913/455003
45.58/45.49	c cleaning 30000 clauses out of 60015 with flag 3175902/486000
49.58/49.40	c cleaning 30999 clauses out of 62016 with flag 3381186/518001
54.23/54.03	c cleaning 32004 clauses out of 64017 with flag 3603993/551001
58.63/58.46	c cleaning 32997 clauses out of 66013 with flag 3852502/585001
63.52/63.35	c cleaning 33995 clauses out of 68015 with flag 4113891/620000
68.12/67.92	c cleaning 34989 clauses out of 70021 with flag 4364340/656001
73.02/72.88	c cleaning 36008 clauses out of 72035 with flag 4627068/693004
79.53/79.33	c cleaning 36997 clauses out of 74023 with flag 4930595/731000
85.04/84.88	c cleaning 38004 clauses out of 76028 with flag 5223450/770002
91.13/90.91	c cleaning 39001 clauses out of 78022 with flag 5507733/810000
97.63/97.40	c cleaning 39999 clauses out of 80022 with flag 5812445/851001
104.13/103.95	c cleaning 40998 clauses out of 82022 with flag 6097628/893000
110.93/110.70	c cleaning 41999 clauses out of 84024 with flag 6393034/936000
117.93/117.78	c cleaning 42991 clauses out of 86025 with flag 6721016/980000
125.13/124.90	c cleaning 44008 clauses out of 88034 with flag 7018667/1025000
132.44/132.29	c cleaning 45014 clauses out of 90027 with flag 7332194/1071001
140.40/140.14	c cleaning 45990 clauses out of 92013 with flag 7680898/1118001
148.30/148.06	c cleaning 47000 clauses out of 94023 with flag 8031399/1166001
157.20/156.96	c cleaning 47995 clauses out of 96022 with flag 8397787/1215000
165.90/165.66	c cleaning 48997 clauses out of 98028 with flag 8775150/1265001
175.40/175.17	c cleaning 49999 clauses out of 100030 with flag 9124473/1316000
185.00/184.72	c cleaning 51006 clauses out of 102034 with flag 9532848/1368003
195.50/195.20	c cleaning 52002 clauses out of 104025 with flag 9954115/1421000
207.30/207.07	c cleaning 52997 clauses out of 106024 with flag 10374664/1475001
218.30/218.07	c cleaning 54001 clauses out of 108026 with flag 10767325/1530000
229.00/228.73	c cleaning 55002 clauses out of 110027 with flag 11173018/1586002
240.30/240.09	c cleaning 55997 clauses out of 112024 with flag 11599073/1643001
252.43/252.16	c cleaning 57004 clauses out of 114027 with flag 12019635/1701001
264.53/264.23	c cleaning 57998 clauses out of 116022 with flag 12443657/1760000
276.93/276.69	c cleaning 59009 clauses out of 118027 with flag 12878391/1820003
289.73/289.43	c cleaning 59997 clauses out of 120015 with flag 13305724/1881000
303.13/302.87	c cleaning 60999 clauses out of 122018 with flag 13765062/1943000
316.44/316.16	c cleaning 61995 clauses out of 124019 with flag 14222858/2006000
329.74/329.46	c cleaning 63004 clauses out of 126026 with flag 14689497/2070002
346.74/346.47	c cleaning 64002 clauses out of 128021 with flag 15168151/2135001
363.84/363.51	c cleaning 64995 clauses out of 130018 with flag 15681900/2201000
380.27/379.95	c cleaning 66003 clauses out of 132023 with flag 16216235/2268000
399.88/399.57	c cleaning 67003 clauses out of 134021 with flag 16734985/2336001
415.48/415.16	c cleaning 67991 clauses out of 136017 with flag 17223844/2405000
431.19/430.87	c cleaning 69016 clauses out of 138031 with flag 17731690/2475005
447.01/446.70	c cleaning 69997 clauses out of 140010 with flag 18239990/2546000
464.31/463.97	c cleaning 70997 clauses out of 142013 with flag 18739375/2618000
482.11/481.77	c cleaning 72005 clauses out of 144017 with flag 19294552/2691001
501.72/501.37	c cleaning 72999 clauses out of 146013 with flag 19844851/2765002
519.65/519.30	c cleaning 73990 clauses out of 148012 with flag 20387118/2840000
538.85/538.43	c cleaning 74993 clauses out of 150022 with flag 20938397/2916000
560.36/559.95	c cleaning 75999 clauses out of 152029 with flag 21520250/2993000
579.96/579.55	c cleaning 77008 clauses out of 154034 with flag 22112592/3071004
600.87/600.43	c cleaning 78004 clauses out of 156022 with flag 22708029/3150000
621.47/621.04	c cleaning 78999 clauses out of 158019 with flag 23287851/3230001
644.08/643.63	c cleaning 80005 clauses out of 160019 with flag 23920619/3311000
666.23/665.79	c cleaning 80996 clauses out of 162016 with flag 24557239/3393002
688.84/688.37	c cleaning 81999 clauses out of 164018 with flag 25202912/3476000
711.83/711.36	c cleaning 83002 clauses out of 166021 with flag 25833918/3560002
736.04/735.53	c cleaning 83992 clauses out of 168017 with flag 26492395/3645000
761.85/761.39	c cleaning 85009 clauses out of 170025 with flag 27182564/3731000
788.45/787.90	c cleaning 85994 clauses out of 172017 with flag 27866908/3818001
815.30/814.71	c cleaning 86999 clauses out of 174023 with flag 28622290/3906001
842.60/842.05	c cleaning 87994 clauses out of 176023 with flag 29324321/3995000
875.11/874.55	c cleaning 89006 clauses out of 178029 with flag 30106377/4085000
902.00/901.41	c cleaning 90004 clauses out of 180024 with flag 30805568/4176001
931.12/930.50	c cleaning 90998 clauses out of 182019 with flag 31508170/4268000
960.90/960.28	c cleaning 92005 clauses out of 184022 with flag 32282241/4361001
990.31/989.60	c cleaning 92989 clauses out of 186017 with flag 33043416/4455001
1021.71/1021.01	c cleaning 94004 clauses out of 188027 with flag 33907856/4550000
1053.83/1053.16	c cleaning 95002 clauses out of 190024 with flag 34701234/4646001
1088.22/1087.52	c cleaning 95998 clauses out of 192022 with flag 35519712/4743001
1119.83/1119.07	c cleaning 97002 clauses out of 194023 with flag 36271244/4841000
1159.42/1158.61	c cleaning 97996 clauses out of 196022 with flag 37098285/4940001
1192.23/1191.45	c cleaning 99006 clauses out of 198026 with flag 37882978/5040001
1226.24/1225.48	c cleaning 100001 clauses out of 200019 with flag 38652884/5141000
1263.76/1262.96	c cleaning 101003 clauses out of 202018 with flag 39464143/5243000
1304.50/1303.60	c cleaning 101996 clauses out of 204015 with flag 40331057/5346000
1342.39/1341.48	c cleaning 103000 clauses out of 206020 with flag 41148355/5450001
1382.20/1381.24	c cleaning 104001 clauses out of 208021 with flag 42020668/5555002
1420.41/1419.40	c cleaning 104997 clauses out of 210018 with flag 42861744/5661000
1461.05/1459.95	c cleaning 105997 clauses out of 212022 with flag 43712054/5768001
1528.08/1526.97	c cleaning 107001 clauses out of 214025 with flag 44672024/5876001
1621.38/1620.30	c cleaning 108000 clauses out of 216023 with flag 45656096/5985000
1669.39/1668.13	c cleaning 109001 clauses out of 218023 with flag 46570453/6095000
1711.29/1710.08	c cleaning 110004 clauses out of 220023 with flag 47476896/6206001
1753.50/1752.24	c cleaning 111003 clauses out of 222019 with flag 48347180/6318001
1800.04/1798.61	c starts		: 7841
1800.04/1798.61	c conflicts		: 6428206
1800.04/1798.61	c decisions		: 8141402
1800.04/1798.61	c propagations		: 128562660
1800.04/1798.61	c inspects		: 47023839638
1800.04/1798.61	c shortcuts		: 0
1800.04/1798.61	c learnt literals	: 0
1800.04/1798.61	c learnt binary clauses	: 0
1800.04/1798.61	c learnt ternary clauses	: 0
1800.04/1798.61	c learnt constraints	: 6428206
1800.04/1798.61	c ignored constraints	: 0
1800.04/1798.61	c root simplifications	: 0
1800.04/1798.61	c removed literals (reason simplification)	: 0
1800.04/1798.61	c reason swapping (by a shorter reason)	: 0
1800.04/1798.61	c Calls to reduceDB	: 108
1800.04/1798.61	c Number of update (reduction) of LBD	: 1885464
1800.04/1798.61	c Imported unit clauses	: 0
1800.04/1798.61	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.61	c number of learned constraints concerned by reduction	: 0
1800.04/1798.61	c number of learning phase by resolution	: 0
1800.04/1798.61	c number of learning phase by cutting planes	: 0
1800.04/1798.61	c speed (assignments/second)	: 71494.44200066844
1800.04/1798.61	c non guided choices	14098
1800.04/1798.61	c timeout
1800.04/1798.64	c learnt constraints type 
1800.04/1798.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 221222
1800.04/1798.64	s UNKNOWN
1800.04/1798.64	c Total wall clock time (in seconds): 1798.278

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-4089831-1466034510/watcher-4089831-1466034510 -o /tmp/evaluation-result-4089831-1466034510/solver-4089831-1466034510 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466034510-12393 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089831-1466034510.opb 

pid=12408
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.02 1.05 1.31 2/171 12412
/proc/meminfo: memFree=31436708/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/12412/stat : 12412 (java) D 12408 12412 6207 0 -1 4202496 157 0 1 0 0 0 0 0 20 0 1 0 5497884 278528 33 33554432000 1073741824 1073778376 140735256504256 140735256501432 242158234919 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/12412/statm: 68 33 25 9 0 25 0

[startup+0.100173 s]
/proc/loadavg: 1.02 1.05 1.31 2/171 12412
/proc/meminfo: memFree=31436708/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/12412/stat : 12412 (java) D 12408 12412 6207 0 -1 4202496 1144 0 17 0 0 0 0 0 20 0 1 0 5497884 23793664 811 33554432000 1073741824 1073778376 140736018064704 140736018054696 140253107161568 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 6 0 0
/proc/12412/statm: 5809 811 605 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.200247 s]
/proc/loadavg: 1.02 1.05 1.31 2/171 12412
/proc/meminfo: memFree=31436708/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/12412/stat : 12412 (java) S 12408 12412 6207 0 -1 4202496 3068 0 26 0 1 1 0 0 20 0 13 0 5497884 9446973440 3713 33554432000 1073741824 1073778376 140736018064704 140736018055840 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/12412/statm: 2306390 3713 1678 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.300208 s]
/proc/loadavg: 1.02 1.05 1.31 2/171 12412
/proc/meminfo: memFree=31436708/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/12412/stat : 12412 (java) S 12408 12412 6207 0 -1 4202496 3308 0 26 0 4 1 0 0 20 0 18 0 5497884 9787879424 4464 33554432000 1073741824 1073778376 140736018064704 140736018055840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/12412/statm: 2389619 4464 1775 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558476

[startup+0.700178 s]
/proc/loadavg: 1.02 1.05 1.31 2/171 12412
/proc/meminfo: memFree=31436708/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/12412/stat : 12412 (java) S 12408 12412 6207 0 -1 4202496 9231 0 28 0 75 3 0 0 20 0 19 0 5497884 9856040960 8892 33554432000 1073741824 1073778376 140736018064704 140736018055840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/12412/statm: 2406260 8892 2237 9 0 2396937 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 1.02 1.05 1.31 3/213 12459
/proc/meminfo: memFree=31360488/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=9625040 CPUtime=1.67 cores=1,3,5,7
/proc/12412/stat : 12412 (java) S 12408 12412 6207 0 -1 4202496 10075 0 28 0 163 4 0 0 20 0 19 0 5497884 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140736018055840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/12412/statm: 2406260 10161 2241 9 0 2396937 0
[pid=12412/tid=12425] ppid=12408 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/12412/task/12425/stat : 12425 (java) R 12408 12412 6207 0 -1 4202560 2409 0 7 0 120 2 0 0 20 0 19 0 5497895 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140253102399184 140252975331498 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0
[pid=12412/tid=12426] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12426/stat : 12426 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252946479656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12427] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12427/stat : 12427 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252945426856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12428] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12428/stat : 12428 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252944374056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12412/tid=12429] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12429/stat : 12429 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252943321256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12430] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12430/stat : 12430 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252942269480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12431] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12431/stat : 12431 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252941216680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12433] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12433/stat : 12433 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252940163880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12434] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12434/stat : 12434 (java) S 12408 12412 6207 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252939111080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12443] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12443/stat : 12443 (java) S 12408 12412 6207 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5497902 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252926700008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12444] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12444/stat : 12444 (java) S 12408 12412 6207 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252925646072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12446] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12446/stat : 12446 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252924593160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12449] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12449/stat : 12449 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252923541648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12451] ppid=12408 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/12412/task/12451/stat : 12451 (java) S 12408 12412 6207 0 -1 4202560 3036 0 1 0 21 0 0 0 20 0 19 0 5497910 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252922489784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12453] ppid=12408 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/12412/task/12453/stat : 12453 (java) S 12408 12412 6207 0 -1 4202560 3379 0 1 0 20 0 0 0 20 0 19 0 5497910 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252921436984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12455] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12455/stat : 12455 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252920384376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12457] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12457/stat : 12457 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252919331784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12459] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12459/stat : 12459 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497924 9856040960 10161 33554432000 1073741824 1073778376 140736018064704 140252918178984 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 1.10 1.07 1.31 3/213 12459
/proc/meminfo: memFree=31351180/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/12412/stat : 12412 (java) S 12408 12412 6207 0 -1 4202496 10080 0 28 0 324 4 0 0 20 0 19 0 5497884 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140736018055840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/12412/statm: 2406260 12210 2241 9 0 2396937 0
[pid=12412/tid=12425] ppid=12408 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/12412/task/12425/stat : 12425 (java) R 12408 12412 6207 0 -1 4202560 2413 0 7 0 280 2 0 0 20 0 19 0 5497895 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140253102399184 140252975331381 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0
[pid=12412/tid=12426] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12426/stat : 12426 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252946479656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12427] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12427/stat : 12427 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252945426856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12428] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12428/stat : 12428 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252944374056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12412/tid=12429] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12429/stat : 12429 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252943321256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12430] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12430/stat : 12430 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252942269480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12431] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12431/stat : 12431 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252941216680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12433] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12433/stat : 12433 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252940163880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12434] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12434/stat : 12434 (java) S 12408 12412 6207 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252939111080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12443] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12443/stat : 12443 (java) S 12408 12412 6207 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5497902 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252926700008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12444] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12444/stat : 12444 (java) S 12408 12412 6207 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252925646072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12446] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12446/stat : 12446 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252924593160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12449] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12449/stat : 12449 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252923541648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12451] ppid=12408 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/12412/task/12451/stat : 12451 (java) S 12408 12412 6207 0 -1 4202560 3037 0 1 0 22 0 0 0 20 0 19 0 5497910 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252922489784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12453] ppid=12408 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/12412/task/12453/stat : 12453 (java) S 12408 12412 6207 0 -1 4202560 3379 0 1 0 21 0 0 0 20 0 19 0 5497910 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252921436984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12455] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12455/stat : 12455 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252920384376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12457] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12457/stat : 12457 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252919331784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12459] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12459/stat : 12459 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497924 9856040960 12210 33554432000 1073741824 1073778376 140736018064704 140252918178984 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 1.10 1.07 1.31 3/213 12459
/proc/meminfo: memFree=31334656/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=9625040 CPUtime=6.48 cores=1,3,5,7
/proc/12412/stat : 12412 (java) S 12408 12412 6207 0 -1 4202496 10087 0 28 0 644 4 0 0 20 0 19 0 5497884 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140736018055840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/12412/statm: 2406260 14763 2242 9 0 2396937 0
[pid=12412/tid=12425] ppid=12408 vsize=9625040 CPUtime=6.02 cores=1,3,5,7
/proc/12412/task/12425/stat : 12425 (java) R 12408 12412 6207 0 -1 4202560 2419 0 7 0 600 2 0 0 20 0 19 0 5497895 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140253102399184 140252975331440 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0
[pid=12412/tid=12426] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12426/stat : 12426 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252946479656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12427] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12427/stat : 12427 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252945426856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12428] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12428/stat : 12428 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252944374056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12412/tid=12429] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12429/stat : 12429 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252943321256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12430] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12430/stat : 12430 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252942269480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12431] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12431/stat : 12431 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252941216680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12433] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12433/stat : 12433 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252940163880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12434] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12434/stat : 12434 (java) S 12408 12412 6207 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5497898 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252939111080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12443] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12443/stat : 12443 (java) S 12408 12412 6207 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5497902 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252926700008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12444] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12444/stat : 12444 (java) S 12408 12412 6207 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252925646072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12446] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12446/stat : 12446 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252924593160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12449] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12449/stat : 12449 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252923541648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12451] ppid=12408 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/12412/task/12451/stat : 12451 (java) S 12408 12412 6207 0 -1 4202560 3037 0 1 0 22 0 0 0 20 0 19 0 5497910 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252922489784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12453] ppid=12408 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/12412/task/12453/stat : 12453 (java) S 12408 12412 6207 0 -1 4202560 3379 0 1 0 21 0 0 0 20 0 19 0 5497910 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252921436984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12455] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12455/stat : 12455 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252920384376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12457] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12457/stat : 12457 (java) S 12408 12412 6207 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252919331784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12459] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12459/stat : 12459 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497924 9856040960 14763 33554432000 1073741824 1073778376 140736018064704 140252918178984 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 9625040


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

[pid=12412/tid=12444] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12444/stat : 12444 (java) S 12408 12412 6207 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252925646072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12446] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12446/stat : 12446 (java) S 12408 12412 6207 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252924593160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12449] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12449/stat : 12449 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252923541648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12451] ppid=12408 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12412/task/12451/stat : 12451 (java) S 12408 12412 6207 0 -1 4202560 3040 0 1 0 24 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252922489784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12453] ppid=12408 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/12412/task/12453/stat : 12453 (java) S 12408 12412 6207 0 -1 4202560 3379 0 1 0 21 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252921436984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12455] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12455/stat : 12455 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252920384376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12457] ppid=12408 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12412/task/12457/stat : 12457 (java) S 12408 12412 6207 0 -1 4202560 98 0 0 0 23 28 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252919331784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12459] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12459/stat : 12459 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497924 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252918178984 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1663.58
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 1.92 3/213 12590
/proc/meminfo: memFree=30528244/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=9625040 CPUtime=1723.59 cores=1,3,5,7
/proc/12412/stat : 12412 (java) S 12408 12412 6207 0 -1 4202496 11639 0 28 0 172307 52 0 0 20 0 19 0 5497884 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140736018055840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/12412/statm: 2406260 82694 2257 9 0 2396937 0
[pid=12412/tid=12425] ppid=12408 vsize=9625040 CPUtime=1721.66 cores=1,3,5,7
/proc/12412/task/12425/stat : 12425 (java) R 12408 12412 6207 0 -1 4202560 2483 0 7 0 172136 30 0 0 20 0 19 0 5497895 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140253102399184 140252975331440 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0
[pid=12412/tid=12426] ppid=12408 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/12412/task/12426/stat : 12426 (java) S 12408 12412 6207 0 -1 4202560 217 0 0 0 9 3 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252946479656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12412/tid=12427] ppid=12408 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/12412/task/12427/stat : 12427 (java) S 12408 12412 6207 0 -1 4202560 371 0 0 0 14 2 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252945426856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12428] ppid=12408 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/12412/task/12428/stat : 12428 (java) S 12408 12412 6207 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252944374056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12412/tid=12429] ppid=12408 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12412/task/12429/stat : 12429 (java) S 12408 12412 6207 0 -1 4202560 110 0 0 0 11 3 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252943321256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12430] ppid=12408 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12412/task/12430/stat : 12430 (java) S 12408 12412 6207 0 -1 4202560 59 0 0 0 11 3 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252942269480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12431] ppid=12408 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/12412/task/12431/stat : 12431 (java) S 12408 12412 6207 0 -1 4202560 286 0 0 0 11 2 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252941216680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12433] ppid=12408 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/12412/task/12433/stat : 12433 (java) S 12408 12412 6207 0 -1 4202560 92 0 0 0 8 2 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252940163880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12434] ppid=12408 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12412/task/12434/stat : 12434 (java) S 12408 12412 6207 0 -1 4202560 178 0 0 0 12 2 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252939111080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12443] ppid=12408 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12412/task/12443/stat : 12443 (java) S 12408 12412 6207 0 -1 4202560 64 0 0 0 1 1 0 0 20 0 19 0 5497902 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252926700008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12444] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12444/stat : 12444 (java) S 12408 12412 6207 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252925646072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12446] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12446/stat : 12446 (java) S 12408 12412 6207 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252924593160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12449] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12449/stat : 12449 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252923541648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12451] ppid=12408 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12412/task/12451/stat : 12451 (java) S 12408 12412 6207 0 -1 4202560 3040 0 1 0 24 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252922489784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12453] ppid=12408 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/12412/task/12453/stat : 12453 (java) S 12408 12412 6207 0 -1 4202560 3379 0 1 0 21 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252921436984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12455] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12455/stat : 12455 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252920384376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12457] ppid=12408 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/12412/task/12457/stat : 12457 (java) S 12408 12412 6207 0 -1 4202560 100 0 0 0 24 29 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252919331784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12459] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12459/stat : 12459 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497924 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252918178984 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1723.59
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 1.92 3/213 12591
/proc/meminfo: memFree=30538600/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=9625040 CPUtime=1783.6 cores=1,3,5,7
/proc/12412/stat : 12412 (java) S 12408 12412 6207 0 -1 4202496 11643 0 28 0 178307 53 0 0 20 0 19 0 5497884 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140736018055840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/12412/statm: 2406260 82694 2257 9 0 2396937 0
[pid=12412/tid=12425] ppid=12408 vsize=9625040 CPUtime=1781.66 cores=1,3,5,7
/proc/12412/task/12425/stat : 12425 (java) R 12408 12412 6207 0 -1 4202560 2483 0 7 0 178135 31 0 0 20 0 19 0 5497895 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140253102399184 140252975331440 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0
[pid=12412/tid=12426] ppid=12408 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/12412/task/12426/stat : 12426 (java) S 12408 12412 6207 0 -1 4202560 217 0 0 0 9 3 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252946479656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12412/tid=12427] ppid=12408 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/12412/task/12427/stat : 12427 (java) S 12408 12412 6207 0 -1 4202560 371 0 0 0 14 2 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252945426856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12428] ppid=12408 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/12412/task/12428/stat : 12428 (java) S 12408 12412 6207 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252944374056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12412/tid=12429] ppid=12408 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12412/task/12429/stat : 12429 (java) S 12408 12412 6207 0 -1 4202560 110 0 0 0 11 3 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252943321256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12430] ppid=12408 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12412/task/12430/stat : 12430 (java) S 12408 12412 6207 0 -1 4202560 59 0 0 0 11 3 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252942269480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12431] ppid=12408 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/12412/task/12431/stat : 12431 (java) S 12408 12412 6207 0 -1 4202560 286 0 0 0 11 2 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252941216680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12433] ppid=12408 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/12412/task/12433/stat : 12433 (java) S 12408 12412 6207 0 -1 4202560 92 0 0 0 8 2 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252940163880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12434] ppid=12408 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12412/task/12434/stat : 12434 (java) S 12408 12412 6207 0 -1 4202560 178 0 0 0 12 2 0 0 20 0 19 0 5497898 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252939111080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12443] ppid=12408 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12412/task/12443/stat : 12443 (java) S 12408 12412 6207 0 -1 4202560 64 0 0 0 1 1 0 0 20 0 19 0 5497902 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252926700008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12444] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12444/stat : 12444 (java) S 12408 12412 6207 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252925646072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12446] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12446/stat : 12446 (java) S 12408 12412 6207 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252924593160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12449] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12449/stat : 12449 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252923541648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12451] ppid=12408 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12412/task/12451/stat : 12451 (java) S 12408 12412 6207 0 -1 4202560 3040 0 1 0 24 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252922489784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12453] ppid=12408 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/12412/task/12453/stat : 12453 (java) S 12408 12412 6207 0 -1 4202560 3379 0 1 0 21 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252921436984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12455] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12455/stat : 12455 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252920384376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12457] ppid=12408 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/12412/task/12457/stat : 12457 (java) S 12408 12412 6207 0 -1 4202560 104 0 0 0 26 29 0 0 20 0 19 0 5497910 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252919331784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12459] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12459/stat : 12459 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497924 9856040960 82694 33554432000 1073741824 1073778376 140736018064704 140252918178984 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1783.6
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.61 s]
/proc/loadavg: 2.05 2.06 1.92 3/213 12591
/proc/meminfo: memFree=30505708/32872528 swapFree=337904/354256
[pid=12412] ppid=12408 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/12412/stat : 12412 (java) S 12408 12412 6207 0 -1 4202496 11706 0 28 0 179948 56 0 0 20 0 19 0 5497884 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140736018055840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/12412/statm: 2406260 90886 2257 9 0 2396937 0
[pid=12412/tid=12425] ppid=12408 vsize=9625040 CPUtime=1797.93 cores=1,3,5,7
/proc/12412/task/12425/stat : 12425 (java) R 12408 12412 6207 0 -1 4202560 2484 0 7 0 179762 31 0 0 20 0 19 0 5497895 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140253102406896 140252975331440 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0
[pid=12412/tid=12426] ppid=12408 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12412/task/12426/stat : 12426 (java) S 12408 12412 6207 0 -1 4202560 234 0 0 0 11 3 0 0 20 0 19 0 5497898 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252946479656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12412/tid=12427] ppid=12408 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/12412/task/12427/stat : 12427 (java) S 12408 12412 6207 0 -1 4202560 375 0 0 0 16 3 0 0 20 0 19 0 5497898 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252945426856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12428] ppid=12408 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/12412/task/12428/stat : 12428 (java) S 12408 12412 6207 0 -1 4202560 26 0 0 0 10 1 0 0 20 0 19 0 5497898 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252944374056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12412/tid=12429] ppid=12408 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12412/task/12429/stat : 12429 (java) S 12408 12412 6207 0 -1 4202560 125 0 0 0 14 4 0 0 20 0 19 0 5497898 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252943321256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12430] ppid=12408 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/12412/task/12430/stat : 12430 (java) S 12408 12412 6207 0 -1 4202560 63 0 0 0 12 3 0 0 20 0 19 0 5497898 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252942269480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12431] ppid=12408 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/12412/task/12431/stat : 12431 (java) S 12408 12412 6207 0 -1 4202560 291 0 0 0 12 2 0 0 20 0 19 0 5497898 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252941216680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12433] ppid=12408 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/12412/task/12433/stat : 12433 (java) S 12408 12412 6207 0 -1 4202560 95 0 0 0 10 2 0 0 20 0 19 0 5497898 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252940163880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12434] ppid=12408 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/12412/task/12434/stat : 12434 (java) S 12408 12412 6207 0 -1 4202560 183 0 0 0 13 2 0 0 20 0 19 0 5497898 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252939111080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12412/tid=12443] ppid=12408 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12412/task/12443/stat : 12443 (java) S 12408 12412 6207 0 -1 4202560 66 0 0 0 1 1 0 0 20 0 19 0 5497902 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252926700008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12444] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12444/stat : 12444 (java) S 12408 12412 6207 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252925646072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12446] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12446/stat : 12446 (java) S 12408 12412 6207 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5497903 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252924593160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12449] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12449/stat : 12449 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252923541648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12451] ppid=12408 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/12412/task/12451/stat : 12451 (java) S 12408 12412 6207 0 -1 4202560 3040 0 1 0 24 0 0 0 20 0 19 0 5497910 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252922489784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12453] ppid=12408 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/12412/task/12453/stat : 12453 (java) S 12408 12412 6207 0 -1 4202560 3379 0 1 0 21 0 0 0 20 0 19 0 5497910 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252921436984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12455] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12455/stat : 12455 (java) S 12408 12412 6207 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5497910 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252920384376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12412/tid=12457] ppid=12408 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/12412/task/12457/stat : 12457 (java) S 12408 12412 6207 0 -1 4202560 106 0 0 0 26 30 0 0 20 0 19 0 5497910 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252919331784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12412/tid=12459] ppid=12408 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12412/task/12459/stat : 12459 (java) S 12408 12412 6207 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5497924 9856040960 90886 33554432000 1073741824 1073778376 140736018064704 140252918178984 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 12412 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1798.65
CPU time (s): 1800.46
CPU user time (s): 1799.48
CPU system time (s): 0.977851
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.977851
maximum resident set size= 363700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11752
page faults= 28
swaps= 0
block input operations= 11352
block output operations= 1144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38574
involuntary context switches= 2980

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5444 second user time and 13.47 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-16 01:48:31
IDJOB=4089831
IDBENCH=107462
IDSOLVER=2546
FILE ID=node126/4089831-1466034510
RUNJOBID= node126-1466034510-12393
PBS_JOBID= 19902818
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v081-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089831-1466034510/watcher-4089831-1466034510 -o /tmp/evaluation-result-4089831-1466034510/solver-4089831-1466034510 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466034510-12393 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4089831-1466034510.opb

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

MD5SUM BENCH= 81a826667ee52016133e00717cdeea19
RANDOM SEED=1741891394

node126.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.121
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.24
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.121
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.121
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.121
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.55
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.121
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.121
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.55
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.121
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.121
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:        31436972 kB
Buffers:          103912 kB
Cached:           262712 kB
SwapCached:            0 kB
Active:           120924 kB
Inactive:         255756 kB
Active(anon):       2204 kB
Inactive(anon):    10680 kB
Active(file):     118720 kB
Inactive(file):   245076 kB
Unevictable:      354256 kB
Mlocked:          337904 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               784 kB
Writeback:             0 kB
AnonPages:        364020 kB
Mapped:            12544 kB
Shmem:               204 kB
Slab:             573748 kB
SReclaimable:      18136 kB
SUnreclaim:       555612 kB
KernelStack:        1376 kB
PageTables:         4768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     449700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71740 MiB
End job on node126 at 2016-06-16 02:18:29