Trace number 4084917

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.03 1797.27

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-netdiversion.opb
MD5SUM2c0dd2737108318b86d3c4c102584cdd
Bench CategoryOPT-BIGINT-LIN (optimisation, big 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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables129180
Total number of constraints119589
Number of constraints which are clauses39992
Number of constraints which are cardinality constraints (but not clauses)49601
Number of constraints which are nor clauses,nor cardinality constraints29996
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 39798
Biggest coefficient in the objective function 99999
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 20118516
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 99999
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 20118516
Number of bits of the biggest sum of numbers25
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.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4084917-1465280933.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
20.93/19.10	c ... done. Wall clock time 18.983s.
20.93/19.10	c declared #vars     129180
20.93/19.10	c #constraints  139589
20.93/19.10	c constraints type 
20.93/19.10	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 39588
20.93/19.10	c org.sat4j.minisat.constraints.card.MinWatchCard => 99595
20.93/19.10	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 406
20.93/19.10	c 139589 constraints processed.
20.93/19.10	c objective function length is 39798 literals
25.84/23.61	c cleaning 2367 clauses out of 5001 with flag 27964/5001
31.84/29.52	c cleaning 4174 clauses out of 8636 with flag 113373/11003
34.14/31.87	c cleaning 5653 clauses out of 11460 with flag 191185/18001
35.76/33.43	c cleaning 6823 clauses out of 13806 with flag 270019/26000
37.70/35.39	c cleaning 7929 clauses out of 15984 with flag 355451/35001
39.80/37.45	c cleaning 8825 clauses out of 18055 with flag 449093/45001
43.49/41.16	c cleaning 10080 clauses out of 20230 with flag 579521/56001
45.99/43.67	c cleaning 11064 clauses out of 22149 with flag 697022/68000
48.48/46.14	c cleaning 11683 clauses out of 24086 with flag 821378/81001
54.89/52.60	c cleaning 12757 clauses out of 26402 with flag 1003544/95000
58.69/56.31	c cleaning 13922 clauses out of 28646 with flag 1169633/110001
61.68/59.30	c cleaning 15197 clauses out of 30724 with flag 1329605/126001
66.08/63.72	c cleaning 16169 clauses out of 32526 with flag 1495480/143000
69.38/67.06	c cleaning 16791 clauses out of 34357 with flag 1653868/161000
75.88/73.56	c cleaning 17840 clauses out of 36567 with flag 1877827/180001
79.58/77.24	c cleaning 19192 clauses out of 38727 with flag 2070636/200001
84.18/81.82	c cleaning 19810 clauses out of 40534 with flag 2264247/221000
88.68/86.35	c cleaning 20747 clauses out of 42727 with flag 2431809/243003
92.77/90.47	c cleaning 22169 clauses out of 44978 with flag 2640652/266001
98.28/96.00	c cleaning 22976 clauses out of 46809 with flag 2852310/290001
107.17/104.88	c cleaning 24375 clauses out of 48832 with flag 3111832/315000
114.98/112.69	c cleaning 24594 clauses out of 50457 with flag 3361993/341000
120.68/118.36	c cleaning 25887 clauses out of 52863 with flag 3605072/368000
129.58/127.25	c cleaning 27143 clauses out of 54976 with flag 3918925/396000
135.49/133.13	c cleaning 28238 clauses out of 56835 with flag 4175464/425002
141.68/139.35	c cleaning 28677 clauses out of 58595 with flag 4397066/455000
150.18/147.81	c cleaning 29747 clauses out of 60919 with flag 4698084/486001
161.18/158.81	c cleaning 31449 clauses out of 63171 with flag 5014689/518000
170.69/168.40	c cleaning 31747 clauses out of 64723 with flag 5291203/551001
181.99/179.68	c cleaning 33333 clauses out of 66975 with flag 5607495/585000
190.29/187.98	c cleaning 33842 clauses out of 68643 with flag 5879983/620001
199.30/196.91	c cleaning 35173 clauses out of 70802 with flag 6156393/656002
209.21/206.86	c cleaning 36196 clauses out of 72630 with flag 6443413/693003
216.60/214.26	c cleaning 36680 clauses out of 74433 with flag 6692492/731002
229.01/226.68	c cleaning 38363 clauses out of 76751 with flag 7004951/770000
238.91/236.51	c cleaning 38601 clauses out of 78389 with flag 7314364/810001
250.62/248.29	c cleaning 39373 clauses out of 80787 with flag 7648205/851000
261.42/259.01	c cleaning 40687 clauses out of 83415 with flag 7943454/893001
274.12/271.71	c cleaning 41817 clauses out of 85727 with flag 8260534/936000
283.12/280.74	c cleaning 42546 clauses out of 87911 with flag 8537164/980001
295.03/292.63	c cleaning 43789 clauses out of 90366 with flag 8854031/1025002
307.72/305.38	c cleaning 44153 clauses out of 92575 with flag 9173309/1071000
320.83/318.41	c cleaning 45256 clauses out of 95422 with flag 9542999/1118000
334.24/331.88	c cleaning 46689 clauses out of 98165 with flag 9908502/1166000
350.15/347.77	c cleaning 47056 clauses out of 100480 with flag 10292878/1215004
361.45/359.06	c cleaning 48345 clauses out of 103420 with flag 10645764/1265000
379.96/377.54	c cleaning 49264 clauses out of 106079 with flag 11079345/1316004
396.56/394.18	c cleaning 50409 clauses out of 108814 with flag 11491098/1368003
410.57/408.18	c cleaning 51888 clauses out of 111403 with flag 11886347/1421002
429.58/427.12	c cleaning 52328 clauses out of 113514 with flag 12366839/1475001
446.58/444.15	c cleaning 53048 clauses out of 116185 with flag 12798252/1530001
458.78/456.37	c cleaning 54935 clauses out of 119138 with flag 13183476/1586002
478.99/476.58	c cleaning 54378 clauses out of 121201 with flag 13678627/1643000
498.80/496.30	c cleaning 56310 clauses out of 124823 with flag 14189407/1701000
515.80/513.37	c cleaning 57667 clauses out of 127513 with flag 14660215/1760000
535.01/532.56	c cleaning 57988 clauses out of 129848 with flag 15102260/1820002
548.41/545.94	c cleaning 59489 clauses out of 132860 with flag 15494268/1881002
567.41/564.90	c cleaning 60394 clauses out of 135369 with flag 15967814/1943000
586.41/583.91	c cleaning 60702 clauses out of 137975 with flag 16467517/2006000
602.82/600.38	c cleaning 61973 clauses out of 141273 with flag 16946335/2070000
620.23/617.74	c cleaning 62395 clauses out of 144301 with flag 17447236/2135001
636.16/633.63	c cleaning 64570 clauses out of 147905 with flag 17894980/2201000
659.15/656.62	c cleaning 64779 clauses out of 150335 with flag 18444229/2268000
678.07/675.52	c cleaning 65512 clauses out of 153561 with flag 18992365/2336005
697.77/695.29	c cleaning 67101 clauses out of 157045 with flag 19556957/2405001
716.47/713.95	c cleaning 68093 clauses out of 159943 with flag 20075318/2475000
742.37/739.85	c cleaning 68927 clauses out of 162850 with flag 20684459/2546000
763.37/760.90	c cleaning 70061 clauses out of 165923 with flag 21210590/2618000
781.37/778.83	c cleaning 71345 clauses out of 168865 with flag 21714852/2691003
801.29/798.77	c cleaning 71394 clauses out of 171517 with flag 22257812/2765000
825.98/823.42	c cleaning 73235 clauses out of 175124 with flag 22841766/2840001
849.29/846.79	c cleaning 73641 clauses out of 177889 with flag 23381957/2916001
867.39/864.82	c cleaning 75856 clauses out of 181248 with flag 23890362/2993001
892.40/889.84	c cleaning 75558 clauses out of 183391 with flag 24432496/3071000
911.21/908.62	c cleaning 77699 clauses out of 186833 with flag 24950910/3150000
932.91/930.37	c cleaning 78015 clauses out of 189134 with flag 25534396/3230000
961.01/958.41	c cleaning 79046 clauses out of 192119 with flag 26124054/3311000
979.12/976.57	c cleaning 79877 clauses out of 195077 with flag 26623525/3393004
1000.52/997.94	c cleaning 81032 clauses out of 198198 with flag 27177555/3476002
1020.93/1018.33	c cleaning 82422 clauses out of 201164 with flag 27740739/3560000
1047.83/1045.23	c cleaning 82703 clauses out of 203743 with flag 28354811/3645001
1077.64/1075.04	c cleaning 83637 clauses out of 207040 with flag 29015556/3731001
1099.24/1096.60	c cleaning 85496 clauses out of 210404 with flag 29582488/3818002
1120.35/1117.77	c cleaning 86163 clauses out of 212907 with flag 30153056/3906001
1141.26/1138.63	c cleaning 87011 clauses out of 215744 with flag 30734589/3995001
1164.86/1162.26	c cleaning 88707 clauses out of 218733 with flag 31318594/4085001
1189.87/1187.24	c cleaning 88957 clauses out of 221027 with flag 31905183/4176002
1215.68/1213.07	c cleaning 89840 clauses out of 224069 with flag 32525508/4268001
1239.58/1236.92	c cleaning 91094 clauses out of 227230 with flag 33133738/4361002
1262.20/1259.54	c cleaning 92478 clauses out of 230135 with flag 33745993/4455001
1284.30/1281.62	c cleaning 93114 clauses out of 232657 with flag 34353367/4550001
1307.70/1305.02	c cleaning 94082 clauses out of 235543 with flag 34977728/4646001
1327.41/1324.73	c cleaning 95403 clauses out of 238461 with flag 35567691/4743001
1350.31/1347.63	c cleaning 96239 clauses out of 241057 with flag 36192682/4841000
1373.12/1370.47	c cleaning 97023 clauses out of 243818 with flag 36808441/4940000
1397.22/1394.56	c cleaning 97683 clauses out of 246795 with flag 37503806/5040000
1421.93/1419.23	c cleaning 99281 clauses out of 250112 with flag 38189754/5141000
1450.35/1447.70	c cleaning 99220 clauses out of 252831 with flag 38915741/5243000
1485.04/1482.36	c cleaning 100681 clauses out of 256611 with flag 39738964/5346000
1512.75/1510.06	c cleaning 101396 clauses out of 259930 with flag 40435909/5450000
1535.57/1532.84	c cleaning 103930 clauses out of 263534 with flag 41090182/5555000
1561.36/1558.69	c cleaning 104227 clauses out of 265604 with flag 41761478/5661000
1590.28/1587.58	c cleaning 105202 clauses out of 268377 with flag 42479417/5768000
1621.38/1618.62	c cleaning 105490 clauses out of 271175 with flag 43231976/5876000
1647.89/1645.11	c cleaning 107131 clauses out of 274685 with flag 43959665/5985000
1680.59/1677.89	c cleaning 107956 clauses out of 277556 with flag 44726654/6095002
1706.71/1703.98	c cleaning 109003 clauses out of 280598 with flag 45436117/6206000
1734.22/1731.42	c cleaning 110090 clauses out of 283597 with flag 46177121/6318002
1763.31/1760.58	c cleaning 110881 clauses out of 286508 with flag 46955986/6431003
1785.63/1782.82	c cleaning 112048 clauses out of 289624 with flag 47662638/6545000
1800.03/1797.21	c starts		: 15953
1800.03/1797.21	c conflicts		: 6598711
1800.03/1797.21	c decisions		: 394281187
1800.03/1797.21	c propagations		: 2606220931
1800.03/1797.21	c inspects		: 5165374432
1800.03/1797.21	c shortcuts		: 0
1800.03/1797.21	c learnt literals	: 3
1800.03/1797.21	c learnt binary clauses	: 17425
1800.03/1797.21	c learnt ternary clauses	: 46373
1800.03/1797.21	c learnt constraints	: 6598708
1800.03/1797.21	c ignored constraints	: 0
1800.03/1797.21	c root simplifications	: 0
1800.03/1797.21	c removed literals (reason simplification)	: 0
1800.03/1797.21	c reason swapping (by a shorter reason)	: 0
1800.03/1797.21	c Calls to reduceDB	: 110
1800.03/1797.21	c Number of update (reduction) of LBD	: 2357253
1800.03/1797.21	c Imported unit clauses	: 0
1800.03/1797.21	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.21	c number of learned constraints concerned by reduction	: 0
1800.03/1797.21	c number of learning phase by resolution	: 0
1800.03/1797.21	c number of learning phase by cutting planes	: 0
1800.03/1797.21	c speed (assignments/second)	: 1465788.0169895513
1800.03/1797.21	c non guided choices	309052435
1800.03/1797.21	c timeout
1800.03/1797.25	c learnt constraints type 
1800.03/1797.25	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 17425
1800.03/1797.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 213862
1800.03/1797.25	s UNKNOWN
1800.03/1797.26	c Total wall clock time (in seconds): 1797.135

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-4084917-1465280933/watcher-4084917-1465280933 -o /tmp/evaluation-result-4084917-1465280933/solver-4084917-1465280933 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5981 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084917-1465280933.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.30 2.27 3/194 13471
/proc/meminfo: memFree=29312488/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/13471/stat : 13471 (java) R 13468 13471 5965 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 110026529 2560000 46 33554432000 1073741824 1073778376 140733495246224 140736292146184 260181159207 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 625 46 37 9 0 29 0

[startup+0.100059 s]
/proc/loadavg: 2.31 2.30 2.27 3/194 13471
/proc/meminfo: memFree=29312488/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 110026529 9787879424 5515 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2389619 5515 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200281 s]
/proc/loadavg: 2.31 2.30 2.27 3/194 13471
/proc/meminfo: memFree=29312488/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 4974 0 1 0 25 2 0 0 20 0 18 0 110026529 9787879424 7449 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2389619 7449 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300281 s]
/proc/loadavg: 2.31 2.30 2.27 3/194 13471
/proc/meminfo: memFree=29312488/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 5419 0 1 0 43 2 0 0 20 0 18 0 110026529 9787879424 12245 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2389619 12245 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.70026 s]
/proc/loadavg: 2.31 2.30 2.27 3/194 13471
/proc/meminfo: memFree=29312488/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9558476 CPUtime=1.16 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 6833 0 1 0 109 7 0 0 20 0 18 0 110026529 9787879424 45201 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2389619 45201 2267 9 0 2380296 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9558476

[startup+1.50074 s]
/proc/loadavg: 2.31 2.30 2.27 5/212 13489
/proc/meminfo: memFree=28711080/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9558476 CPUtime=2.42 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 8817 0 1 0 211 31 0 0 20 0 18 0 110026529 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2389619 274920 2269 9 0 2380296 0
[pid=13471/tid=13473] ppid=13468 vsize=9558476 CPUtime=1.26 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (java) R 13468 13471 5965 0 -1 4202560 2866 0 1 0 111 15 0 0 20 0 18 0 110026530 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247482559336 140247490325338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (java) S 13468 13471 5965 0 -1 4202560 47 0 0 0 5 3 0 0 20 0 18 0 110026531 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247460661416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13475] ppid=13468 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13471/task/13475/stat : 13475 (java) S 13468 13471 5965 0 -1 4202560 166 0 0 0 8 2 0 0 20 0 18 0 110026531 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247258097960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13476] ppid=13468 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/13471/task/13476/stat : 13476 (java) S 13468 13471 5965 0 -1 4202560 129 0 0 0 4 0 0 0 20 0 18 0 110026531 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247257045416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13477] ppid=13468 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/13471/task/13477/stat : 13477 (java) S 13468 13471 5965 0 -1 4202560 55 0 0 0 6 3 0 0 20 0 18 0 110026531 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247255992872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13478] ppid=13468 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/13471/task/13478/stat : 13478 (java) S 13468 13471 5965 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 18 0 110026531 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247254940328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13479] ppid=13468 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/13471/task/13479/stat : 13479 (java) S 13468 13471 5965 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 18 0 110026531 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247253887784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13480] ppid=13468 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/13471/task/13480/stat : 13480 (java) S 13468 13471 5965 0 -1 4202560 160 0 0 0 6 2 0 0 20 0 18 0 110026531 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247252835240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13481] ppid=13468 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/13471/task/13481/stat : 13481 (java) S 13468 13471 5965 0 -1 4202560 147 0 0 0 6 3 0 0 20 0 18 0 110026531 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247251782696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13482] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13482/stat : 13482 (java) S 13468 13471 5965 0 -1 4202560 952 0 0 0 0 0 0 0 20 0 18 0 110026532 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247239370856 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13483] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13483/stat : 13483 (java) S 13468 13471 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 110026533 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247238317176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13484] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13484/stat : 13484 (java) S 13468 13471 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 110026533 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247237264520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13485] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13485/stat : 13485 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 110026535 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247236213264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13486] ppid=13468 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/13471/task/13486/stat : 13486 (java) S 13468 13471 5965 0 -1 4202560 1221 0 0 0 17 0 0 0 20 0 18 0 110026535 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247235160632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13487] ppid=13468 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/13471/task/13487/stat : 13487 (java) S 13468 13471 5965 0 -1 4202560 1769 0 0 0 26 0 0 0 20 0 18 0 110026535 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247234108088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13488] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13488/stat : 13488 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 110026535 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247233055736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13489] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13489/stat : 13489 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 110026535 9787879424 274920 33554432000 1073741824 1073778376 140733495246224 140247232003400 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9558476

[startup+3.10084 s]
/proc/loadavg: 2.31 2.30 2.27 4/212 13489
/proc/meminfo: memFree=27180116/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9558476 CPUtime=4.15 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 10247 0 1 0 359 56 0 0 20 0 18 0 110026529 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2389619 686164 2269 9 0 2380296 0
[pid=13471/tid=13473] ppid=13468 vsize=9558476 CPUtime=2.82 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (java) R 13468 13471 5965 0 -1 4202560 3749 0 1 0 242 40 0 0 20 0 18 0 110026530 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247482559552 140247490325338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (java) S 13468 13471 5965 0 -1 4202560 51 0 0 0 7 3 0 0 20 0 18 0 110026531 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247460661416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13475] ppid=13468 vsize=9558476 CPUtime=0.13 cores=0,2,4,6
/proc/13471/task/13475/stat : 13475 (java) S 13468 13471 5965 0 -1 4202560 196 0 0 0 10 3 0 0 20 0 18 0 110026531 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247258097960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13476] ppid=13468 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/13471/task/13476/stat : 13476 (java) S 13468 13471 5965 0 -1 4202560 185 0 0 0 6 0 0 0 20 0 18 0 110026531 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247257045416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13477] ppid=13468 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13471/task/13477/stat : 13477 (java) S 13468 13471 5965 0 -1 4202560 108 0 0 0 7 3 0 0 20 0 18 0 110026531 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247255992872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13478] ppid=13468 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/13471/task/13478/stat : 13478 (java) S 13468 13471 5965 0 -1 4202560 64 0 0 0 6 2 0 0 20 0 18 0 110026531 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247254940328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13479] ppid=13468 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/13471/task/13479/stat : 13479 (java) S 13468 13471 5965 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 18 0 110026531 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247253887784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13480] ppid=13468 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13471/task/13480/stat : 13480 (java) S 13468 13471 5965 0 -1 4202560 223 0 0 0 8 2 0 0 20 0 18 0 110026531 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247252835240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13481] ppid=13468 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/13471/task/13481/stat : 13481 (java) S 13468 13471 5965 0 -1 4202560 147 0 0 0 8 3 0 0 20 0 18 0 110026531 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247251782696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13482] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13482/stat : 13482 (java) S 13468 13471 5965 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 18 0 110026532 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247239370856 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13483] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13483/stat : 13483 (java) S 13468 13471 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 110026533 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247238317176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13484] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13484/stat : 13484 (java) S 13468 13471 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 110026533 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247237264520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13485] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13485/stat : 13485 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 110026535 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247236213264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13486] ppid=13468 vsize=9558476 CPUtime=0.19 cores=0,2,4,6
/proc/13471/task/13486/stat : 13486 (java) S 13468 13471 5965 0 -1 4202560 1221 0 0 0 19 0 0 0 20 0 18 0 110026535 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247235160632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13487] ppid=13468 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/13471/task/13487/stat : 13487 (java) S 13468 13471 5965 0 -1 4202560 1769 0 0 0 28 0 0 0 20 0 18 0 110026535 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247234108088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13488] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13488/stat : 13488 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 110026535 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247233055736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13489] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13489/stat : 13489 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 110026535 9787879424 686164 33554432000 1073741824 1073778376 140733495246224 140247232003400 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 9558476

[startup+6.30093 s]
/proc/loadavg: 2.36 2.31 2.27 3/212 13489
/proc/meminfo: memFree=26491932/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9558476 CPUtime=7.49 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 10474 0 1 0 692 57 0 0 20 0 18 0 110026529 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2389619 688610 2269 9 0 2380296 0
[pid=13471/tid=13473] ppid=13468 vsize=9558476 CPUtime=5.95 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (java) R 13468 13471 5965 0 -1 4202560 3756 0 1 0 554 41 0 0 20 0 18 0 110026530 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247482559552 140247490325338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (java) S 13468 13471 5965 0 -1 4202560 79 0 0 0 9 3 0 0 20 0 18 0 110026531 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247460661416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13475] ppid=13468 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/13471/task/13475/stat : 13475 (java) S 13468 13471 5965 0 -1 4202560 221 0 0 0 12 3 0 0 20 0 18 0 110026531 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247258097960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13476] ppid=13468 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/13471/task/13476/stat : 13476 (java) S 13468 13471 5965 0 -1 4202560 185 0 0 0 8 0 0 0 20 0 18 0 110026531 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247257045416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13477] ppid=13468 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/13471/task/13477/stat : 13477 (java) S 13468 13471 5965 0 -1 4202560 124 0 0 0 8 3 0 0 20 0 18 0 110026531 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247255992872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13478] ppid=13468 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13471/task/13478/stat : 13478 (java) S 13468 13471 5965 0 -1 4202560 85 0 0 0 8 2 0 0 20 0 18 0 110026531 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247254940328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13479] ppid=13468 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/13471/task/13479/stat : 13479 (java) S 13468 13471 5965 0 -1 4202560 67 0 0 0 9 0 0 0 20 0 18 0 110026531 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247253887784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13480] ppid=13468 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/13471/task/13480/stat : 13480 (java) S 13468 13471 5965 0 -1 4202560 224 0 0 0 10 2 0 0 20 0 18 0 110026531 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247252835240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13481] ppid=13468 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/13471/task/13481/stat : 13481 (java) S 13468 13471 5965 0 -1 4202560 228 0 0 0 12 3 0 0 20 0 18 0 110026531 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247251782696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13482] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13482/stat : 13482 (java) S 13468 13471 5965 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 18 0 110026532 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247239370856 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13483] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13483/stat : 13483 (java) S 13468 13471 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 110026533 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247238317176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13484] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13484/stat : 13484 (java) S 13468 13471 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 110026533 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247237264520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13485] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13485/stat : 13485 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 110026535 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247236213264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13486] ppid=13468 vsize=9558476 CPUtime=0.19 cores=0,2,4,6
/proc/13471/task/13486/stat : 13486 (java) S 13468 13471 5965 0 -1 4202560 1221 0 0 0 19 0 0 0 20 0 18 0 110026535 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247235160632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13487] ppid=13468 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/13471/task/13487/stat : 13487 (java) S 13468 13471 5965 0 -1 4202560 1769 0 0 0 28 0 0 0 20 0 18 0 110026535 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247234108088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13488] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13488/stat : 13488 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 110026535 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247233055736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13489] ppid=13468 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13489/stat : 13489 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 110026535 9787879424 688610 33554432000 1073741824 1073778376 140733495246224 140247232003400 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 9558476

[startup+12.7009 s]
/proc/loadavg: 2.33 2.31 2.27 3/212 13489
/proc/meminfo: memFree=26406168/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9558476 CPUtime=14.23 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 11126 0 1 0 1362 61 0 0 20 0 18 0 110026529 9787879424 699601 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2389619 699601 2269 9 0 2380296 0

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

[pid=13471/tid=13490] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13490/stat : 13490 (java) S 13468 13471 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110028446 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247230849832 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1665.09
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.25 2.22 2.20 4/213 13599
/proc/meminfo: memFree=26630912/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9625040 CPUtime=1725.11 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 13182 0 1 0 172418 93 0 0 20 0 19 0 110026529 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2406260 703957 2286 9 0 2396937 0
[pid=13471/tid=13473] ppid=13468 vsize=9625040 CPUtime=1717.22 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (java) R 13468 13471 5965 0 -1 4202560 3809 0 1 0 171653 69 0 0 20 0 19 0 110026530 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247482552000 140247342753745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (java) S 13468 13471 5965 0 -1 4202560 113 0 0 0 19 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247460661416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13475] ppid=13468 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/13471/task/13475/stat : 13475 (java) S 13468 13471 5965 0 -1 4202560 244 0 0 0 23 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247258097960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13476] ppid=13468 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13471/task/13476/stat : 13476 (java) S 13468 13471 5965 0 -1 4202560 234 0 0 0 21 0 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247257045416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13477] ppid=13468 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13471/task/13477/stat : 13477 (java) S 13468 13471 5965 0 -1 4202560 155 0 0 0 17 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247255992872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13478] ppid=13468 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13471/task/13478/stat : 13478 (java) S 13468 13471 5965 0 -1 4202560 93 0 0 0 17 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247254940328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13479] ppid=13468 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13471/task/13479/stat : 13479 (java) S 13468 13471 5965 0 -1 4202560 74 0 0 0 18 2 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247253887784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13480] ppid=13468 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/13471/task/13480/stat : 13480 (java) S 13468 13471 5965 0 -1 4202560 254 0 0 0 21 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247252835240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13481] ppid=13468 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/13471/task/13481/stat : 13481 (java) S 13468 13471 5965 0 -1 4202560 238 0 0 0 22 4 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247251782696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13482] ppid=13468 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13471/task/13482/stat : 13482 (java) S 13468 13471 5965 0 -1 4202560 1267 0 0 0 2 2 0 0 20 0 19 0 110026532 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247239370856 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13483] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13483/stat : 13483 (java) S 13468 13471 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110026533 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247238317176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13484] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13484/stat : 13484 (java) S 13468 13471 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110026533 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247237264520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13485] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13485/stat : 13485 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247236213264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13486] ppid=13468 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/13471/task/13486/stat : 13486 (java) S 13468 13471 5965 0 -1 4202560 2746 0 0 0 59 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247235160632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13487] ppid=13468 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/13471/task/13487/stat : 13487 (java) S 13468 13471 5965 0 -1 4202560 2598 0 0 0 54 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247234108088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13488] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13488/stat : 13488 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247233055736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13489] ppid=13468 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/13471/task/13489/stat : 13489 (java) S 13468 13471 5965 0 -1 4202560 99 0 0 0 39 32 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247232003400 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13490] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13490/stat : 13490 (java) S 13468 13471 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110028446 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247230849832 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.11
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.15 2.19 2.19 3/213 13600
/proc/meminfo: memFree=26470012/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9625040 CPUtime=1785.13 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 13186 0 1 0 178419 94 0 0 20 0 19 0 110026529 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2406260 703957 2286 9 0 2396937 0
[pid=13471/tid=13473] ppid=13468 vsize=9625040 CPUtime=1777.06 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (java) R 13468 13471 5965 0 -1 4202560 3809 0 1 0 177636 70 0 0 20 0 19 0 110026530 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247482552000 140247342736451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (java) S 13468 13471 5965 0 -1 4202560 113 0 0 0 19 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247460661416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13475] ppid=13468 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/13471/task/13475/stat : 13475 (java) S 13468 13471 5965 0 -1 4202560 244 0 0 0 23 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247258097960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13476] ppid=13468 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13471/task/13476/stat : 13476 (java) S 13468 13471 5965 0 -1 4202560 234 0 0 0 21 0 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247257045416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13477] ppid=13468 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13471/task/13477/stat : 13477 (java) S 13468 13471 5965 0 -1 4202560 155 0 0 0 17 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247255992872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13478] ppid=13468 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13471/task/13478/stat : 13478 (java) S 13468 13471 5965 0 -1 4202560 93 0 0 0 17 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247254940328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13479] ppid=13468 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13471/task/13479/stat : 13479 (java) S 13468 13471 5965 0 -1 4202560 74 0 0 0 18 2 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247253887784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13480] ppid=13468 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/13471/task/13480/stat : 13480 (java) S 13468 13471 5965 0 -1 4202560 254 0 0 0 21 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247252835240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13481] ppid=13468 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/13471/task/13481/stat : 13481 (java) S 13468 13471 5965 0 -1 4202560 238 0 0 0 22 4 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247251782696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13482] ppid=13468 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13471/task/13482/stat : 13482 (java) S 13468 13471 5965 0 -1 4202560 1267 0 0 0 2 2 0 0 20 0 19 0 110026532 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247239370856 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13483] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13483/stat : 13483 (java) S 13468 13471 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110026533 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247238317176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13484] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13484/stat : 13484 (java) S 13468 13471 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110026533 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247237264520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13485] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13485/stat : 13485 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247236213264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13486] ppid=13468 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/13471/task/13486/stat : 13486 (java) S 13468 13471 5965 0 -1 4202560 2746 0 0 0 59 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247235160632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13487] ppid=13468 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/13471/task/13487/stat : 13487 (java) S 13468 13471 5965 0 -1 4202560 2598 0 0 0 54 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247234108088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13488] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13488/stat : 13488 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247233055736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13489] ppid=13468 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/13471/task/13489/stat : 13489 (java) S 13468 13471 5965 0 -1 4202560 103 0 0 0 41 33 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247232003400 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13490] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13490/stat : 13490 (java) S 13468 13471 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110028446 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247230849832 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.2 s]
/proc/loadavg: 2.19 2.20 2.19 3/213 13600
/proc/meminfo: memFree=26500104/32872528 swapFree=16360/1798728
[pid=13471] ppid=13468 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/13471/stat : 13471 (java) S 13468 13471 5965 0 -1 4202496 13186 0 1 0 179909 94 0 0 20 0 19 0 110026529 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140733495237360 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 2406260 703957 2286 9 0 2396937 0
[pid=13471/tid=13473] ppid=13468 vsize=9625040 CPUtime=1791.93 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (java) R 13468 13471 5965 0 -1 4202560 3809 0 1 0 179123 70 0 0 20 0 19 0 110026530 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247482552096 140247342775186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (java) S 13468 13471 5965 0 -1 4202560 113 0 0 0 19 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247460661416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13475] ppid=13468 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/13471/task/13475/stat : 13475 (java) S 13468 13471 5965 0 -1 4202560 244 0 0 0 23 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247258097960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13476] ppid=13468 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/13471/task/13476/stat : 13476 (java) S 13468 13471 5965 0 -1 4202560 234 0 0 0 21 0 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247257045416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13477] ppid=13468 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13471/task/13477/stat : 13477 (java) S 13468 13471 5965 0 -1 4202560 155 0 0 0 17 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247255992872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13471/tid=13478] ppid=13468 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13471/task/13478/stat : 13478 (java) S 13468 13471 5965 0 -1 4202560 93 0 0 0 17 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247254940328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13479] ppid=13468 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13471/task/13479/stat : 13479 (java) S 13468 13471 5965 0 -1 4202560 74 0 0 0 18 2 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247253887784 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13480] ppid=13468 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/13471/task/13480/stat : 13480 (java) S 13468 13471 5965 0 -1 4202560 254 0 0 0 21 3 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247252835240 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13481] ppid=13468 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/13471/task/13481/stat : 13481 (java) S 13468 13471 5965 0 -1 4202560 238 0 0 0 22 4 0 0 20 0 19 0 110026531 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247251782696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13482] ppid=13468 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13471/task/13482/stat : 13482 (java) S 13468 13471 5965 0 -1 4202560 1267 0 0 0 2 2 0 0 20 0 19 0 110026532 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247239370856 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13483] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13483/stat : 13483 (java) S 13468 13471 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110026533 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247238317176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13484] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13484/stat : 13484 (java) S 13468 13471 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110026533 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247237264520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13485] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13485/stat : 13485 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247236213264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13486] ppid=13468 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/13471/task/13486/stat : 13486 (java) S 13468 13471 5965 0 -1 4202560 2746 0 0 0 59 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247235160632 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13471/tid=13487] ppid=13468 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/13471/task/13487/stat : 13487 (java) S 13468 13471 5965 0 -1 4202560 2598 0 0 0 54 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247234108088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13488] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13488/stat : 13488 (java) S 13468 13471 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247233055736 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13489] ppid=13468 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/13471/task/13489/stat : 13489 (java) S 13468 13471 5965 0 -1 4202560 103 0 0 0 41 33 0 0 20 0 19 0 110026535 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247232003400 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13490] ppid=13468 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13490/stat : 13490 (java) S 13468 13471 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110028446 9856040960 703957 33554432000 1073741824 1073778376 140733495246224 140247230849832 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 13471 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 13471 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=579182
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=401786
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.27
CPU time (s): 1800.03
CPU user time (s): 1799.09
CPU system time (s): 0.94
CPU usage (%): 100.154
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 1.40179
maximum resident set size= 2817756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13355
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39445
involuntary context switches= 6538

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2524 second user time and 13.8929 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-07 08:28:54
IDJOB=4084917
IDBENCH=89890
IDSOLVER=2546
FILE ID=node123/4084917-1465280933
RUNJOBID= node123-1465255130-5981
PBS_JOBID= 19843274
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-netdiversion.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084917-1465280933/watcher-4084917-1465280933 -o /tmp/evaluation-result-4084917-1465280933/solver-4084917-1465280933 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5981 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084917-1465280933.opb

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

MD5SUM BENCH= 2c0dd2737108318b86d3c4c102584cdd
RANDOM SEED=1824503123

node123.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.117
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.23
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.117
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.117
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		: 2667.117
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.117
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		: 2667.117
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.57
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.117
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.117
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:        29312760 kB
Buffers:          109028 kB
Cached:           147288 kB
SwapCached:         1808 kB
Active:           842240 kB
Inactive:         181696 kB
Active(anon):     767712 kB
Inactive(anon):     2104 kB
Active(file):      74528 kB
Inactive(file):   179592 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098808 kB
Dirty:              8032 kB
Writeback:            12 kB
AnonPages:       2565460 kB
Mapped:            15360 kB
Shmem:                 0 kB
Slab:             599984 kB
SReclaimable:      43780 kB
SUnreclaim:       556204 kB
KernelStack:        1616 kB
PageTables:         9416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2880604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2508800 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= 71720 MiB
End job on node123 at 2016-06-07 08:58:51