Trace number 4084643

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.08 1788.27

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K86.opb
MD5SUMa7a3236cd0071452eec601ea09fe7bbe
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5848
Total number of constraints6022
Number of constraints which are clauses5936
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint86
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 87
Number of bits of the biggest sum of numbers7
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.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4084643-1465284722.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
0.55/0.38	c ... done. Wall clock time 0.266s.
0.55/0.38	c declared #vars     5848
0.55/0.38	c #constraints  6022
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4829
0.55/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 86
0.55/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.55/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1105
0.55/0.38	c 6022 constraints processed.
1.90/1.12	c cleaning 2483 clauses out of 4994 with flag 28510/5000
2.67/1.85	c cleaning 4245 clauses out of 8503 with flag 69673/11001
3.57/2.72	c cleaning 5601 clauses out of 11250 with flag 119384/18000
4.58/3.71	c cleaning 6807 clauses out of 13648 with flag 180035/26000
5.69/4.87	c cleaning 7869 clauses out of 15836 with flag 245170/35000
6.89/6.04	c cleaning 8944 clauses out of 17965 with flag 314303/45000
8.19/7.39	c cleaning 9951 clauses out of 20020 with flag 380633/56000
9.80/8.98	c cleaning 10240 clauses out of 22070 with flag 452832/68001
11.59/10.78	c cleaning 11100 clauses out of 24829 with flag 532651/81001
13.50/12.65	c cleaning 12214 clauses out of 27730 with flag 617861/95002
15.50/14.70	c cleaning 12885 clauses out of 30514 with flag 707625/110000
17.90/17.00	c cleaning 13791 clauses out of 33629 with flag 804594/126000
20.40/19.50	c cleaning 14657 clauses out of 36839 with flag 910698/143001
23.09/22.22	c cleaning 15574 clauses out of 40182 with flag 1022527/161001
25.91/25.08	c cleaning 16545 clauses out of 43609 with flag 1144531/180002
29.01/28.15	c cleaning 17283 clauses out of 47060 with flag 1276957/200000
32.21/31.34	c cleaning 18177 clauses out of 50778 with flag 1413698/221002
35.61/34.73	c cleaning 18974 clauses out of 54599 with flag 1561148/243000
39.21/38.32	c cleaning 20418 clauses out of 58625 with flag 1714626/266000
43.12/42.25	c cleaning 20766 clauses out of 62208 with flag 1873603/290001
47.13/46.25	c cleaning 22224 clauses out of 66443 with flag 2045069/315002
51.53/50.62	c cleaning 22752 clauses out of 70216 with flag 2229402/341000
56.32/55.43	c cleaning 23681 clauses out of 74463 with flag 2434623/368000
61.36/60.45	c cleaning 24519 clauses out of 78782 with flag 2641067/396000
66.56/65.67	c cleaning 25691 clauses out of 83265 with flag 2863883/425003
72.16/71.22	c cleaning 26451 clauses out of 87571 with flag 3083960/455000
78.16/77.23	c cleaning 27590 clauses out of 92122 with flag 3301569/486002
84.46/83.52	c cleaning 28633 clauses out of 96529 with flag 3542410/518000
90.96/90.07	c cleaning 29314 clauses out of 100896 with flag 3797289/551000
98.17/97.22	c cleaning 30301 clauses out of 105582 with flag 4079469/585000
105.38/104.41	c cleaning 31374 clauses out of 110281 with flag 4338925/620000
113.08/112.13	c cleaning 32496 clauses out of 114907 with flag 4628084/656000
121.08/120.18	c cleaning 33257 clauses out of 119412 with flag 4924776/693001
129.48/128.57	c cleaning 34543 clauses out of 124157 with flag 5228456/731003
138.30/137.35	c cleaning 35198 clauses out of 128610 with flag 5529744/770001
147.30/146.40	c cleaning 36106 clauses out of 133411 with flag 5865636/810000
157.01/156.09	c cleaning 37194 clauses out of 138306 with flag 6210238/851001
166.90/165.93	c cleaning 38384 clauses out of 143112 with flag 6564431/893001
177.06/176.03	c cleaning 39386 clauses out of 147727 with flag 6937290/936000
187.96/186.96	c cleaning 40175 clauses out of 152341 with flag 7336799/980000
199.36/198.30	c cleaning 41231 clauses out of 157166 with flag 7755759/1025000
211.29/210.15	c cleaning 42474 clauses out of 161935 with flag 8186015/1071000
223.58/222.44	c cleaning 43271 clauses out of 166465 with flag 8655227/1118004
236.38/235.24	c cleaning 44307 clauses out of 171196 with flag 9118822/1166006
250.10/248.85	c cleaning 45309 clauses out of 175883 with flag 9611527/1215000
264.71/263.45	c cleaning 46277 clauses out of 180574 with flag 10121585/1265000
279.93/278.44	c cleaning 47686 clauses out of 185298 with flag 10680279/1316001
294.73/293.27	c cleaning 48453 clauses out of 189611 with flag 11184893/1368000
310.75/309.12	c cleaning 49314 clauses out of 194159 with flag 11732589/1421001
328.58/326.71	c cleaning 50285 clauses out of 198844 with flag 12371876/1475000
345.08/343.23	c cleaning 51608 clauses out of 203561 with flag 12960993/1530002
362.69/360.60	c cleaning 52585 clauses out of 207951 with flag 13531489/1586000
380.23/378.18	c cleaning 53852 clauses out of 212373 with flag 14133230/1643007
398.03/395.84	c cleaning 54616 clauses out of 216519 with flag 14752757/1701005
417.00/414.78	c cleaning 55467 clauses out of 220898 with flag 15382497/1760000
436.95/434.64	c cleaning 56981 clauses out of 225432 with flag 16128572/1820001
457.42/455.03	c cleaning 57790 clauses out of 229450 with flag 16912749/1881000
478.89/476.41	c cleaning 58829 clauses out of 233661 with flag 17773137/1943001
500.83/498.22	c cleaning 59839 clauses out of 237833 with flag 18476878/2006002
522.61/519.93	c cleaning 60855 clauses out of 241992 with flag 19226916/2070000
545.50/542.76	c cleaning 62050 clauses out of 246138 with flag 19979994/2135001
569.50/566.69	c cleaning 62835 clauses out of 250087 with flag 20744125/2201000
593.83/590.84	c cleaning 63773 clauses out of 254253 with flag 21535857/2268001
618.22/615.19	c cleaning 65027 clauses out of 258479 with flag 22366014/2336000
643.77/640.63	c cleaning 66338 clauses out of 262453 with flag 23303707/2405001
670.10/666.85	c cleaning 66917 clauses out of 266114 with flag 24171830/2475000
697.53/694.12	c cleaning 68158 clauses out of 270197 with flag 25040489/2546000
725.31/721.89	c cleaning 68805 clauses out of 274039 with flag 25897109/2618000
754.76/751.14	c cleaning 70096 clauses out of 278234 with flag 26800075/2691001
784.78/781.09	c cleaning 71310 clauses out of 282138 with flag 27785025/2765001
815.01/811.15	c cleaning 72391 clauses out of 285831 with flag 28719693/2840004
844.98/840.92	c cleaning 73116 clauses out of 289435 with flag 29625967/2916000
876.83/872.69	c cleaning 74589 clauses out of 293320 with flag 30759720/2993001
909.57/905.28	c cleaning 75432 clauses out of 296731 with flag 31782858/3071001
944.15/939.64	c cleaning 76159 clauses out of 300298 with flag 32873156/3150000
978.60/973.91	c cleaning 77268 clauses out of 304139 with flag 33887094/3230000
1015.09/1010.29	c cleaning 78215 clauses out of 307871 with flag 35015388/3311000
1051.46/1046.41	c cleaning 79564 clauses out of 311656 with flag 36135178/3393000
1087.74/1082.55	c cleaning 80168 clauses out of 315092 with flag 37188139/3476000
1124.22/1118.76	c cleaning 81330 clauses out of 318924 with flag 38256448/3560000
1165.56/1159.80	c cleaning 82359 clauses out of 322594 with flag 39490816/3645000
1207.50/1201.54	c cleaning 83707 clauses out of 326236 with flag 40840901/3731001
1245.52/1239.33	c cleaning 84642 clauses out of 329528 with flag 41950675/3818000
1286.92/1280.57	c cleaning 85576 clauses out of 332892 with flag 43241478/3906006
1328.91/1322.13	c cleaning 86508 clauses out of 336311 with flag 44656114/3995001
1372.10/1365.06	c cleaning 87676 clauses out of 339802 with flag 45988893/4085000
1416.91/1409.57	c cleaning 88808 clauses out of 343126 with flag 47510034/4176000
1462.05/1454.20	c cleaning 89798 clauses out of 346318 with flag 48807770/4268000
1511.75/1503.34	c cleaning 90348 clauses out of 349520 with flag 50544360/4361000
1558.21/1549.27	c cleaning 91765 clauses out of 353173 with flag 52155957/4455001
1605.32/1595.78	c cleaning 92431 clauses out of 356408 with flag 53454276/4550001
1654.14/1644.09	c cleaning 93999 clauses out of 359976 with flag 54922708/4646000
1705.07/1694.36	c cleaning 94498 clauses out of 362979 with flag 56466799/4743002
1756.66/1745.35	c cleaning 95919 clauses out of 366480 with flag 58122006/4841001
1800.08/1788.20	c starts		: 42367
1800.08/1788.20	c conflicts		: 4925332
1800.08/1788.20	c decisions		: 67894345
1800.08/1788.20	c propagations		: 1762468137
1800.08/1788.20	c inspects		: 19570753993
1800.08/1788.20	c shortcuts		: 0
1800.08/1788.20	c learnt literals	: 43
1800.08/1788.20	c learnt binary clauses	: 97865
1800.08/1788.20	c learnt ternary clauses	: 105509
1800.08/1788.20	c learnt constraints	: 4925289
1800.08/1788.20	c ignored constraints	: 0
1800.08/1788.20	c root simplifications	: 0
1800.08/1788.20	c removed literals (reason simplification)	: 0
1800.08/1788.20	c reason swapping (by a shorter reason)	: 0
1800.08/1788.20	c Calls to reduceDB	: 94
1800.08/1788.20	c Number of update (reduction) of LBD	: 4348262
1800.08/1788.20	c Imported unit clauses	: 0
1800.08/1788.20	c number of reductions to clauses (during analyze)	: 0
1800.08/1788.20	c number of learned constraints concerned by reduction	: 0
1800.08/1788.20	c number of learning phase by resolution	: 0
1800.08/1788.20	c number of learning phase by cutting planes	: 0
1800.08/1788.20	c timeout
1800.08/1788.20	c speed (assignments/second)	: 985824.0894456465
1800.08/1788.20	c non guided choices	4354
1800.08/1788.26	c learnt constraints type 
1800.08/1788.26	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 97865
1800.08/1788.26	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 257027
1800.08/1788.26	s UNKNOWN
1800.08/1788.26	c Total wall clock time (in seconds): 1788.148

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-4084643-1465284722/watcher-4084643-1465284722 -o /tmp/evaluation-result-4084643-1465284722/solver-4084643-1465284722 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465261709-15102 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084643-1465284722.opb 

pid=19075
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.37 2.28 2.20 4/196 19078
/proc/meminfo: memFree=29746008/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/19078/stat : 19078 (java) R 19075 19078 15085 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 110404284 2560000 43 33554432000 1073741824 1073778376 140736888035936 140735204082840 215115464264 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 625 46 37 9 0 29 0

[startup+0.100061 s]
/proc/loadavg: 2.37 2.28 2.20 4/196 19078
/proc/meminfo: memFree=29746008/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 4390 0 1 0 7 1 0 0 20 0 18 0 110404284 9787879424 6017 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2389619 6017 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200229 s]
/proc/loadavg: 2.37 2.28 2.20 4/196 19078
/proc/meminfo: memFree=29746008/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 4930 0 1 0 26 2 0 0 20 0 18 0 110404284 9787879424 6966 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2389619 6966 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300251 s]
/proc/loadavg: 2.37 2.28 2.20 4/196 19078
/proc/meminfo: memFree=29746008/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 7229 0 1 0 53 2 0 0 20 0 18 0 110404284 9787879424 9806 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2389619 9808 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700271 s]
/proc/loadavg: 2.37 2.28 2.20 4/196 19078
/proc/meminfo: memFree=29746008/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 10700 0 1 0 141 4 0 0 20 0 19 0 110404284 9856040960 16350 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2406260 16350 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9625040

[startup+1.50093 s]
/proc/loadavg: 2.37 2.28 2.20 4/215 19097
/proc/meminfo: memFree=29686380/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9625040 CPUtime=2.34 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 10789 0 1 0 230 4 0 0 20 0 19 0 110404284 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2406260 17381 2267 9 0 2396937 0
[pid=19078/tid=19080] ppid=19075 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/19078/task/19080/stat : 19080 (java) R 19075 19078 15085 0 -1 4202560 2426 0 1 0 144 2 0 0 20 0 19 0 110404285 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129666449088 140129499487629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19081] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19081/stat : 19081 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129627949352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19082] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19082/stat : 19082 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129626896552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19083] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19083/stat : 19083 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129625844264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19084] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19084/stat : 19084 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129624791464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19085] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19085/stat : 19085 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129623739176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19086] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19086/stat : 19086 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129622686376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19087] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19087/stat : 19087 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129621634088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19088] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19088/stat : 19088 (java) S 19075 19078 15085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129620581288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19089] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19089/stat : 19089 (java) S 19075 19078 15085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129490397416 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19090] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19090/stat : 19090 (java) S 19075 19078 15085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129489343480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19091] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19091/stat : 19091 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129488291080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19092] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19092/stat : 19092 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129487239568 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19093] ppid=19075 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/19078/task/19093/stat : 19093 (java) S 19075 19078 15085 0 -1 4202560 3870 0 0 0 44 0 0 0 20 0 19 0 110404290 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129486187192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19094] ppid=19075 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/19078/task/19094/stat : 19094 (java) S 19075 19078 15085 0 -1 4202560 3221 0 0 0 39 0 0 0 20 0 19 0 110404290 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129485134392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19095] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19095/stat : 19095 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140129484082296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19096] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19096/stat : 19096 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140128475409608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19097] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19097/stat : 19097 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404323 9856040960 17381 33554432000 1073741824 1073778376 140736888035936 140128474354600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.37 2.28 2.20 3/215 19097
/proc/meminfo: memFree=29679616/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 10794 0 1 0 394 4 0 0 20 0 19 0 110404284 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2406260 19429 2267 9 0 2396937 0
[pid=19078/tid=19080] ppid=19075 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/19078/task/19080/stat : 19080 (java) R 19075 19078 15085 0 -1 4202560 2431 0 1 0 303 2 0 0 20 0 19 0 110404285 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129666458088 140129499456328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19081] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19081/stat : 19081 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129627949352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19082] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19082/stat : 19082 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129626896552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19083] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19083/stat : 19083 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129625844264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19084] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19084/stat : 19084 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129624791464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19085] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19085/stat : 19085 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129623739176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19086] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19086/stat : 19086 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129622686376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19087] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19087/stat : 19087 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129621634088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19088] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19088/stat : 19088 (java) S 19075 19078 15085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129620581288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19089] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19089/stat : 19089 (java) S 19075 19078 15085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129490397416 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19090] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19090/stat : 19090 (java) S 19075 19078 15085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129489343480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19091] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19091/stat : 19091 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129488291080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19092] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19092/stat : 19092 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129487239568 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19093] ppid=19075 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/19078/task/19093/stat : 19093 (java) S 19075 19078 15085 0 -1 4202560 3870 0 0 0 47 0 0 0 20 0 19 0 110404290 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129486187192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19094] ppid=19075 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/19078/task/19094/stat : 19094 (java) S 19075 19078 15085 0 -1 4202560 3221 0 0 0 41 0 0 0 20 0 19 0 110404290 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129485134392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19095] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19095/stat : 19095 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140129484082296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19096] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19096/stat : 19096 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140128475409608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19097] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19097/stat : 19097 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404323 9856040960 19429 33554432000 1073741824 1073778376 140736888035936 140128474354600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.34 2.27 2.20 3/215 19097
/proc/meminfo: memFree=29667388/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9625040 CPUtime=7.19 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 10803 0 1 0 715 4 0 0 20 0 19 0 110404284 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2406260 22365 2268 9 0 2396937 0
[pid=19078/tid=19080] ppid=19075 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/19078/task/19080/stat : 19080 (java) R 19075 19078 15085 0 -1 4202560 2439 0 1 0 622 2 0 0 20 0 19 0 110404285 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129666449072 140129499487543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19081] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19081/stat : 19081 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129627949352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19082] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19082/stat : 19082 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129626896552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19083] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19083/stat : 19083 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129625844264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19084] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19084/stat : 19084 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129624791464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19085] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19085/stat : 19085 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129623739176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19086] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19086/stat : 19086 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129622686376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19087] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19087/stat : 19087 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129621634088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19088] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19088/stat : 19088 (java) S 19075 19078 15085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110404286 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129620581288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19089] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19089/stat : 19089 (java) S 19075 19078 15085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129490397416 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19090] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19090/stat : 19090 (java) S 19075 19078 15085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129489343480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19091] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19091/stat : 19091 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129488291080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19092] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19092/stat : 19092 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129487239568 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19093] ppid=19075 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/19078/task/19093/stat : 19093 (java) S 19075 19078 15085 0 -1 4202560 3870 0 0 0 47 0 0 0 20 0 19 0 110404290 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129486187192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19094] ppid=19075 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/19078/task/19094/stat : 19094 (java) S 19075 19078 15085 0 -1 4202560 3221 0 0 0 42 0 0 0 20 0 19 0 110404290 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129485134392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19095] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19095/stat : 19095 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140129484082296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19096] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19096/stat : 19096 (java) S 19075 19078 15085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140128475409608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19097] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19097/stat : 19097 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404323 9856040960 22365 33554432000 1073741824 1073778376 140736888035936 140128474354600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 9625040


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

[pid=19078/tid=19097] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19097/stat : 19097 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404323 9856040960 62285 33554432000 1073741824 1073778376 140736888035936 140128474354600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1672.76
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/216 19207
/proc/meminfo: memFree=29459084/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9625040 CPUtime=1733.55 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 18522 0 1 0 173225 130 0 0 20 0 19 0 110404284 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2406260 73866 2290 9 0 2396937 0
[pid=19078/tid=19080] ppid=19075 vsize=9625040 CPUtime=1710.25 cores=1,3,5,7
/proc/19078/task/19080/stat : 19080 (java) R 19075 19078 15085 0 -1 4202560 2679 0 1 0 170995 30 0 0 20 0 19 0 110404285 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129666456864 140129499487712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19081] ppid=19075 vsize=9625040 CPUtime=1.82 cores=1,3,5,7
/proc/19078/task/19081/stat : 19081 (java) S 19075 19078 15085 0 -1 4202560 584 0 0 0 171 11 0 0 20 0 19 0 110404286 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129627949352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19082] ppid=19075 vsize=9625040 CPUtime=1.69 cores=1,3,5,7
/proc/19078/task/19082/stat : 19082 (java) S 19075 19078 15085 0 -1 4202560 765 0 0 0 159 10 0 0 20 0 19 0 110404286 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129626896552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19083] ppid=19075 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/19078/task/19083/stat : 19083 (java) S 19075 19078 15085 0 -1 4202560 1109 0 0 0 176 14 0 0 20 0 19 0 110404286 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129625844264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19084] ppid=19075 vsize=9625040 CPUtime=1.69 cores=1,3,5,7
/proc/19078/task/19084/stat : 19084 (java) S 19075 19078 15085 0 -1 4202560 1045 0 0 0 160 9 0 0 20 0 19 0 110404286 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129624791464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19085] ppid=19075 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/19078/task/19085/stat : 19085 (java) S 19075 19078 15085 0 -1 4202560 1005 0 0 0 162 11 0 0 20 0 19 0 110404286 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129623739176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19086] ppid=19075 vsize=9625040 CPUtime=1.78 cores=1,3,5,7
/proc/19078/task/19086/stat : 19086 (java) S 19075 19078 15085 0 -1 4202560 354 0 0 0 166 12 0 0 20 0 19 0 110404286 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129622686376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19087] ppid=19075 vsize=9625040 CPUtime=1.81 cores=1,3,5,7
/proc/19078/task/19087/stat : 19087 (java) S 19075 19078 15085 0 -1 4202560 1047 0 0 0 169 12 0 0 20 0 19 0 110404286 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129621634088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19088] ppid=19075 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/19078/task/19088/stat : 19088 (java) S 19075 19078 15085 0 -1 4202560 793 0 0 0 164 9 0 0 20 0 19 0 110404286 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129620581288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19089] ppid=19075 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/19078/task/19089/stat : 19089 (java) S 19075 19078 15085 0 -1 4202560 688 0 0 0 339 4 0 0 20 0 19 0 110404287 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129490397416 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19090] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19090/stat : 19090 (java) S 19075 19078 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129489343480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19091] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19091/stat : 19091 (java) S 19075 19078 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129488291080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19092] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19092/stat : 19092 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129487239568 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19093] ppid=19075 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/19078/task/19093/stat : 19093 (java) S 19075 19078 15085 0 -1 4202560 3870 0 0 0 47 0 0 0 20 0 19 0 110404290 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129486187192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19094] ppid=19075 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/19078/task/19094/stat : 19094 (java) S 19075 19078 15085 0 -1 4202560 3225 0 0 0 45 0 0 0 20 0 19 0 110404290 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129485134392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19095] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19095/stat : 19095 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140129484082296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19096] ppid=19075 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/19078/task/19096/stat : 19096 (java) S 19075 19078 15085 0 -1 4202560 100 0 0 0 29 39 0 0 20 0 19 0 110404290 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140128475409608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19097] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19097/stat : 19097 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404323 9856040960 73866 33554432000 1073741824 1073778376 140736888035936 140128474354600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1733.55
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/216 19231
/proc/meminfo: memFree=29501124/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9625040 CPUtime=1794.15 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 19274 0 1 0 179283 132 0 0 20 0 19 0 110404284 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2406260 61665 2290 9 0 2396937 0
[pid=19078/tid=19080] ppid=19075 vsize=9625040 CPUtime=1769.68 cores=1,3,5,7
/proc/19078/task/19080/stat : 19080 (java) R 19075 19078 15085 0 -1 4202560 2699 0 1 0 176937 31 0 0 20 0 19 0 110404285 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129666456864 140129499578703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19081] ppid=19075 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/19078/task/19081/stat : 19081 (java) S 19075 19078 15085 0 -1 4202560 584 0 0 0 179 11 0 0 20 0 19 0 110404286 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129627949352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19082] ppid=19075 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/19078/task/19082/stat : 19082 (java) S 19075 19078 15085 0 -1 4202560 765 0 0 0 173 10 0 0 20 0 19 0 110404286 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129626896552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19083] ppid=19075 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/19078/task/19083/stat : 19083 (java) S 19075 19078 15085 0 -1 4202560 1122 0 0 0 184 15 0 0 20 0 19 0 110404286 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129625844264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19084] ppid=19075 vsize=9625040 CPUtime=1.79 cores=1,3,5,7
/proc/19078/task/19084/stat : 19084 (java) S 19075 19078 15085 0 -1 4202560 1189 0 0 0 169 10 0 0 20 0 19 0 110404286 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129624791464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19085] ppid=19075 vsize=9625040 CPUtime=1.85 cores=1,3,5,7
/proc/19078/task/19085/stat : 19085 (java) S 19075 19078 15085 0 -1 4202560 1224 0 0 0 173 12 0 0 20 0 19 0 110404286 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129623739176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19086] ppid=19075 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/19078/task/19086/stat : 19086 (java) S 19075 19078 15085 0 -1 4202560 354 0 0 0 175 12 0 0 20 0 19 0 110404286 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129622686376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19087] ppid=19075 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/19078/task/19087/stat : 19087 (java) S 19075 19078 15085 0 -1 4202560 1185 0 0 0 180 13 0 0 20 0 19 0 110404286 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129621634088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19088] ppid=19075 vsize=9625040 CPUtime=1.85 cores=1,3,5,7
/proc/19078/task/19088/stat : 19088 (java) S 19075 19078 15085 0 -1 4202560 994 0 0 0 176 9 0 0 20 0 19 0 110404286 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129620581288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19089] ppid=19075 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/19078/task/19089/stat : 19089 (java) S 19075 19078 15085 0 -1 4202560 701 0 0 0 355 4 0 0 20 0 19 0 110404287 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129490397416 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19090] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19090/stat : 19090 (java) S 19075 19078 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129489343480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19091] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19091/stat : 19091 (java) S 19075 19078 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129488291080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19092] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19092/stat : 19092 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129487239568 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19093] ppid=19075 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/19078/task/19093/stat : 19093 (java) S 19075 19078 15085 0 -1 4202560 3870 0 0 0 47 0 0 0 20 0 19 0 110404290 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129486187192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19094] ppid=19075 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/19078/task/19094/stat : 19094 (java) S 19075 19078 15085 0 -1 4202560 3225 0 0 0 45 0 0 0 20 0 19 0 110404290 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129485134392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19095] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19095/stat : 19095 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140129484082296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19096] ppid=19075 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/19078/task/19096/stat : 19096 (java) S 19075 19078 15085 0 -1 4202560 104 0 0 0 30 41 0 0 20 0 19 0 110404290 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140128475409608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19097] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19097/stat : 19097 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404323 9856040960 61665 33554432000 1073741824 1073778376 140736888035936 140128474354600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.15
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.2 s]
/proc/loadavg: 2.26 2.24 2.19 3/216 19231
/proc/meminfo: memFree=29502736/32872528 swapFree=20720/1686580
[pid=19078] ppid=19075 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/19078/stat : 19078 (java) S 19075 19078 15085 0 -1 4202496 19279 0 1 0 179876 132 0 0 20 0 19 0 110404284 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140736888027072 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19078/statm: 2406260 61253 2290 9 0 2396937 0
[pid=19078/tid=19080] ppid=19075 vsize=9625040 CPUtime=1775.55 cores=1,3,5,7
/proc/19078/task/19080/stat : 19080 (java) R 19075 19078 15085 0 -1 4202560 2700 0 1 0 177524 31 0 0 20 0 19 0 110404285 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129666456864 140129499487624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19081] ppid=19075 vsize=9625040 CPUtime=1.91 cores=1,3,5,7
/proc/19078/task/19081/stat : 19081 (java) S 19075 19078 15085 0 -1 4202560 584 0 0 0 180 11 0 0 20 0 19 0 110404286 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129627949352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19082] ppid=19075 vsize=9625040 CPUtime=1.84 cores=1,3,5,7
/proc/19078/task/19082/stat : 19082 (java) S 19075 19078 15085 0 -1 4202560 765 0 0 0 174 10 0 0 20 0 19 0 110404286 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129626896552 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19083] ppid=19075 vsize=9625040 CPUtime=2 cores=1,3,5,7
/proc/19078/task/19083/stat : 19083 (java) S 19075 19078 15085 0 -1 4202560 1126 0 0 0 185 15 0 0 20 0 19 0 110404286 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129625844264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19084] ppid=19075 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/19078/task/19084/stat : 19084 (java) S 19075 19078 15085 0 -1 4202560 1189 0 0 0 170 10 0 0 20 0 19 0 110404286 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129624791464 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19085] ppid=19075 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/19078/task/19085/stat : 19085 (java) S 19075 19078 15085 0 -1 4202560 1224 0 0 0 174 12 0 0 20 0 19 0 110404286 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129623739176 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19086] ppid=19075 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/19078/task/19086/stat : 19086 (java) S 19075 19078 15085 0 -1 4202560 354 0 0 0 175 12 0 0 20 0 19 0 110404286 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129622686376 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19087] ppid=19075 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/19078/task/19087/stat : 19087 (java) S 19075 19078 15085 0 -1 4202560 1185 0 0 0 180 13 0 0 20 0 19 0 110404286 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129621634088 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19088] ppid=19075 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/19078/task/19088/stat : 19088 (java) S 19075 19078 15085 0 -1 4202560 994 0 0 0 177 9 0 0 20 0 19 0 110404286 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129620581288 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19089] ppid=19075 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/19078/task/19089/stat : 19089 (java) S 19075 19078 15085 0 -1 4202560 701 0 0 0 355 4 0 0 20 0 19 0 110404287 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129490397416 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19078/tid=19090] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19090/stat : 19090 (java) S 19075 19078 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129489343480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19091] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19091/stat : 19091 (java) S 19075 19078 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110404287 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129488291080 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19092] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19092/stat : 19092 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129487239568 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19093] ppid=19075 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/19078/task/19093/stat : 19093 (java) S 19075 19078 15085 0 -1 4202560 3870 0 0 0 47 0 0 0 20 0 19 0 110404290 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129486187192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19078/tid=19094] ppid=19075 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/19078/task/19094/stat : 19094 (java) S 19075 19078 15085 0 -1 4202560 3225 0 0 0 45 0 0 0 20 0 19 0 110404290 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129485134392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19095] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19095/stat : 19095 (java) S 19075 19078 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110404290 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140129484082296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19078/tid=19096] ppid=19075 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/19078/task/19096/stat : 19096 (java) S 19075 19078 15085 0 -1 4202560 104 0 0 0 30 41 0 0 20 0 19 0 110404290 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140128475409608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19078/tid=19097] ppid=19075 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19078/task/19097/stat : 19097 (java) S 19075 19078 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110404323 9856040960 61253 33554432000 1073741824 1073778376 140736888035936 140128474354600 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 19078 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 19078 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=369214
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=821723
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1788.27
CPU time (s): 1800.08
CPU user time (s): 1798.76
CPU system time (s): 1.32
CPU usage (%): 100.66
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.37
system time used= 1.82172
maximum resident set size= 580216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19315
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44428
involuntary context switches= 31525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6844 second user time and 13.6409 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-07 09:32:02
IDJOB=4084643
IDBENCH=90132
IDSOLVER=2546
FILE ID=node135/4084643-1465284722
RUNJOBID= node135-1465261709-15102
PBS_JOBID= 19843293
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K86.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084643-1465284722/watcher-4084643-1465284722 -o /tmp/evaluation-result-4084643-1465284722/solver-4084643-1465284722 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465261709-15102 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084643-1465284722.opb

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

MD5SUM BENCH= a7a3236cd0071452eec601ea09fe7bbe
RANDOM SEED=619146000

node135.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		: 2667.026
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	: 5334.05
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		: 2667.026
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		: 2667.026
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		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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.56
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		: 2667.026
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		: 2667.026
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		: 2667.026
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:        29746024 kB
Buffers:          126556 kB
Cached:           229732 kB
SwapCached:         1764 kB
Active:           419100 kB
Inactive:         273792 kB
Active(anon):     337444 kB
Inactive(anon):     1376 kB
Active(file):      81656 kB
Inactive(file):   272416 kB
Unevictable:     1686580 kB
Mlocked:           20720 kB
SwapTotal:      67108856 kB
SwapFree:       67098336 kB
Dirty:              1292 kB
Writeback:             0 kB
AnonPages:       2022508 kB
Mapped:            15508 kB
Shmem:                 0 kB
Slab:             601824 kB
SReclaimable:      45516 kB
SUnreclaim:       556308 kB
KernelStack:        1704 kB
PageTables:         8168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2158172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1986560 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= 71732 MiB
End job on node135 at 2016-06-07 10:01:51