Trace number 4116502

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 Res+CP PB16? (TO) 1800.18 896.261

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-0.opb
MD5SUMb7b9217d010417b82bed1348dbdaf6d8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark98.568
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8672
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
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.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.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	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.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	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.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4116502-1466953218.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  no objective function found
0.99/0.51	c ... done. Wall clock time 0.385s.
0.99/0.51	c declared #vars     4128
0.99/0.51	c #constraints  9920
0.99/0.52	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.99/0.52	c constraints type 
0.99/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.99/0.52	c org.sat4j.specs.Constr$1 => 872
0.99/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.99/0.52	c org.sat4j.minisat.constraints.cnf.UnitClause => 472
0.99/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.99/0.52	c 9920 constraints processed.
0.99/0.52	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.99/0.52	c constraints type 
0.99/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.99/0.52	c org.sat4j.specs.Constr$1 => 872
0.99/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6726
0.99/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1722
0.99/0.52	c org.sat4j.pb.constraints.pb.UnitClausePB => 472
0.99/0.52	c 9920 constraints processed.
4.47/1.46	c cleaning 2492 clauses out of 4999 with flag 15356/5000
6.11/2.12	c cleaning 4243 clauses out of 8507 with flag 36998/11001
7.71/2.88	c cleaning 5627 clauses out of 11263 with flag 64447/18000
9.55/3.78	c cleaning 6811 clauses out of 13636 with flag 96376/26000
11.84/4.80	c cleaning 7891 clauses out of 15825 with flag 136660/35000
14.04/5.96	c cleaning 8943 clauses out of 17934 with flag 184079/45000
16.92/7.34	c cleaning 9977 clauses out of 19995 with flag 235988/56004
20.13/8.92	c cleaning 10970 clauses out of 22015 with flag 294096/68001
23.60/10.63	c cleaning 12012 clauses out of 24044 with flag 360191/81000
27.30/12.40	c cleaning 13009 clauses out of 26032 with flag 431542/95000
31.26/14.36	c cleaning 13999 clauses out of 28024 with flag 511786/110001
35.65/16.53	c cleaning 15008 clauses out of 30025 with flag 599296/126001
40.78/19.02	c cleaning 16001 clauses out of 32016 with flag 694507/143000
44.38/20.90	c cleaning 0 clauses out of 5000 with flag 0/5000
46.02/21.58	c cleaning 16985 clauses out of 34015 with flag 795730/161000
51.63/24.33	c cleaning 18003 clauses out of 36030 with flag 901333/180000
57.94/27.49	c cleaning 18995 clauses out of 38027 with flag 1015584/200000
64.35/30.65	c cleaning 19999 clauses out of 40032 with flag 1137666/221000
71.68/34.22	c cleaning 21004 clauses out of 42034 with flag 1263192/243001
79.47/38.10	c cleaning 21987 clauses out of 44029 with flag 1399140/266000
87.76/42.26	c cleaning 22988 clauses out of 46043 with flag 1541845/290001
95.97/46.34	c cleaning 23998 clauses out of 48055 with flag 1688973/315001
104.89/50.72	c cleaning 25020 clauses out of 50056 with flag 1845182/341000
114.07/55.39	c cleaning 25984 clauses out of 52036 with flag 2005339/368000
124.37/60.43	c cleaning 27002 clauses out of 54052 with flag 2174888/396000
134.77/65.62	c cleaning 28009 clauses out of 56050 with flag 2352225/425000
146.46/71.50	c cleaning 28958 clauses out of 58041 with flag 2534552/455000
159.16/77.75	c cleaning 30018 clauses out of 60083 with flag 2724069/486000
172.23/84.29	c cleaning 31029 clauses out of 62065 with flag 2918230/518000
186.02/91.19	c cleaning 32007 clauses out of 64036 with flag 3117987/551000
199.90/98.01	c cleaning 33002 clauses out of 66030 with flag 3327096/585001
214.14/105.17	c cleaning 33992 clauses out of 68028 with flag 3548594/620001
229.79/113.00	c cleaning 34984 clauses out of 70035 with flag 3771324/656000
245.73/120.88	c cleaning 36000 clauses out of 72051 with flag 4000162/693000
262.80/129.74	c cleaning 37022 clauses out of 74051 with flag 4236809/731000
278.26/137.40	c cleaning 0 clauses out of 11000 with flag 0/11000
279.46/138.02	c cleaning 37986 clauses out of 76029 with flag 4483382/770000
297.31/146.93	c cleaning 39015 clauses out of 78043 with flag 4736012/810000
316.17/156.31	c cleaning 39997 clauses out of 80030 with flag 4996202/851002
335.46/165.91	c cleaning 40978 clauses out of 82031 with flag 5261801/893000
355.59/175.97	c cleaning 42008 clauses out of 84053 with flag 5531893/936000
378.25/187.15	c cleaning 42995 clauses out of 86045 with flag 5808111/980000
400.36/198.12	c cleaning 44001 clauses out of 88050 with flag 6097016/1025000
423.88/209.82	c cleaning 45009 clauses out of 90049 with flag 6384325/1071000
447.22/221.43	c cleaning 45993 clauses out of 92040 with flag 6683368/1118000
472.92/234.22	c cleaning 47010 clauses out of 94048 with flag 6988354/1166001
498.08/246.79	c cleaning 47992 clauses out of 96037 with flag 7298344/1215000
525.33/260.33	c cleaning 49012 clauses out of 98045 with flag 7616407/1265000
554.09/274.61	c cleaning 50003 clauses out of 100033 with flag 7940136/1316000
581.99/288.57	c cleaning 50965 clauses out of 102031 with flag 8268430/1368001
611.12/303.06	c cleaning 52020 clauses out of 104066 with flag 8604761/1421001
642.48/319.24	c cleaning 53013 clauses out of 106045 with flag 8946467/1475000
672.73/334.39	c cleaning 54003 clauses out of 108032 with flag 9296543/1530000
704.09/349.95	c cleaning 55006 clauses out of 110029 with flag 9656785/1586000
737.70/366.68	c cleaning 55971 clauses out of 112025 with flag 10020293/1643002
772.67/384.08	c cleaning 56991 clauses out of 114052 with flag 10388162/1701000
807.95/401.60	c cleaning 58011 clauses out of 116061 with flag 10759492/1760000
846.70/420.73	c cleaning 58995 clauses out of 118053 with flag 11144651/1820003
886.08/440.21	c cleaning 59999 clauses out of 120055 with flag 11532103/1881000
925.78/459.91	c cleaning 61003 clauses out of 122057 with flag 11928493/1943001
966.00/480.00	c cleaning 62026 clauses out of 124055 with flag 12333639/2006002
993.23/493.40	c cleaning 0 clauses out of 18001 with flag 0/18001
1007.44/500.56	c cleaning 62992 clauses out of 126027 with flag 12738584/2070000
1050.44/521.90	c cleaning 63993 clauses out of 128037 with flag 13155557/2135002
1097.47/545.37	c cleaning 65007 clauses out of 130042 with flag 13574667/2201000
1142.04/567.52	c cleaning 65976 clauses out of 132035 with flag 14007086/2268000
1187.95/590.39	c cleaning 67004 clauses out of 134060 with flag 14442948/2336001
1236.81/614.61	c cleaning 67997 clauses out of 136055 with flag 14885136/2405000
1284.13/639.09	c cleaning 68985 clauses out of 138058 with flag 15332849/2475000
1327.19/660.54	c cleaning 70012 clauses out of 140073 with flag 15786249/2546000
1368.79/681.37	c cleaning 71001 clauses out of 142062 with flag 16250536/2618001
1411.47/702.68	c cleaning 72012 clauses out of 144060 with flag 16719900/2691000
1458.14/725.98	c cleaning 72966 clauses out of 146048 with flag 17194103/2765000
1508.63/751.17	c cleaning 74012 clauses out of 148082 with flag 17674503/2840000
1560.82/777.10	c cleaning 74977 clauses out of 150070 with flag 18159570/2916000
1618.41/805.73	c cleaning 76039 clauses out of 152093 with flag 18656461/2993000
1677.07/834.89	c cleaning 76984 clauses out of 154055 with flag 19155016/3071001
1736.61/864.42	c cleaning 78020 clauses out of 156070 with flag 19663486/3150000
1790.99/891.61	c cleaning 78999 clauses out of 158050 with flag 20177913/3230000
1800.18/896.20	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.18/896.20	c starts		: 27632
1800.18/896.20	c conflicts		: 3247613
1800.18/896.20	c decisions		: 33860523
1800.18/896.20	c propagations		: 455550390
1800.18/896.20	c inspects		: 9387392787
1800.18/896.20	c shortcuts		: 0
1800.18/896.20	c learnt literals	: 2
1800.18/896.20	c learnt binary clauses	: 40
1800.18/896.20	c learnt ternary clauses	: 611
1800.18/896.20	c learnt constraints	: 3247611
1800.18/896.20	c ignored constraints	: 0
1800.18/896.20	c root simplifications	: 0
1800.18/896.20	c removed literals (reason simplification)	: 2087300
1800.18/896.20	c reason swapping (by a shorter reason)	: 0
1800.18/896.20	c Calls to reduceDB	: 76
1800.18/896.20	c Number of update (reduction) of LBD	: 681733
1800.18/896.20	c Imported unit clauses	: 0
1800.18/896.20	c number of reductions to clauses (during analyze)	: 0
1800.18/896.20	c number of learned constraints concerned by reduction	: 0
1800.18/896.20	c number of learning phase by resolution	: 0
1800.18/896.20	c number of learning phase by cutting planes	: 0
1800.18/896.20	c speed (assignments/second)	: 508611.25966449885
1800.18/896.20	c non guided choices	7756
1800.18/896.23	c learnt constraints type 
1800.18/896.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 40
1800.18/896.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 96624
1800.18/896.23	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.18/896.23	c starts		: 45
1800.18/896.23	c conflicts		: 20854
1800.18/896.23	c decisions		: 69737
1800.18/896.23	c propagations		: 2526492
1800.18/896.23	c inspects		: 744916534
1800.18/896.23	c shortcuts		: 0
1800.18/896.23	c learnt literals	: 0
1800.18/896.23	c learnt binary clauses	: 0
1800.18/896.23	c learnt ternary clauses	: 0
1800.18/896.23	c learnt constraints	: 20853
1800.18/896.23	c ignored constraints	: 0
1800.18/896.23	c root simplifications	: 0
1800.18/896.23	c removed literals (reason simplification)	: 0
1800.18/896.23	c reason swapping (by a shorter reason)	: 0
1800.18/896.23	c Calls to reduceDB	: 3
1800.18/896.23	c Number of update (reduction) of LBD	: 0
1800.18/896.23	c Imported unit clauses	: 0
1800.18/896.23	c number of reductions to clauses (during analyze)	: 0
1800.18/896.23	c number of learned constraints concerned by reduction	: 0
1800.18/896.23	c number of learning phase by resolution	: 0
1800.18/896.23	c number of learning phase by cutting planes	: 0
1800.18/896.23	c speed (assignments/second)	: 2820.677366630048
1800.18/896.23	c non guided choices	285
1800.18/896.24	c learnt constraints type 
1800.18/896.24	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7
1800.18/896.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 20846
1800.18/896.24	s UNKNOWN
1800.18/896.24	c Total wall clock time (in seconds): 896.112

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-4116502-1466953218/watcher-4116502-1466953218 -o /tmp/evaluation-result-4116502-1466953218/solver-4116502-1466953218 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466939767-20069 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116502-1466953218.opb 

pid=23455
running on 4 cores: 0,2,4,6

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: 4.19 4.17 4.17 4/198 23458
/proc/meminfo: memFree=27828996/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/23458/stat : 23458 (java) D 23455 23458 20053 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 28361324 9515008 183 33554432000 1073741824 1073778376 140733910943232 140733910934264 213866331829 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2323 183 140 9 0 71 0

[startup+0.100115 s]
/proc/loadavg: 4.19 4.17 4.17 4/198 23458
/proc/meminfo: memFree=27828996/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/23458/stat : 23458 (java) S 23455 23458 20053 0 -1 4202496 4376 0 1 0 8 1 0 0 20 0 18 0 28361324 9787879424 5500 33554432000 1073741824 1073778376 140734407227968 140734407219104 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2389619 5500 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200273 s]
/proc/loadavg: 4.19 4.17 4.17 4/198 23458
/proc/meminfo: memFree=27828996/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/23458/stat : 23458 (java) S 23455 23458 20053 0 -1 4202496 4652 0 1 0 22 1 0 0 20 0 18 0 28361324 9787879424 6756 33554432000 1073741824 1073778376 140734407227968 140734407219104 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2389619 6756 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300279 s]
/proc/loadavg: 4.19 4.17 4.17 4/198 23458
/proc/meminfo: memFree=27828996/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/23458/stat : 23458 (java) S 23455 23458 20053 0 -1 4202496 5823 0 1 0 46 1 0 0 20 0 18 0 28361324 9787879424 8403 33554432000 1073741824 1073778376 140734407227968 140734407219104 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2389619 8403 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700176 s]
/proc/loadavg: 4.19 4.17 4.17 4/198 23458
/proc/meminfo: memFree=27828996/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/23458/stat : 23458 (java) S 23455 23458 20053 0 -1 4202496 15243 0 1 0 172 4 0 0 20 0 22 0 28361324 10060525568 22853 33554432000 1073741824 1073778376 140734407227968 140734407219104 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2456183 22853 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.19 4.17 4.17 7/220 23480
/proc/meminfo: memFree=27702532/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9824732 CPUtime=4.73 cores=0,2,4,6
/proc/23458/stat : 23458 (java) S 23455 23458 20053 0 -1 4202496 21727 0 1 0 466 7 0 0 20 0 22 0 28361324 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 140734407219104 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2456183 47672 2292 9 0 2446860 0
[pid=23458/tid=23460] ppid=23455 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/23458/task/23460/stat : 23460 (java) S 23455 23458 20053 0 -1 4202560 2434 0 1 0 46 2 0 0 20 0 22 0 28361325 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139953065845624 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23461] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23461/stat : 23461 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361326 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139953054907176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23462] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23462/stat : 23462 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361326 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952907827880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23463] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23463/stat : 23463 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361326 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952906775592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23464] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23464/stat : 23464 (java) S 23455 23458 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28361326 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952905722792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23465] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23465/stat : 23465 (java) S 23455 23458 20053 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28361326 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952904669480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23466] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23466/stat : 23466 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361326 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952903616680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23467] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23467/stat : 23467 (java) S 23455 23458 20053 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28361326 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952902564392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23468] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23468/stat : 23468 (java) S 23455 23458 20053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28361326 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952901511592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23469] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23469/stat : 23469 (java) S 23455 23458 20053 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952889314024 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23470] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23470/stat : 23470 (java) S 23455 23458 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952888260088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23471] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23471/stat : 23471 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952887207688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23472] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23472/stat : 23472 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952886156176 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23473] ppid=23455 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/23458/task/23473/stat : 23473 (java) S 23455 23458 20053 0 -1 4202560 10717 0 0 0 109 2 0 0 20 0 22 0 28361331 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952885102776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23474] ppid=23455 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/23458/task/23474/stat : 23474 (java) S 23455 23458 20053 0 -1 4202560 7100 0 0 0 113 2 0 0 20 0 22 0 28361331 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952884049976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23475] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23475/stat : 23475 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952882997880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23476] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23476/stat : 23476 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952881945288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23477] ppid=23455 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/23458/task/23477/stat : 23477 (java) R 23455 23458 20053 0 -1 4202560 18 0 0 0 93 0 0 0 20 0 22 0 28361376 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952880881952 139952936210536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23478] ppid=23455 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/23458/task/23478/stat : 23478 (java) R 23455 23458 20053 0 -1 4202560 80 0 0 0 92 2 0 0 20 0 22 0 28361376 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952879837144 139952935931128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23479] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23479/stat : 23479 (java) S 23455 23458 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952878786216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23480] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23480/stat : 23480 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 47672 33554432000 1073741824 1073778376 140734407227968 139952877733416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 4.19 4.17 4.17 5/220 23480
/proc/meminfo: memFree=27562144/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9824732 CPUtime=8.35 cores=0,2,4,6
/proc/23458/stat : 23458 (java) S 23455 23458 20053 0 -1 4202496 22057 0 1 0 820 15 0 0 20 0 22 0 28361324 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 140734407219104 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2456183 91364 2292 9 0 2446860 0
[pid=23458/tid=23460] ppid=23455 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/23458/task/23460/stat : 23460 (java) S 23455 23458 20053 0 -1 4202560 2434 0 1 0 46 2 0 0 20 0 22 0 28361325 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139953065845624 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23461] ppid=23455 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/23458/task/23461/stat : 23461 (java) S 23455 23458 20053 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 22 0 28361326 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139953054907176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23462] ppid=23455 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/23458/task/23462/stat : 23462 (java) S 23455 23458 20053 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 28361326 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952907827880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23463] ppid=23455 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/23458/task/23463/stat : 23463 (java) S 23455 23458 20053 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 28361326 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952906775592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23464] ppid=23455 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/23458/task/23464/stat : 23464 (java) S 23455 23458 20053 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 28361326 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952905722792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23465] ppid=23455 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23458/task/23465/stat : 23465 (java) S 23455 23458 20053 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 28361326 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952904669480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23466] ppid=23455 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23458/task/23466/stat : 23466 (java) S 23455 23458 20053 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 22 0 28361326 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952903616680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23467] ppid=23455 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/23458/task/23467/stat : 23467 (java) S 23455 23458 20053 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 28361326 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952902564392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23468] ppid=23455 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23458/task/23468/stat : 23468 (java) S 23455 23458 20053 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 22 0 28361326 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952901511592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23469] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23469/stat : 23469 (java) S 23455 23458 20053 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952889314024 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23470] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23470/stat : 23470 (java) S 23455 23458 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952888260088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23471] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23471/stat : 23471 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952887207688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23472] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23472/stat : 23472 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952886156176 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23473] ppid=23455 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/23458/task/23473/stat : 23473 (java) S 23455 23458 20053 0 -1 4202560 10717 0 0 0 124 2 0 0 20 0 22 0 28361331 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952885102776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23474] ppid=23455 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/23458/task/23474/stat : 23474 (java) S 23455 23458 20053 0 -1 4202560 7100 0 0 0 133 2 0 0 20 0 22 0 28361331 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952884049976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23475] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23475/stat : 23475 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952882997880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23476] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23476/stat : 23476 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952881945288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23477] ppid=23455 vsize=9824732 CPUtime=2.44 cores=0,2,4,6
/proc/23458/task/23477/stat : 23477 (java) R 23455 23458 20053 0 -1 4202560 18 0 0 0 244 0 0 0 20 0 22 0 28361376 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952880888752 139952936108994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23478] ppid=23455 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/23458/task/23478/stat : 23478 (java) R 23455 23458 20053 0 -1 4202560 142 0 0 0 243 3 0 0 20 0 22 0 28361376 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952879836848 139952935930450 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23479] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23479/stat : 23479 (java) S 23455 23458 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952878786216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23480] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23480/stat : 23480 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 91364 33554432000 1073741824 1073778376 140734407227968 139952877733416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 9824732

[startup+6.30095 s]
/proc/loadavg: 4.17 4.17 4.17 5/220 23480
/proc/meminfo: memFree=27212460/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9824732 CPUtime=14.92 cores=0,2,4,6
/proc/23458/stat : 23458 (java) S 23455 23458 20053 0 -1 4202496 22625 0 1 0 1466 26 0 0 20 0 22 0 28361324 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 140734407219104 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2456183 164092 2292 9 0 2446860 0
[pid=23458/tid=23460] ppid=23455 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/23458/task/23460/stat : 23460 (java) S 23455 23458 20053 0 -1 4202560 2434 0 1 0 46 2 0 0 20 0 22 0 28361325 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139953065845624 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23461] ppid=23455 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23458/task/23461/stat : 23461 (java) S 23455 23458 20053 0 -1 4202560 40 0 0 0 3 0 0 0 20 0 22 0 28361326 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139953054907176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23462] ppid=23455 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23458/task/23462/stat : 23462 (java) S 23455 23458 20053 0 -1 4202560 53 0 0 0 6 2 0 0 20 0 22 0 28361326 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952907827880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23463] ppid=23455 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23458/task/23463/stat : 23463 (java) S 23455 23458 20053 0 -1 4202560 45 0 0 0 5 3 0 0 20 0 22 0 28361326 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952906775592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23464] ppid=23455 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23458/task/23464/stat : 23464 (java) S 23455 23458 20053 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 22 0 28361326 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952905722792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23465] ppid=23455 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/23458/task/23465/stat : 23465 (java) S 23455 23458 20053 0 -1 4202560 77 0 0 0 8 1 0 0 20 0 22 0 28361326 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952904669480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23466] ppid=23455 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23458/task/23466/stat : 23466 (java) S 23455 23458 20053 0 -1 4202560 48 0 0 0 4 1 0 0 20 0 22 0 28361326 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952903616680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23467] ppid=23455 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23458/task/23467/stat : 23467 (java) S 23455 23458 20053 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 22 0 28361326 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952902564392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23468] ppid=23455 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23458/task/23468/stat : 23468 (java) S 23455 23458 20053 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 28361326 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952901511592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23469] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23469/stat : 23469 (java) S 23455 23458 20053 0 -1 4202560 465 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952889314024 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23470] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23470/stat : 23470 (java) S 23455 23458 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952888260088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23471] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23471/stat : 23471 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952887207688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23472] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23472/stat : 23472 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 164092 33554432000 1073741824 1073778376 140734407227968 139952886156176 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23473] ppid=23455 vsize=9824732 CPUtime=1.26 cores=0,2,4,6

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

/proc/23458/task/23463/stat : 23463 (java) S 23455 23458 20053 0 -1 4202560 598 0 0 0 231 20 0 0 20 0 22 0 28361326 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952906775592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23464] ppid=23455 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/23458/task/23464/stat : 23464 (java) S 23455 23458 20053 0 -1 4202560 616 0 0 0 220 15 0 0 20 0 22 0 28361326 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952905722792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23465] ppid=23455 vsize=9824732 CPUtime=2.64 cores=0,2,4,6
/proc/23458/task/23465/stat : 23465 (java) S 23455 23458 20053 0 -1 4202560 588 0 0 0 248 16 0 0 20 0 22 0 28361326 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952904669480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23466] ppid=23455 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/23458/task/23466/stat : 23466 (java) S 23455 23458 20053 0 -1 4202560 523 0 0 0 229 16 0 0 20 0 22 0 28361326 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952903616680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23467] ppid=23455 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/23458/task/23467/stat : 23467 (java) S 23455 23458 20053 0 -1 4202560 657 0 0 0 213 16 0 0 20 0 22 0 28361326 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952902564392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23468] ppid=23455 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/23458/task/23468/stat : 23468 (java) S 23455 23458 20053 0 -1 4202560 598 0 0 0 232 19 0 0 20 0 22 0 28361326 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952901511592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23469] ppid=23455 vsize=9824732 CPUtime=3.96 cores=0,2,4,6
/proc/23458/task/23469/stat : 23469 (java) S 23455 23458 20053 0 -1 4202560 2456 0 0 0 389 7 0 0 20 0 22 0 28361328 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952889314024 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23470] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23470/stat : 23470 (java) S 23455 23458 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952888260088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23471] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23471/stat : 23471 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952887207688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23472] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23472/stat : 23472 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952886156176 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23473] ppid=23455 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/23458/task/23473/stat : 23473 (java) S 23455 23458 20053 0 -1 4202560 10728 0 0 0 134 2 0 0 20 0 22 0 28361331 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952885102776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23474] ppid=23455 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/23458/task/23474/stat : 23474 (java) S 23455 23458 20053 0 -1 4202560 8170 0 0 0 171 2 0 0 20 0 22 0 28361331 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952884049976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23475] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23475/stat : 23475 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952882997880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23476] ppid=23455 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/23458/task/23476/stat : 23476 (java) S 23455 23458 20053 0 -1 4202560 47 0 0 0 12 16 0 0 20 0 22 0 28361331 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952881945288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23477] ppid=23455 vsize=9824732 CPUtime=810.41 cores=0,2,4,6
/proc/23458/task/23477/stat : 23477 (java) R 23455 23458 20053 0 -1 4202560 50 0 0 0 81028 13 0 0 20 0 22 0 28361376 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952880889696 139952936109576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23478] ppid=23455 vsize=9824732 CPUtime=810.43 cores=0,2,4,6
/proc/23458/task/23478/stat : 23478 (java) R 23455 23458 20053 0 -1 4202560 2102 0 0 0 80992 51 0 0 20 0 22 0 28361376 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952879837968 139952936331075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23479] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23479/stat : 23479 (java) S 23455 23458 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952878786216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23480] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23480/stat : 23480 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 906993 33554432000 1073741824 1073778376 140734407227968 139952877733416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1651.89
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.49 4.24 4.20 5/219 23592
/proc/meminfo: memFree=24006200/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9824732 CPUtime=1772.41 cores=0,2,4,6
/proc/23458/stat : 23458 (java) S 23455 23458 20053 0 -1 4202496 32128 0 1 0 177041 200 0 0 20 0 22 0 28361324 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 140734407219104 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2456183 920813 2301 9 0 2446860 0
[pid=23458/tid=23460] ppid=23455 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/23458/task/23460/stat : 23460 (java) S 23455 23458 20053 0 -1 4202560 2441 0 1 0 49 3 0 0 20 0 22 0 28361325 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139953065845624 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23461] ppid=23455 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/23458/task/23461/stat : 23461 (java) S 23455 23458 20053 0 -1 4202560 661 0 0 0 199 13 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139953054907176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23462] ppid=23455 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/23458/task/23462/stat : 23462 (java) S 23455 23458 20053 0 -1 4202560 576 0 0 0 237 18 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952907827880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23463] ppid=23455 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/23458/task/23463/stat : 23463 (java) S 23455 23458 20053 0 -1 4202560 602 0 0 0 249 20 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952906775592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23464] ppid=23455 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/23458/task/23464/stat : 23464 (java) S 23455 23458 20053 0 -1 4202560 619 0 0 0 227 16 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952905722792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23465] ppid=23455 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/23458/task/23465/stat : 23465 (java) S 23455 23458 20053 0 -1 4202560 599 0 0 0 263 17 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952904669480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23466] ppid=23455 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/23458/task/23466/stat : 23466 (java) S 23455 23458 20053 0 -1 4202560 533 0 0 0 249 16 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952903616680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23467] ppid=23455 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/23458/task/23467/stat : 23467 (java) S 23455 23458 20053 0 -1 4202560 670 0 0 0 229 17 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952902564392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23468] ppid=23455 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/23458/task/23468/stat : 23468 (java) S 23455 23458 20053 0 -1 4202560 599 0 0 0 239 19 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952901511592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23469] ppid=23455 vsize=9824732 CPUtime=3.96 cores=0,2,4,6
/proc/23458/task/23469/stat : 23469 (java) S 23455 23458 20053 0 -1 4202560 2458 0 0 0 389 7 0 0 20 0 22 0 28361328 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952889314024 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23470] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23470/stat : 23470 (java) S 23455 23458 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952888260088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23471] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23471/stat : 23471 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952887207688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23472] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23472/stat : 23472 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952886156176 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23473] ppid=23455 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/23458/task/23473/stat : 23473 (java) S 23455 23458 20053 0 -1 4202560 10728 0 0 0 134 2 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952885102776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23474] ppid=23455 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/23458/task/23474/stat : 23474 (java) S 23455 23458 20053 0 -1 4202560 8170 0 0 0 171 2 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952884049976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23475] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23475/stat : 23475 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952882997880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23476] ppid=23455 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/23458/task/23476/stat : 23476 (java) S 23455 23458 20053 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952881945288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23477] ppid=23455 vsize=9824732 CPUtime=869.94 cores=0,2,4,6
/proc/23458/task/23477/stat : 23477 (java) R 23455 23458 20053 0 -1 4202560 50 0 0 0 86980 14 0 0 20 0 22 0 28361376 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952880882032 139952936201969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23478] ppid=23455 vsize=9824732 CPUtime=869.97 cores=0,2,4,6
/proc/23458/task/23478/stat : 23478 (java) R 23455 23458 20053 0 -1 4202560 2104 0 0 0 86945 52 0 0 20 0 22 0 28361376 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952879836832 139952936301182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23479] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23479/stat : 23479 (java) S 23455 23458 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952878786216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23480] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23480/stat : 23480 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952877733416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1772.41
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.201 s]
/proc/loadavg: 4.45 4.24 4.20 5/219 23592
/proc/meminfo: memFree=24006080/32872528 swapFree=681168/738400
[pid=23458] ppid=23455 vsize=9824732 CPUtime=1800.18 cores=0,2,4,6
/proc/23458/stat : 23458 (java) S 23455 23458 20053 0 -1 4202496 32128 0 1 0 179818 200 0 0 20 0 22 0 28361324 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 140734407219104 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23458/statm: 2456183 920813 2301 9 0 2446860 0
[pid=23458/tid=23460] ppid=23455 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/23458/task/23460/stat : 23460 (java) S 23455 23458 20053 0 -1 4202560 2441 0 1 0 49 3 0 0 20 0 22 0 28361325 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139953065845624 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23461] ppid=23455 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/23458/task/23461/stat : 23461 (java) S 23455 23458 20053 0 -1 4202560 661 0 0 0 199 13 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139953054907176 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23462] ppid=23455 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/23458/task/23462/stat : 23462 (java) S 23455 23458 20053 0 -1 4202560 576 0 0 0 237 18 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952907827880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23463] ppid=23455 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/23458/task/23463/stat : 23463 (java) S 23455 23458 20053 0 -1 4202560 602 0 0 0 249 20 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952906775592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23464] ppid=23455 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/23458/task/23464/stat : 23464 (java) S 23455 23458 20053 0 -1 4202560 619 0 0 0 227 16 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952905722792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23465] ppid=23455 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/23458/task/23465/stat : 23465 (java) S 23455 23458 20053 0 -1 4202560 599 0 0 0 263 17 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952904669480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23466] ppid=23455 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/23458/task/23466/stat : 23466 (java) S 23455 23458 20053 0 -1 4202560 533 0 0 0 249 16 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952903616680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23467] ppid=23455 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/23458/task/23467/stat : 23467 (java) S 23455 23458 20053 0 -1 4202560 670 0 0 0 229 17 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952902564392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23468] ppid=23455 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/23458/task/23468/stat : 23468 (java) S 23455 23458 20053 0 -1 4202560 599 0 0 0 239 19 0 0 20 0 22 0 28361326 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952901511592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23469] ppid=23455 vsize=9824732 CPUtime=3.96 cores=0,2,4,6
/proc/23458/task/23469/stat : 23469 (java) S 23455 23458 20053 0 -1 4202560 2458 0 0 0 389 7 0 0 20 0 22 0 28361328 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952889314024 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23470] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23470/stat : 23470 (java) S 23455 23458 20053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952888260088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23471] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23471/stat : 23471 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361328 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952887207688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23472] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23472/stat : 23472 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952886156176 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23473] ppid=23455 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/23458/task/23473/stat : 23473 (java) S 23455 23458 20053 0 -1 4202560 10728 0 0 0 134 2 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952885102776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23474] ppid=23455 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/23458/task/23474/stat : 23474 (java) S 23455 23458 20053 0 -1 4202560 8170 0 0 0 171 2 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952884049976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23475] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23475/stat : 23475 (java) S 23455 23458 20053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952882997880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23458/tid=23476] ppid=23455 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/23458/task/23476/stat : 23476 (java) S 23455 23458 20053 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 28361331 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952881945288 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23477] ppid=23455 vsize=9824732 CPUtime=883.78 cores=0,2,4,6
/proc/23458/task/23477/stat : 23477 (java) R 23455 23458 20053 0 -1 4202560 50 0 0 0 88364 14 0 0 20 0 22 0 28361376 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952880882032 139952935930445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23458/tid=23478] ppid=23455 vsize=9824732 CPUtime=883.82 cores=0,2,4,6
/proc/23458/task/23478/stat : 23478 (java) R 23455 23458 20053 0 -1 4202560 2104 0 0 0 88330 52 0 0 20 0 22 0 28361376 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952879836832 139952936695052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23458/tid=23479] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23479/stat : 23479 (java) S 23455 23458 20053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952878786216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23458/tid=23480] ppid=23455 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23458/task/23480/stat : 23480 (java) S 23455 23458 20053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28361377 10060525568 920813 33554432000 1073741824 1073778376 140734407227968 139952877733416 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 9824732

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 23458 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23458 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=670320
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=502619
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 896.261
CPU time (s): 1800.18
CPU user time (s): 1798.18
CPU system time (s): 2
CPU usage (%): 200.854
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 2.50262
maximum resident set size= 3683368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32163
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23784
involuntary context switches= 29304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61315 second user time and 7.40487 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-26 17:00:18
IDJOB=4116502
IDBENCH=109478
IDSOLVER=2543
FILE ID=node112/4116502-1466953218
RUNJOBID= node112-1466939767-20069
PBS_JOBID= 19976335
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-0.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116502-1466953218/watcher-4116502-1466953218 -o /tmp/evaluation-result-4116502-1466953218/solver-4116502-1466953218 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466939767-20069 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4116502-1466953218.opb

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

MD5SUM BENCH= b7b9217d010417b82bed1348dbdaf6d8
RANDOM SEED=1366533321

node112.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.959
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.91
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.959
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.959
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.959
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.959
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.959
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.959
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.959
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:        27829152 kB
Buffers:           20988 kB
Cached:           151476 kB
SwapCached:         1700 kB
Active:          3430728 kB
Inactive:         149256 kB
Active(anon):    3407232 kB
Inactive(anon):     2540 kB
Active(file):      23496 kB
Inactive(file):   146716 kB
Unevictable:      738400 kB
Mlocked:          681168 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              1248 kB
Writeback:             0 kB
AnonPages:       4241592 kB
Mapped:            15448 kB
Shmem:                 0 kB
Slab:             565788 kB
SReclaimable:       9548 kB
SUnreclaim:       556240 kB
KernelStack:        1816 kB
PageTables:        11984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4429408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3495936 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= 71688 MiB
End job on node112 at 2016-06-26 17:15:14