Trace number 4121510

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.54 1798.74

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-78.cnf.gz-extracted.pb.metafix.opb
MD5SUMa80368f57c32c6df7d72699d0639e1c3
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 benchmark0.013997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables313
Total number of constraints312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)312
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 8
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4121510-1467314888.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
0.11/0.16	c ... done. Wall clock time 0.053s.
0.11/0.16	c declared #vars     313
0.11/0.16	c #constraints  312
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 312
0.11/0.16	c 312 constraints processed.
0.62/0.44	c cleaning 2490 clauses out of 5000 with flag 26216/5000
0.93/0.61	c cleaning 4245 clauses out of 8510 with flag 54945/11000
1.13/0.82	c cleaning 5623 clauses out of 11265 with flag 89705/18000
1.35/1.08	c cleaning 6814 clauses out of 13643 with flag 132431/26001
1.66/1.39	c cleaning 7902 clauses out of 15831 with flag 179326/35003
2.06/1.79	c cleaning 8953 clauses out of 17927 with flag 235498/45001
2.57/2.22	c cleaning 9967 clauses out of 19973 with flag 296422/56000
3.06/2.74	c cleaning 10993 clauses out of 22006 with flag 364694/68000
3.56/3.30	c cleaning 11998 clauses out of 24015 with flag 438068/81002
4.26/3.94	c cleaning 13001 clauses out of 26015 with flag 522105/95000
5.06/4.74	c cleaning 13990 clauses out of 28014 with flag 608037/110000
5.87/5.54	c cleaning 14993 clauses out of 30024 with flag 700065/126000
6.97/6.61	c cleaning 16003 clauses out of 32031 with flag 800537/143000
7.96/7.68	c cleaning 17004 clauses out of 34029 with flag 915801/161001
9.17/8.82	c cleaning 17982 clauses out of 36024 with flag 1028452/180000
10.37/10.01	c cleaning 19016 clauses out of 38044 with flag 1146680/200002
11.66/11.39	c cleaning 20004 clauses out of 40027 with flag 1276367/221001
13.06/12.77	c cleaning 20997 clauses out of 42023 with flag 1414536/243001
14.67/14.36	c cleaning 21995 clauses out of 44025 with flag 1557203/266000
16.36/16.07	c cleaning 22994 clauses out of 46030 with flag 1711856/290000
18.26/17.91	c cleaning 24009 clauses out of 48039 with flag 1871219/315003
20.17/19.86	c cleaning 24997 clauses out of 50027 with flag 2038802/341000
22.26/21.98	c cleaning 25998 clauses out of 52032 with flag 2217190/368002
24.46/24.19	c cleaning 27007 clauses out of 54033 with flag 2397313/396001
26.86/26.55	c cleaning 27993 clauses out of 56025 with flag 2590264/425000
29.27/28.99	c cleaning 28997 clauses out of 58032 with flag 2793024/455000
31.97/31.67	c cleaning 30012 clauses out of 60037 with flag 2997085/486002
34.76/34.44	c cleaning 31002 clauses out of 62024 with flag 3205907/518001
37.67/37.38	c cleaning 31999 clauses out of 64023 with flag 3426751/551002
40.76/40.49	c cleaning 32995 clauses out of 66022 with flag 3652984/585000
44.37/44.05	c cleaning 34000 clauses out of 68027 with flag 3882001/620000
47.86/47.55	c cleaning 35002 clauses out of 70027 with flag 4114728/656000
51.57/51.20	c cleaning 36002 clauses out of 72025 with flag 4358242/693000
55.17/54.84	c cleaning 36994 clauses out of 74025 with flag 4599993/731002
59.17/58.83	c cleaning 38002 clauses out of 76029 with flag 4855283/770000
63.37/63.09	c cleaning 39004 clauses out of 78027 with flag 5122441/810000
67.97/67.62	c cleaning 40012 clauses out of 80023 with flag 5397885/851000
72.37/72.06	c cleaning 40999 clauses out of 82011 with flag 5675107/893000
77.17/76.85	c cleaning 41990 clauses out of 84012 with flag 5961808/936000
82.40/82.03	c cleaning 43000 clauses out of 86022 with flag 6245710/980000
87.40/87.09	c cleaning 44002 clauses out of 88023 with flag 6541825/1025001
92.80/92.40	c cleaning 44996 clauses out of 90020 with flag 6825470/1071000
98.40/98.04	c cleaning 46010 clauses out of 92024 with flag 7132551/1118000
104.10/103.77	c cleaning 46994 clauses out of 94014 with flag 7428649/1166000
109.70/109.40	c cleaning 47994 clauses out of 96022 with flag 7734632/1215002
116.20/115.85	c cleaning 48997 clauses out of 98027 with flag 8042645/1265001
122.80/122.44	c cleaning 49992 clauses out of 100029 with flag 8343958/1316000
129.71/129.36	c cleaning 51013 clauses out of 102037 with flag 8651234/1368000
136.51/136.17	c cleaning 52000 clauses out of 104024 with flag 8969440/1421000
144.10/143.79	c cleaning 53003 clauses out of 106024 with flag 9296283/1475000
151.70/151.31	c cleaning 53989 clauses out of 108021 with flag 9626855/1530000
159.60/159.29	c cleaning 54997 clauses out of 110032 with flag 9953010/1586000
167.80/167.46	c cleaning 56006 clauses out of 112038 with flag 10286332/1643003
176.00/175.69	c cleaning 56997 clauses out of 114030 with flag 10630779/1701001
184.70/184.35	c cleaning 58004 clauses out of 116033 with flag 10983362/1760001
194.01/193.66	c cleaning 58995 clauses out of 118028 with flag 11336202/1820000
203.60/203.23	c cleaning 59990 clauses out of 120035 with flag 11688193/1881002
213.20/212.83	c cleaning 61012 clauses out of 122044 with flag 12045327/1943001
222.77/222.36	c cleaning 62003 clauses out of 124031 with flag 12407906/2006000
232.76/232.30	c cleaning 63004 clauses out of 126029 with flag 12777399/2070001
242.57/242.13	c cleaning 64001 clauses out of 128024 with flag 13161877/2135000
253.16/252.73	c cleaning 64999 clauses out of 130026 with flag 13564539/2201003
264.06/263.67	c cleaning 65997 clauses out of 132024 with flag 13943566/2268000
275.38/274.96	c cleaning 67005 clauses out of 134027 with flag 14322962/2336000
287.28/286.89	c cleaning 68002 clauses out of 136023 with flag 14708300/2405001
299.39/298.96	c cleaning 68997 clauses out of 138021 with flag 15094767/2475001
311.49/311.08	c cleaning 70005 clauses out of 140023 with flag 15497379/2546000
324.29/323.81	c cleaning 70995 clauses out of 142019 with flag 15902016/2618001
336.99/336.58	c cleaning 71999 clauses out of 144023 with flag 16301902/2691000
349.78/349.37	c cleaning 73009 clauses out of 146025 with flag 16720932/2765001
363.49/363.10	c cleaning 73994 clauses out of 148016 with flag 17141004/2840001
377.10/376.69	c cleaning 75002 clauses out of 150022 with flag 17573763/2916001
391.28/390.72	c cleaning 76003 clauses out of 152020 with flag 18000558/2993001
405.79/405.29	c cleaning 77007 clauses out of 154017 with flag 18422122/3071001
420.59/420.02	c cleaning 77990 clauses out of 156010 with flag 18861263/3150001
435.68/435.14	c cleaning 79002 clauses out of 158020 with flag 19303678/3230001
450.49/449.99	c cleaning 80000 clauses out of 160018 with flag 19755776/3311001
465.89/465.39	c cleaning 80996 clauses out of 162017 with flag 20210697/3393000
482.09/481.59	c cleaning 81995 clauses out of 164021 with flag 20662866/3476000
499.09/498.50	c cleaning 82991 clauses out of 166028 with flag 21121037/3560002
515.59/515.05	c cleaning 84009 clauses out of 168036 with flag 21584972/3645001
532.39/531.80	c cleaning 84993 clauses out of 170026 with flag 22066141/3731000
549.00/548.49	c cleaning 85992 clauses out of 172033 with flag 22557311/3818000
567.00/566.47	c cleaning 87008 clauses out of 174042 with flag 23059713/3906001
585.44/584.88	c cleaning 88002 clauses out of 176034 with flag 23554565/3995001
603.13/602.55	c cleaning 88999 clauses out of 178031 with flag 24053625/4085000
622.84/622.20	c cleaning 90003 clauses out of 180033 with flag 24548136/4176001
641.65/641.09	c cleaning 91001 clauses out of 182030 with flag 25055542/4268001
661.46/660.84	c cleaning 92004 clauses out of 184029 with flag 25562858/4361001
681.85/681.29	c cleaning 92994 clauses out of 186024 with flag 26093942/4455000
702.65/702.08	c cleaning 94009 clauses out of 188031 with flag 26618062/4550001
723.37/722.75	c cleaning 94997 clauses out of 190023 with flag 27175396/4646002
744.67/744.05	c cleaning 95996 clauses out of 192025 with flag 27711071/4743001
767.48/766.81	c cleaning 96998 clauses out of 194030 with flag 28239868/4841002
790.05/789.31	c cleaning 98005 clauses out of 196032 with flag 28768360/4940002
813.35/812.69	c cleaning 98997 clauses out of 198026 with flag 29295496/5040001
837.05/836.33	c cleaning 99996 clauses out of 200028 with flag 29832866/5141000
860.84/860.12	c cleaning 101002 clauses out of 202034 with flag 30381119/5243002
885.16/884.48	c cleaning 102004 clauses out of 204031 with flag 30925866/5346001
910.26/909.54	c cleaning 102996 clauses out of 206026 with flag 31490324/5450000
934.57/933.84	c cleaning 104016 clauses out of 208031 with flag 32052451/5555001
960.76/960.01	c cleaning 104995 clauses out of 210016 with flag 32634957/5661002
986.66/985.98	c cleaning 105994 clauses out of 212019 with flag 33201498/5768000
1013.18/1012.33	c cleaning 107006 clauses out of 214025 with flag 33767660/5876000
1039.89/1039.08	c cleaning 107991 clauses out of 216019 with flag 34349530/5985000
1066.69/1065.82	c cleaning 109000 clauses out of 218029 with flag 34941140/6095001
1093.59/1092.70	c cleaning 110005 clauses out of 220029 with flag 35530940/6206001
1122.40/1121.53	c cleaning 111002 clauses out of 222025 with flag 36116009/6318002
1150.20/1149.39	c cleaning 111997 clauses out of 224022 with flag 36710463/6431001
1180.40/1179.51	c cleaning 113002 clauses out of 226024 with flag 37315017/6545000
1210.52/1209.66	c cleaning 114002 clauses out of 228023 with flag 37914884/6660001
1242.22/1241.34	c cleaning 114998 clauses out of 230020 with flag 38526803/6776000
1273.82/1272.85	c cleaning 116002 clauses out of 232023 with flag 39133565/6893001
1305.21/1304.29	c cleaning 117001 clauses out of 234023 with flag 39772633/7011003
1336.62/1335.66	c cleaning 117995 clauses out of 236019 with flag 40423137/7130000
1368.71/1367.71	c cleaning 119007 clauses out of 238024 with flag 41057536/7250000
1402.72/1401.77	c cleaning 119998 clauses out of 240017 with flag 41682061/7371000
1438.04/1437.00	c cleaning 120999 clauses out of 242019 with flag 42309362/7493000
1472.74/1471.75	c cleaning 121994 clauses out of 244020 with flag 42946634/7616000
1507.12/1505.93	c cleaning 123008 clauses out of 246026 with flag 43624604/7740000
1540.81/1539.68	c cleaning 123997 clauses out of 248018 with flag 44291050/7865000
1571.01/1569.87	c cleaning 124999 clauses out of 250021 with flag 44995246/7991000
1608.50/1607.32	c cleaning 125998 clauses out of 252022 with flag 45677967/8118000
1645.31/1644.12	c cleaning 126998 clauses out of 254024 with flag 46362356/8246000
1681.12/1679.91	c cleaning 128000 clauses out of 256026 with flag 47055431/8375000
1718.52/1717.35	c cleaning 128996 clauses out of 258027 with flag 47764355/8505001
1756.75/1755.40	c cleaning 129998 clauses out of 260030 with flag 48487854/8636000
1792.46/1791.16	c cleaning 131004 clauses out of 262033 with flag 49209097/8768001
1800.07/1798.70	c starts		: 18523
1800.07/1798.70	c conflicts		: 8805911
1800.07/1798.70	c decisions		: 12855210
1800.07/1798.70	c propagations		: 158623803
1800.07/1798.70	c inspects		: 39744238186
1800.07/1798.70	c shortcuts		: 0
1800.07/1798.70	c learnt literals	: 0
1800.07/1798.70	c learnt binary clauses	: 0
1800.07/1798.70	c learnt ternary clauses	: 0
1800.07/1798.70	c learnt constraints	: 8805911
1800.07/1798.70	c ignored constraints	: 0
1800.07/1798.70	c root simplifications	: 0
1800.07/1798.70	c removed literals (reason simplification)	: 0
1800.07/1798.70	c reason swapping (by a shorter reason)	: 0
1800.07/1798.70	c timeout
1800.07/1798.70	c Calls to reduceDB	: 128
1800.07/1798.70	c Number of update (reduction) of LBD	: 2789980
1800.07/1798.70	c Imported unit clauses	: 0
1800.07/1798.70	c number of reductions to clauses (during analyze)	: 0
1800.07/1798.70	c number of learned constraints concerned by reduction	: 0
1800.07/1798.70	c number of learning phase by resolution	: 0
1800.07/1798.70	c number of learning phase by cutting planes	: 0
1800.07/1798.70	c speed (assignments/second)	: 88195.62646472565
1800.07/1798.70	c non guided choices	68581
1800.07/1798.73	c learnt constraints type 
1800.07/1798.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 168939
1800.07/1798.73	s UNKNOWN
1800.07/1798.73	c Total wall clock time (in seconds): 1798.628

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-4121510-1467314888/watcher-4121510-1467314888 -o /tmp/evaluation-result-4121510-1467314888/solver-4121510-1467314888 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467310468-23888 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4121510-1467314888.opb 

pid=25424
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.20 2.20 3/194 25427
/proc/meminfo: memFree=28419968/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 10513003 98570240 978 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 24065 978 743 9 0 16771 0
[pid=25427/tid=25428] ppid=25424 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 10513003 98570240 978 33554432000 1073741824 1073778376 140735434808704 139967029644840 270707541376 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.19 2.20 2.20 3/194 25427
/proc/meminfo: memFree=28419968/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 4475 0 1 0 10 1 0 0 20 0 18 0 10513003 9787879424 6109 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2389619 6109 2157 9 0 2380296 0
[pid=25427/tid=25428] ppid=25424 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2377 0 1 0 7 0 0 0 20 0 18 0 10513003 9787879424 6109 33554432000 1073741824 1073778376 140735434808704 139967029649752 270710924557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200285 s]
/proc/loadavg: 2.19 2.20 2.20 3/194 25427
/proc/meminfo: memFree=28419968/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 6014 0 1 0 28 1 0 0 20 0 19 0 10513003 9856040960 7711 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2406260 7711 2228 9 0 2396937 0
[pid=25427/tid=25428] ppid=25424 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2404 0 1 0 17 0 0 0 20 0 19 0 10513003 9856040960 7711 33554432000 1073741824 1073778376 140735434808704 139967029650048 139966894161029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040

[startup+0.300316 s]
/proc/loadavg: 2.19 2.20 2.20 3/194 25427
/proc/meminfo: memFree=28419968/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 6450 0 1 0 50 1 0 0 20 0 19 0 10513003 9856040960 7904 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2406260 7904 2244 9 0 2396937 0
[pid=25427/tid=25428] ppid=25424 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2404 0 1 0 27 0 0 0 20 0 19 0 10513003 9856040960 7904 33554432000 1073741824 1073778376 140735434808704 139967029650048 139966894110112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040

[startup+0.700253 s]
/proc/loadavg: 2.19 2.20 2.20 3/194 25427
/proc/meminfo: memFree=28419968/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 8068 0 1 0 102 1 0 0 20 0 19 0 10513003 9856040960 9195 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2406260 9195 2254 9 0 2396937 0
[pid=25427/tid=25428] ppid=25424 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2405 0 1 0 67 0 0 0 20 0 19 0 10513003 9856040960 9195 33554432000 1073741824 1073778376 140735434808704 139967029649880 139966894560562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.26 2.21 2.21 4/213 25446
/proc/meminfo: memFree=28389352/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 8078 0 1 0 184 2 0 0 20 0 19 0 10513003 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2406260 10226 2256 9 0 2396937 0
[pid=25427/tid=25428] ppid=25424 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2408 0 1 0 146 1 0 0 20 0 19 0 10513003 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139967029649880 139966894525915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25430] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25424 25427 14900 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139967018711720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25431] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139967017659176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25432] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139967016606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25433] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139967015554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25434] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139967014500520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25435] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139967013447976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25436] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966866471336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25437] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25424 25427 14900 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966865418792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25438] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25424 25427 14900 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966853220968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25439] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25424 25427 14900 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966852167288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25440] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25424 25427 14900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966851114632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25441] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513007 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966850063376 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25442] ppid=25424 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25424 25427 14900 0 -1 4202560 3074 0 0 0 20 0 0 0 20 0 19 0 10513008 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966849009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25443] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25424 25427 14900 0 -1 4202560 1322 0 0 0 14 0 0 0 20 0 19 0 10513008 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966847957176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25444] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513008 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966846904824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25445] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513008 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966845852488 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25446] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25424 25427 14900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10513019 9856040960 10226 33554432000 1073741824 1073778376 140735434808704 139966844798248 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.26 2.21 2.21 4/213 25446
/proc/meminfo: memFree=28385008/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 8081 0 1 0 344 2 0 0 20 0 19 0 10513003 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2406260 11250 2256 9 0 2396937 0
[pid=25427/tid=25428] ppid=25424 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2411 0 1 0 306 1 0 0 20 0 19 0 10513003 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139967029640864 139966894493855 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25430] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25424 25427 14900 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139967018711720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25431] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139967017659176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25432] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139967016606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25433] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139967015554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25434] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139967014500520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25435] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139967013447976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25436] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966866471336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25437] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25424 25427 14900 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966865418792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25438] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25424 25427 14900 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966853220968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25439] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25424 25427 14900 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966852167288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25440] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25424 25427 14900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966851114632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25441] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513007 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966850063376 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25442] ppid=25424 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25424 25427 14900 0 -1 4202560 3074 0 0 0 20 0 0 0 20 0 19 0 10513008 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966849009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25443] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25424 25427 14900 0 -1 4202560 1322 0 0 0 14 0 0 0 20 0 19 0 10513008 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966847957176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25444] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513008 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966846904824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25445] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513008 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966845852488 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25446] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25424 25427 14900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10513019 9856040960 11250 33554432000 1073741824 1073778376 140735434808704 139966844798248 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.26 2.21 2.21 3/213 25446
/proc/meminfo: memFree=28372916/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9625040 CPUtime=6.66 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 8087 0 1 0 664 2 0 0 20 0 19 0 10513003 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2406260 13174 2257 9 0 2396937 0
[pid=25427/tid=25428] ppid=25424 vsize=9625040 CPUtime=6.28 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2416 0 1 0 626 2 0 0 20 0 19 0 10513003 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139967029640864 139966894534215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25430] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25424 25427 14900 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139967018711720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25431] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139967017659176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25432] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139967016606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25433] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139967015554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25434] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139967014500520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25435] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139967013447976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25436] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139966866471336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25437] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25424 25427 14900 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10513004 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139966865418792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25438] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25424 25427 14900 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139966853220968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25439] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25424 25427 14900 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139966852167288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25440] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25424 25427 14900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139966851114632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25441] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513007 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139966850063376 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25442] ppid=25424 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25424 25427 14900 0 -1 4202560 3074 0 0 0 20 0 0 0 20 0 19 0 10513008 9856040960 13174 33554432000 1073741824 1073778376 140735434808704 139966849009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25443] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7

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

[pid=25427/tid=25439] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25424 25427 14900 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 72214 33554432000 1073741824 1073778376 140735434808704 139966852167288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25440] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25424 25427 14900 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 72214 33554432000 1073741824 1073778376 140735434808704 139966851114632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25441] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513007 9856040960 72214 33554432000 1073741824 1073778376 140735434808704 139966850063376 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25442] ppid=25424 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25424 25427 14900 0 -1 4202560 3125 0 0 0 23 0 0 0 20 0 19 0 10513008 9856040960 72214 33554432000 1073741824 1073778376 140735434808704 139966849009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25443] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25424 25427 14900 0 -1 4202560 1322 0 0 0 14 0 0 0 20 0 19 0 10513008 9856040960 72214 33554432000 1073741824 1073778376 140735434808704 139966847957176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25444] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513008 9856040960 72214 33554432000 1073741824 1073778376 140735434808704 139966846904824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25445] ppid=25424 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25424 25427 14900 0 -1 4202560 100 0 0 0 23 26 0 0 20 0 19 0 10513008 9856040960 72214 33554432000 1073741824 1073778376 140735434808704 139966845852488 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25446] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25424 25427 14900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10513019 9856040960 72214 33554432000 1073741824 1073778376 140735434808704 139966844798248 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1723.65
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/213 25554
/proc/meminfo: memFree=27968828/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9625040 CPUtime=1783.66 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 9672 0 1 0 178325 41 0 0 20 0 19 0 10513003 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2406260 72665 2272 9 0 2396937 0
[pid=25427/tid=25428] ppid=25424 vsize=9625040 CPUtime=1782.01 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2481 0 1 0 178170 31 0 0 20 0 19 0 10513003 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967029640960 139966894525765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25430] ppid=25424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25424 25427 14900 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967018711720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25431] ppid=25424 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25424 25427 14900 0 -1 4202560 179 0 0 0 9 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967017659176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25432] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25424 25427 14900 0 -1 4202560 231 0 0 0 12 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967016606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25433] ppid=25424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25424 25427 14900 0 -1 4202560 73 0 0 0 10 0 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967015554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25434] ppid=25424 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25424 25427 14900 0 -1 4202560 180 0 0 0 10 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967014500520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25435] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25424 25427 14900 0 -1 4202560 167 0 0 0 12 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967013447976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25436] ppid=25424 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25424 25427 14900 0 -1 4202560 213 0 0 0 9 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966866471336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25437] ppid=25424 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25424 25427 14900 0 -1 4202560 246 0 0 0 9 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966865418792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25438] ppid=25424 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25424 25427 14900 0 -1 4202560 58 0 0 0 0 1 0 0 20 0 19 0 10513005 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966853220968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25439] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25424 25427 14900 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966852167288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25440] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25424 25427 14900 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966851114632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25441] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513007 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966850063376 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25442] ppid=25424 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25424 25427 14900 0 -1 4202560 3125 0 0 0 23 0 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966849009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25443] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25424 25427 14900 0 -1 4202560 1322 0 0 0 14 0 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966847957176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25444] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966846904824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25445] ppid=25424 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25424 25427 14900 0 -1 4202560 104 0 0 0 23 28 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966845852488 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25446] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25424 25427 14900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10513019 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966844798248 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1783.66
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.7 s]
/proc/loadavg: 2.29 2.24 2.19 3/213 25684
/proc/meminfo: memFree=28133380/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 9672 0 1 0 179965 42 0 0 20 0 19 0 10513003 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2406260 72665 2272 9 0 2396937 0
[pid=25427/tid=25428] ppid=25424 vsize=9625040 CPUtime=1798.4 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2481 0 1 0 179809 31 0 0 20 0 19 0 10513003 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967029640960 139966894473607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25430] ppid=25424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25424 25427 14900 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967018711720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25431] ppid=25424 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25424 25427 14900 0 -1 4202560 179 0 0 0 9 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967017659176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25432] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25424 25427 14900 0 -1 4202560 231 0 0 0 12 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967016606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25433] ppid=25424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25424 25427 14900 0 -1 4202560 73 0 0 0 10 0 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967015554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25434] ppid=25424 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25424 25427 14900 0 -1 4202560 180 0 0 0 10 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967014500520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25435] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25424 25427 14900 0 -1 4202560 167 0 0 0 12 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967013447976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25436] ppid=25424 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25424 25427 14900 0 -1 4202560 213 0 0 0 9 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966866471336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25437] ppid=25424 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25424 25427 14900 0 -1 4202560 246 0 0 0 9 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966865418792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25438] ppid=25424 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25424 25427 14900 0 -1 4202560 58 0 0 0 0 1 0 0 20 0 19 0 10513005 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966853220968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25439] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25424 25427 14900 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966852167288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25440] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25424 25427 14900 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966851114632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25441] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513007 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966850063376 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25442] ppid=25424 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25424 25427 14900 0 -1 4202560 3125 0 0 0 23 0 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966849009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25443] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25424 25427 14900 0 -1 4202560 1322 0 0 0 14 0 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966847957176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25444] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966846904824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25445] ppid=25424 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25424 25427 14900 0 -1 4202560 104 0 0 0 23 28 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966845852488 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25446] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25424 25427 14900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10513019 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966844798248 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 25427 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.7 s]
/proc/loadavg: 2.29 2.24 2.19 3/213 25684
/proc/meminfo: memFree=28133380/32872528 swapFree=1526624/1696276
[pid=25427] ppid=25424 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25424 25427 14900 0 -1 4202496 9672 0 1 0 179965 42 0 0 20 0 19 0 10513003 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 140735434799840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25427/statm: 2406260 72665 2272 9 0 2396937 0
[pid=25427/tid=25428] ppid=25424 vsize=9625040 CPUtime=1798.4 cores=1,3,5,7
/proc/25427/task/25428/stat : 25428 (java) R 25424 25427 14900 0 -1 4202560 2481 0 1 0 179809 31 0 0 20 0 19 0 10513003 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967029640960 139966894473607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25430] ppid=25424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25424 25427 14900 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967018711720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25431] ppid=25424 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25424 25427 14900 0 -1 4202560 179 0 0 0 9 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967017659176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25432] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25424 25427 14900 0 -1 4202560 231 0 0 0 12 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967016606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25433] ppid=25424 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25424 25427 14900 0 -1 4202560 73 0 0 0 10 0 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967015554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25434] ppid=25424 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25424 25427 14900 0 -1 4202560 180 0 0 0 10 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967014500520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25435] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25424 25427 14900 0 -1 4202560 167 0 0 0 12 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139967013447976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25436] ppid=25424 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25424 25427 14900 0 -1 4202560 213 0 0 0 9 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966866471336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25427/tid=25437] ppid=25424 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25424 25427 14900 0 -1 4202560 246 0 0 0 9 2 0 0 20 0 19 0 10513004 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966865418792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25438] ppid=25424 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25424 25427 14900 0 -1 4202560 58 0 0 0 0 1 0 0 20 0 19 0 10513005 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966853220968 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25439] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25424 25427 14900 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966852167288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25440] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25424 25427 14900 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10513005 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966851114632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25441] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513007 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966850063376 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25442] ppid=25424 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25424 25427 14900 0 -1 4202560 3125 0 0 0 23 0 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966849009720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25427/tid=25443] ppid=25424 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25424 25427 14900 0 -1 4202560 1322 0 0 0 14 0 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966847957176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25444] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25424 25427 14900 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966846904824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25427/tid=25445] ppid=25424 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25424 25427 14900 0 -1 4202560 104 0 0 0 23 28 0 0 20 0 19 0 10513008 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966845852488 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25427/tid=25446] ppid=25424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25424 25427 14900 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10513019 9856040960 72665 33554432000 1073741824 1073778376 140735434808704 139966844798248 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1798.74
CPU time (s): 1800.54
CPU user time (s): 1799.68
CPU system time (s): 0.861868
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.861868
maximum resident set size= 290812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9717
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38213
involuntary context switches= 3064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8202 second user time and 11.8572 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-30 21:28:08
IDJOB=4121510
IDBENCH=110512
IDSOLVER=2546
FILE ID=node125/4121510-1467314888
RUNJOBID= node125-1467310468-23888
PBS_JOBID= 20005253
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-78.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121510-1467314888/watcher-4121510-1467314888 -o /tmp/evaluation-result-4121510-1467314888/solver-4121510-1467314888 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467310468-23888 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4121510-1467314888.opb

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

MD5SUM BENCH= a80368f57c32c6df7d72699d0639e1c3
RANDOM SEED=1427627445

node125.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.282
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.56
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.282
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.282
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.56
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.282
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.282
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.282
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.282
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.282
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28420248 kB
Buffers:          143356 kB
Cached:          1801336 kB
SwapCached:            0 kB
Active:           325200 kB
Inactive:        1687120 kB
Active(anon):      70436 kB
Inactive(anon):        0 kB
Active(file):     254764 kB
Inactive(file):  1687120 kB
Unevictable:     1696276 kB
Mlocked:         1526624 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1656 kB
Writeback:             0 kB
AnonPages:       1778616 kB
Mapped:            21456 kB
Shmem:               204 kB
Slab:             611260 kB
SReclaimable:      54716 kB
SUnreclaim:       556544 kB
KernelStack:        1760 kB
PageTables:         7864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2389640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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 node125 at 2016-06-30 21:58:07