Trace number 4116489

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.64 1797.84

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-8.opb
MD5SUM3cf063c4f0bb38f0869318b9b868216b
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 variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4116489-1466970403.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.69/0.43	c ... done. Wall clock time 0.318s.
0.69/0.43	c declared #vars     4288
0.69/0.43	c #constraints  10752
0.69/0.43	c constraints type 
0.69/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.69/0.43	c org.sat4j.specs.Constr$1 => 872
0.69/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.69/0.43	c org.sat4j.minisat.constraints.cnf.UnitClause => 472
0.69/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.69/0.43	c 10752 constraints processed.
1.85/1.13	c cleaning 2491 clauses out of 4998 with flag 15766/5000
2.53/1.76	c cleaning 4236 clauses out of 8507 with flag 37425/11000
3.33/2.50	c cleaning 5633 clauses out of 11271 with flag 65769/18000
4.15/3.39	c cleaning 6796 clauses out of 13638 with flag 97416/26000
5.15/4.38	c cleaning 7918 clauses out of 15844 with flag 136197/35002
6.36/5.55	c cleaning 8943 clauses out of 17925 with flag 180049/45001
7.56/6.78	c cleaning 9978 clauses out of 19983 with flag 233309/56002
8.95/8.18	c cleaning 10942 clauses out of 22005 with flag 291525/68002
10.65/9.81	c cleaning 11991 clauses out of 24062 with flag 354817/81001
12.35/11.51	c cleaning 13025 clauses out of 26070 with flag 424462/95000
14.25/13.42	c cleaning 13985 clauses out of 28046 with flag 500898/110001
16.16/15.39	c cleaning 14989 clauses out of 30062 with flag 583667/126002
18.25/17.47	c cleaning 16010 clauses out of 32072 with flag 674878/143001
20.66/19.85	c cleaning 16987 clauses out of 34061 with flag 770797/161000
23.25/22.47	c cleaning 18029 clauses out of 36074 with flag 872814/180000
26.05/25.22	c cleaning 19008 clauses out of 38045 with flag 983419/200000
28.95/28.10	c cleaning 20009 clauses out of 40037 with flag 1099093/221000
32.15/31.31	c cleaning 21004 clauses out of 42028 with flag 1222022/243000
35.35/34.57	c cleaning 21964 clauses out of 44025 with flag 1354013/266001
38.76/37.94	c cleaning 23011 clauses out of 46060 with flag 1495950/290000
42.46/41.60	c cleaning 23973 clauses out of 48050 with flag 1638166/315001
46.46/45.62	c cleaning 25005 clauses out of 50076 with flag 1785862/341000
50.56/49.78	c cleaning 26012 clauses out of 52071 with flag 1943693/368000
54.69/53.89	c cleaning 26993 clauses out of 54059 with flag 2107806/396000
58.79/57.93	c cleaning 28019 clauses out of 56066 with flag 2277973/425000
63.19/62.35	c cleaning 29008 clauses out of 58047 with flag 2450485/455000
67.79/66.91	c cleaning 30017 clauses out of 60039 with flag 2633820/486000
72.58/71.72	c cleaning 30984 clauses out of 62023 with flag 2826349/518001
77.69/76.85	c cleaning 31977 clauses out of 64039 with flag 3026234/551001
83.09/82.25	c cleaning 32985 clauses out of 66061 with flag 3226897/585000
88.59/87.76	c cleaning 34025 clauses out of 68077 with flag 3438798/620001
94.40/93.58	c cleaning 35004 clauses out of 70052 with flag 3656572/656001
100.59/99.73	c cleaning 35975 clauses out of 72050 with flag 3878671/693003
106.89/106.01	c cleaning 37016 clauses out of 74073 with flag 4107812/731001
113.69/112.86	c cleaning 37992 clauses out of 76056 with flag 4341491/770000
120.80/119.94	c cleaning 39012 clauses out of 78064 with flag 4581603/810000
128.19/127.33	c cleaning 40024 clauses out of 80052 with flag 4828787/851000
135.70/134.87	c cleaning 40990 clauses out of 82028 with flag 5082349/893000
143.23/142.37	c cleaning 41979 clauses out of 84039 with flag 5344459/936001
150.93/150.02	c cleaning 42998 clauses out of 86060 with flag 5617589/980001
159.03/158.20	c cleaning 43987 clauses out of 88061 with flag 5891261/1025000
167.43/166.59	c cleaning 45008 clauses out of 90074 with flag 6177718/1071000
176.23/175.32	c cleaning 46005 clauses out of 92067 with flag 6466954/1118001
185.03/184.15	c cleaning 46989 clauses out of 94061 with flag 6758036/1166000
194.44/193.58	c cleaning 47997 clauses out of 96073 with flag 7057782/1215001
204.14/203.22	c cleaning 49022 clauses out of 98075 with flag 7362888/1265000
214.14/213.26	c cleaning 49998 clauses out of 100054 with flag 7674353/1316001
224.64/223.74	c cleaning 50989 clauses out of 102057 with flag 7995178/1368002
235.50/234.50	c cleaning 52018 clauses out of 104066 with flag 8319360/1421000
246.20/245.29	c cleaning 52987 clauses out of 106048 with flag 8652752/1475000
257.20/256.28	c cleaning 54017 clauses out of 108061 with flag 8992883/1530000
268.90/267.99	c cleaning 54987 clauses out of 110047 with flag 9332315/1586003
281.40/280.48	c cleaning 56001 clauses out of 112057 with flag 9678591/1643000
294.19/293.28	c cleaning 56993 clauses out of 114057 with flag 10032553/1701001
306.80/305.81	c cleaning 58022 clauses out of 116064 with flag 10395990/1760001
319.80/318.88	c cleaning 59006 clauses out of 118041 with flag 10764496/1820000
333.50/332.50	c cleaning 60000 clauses out of 120035 with flag 11134380/1881000
347.50/346.46	c cleaning 61000 clauses out of 122037 with flag 11517491/1943002
361.60/360.58	c cleaning 62002 clauses out of 124035 with flag 11902632/2006000
376.00/374.98	c cleaning 63007 clauses out of 126033 with flag 12296038/2070000
391.20/390.12	c cleaning 64004 clauses out of 128026 with flag 12696264/2135000
406.54/405.42	c cleaning 64971 clauses out of 130022 with flag 13099878/2201000
421.84/420.76	c cleaning 66008 clauses out of 132051 with flag 13506664/2268000
437.95/436.89	c cleaning 67014 clauses out of 134043 with flag 13925652/2336000
454.46/453.35	c cleaning 67945 clauses out of 136029 with flag 14347625/2405000
471.53/470.31	c cleaning 68987 clauses out of 138085 with flag 14781785/2475001
489.63/488.42	c cleaning 70039 clauses out of 140100 with flag 15220927/2546003
508.52/507.32	c cleaning 71008 clauses out of 142059 with flag 15663729/2618001
527.52/526.34	c cleaning 71986 clauses out of 144050 with flag 16109236/2691000
546.32/545.12	c cleaning 73008 clauses out of 146064 with flag 16564057/2765000
564.92/563.79	c cleaning 73993 clauses out of 148056 with flag 17024264/2840000
584.34/583.12	c cleaning 75000 clauses out of 150064 with flag 17485335/2916001
604.01/602.80	c cleaning 75972 clauses out of 152064 with flag 17958140/2993001
624.61/623.36	c cleaning 77020 clauses out of 154092 with flag 18433812/3071001
645.91/644.62	c cleaning 77984 clauses out of 156071 with flag 18916234/3150000
667.40/666.14	c cleaning 79036 clauses out of 158087 with flag 19405266/3230000
689.10/687.82	c cleaning 80011 clauses out of 160051 with flag 19896170/3311000
711.39/710.14	c cleaning 80940 clauses out of 162040 with flag 20401068/3393000
734.30/732.99	c cleaning 82002 clauses out of 164101 with flag 20908318/3476001
757.59/756.28	c cleaning 83028 clauses out of 166098 with flag 21423642/3560000
781.59/780.28	c cleaning 84021 clauses out of 168071 with flag 21944646/3645001
806.39/805.10	c cleaning 85022 clauses out of 170051 with flag 22472037/3731002
831.38/830.05	c cleaning 86003 clauses out of 172028 with flag 23003570/3818001
857.38/855.96	c cleaning 87002 clauses out of 174024 with flag 23537559/3906000
883.68/882.27	c cleaning 87989 clauses out of 176026 with flag 24079786/3995004
910.46/909.00	c cleaning 89011 clauses out of 178033 with flag 24633221/4085000
937.57/936.17	c cleaning 90002 clauses out of 180022 with flag 25190910/4176000
965.25/963.82	c cleaning 90984 clauses out of 182020 with flag 25750163/4268000
993.55/992.02	c cleaning 92001 clauses out of 184036 with flag 26318359/4361000
1022.15/1020.70	c cleaning 92984 clauses out of 186035 with flag 26895038/4455000
1051.35/1049.82	c cleaning 94010 clauses out of 188052 with flag 27471486/4550001
1081.34/1079.80	c cleaning 95010 clauses out of 190043 with flag 28057669/4646002
1112.04/1110.49	c cleaning 95953 clauses out of 192032 with flag 28647093/4743001
1142.93/1141.34	c cleaning 96979 clauses out of 194078 with flag 29247700/4841000
1174.42/1172.82	c cleaning 97978 clauses out of 196099 with flag 29847207/4940000
1206.82/1205.25	c cleaning 99039 clauses out of 198121 with flag 30455960/5040000
1239.98/1238.28	c cleaning 100022 clauses out of 200084 with flag 31068275/5141002
1272.87/1271.10	c cleaning 101002 clauses out of 202060 with flag 31693860/5243000
1306.77/1305.07	c cleaning 102011 clauses out of 204058 with flag 32315995/5346000
1341.86/1340.16	c cleaning 103011 clauses out of 206047 with flag 32944282/5450000
1377.79/1375.94	c cleaning 104011 clauses out of 208036 with flag 33580680/5555000
1414.10/1412.26	c cleaning 104984 clauses out of 210025 with flag 34223052/5661000
1450.80/1448.96	c cleaning 106005 clauses out of 212043 with flag 34868189/5768002
1488.12/1486.13	c cleaning 106994 clauses out of 214038 with flag 35519736/5876002
1526.32/1524.31	c cleaning 108008 clauses out of 216042 with flag 36175597/5985000
1565.73/1563.77	c cleaning 108993 clauses out of 218036 with flag 36834582/6095002
1605.55/1603.49	c cleaning 109967 clauses out of 220042 with flag 37506070/6206001
1645.85/1643.77	c cleaning 111033 clauses out of 222075 with flag 38180586/6318001
1687.76/1685.65	c cleaning 111991 clauses out of 224041 with flag 38860631/6431000
1730.27/1728.04	c cleaning 112993 clauses out of 226052 with flag 39543429/6545002
1773.18/1770.95	c cleaning 114003 clauses out of 228060 with flag 40242236/6660003
1800.09/1797.80	c starts		: 47846
1800.09/1797.80	c conflicts		: 6738852
1800.09/1797.80	c decisions		: 62944898
1800.09/1797.80	c propagations		: 909568087
1800.09/1797.80	c inspects		: 24283057020
1800.09/1797.80	c shortcuts		: 0
1800.09/1797.80	c learnt literals	: 2
1800.09/1797.80	c learnt binary clauses	: 41
1800.09/1797.80	c learnt ternary clauses	: 579
1800.09/1797.80	c learnt constraints	: 6738850
1800.09/1797.80	c ignored constraints	: 0
1800.09/1797.80	c root simplifications	: 0
1800.09/1797.80	c removed literals (reason simplification)	: 0
1800.09/1797.80	c reason swapping (by a shorter reason)	: 0
1800.09/1797.80	c Calls to reduceDB	: 111
1800.09/1797.80	c Number of update (reduction) of LBD	: 1417858
1800.09/1797.80	c Imported unit clauses	: 0
1800.09/1797.80	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.80	c number of learned constraints concerned by reduction	: 0
1800.09/1797.80	c number of learning phase by resolution	: 0
1800.09/1797.80	c number of learning phase by cutting planes	: 0
1800.09/1797.80	c speed (assignments/second)	: 506055.2880348999
1800.09/1797.80	c non guided choices	32723
1800.09/1797.80	c timeout
1800.09/1797.83	c learnt constraints type 
1800.09/1797.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 41
1800.09/1797.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 192865
1800.09/1797.83	s UNKNOWN
1800.09/1797.83	c Total wall clock time (in seconds): 1797.721

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-4116489-1466970403/watcher-4116489-1466970403 -o /tmp/evaluation-result-4116489-1466970403/solver-4116489-1466970403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23991 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116489-1466970403.opb 

pid=25538
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.33 2.23 2.22 4/194 25541
/proc/meminfo: memFree=30304580/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 30077486 98570240 976 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 24065 976 743 9 0 16771 0
[pid=25541/tid=25542] ppid=25538 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 30077487 98570240 976 33554432000 1073741824 1073778376 140736218693264 140444432707112 248790205824 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 2.33 2.23 2.22 4/194 25541
/proc/meminfo: memFree=30304580/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 4415 0 1 0 9 1 0 0 20 0 18 0 30077486 9787879424 6052 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2389619 6052 2131 9 0 2380296 0
[pid=25541/tid=25542] ppid=25538 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2392 0 1 0 8 0 0 0 20 0 18 0 30077487 9787879424 6053 33554432000 1073741824 1073778376 140736218693264 140444432710560 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200327 s]
/proc/loadavg: 2.33 2.23 2.22 4/194 25541
/proc/meminfo: memFree=30304580/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 4959 0 1 0 26 1 0 0 20 0 18 0 30077486 9787879424 7016 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2389619 7016 2216 9 0 2380296 0
[pid=25541/tid=25542] ppid=25538 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2412 0 1 0 18 0 0 0 20 0 18 0 30077487 9787879424 7016 33554432000 1073741824 1073778376 140736218693264 140444432710560 140444304468282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300324 s]
/proc/loadavg: 2.33 2.23 2.22 4/194 25541
/proc/meminfo: memFree=30304580/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 5790 0 1 0 49 1 0 0 20 0 18 0 30077486 9787879424 8980 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2389619 8980 2233 9 0 2380296 0
[pid=25541/tid=25542] ppid=25538 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2415 0 1 0 28 0 0 0 20 0 18 0 30077487 9787879424 8980 33554432000 1073741824 1073778376 140736218693264 140444432710560 140444304452656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700261 s]
/proc/loadavg: 2.33 2.23 2.22 4/194 25541
/proc/meminfo: memFree=30304580/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9625040 CPUtime=1.36 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 9113 0 1 0 134 2 0 0 20 0 19 0 30077486 9856040960 16704 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2406260 16704 2260 9 0 2396937 0
[pid=25541/tid=25542] ppid=25538 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2455 0 1 0 66 2 0 0 20 0 19 0 30077487 9856040960 16704 33554432000 1073741824 1073778376 140736218693264 140444432711760 140444305076832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.46 2.26 2.23 3/213 25560
/proc/meminfo: memFree=30227692/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 9342 0 1 0 227 3 0 0 20 0 19 0 30077486 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2406260 17270 2270 9 0 2396937 0
[pid=25541/tid=25542] ppid=25538 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2457 0 1 0 146 2 0 0 20 0 19 0 30077487 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444432712200 140444304987860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25544] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25544/stat : 25544 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444276619688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25545] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25545/stat : 25545 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444275567144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25546] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25546/stat : 25546 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444274514088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25541/tid=25547] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25547/stat : 25547 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444273461544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25548] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25548/stat : 25548 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444272409512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25549] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25549/stat : 25549 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444271356968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25550] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25550/stat : 25550 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444270303912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25551] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25551/stat : 25551 (java) S 25538 25541 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444269251368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25552] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25552/stat : 25552 (java) S 25538 25541 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30077488 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444256840040 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25553] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25553/stat : 25553 (java) S 25538 25541 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444255786360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25554] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25554/stat : 25554 (java) S 25538 25541 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444254733192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25555] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25555/stat : 25555 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444253681936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25556] ppid=25538 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/25541/task/25556/stat : 25556 (java) S 25538 25541 23975 0 -1 4202560 3316 0 0 0 43 0 0 0 20 0 19 0 30077491 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444252629816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25557] ppid=25538 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/25541/task/25557/stat : 25557 (java) S 25538 25541 23975 0 -1 4202560 2293 0 0 0 35 0 0 0 20 0 19 0 30077491 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444251577272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25558] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25558/stat : 25558 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444250524408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25559] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25559/stat : 25559 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444249472072 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25560] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25560/stat : 25560 (java) S 25538 25541 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077530 9856040960 17270 33554432000 1073741824 1073778376 140736218693264 140444248417320 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.46 2.26 2.23 3/213 25560
/proc/meminfo: memFree=30218384/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 9345 0 1 0 391 3 0 0 20 0 19 0 30077486 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2406260 18294 2270 9 0 2396937 0
[pid=25541/tid=25542] ppid=25538 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2460 0 1 0 306 2 0 0 20 0 19 0 30077487 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444432703184 140444304987884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25544] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25544/stat : 25544 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444276619688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25545] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25545/stat : 25545 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444275567144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25546] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25546/stat : 25546 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444274514088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25541/tid=25547] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25547/stat : 25547 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444273461544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25548] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25548/stat : 25548 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444272409512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25549] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25549/stat : 25549 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444271356968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25550] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25550/stat : 25550 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444270303912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25551] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25551/stat : 25551 (java) S 25538 25541 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444269251368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25552] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25552/stat : 25552 (java) S 25538 25541 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30077488 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444256840040 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25553] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25553/stat : 25553 (java) S 25538 25541 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444255786360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25554] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25554/stat : 25554 (java) S 25538 25541 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444254733192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25555] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25555/stat : 25555 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444253681936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25556] ppid=25538 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25541/task/25556/stat : 25556 (java) S 25538 25541 23975 0 -1 4202560 3316 0 0 0 45 0 0 0 20 0 19 0 30077491 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444252629816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25557] ppid=25538 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/25541/task/25557/stat : 25557 (java) S 25538 25541 23975 0 -1 4202560 2293 0 0 0 37 0 0 0 20 0 19 0 30077491 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444251577272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25558] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25558/stat : 25558 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444250524408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25559] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25559/stat : 25559 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444249472072 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25560] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25560/stat : 25560 (java) S 25538 25541 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077530 9856040960 18294 33554432000 1073741824 1073778376 140736218693264 140444248417320 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.42 2.25 2.23 3/213 25560
/proc/meminfo: memFree=30212260/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9625040 CPUtime=7.15 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 9350 0 1 0 711 4 0 0 20 0 19 0 30077486 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2406260 19567 2271 9 0 2396937 0
[pid=25541/tid=25542] ppid=25538 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2464 0 1 0 625 2 0 0 20 0 19 0 30077487 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444432703168 140444305109125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25544] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25544/stat : 25544 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444276619688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25545] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25545/stat : 25545 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444275567144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25546] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25546/stat : 25546 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444274514088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25541/tid=25547] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25547/stat : 25547 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444273461544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25548] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25548/stat : 25548 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444272409512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25549] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25549/stat : 25549 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444271356968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25550] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25550/stat : 25550 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444270303912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25551] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25551/stat : 25551 (java) S 25538 25541 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30077487 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444269251368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25552] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25552/stat : 25552 (java) S 25538 25541 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30077488 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444256840040 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25553] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25553/stat : 25553 (java) S 25538 25541 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444255786360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25554] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25554/stat : 25554 (java) S 25538 25541 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444254733192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25555] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25555/stat : 25555 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444253681936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25556] ppid=25538 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25541/task/25556/stat : 25556 (java) S 25538 25541 23975 0 -1 4202560 3316 0 0 0 45 0 0 0 20 0 19 0 30077491 9856040960 19567 33554432000 1073741824 1073778376 140736218693264 140444252629816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25557] ppid=25538 vsize=9625040 CPUtime=0.38 cores=0,2,4,6

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

[pid=25541/tid=25553] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25553/stat : 25553 (java) S 25538 25541 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 91659 33554432000 1073741824 1073778376 140736218693264 140444255786360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25554] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25554/stat : 25554 (java) S 25538 25541 23975 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 91659 33554432000 1073741824 1073778376 140736218693264 140444254733192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25555] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25555/stat : 25555 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 91659 33554432000 1073741824 1073778376 140736218693264 140444253681936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25556] ppid=25538 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25541/task/25556/stat : 25556 (java) S 25538 25541 23975 0 -1 4202560 3316 0 0 0 45 0 0 0 20 0 19 0 30077491 9856040960 91659 33554432000 1073741824 1073778376 140736218693264 140444252629816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25557] ppid=25538 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/25541/task/25557/stat : 25557 (java) S 25538 25541 23975 0 -1 4202560 2569 0 0 0 42 0 0 0 20 0 19 0 30077491 9856040960 91659 33554432000 1073741824 1073778376 140736218693264 140444251577272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25558] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25558/stat : 25558 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 91659 33554432000 1073741824 1073778376 140736218693264 140444250524408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25559] ppid=25538 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/25541/task/25559/stat : 25559 (java) S 25538 25541 23975 0 -1 4202560 96 0 0 0 29 30 0 0 20 0 19 0 30077491 9856040960 91659 33554432000 1073741824 1073778376 140736218693264 140444249472072 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25560] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25560/stat : 25560 (java) S 25538 25541 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077530 9856040960 91659 33554432000 1073741824 1073778376 140736218693264 140444248417320 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1664.46
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/213 25626
/proc/meminfo: memFree=29612372/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9625040 CPUtime=1724.47 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 12251 0 1 0 172386 61 0 0 20 0 19 0 30077486 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2406260 93303 2285 9 0 2396937 0
[pid=25541/tid=25542] ppid=25538 vsize=9625040 CPUtime=1721.57 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2522 0 1 0 172125 32 0 0 20 0 19 0 30077487 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444432703264 140444305006797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25544] ppid=25538 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/25541/task/25544/stat : 25544 (java) S 25538 25541 23975 0 -1 4202560 175 0 0 0 16 2 0 0 20 0 19 0 30077487 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444276619688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25545] ppid=25538 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/25541/task/25545/stat : 25545 (java) S 25538 25541 23975 0 -1 4202560 250 0 0 0 15 3 0 0 20 0 19 0 30077487 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444275567144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25546] ppid=25538 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/25541/task/25546/stat : 25546 (java) S 25538 25541 23975 0 -1 4202560 440 0 0 0 21 4 0 0 20 0 19 0 30077487 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444274514088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25547] ppid=25538 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/25541/task/25547/stat : 25547 (java) S 25538 25541 23975 0 -1 4202560 361 0 0 0 15 4 0 0 20 0 19 0 30077487 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444273461544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25548] ppid=25538 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/25541/task/25548/stat : 25548 (java) S 25538 25541 23975 0 -1 4202560 305 0 0 0 20 4 0 0 20 0 19 0 30077487 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444272409512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25549] ppid=25538 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/25541/task/25549/stat : 25549 (java) S 25538 25541 23975 0 -1 4202560 257 0 0 0 16 3 0 0 20 0 19 0 30077487 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444271356968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25550] ppid=25538 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/25541/task/25550/stat : 25550 (java) S 25538 25541 23975 0 -1 4202560 374 0 0 0 16 3 0 0 20 0 19 0 30077487 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444270303912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25551] ppid=25538 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/25541/task/25551/stat : 25551 (java) S 25538 25541 23975 0 -1 4202560 253 0 0 0 15 2 0 0 20 0 19 0 30077487 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444269251368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25552] ppid=25538 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/25541/task/25552/stat : 25552 (java) S 25538 25541 23975 0 -1 4202560 65 0 0 0 1 2 0 0 20 0 19 0 30077488 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444256840040 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25553] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25553/stat : 25553 (java) S 25538 25541 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444255786360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25554] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25554/stat : 25554 (java) S 25538 25541 23975 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444254733192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25555] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25555/stat : 25555 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444253681936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25556] ppid=25538 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25541/task/25556/stat : 25556 (java) S 25538 25541 23975 0 -1 4202560 3316 0 0 0 45 0 0 0 20 0 19 0 30077491 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444252629816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25557] ppid=25538 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/25541/task/25557/stat : 25557 (java) S 25538 25541 23975 0 -1 4202560 2569 0 0 0 42 0 0 0 20 0 19 0 30077491 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444251577272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25558] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25558/stat : 25558 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444250524408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25559] ppid=25538 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/25541/task/25559/stat : 25559 (java) S 25538 25541 23975 0 -1 4202560 100 0 0 0 31 30 0 0 20 0 19 0 30077491 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444249472072 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25560] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25560/stat : 25560 (java) S 25538 25541 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077530 9856040960 93303 33554432000 1073741824 1073778376 140736218693264 140444248417320 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.47
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/213 25627
/proc/meminfo: memFree=29602256/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9625040 CPUtime=1784.58 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 12273 0 1 0 178396 62 0 0 20 0 19 0 30077486 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2406260 95815 2285 9 0 2396937 0
[pid=25541/tid=25542] ppid=25538 vsize=9625040 CPUtime=1781.53 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2523 0 1 0 178120 33 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444432703264 140444305006336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25544] ppid=25538 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/25541/task/25544/stat : 25544 (java) S 25538 25541 23975 0 -1 4202560 176 0 0 0 17 2 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444276619688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25545] ppid=25538 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/25541/task/25545/stat : 25545 (java) S 25538 25541 23975 0 -1 4202560 252 0 0 0 17 3 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444275567144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25541/tid=25546] ppid=25538 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/25541/task/25546/stat : 25546 (java) S 25538 25541 23975 0 -1 4202560 442 0 0 0 23 4 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444274514088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25547] ppid=25538 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25541/task/25547/stat : 25547 (java) S 25538 25541 23975 0 -1 4202560 362 0 0 0 17 4 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444273461544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25548] ppid=25538 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/25541/task/25548/stat : 25548 (java) S 25538 25541 23975 0 -1 4202560 307 0 0 0 21 4 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444272409512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25549] ppid=25538 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25541/task/25549/stat : 25549 (java) S 25538 25541 23975 0 -1 4202560 262 0 0 0 20 3 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444271356968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25550] ppid=25538 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25541/task/25550/stat : 25550 (java) S 25538 25541 23975 0 -1 4202560 375 0 0 0 18 3 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444270303912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25541/tid=25551] ppid=25538 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/25541/task/25551/stat : 25551 (java) S 25538 25541 23975 0 -1 4202560 254 0 0 0 16 2 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444269251368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25552] ppid=25538 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/25541/task/25552/stat : 25552 (java) S 25538 25541 23975 0 -1 4202560 67 0 0 0 1 2 0 0 20 0 19 0 30077488 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444256840040 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25553] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25553/stat : 25553 (java) S 25538 25541 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444255786360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25554] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25554/stat : 25554 (java) S 25538 25541 23975 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444254733192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25555] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25555/stat : 25555 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444253681936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25556] ppid=25538 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25541/task/25556/stat : 25556 (java) S 25538 25541 23975 0 -1 4202560 3316 0 0 0 45 0 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444252629816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25557] ppid=25538 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/25541/task/25557/stat : 25557 (java) S 25538 25541 23975 0 -1 4202560 2569 0 0 0 42 0 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444251577272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25558] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25558/stat : 25558 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444250524408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25559] ppid=25538 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/25541/task/25559/stat : 25559 (java) S 25538 25541 23975 0 -1 4202560 104 0 0 0 32 32 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444249472072 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25560] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25560/stat : 25560 (java) S 25538 25541 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077530 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444248417320 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.8 s]
/proc/loadavg: 2.25 2.22 2.18 3/194 25674
/proc/meminfo: memFree=29984032/32872528 swapFree=1392268/1580316
[pid=25541] ppid=25538 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/25541/stat : 25541 (java) S 25538 25541 23975 0 -1 4202496 12273 0 1 0 179946 63 0 0 20 0 19 0 30077486 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140736218684400 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25541/statm: 2406260 95815 2285 9 0 2396937 0
[pid=25541/tid=25542] ppid=25538 vsize=9625040 CPUtime=1797.03 cores=0,2,4,6
/proc/25541/task/25542/stat : 25542 (java) R 25538 25541 23975 0 -1 4202560 2523 0 1 0 179670 33 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444432703264 140444304966528 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25544] ppid=25538 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/25541/task/25544/stat : 25544 (java) S 25538 25541 23975 0 -1 4202560 176 0 0 0 17 2 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444276619688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25545] ppid=25538 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/25541/task/25545/stat : 25545 (java) S 25538 25541 23975 0 -1 4202560 252 0 0 0 17 3 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444275567144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25541/tid=25546] ppid=25538 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/25541/task/25546/stat : 25546 (java) S 25538 25541 23975 0 -1 4202560 442 0 0 0 23 4 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444274514088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25547] ppid=25538 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25541/task/25547/stat : 25547 (java) S 25538 25541 23975 0 -1 4202560 362 0 0 0 17 4 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444273461544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25548] ppid=25538 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/25541/task/25548/stat : 25548 (java) S 25538 25541 23975 0 -1 4202560 307 0 0 0 21 4 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444272409512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25549] ppid=25538 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25541/task/25549/stat : 25549 (java) S 25538 25541 23975 0 -1 4202560 262 0 0 0 20 3 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444271356968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25550] ppid=25538 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25541/task/25550/stat : 25550 (java) S 25538 25541 23975 0 -1 4202560 375 0 0 0 18 3 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444270303912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25541/tid=25551] ppid=25538 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/25541/task/25551/stat : 25551 (java) S 25538 25541 23975 0 -1 4202560 254 0 0 0 16 2 0 0 20 0 19 0 30077487 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444269251368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25552] ppid=25538 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/25541/task/25552/stat : 25552 (java) S 25538 25541 23975 0 -1 4202560 67 0 0 0 1 2 0 0 20 0 19 0 30077488 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444256840040 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25553] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25553/stat : 25553 (java) S 25538 25541 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444255786360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25554] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25554/stat : 25554 (java) S 25538 25541 23975 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 30077489 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444254733192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25555] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25555/stat : 25555 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444253681936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25556] ppid=25538 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25541/task/25556/stat : 25556 (java) S 25538 25541 23975 0 -1 4202560 3316 0 0 0 45 0 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444252629816 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25541/tid=25557] ppid=25538 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/25541/task/25557/stat : 25557 (java) S 25538 25541 23975 0 -1 4202560 2569 0 0 0 42 0 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444251577272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25558] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25558/stat : 25558 (java) S 25538 25541 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444250524408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25541/tid=25559] ppid=25538 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/25541/task/25559/stat : 25559 (java) S 25538 25541 23975 0 -1 4202560 104 0 0 0 33 32 0 0 20 0 19 0 30077491 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444249472072 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25541/tid=25560] ppid=25538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25541/task/25560/stat : 25560 (java) S 25538 25541 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077530 9856040960 95815 33554432000 1073741824 1073778376 140736218693264 140444248417320 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 25541 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.84
CPU time (s): 1800.64
CPU user time (s): 1799.58
CPU system time (s): 1.06384
CPU usage (%): 100.156
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 1.06384
maximum resident set size= 383452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12307
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38428
involuntary context switches= 19785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8725 second user time and 14.2338 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-26 21:46:43
IDJOB=4116489
IDBENCH=109476
IDSOLVER=2546
FILE ID=node139/4116489-1466970403
RUNJOBID= node139-1466956013-23991
PBS_JOBID= 19976371
Free space on /tmp= 71676 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-8.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116489-1466970403/watcher-4116489-1466970403 -o /tmp/evaluation-result-4116489-1466970403/solver-4116489-1466970403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23991 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116489-1466970403.opb

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

MD5SUM BENCH= 3cf063c4f0bb38f0869318b9b868216b
RANDOM SEED=758715781

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
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		: 2666.394
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30305372 kB
Buffers:           40684 kB
Cached:           179204 kB
SwapCached:         2156 kB
Active:           102824 kB
Inactive:         179540 kB
Active(anon):      63588 kB
Inactive(anon):     1120 kB
Active(file):      39236 kB
Inactive(file):   178420 kB
Unevictable:     1580316 kB
Mlocked:         1392268 kB
SwapTotal:      67108856 kB
SwapFree:       67098796 kB
Dirty:              2436 kB
Writeback:             4 kB
AnonPages:       1641484 kB
Mapped:            15368 kB
Shmem:                 0 kB
Slab:             568960 kB
SReclaimable:      12404 kB
SUnreclaim:       556556 kB
KernelStack:        1600 kB
PageTables:         7736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2268956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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= 71676 MiB
End job on node139 at 2016-06-26 22:16:41