Trace number 4120950

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 PB16UNSAT 1251.16 1249.55

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-88.cnf.gz-extracted.pb.metafix.opb
MD5SUM0e39698004f18805edfd2707cc37d183
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.012997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables353
Total number of constraints352
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)352
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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@2b21cc40
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@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4120950-1467312934.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.10/0.17	c ... done. Wall clock time 0.061s.
0.10/0.17	c declared #vars     353
0.10/0.17	c #constraints  352
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 352
0.10/0.17	c 352 constraints processed.
0.62/0.44	c cleaning 2488 clauses out of 5000 with flag 27466/5000
0.94/0.63	c cleaning 4247 clauses out of 8514 with flag 60431/11002
1.14/0.85	c cleaning 5614 clauses out of 11265 with flag 99371/18000
1.35/1.10	c cleaning 6824 clauses out of 13652 with flag 141517/26001
1.76/1.47	c cleaning 7898 clauses out of 15827 with flag 188982/35000
2.16/1.87	c cleaning 8946 clauses out of 17929 with flag 242265/45000
2.57/2.27	c cleaning 9982 clauses out of 19986 with flag 298336/56003
3.06/2.76	c cleaning 10993 clauses out of 22002 with flag 361714/68001
3.67/3.39	c cleaning 11989 clauses out of 24011 with flag 437145/81003
4.36/4.02	c cleaning 12997 clauses out of 26020 with flag 517604/95001
5.06/4.76	c cleaning 13988 clauses out of 28023 with flag 604245/110001
6.06/5.76	c cleaning 15007 clauses out of 30036 with flag 703129/126002
6.97/6.70	c cleaning 15989 clauses out of 32027 with flag 811561/143000
7.96/7.64	c cleaning 16999 clauses out of 34038 with flag 915036/161000
9.06/8.75	c cleaning 17999 clauses out of 36039 with flag 1014875/180000
10.27/9.96	c cleaning 18989 clauses out of 38040 with flag 1131178/200000
11.56/11.29	c cleaning 19998 clauses out of 40051 with flag 1266016/221000
12.96/12.69	c cleaning 21019 clauses out of 42054 with flag 1405748/243001
14.56/14.29	c cleaning 22008 clauses out of 44034 with flag 1552952/266000
16.26/15.99	c cleaning 23001 clauses out of 46026 with flag 1707521/290000
17.96/17.68	c cleaning 23994 clauses out of 48025 with flag 1854946/315000
19.76/19.46	c cleaning 24995 clauses out of 50032 with flag 2012345/341001
21.86/21.51	c cleaning 26004 clauses out of 52037 with flag 2171545/368001
23.95/23.67	c cleaning 27003 clauses out of 54033 with flag 2345603/396001
26.26/25.94	c cleaning 27982 clauses out of 56029 with flag 2523818/425000
28.56/28.23	c cleaning 28997 clauses out of 58048 with flag 2710910/455001
30.96/30.66	c cleaning 30011 clauses out of 60053 with flag 2911466/486003
33.56/33.22	c cleaning 31008 clauses out of 62039 with flag 3119624/518000
36.46/36.11	c cleaning 31999 clauses out of 64031 with flag 3321714/551000
39.56/39.22	c cleaning 32996 clauses out of 66032 with flag 3535817/585000
42.76/42.42	c cleaning 34010 clauses out of 68037 with flag 3762804/620001
46.06/45.79	c cleaning 34986 clauses out of 70026 with flag 4000744/656000
49.76/49.40	c cleaning 36004 clauses out of 72041 with flag 4232536/693001
53.46/53.12	c cleaning 37010 clauses out of 74036 with flag 4468238/731000
57.46/57.16	c cleaning 37991 clauses out of 76026 with flag 4718223/770000
61.46/61.11	c cleaning 39012 clauses out of 78037 with flag 4974663/810002
65.56/65.25	c cleaning 39990 clauses out of 80024 with flag 5237099/851001
70.16/69.80	c cleaning 40997 clauses out of 82033 with flag 5490946/893000
74.86/74.56	c cleaning 42007 clauses out of 84038 with flag 5746084/936002
79.91/79.57	c cleaning 43002 clauses out of 86029 with flag 6022147/980000
85.12/84.70	c cleaning 43995 clauses out of 88031 with flag 6300551/1025004
90.21/89.81	c cleaning 44991 clauses out of 90033 with flag 6574014/1071001
95.61/95.24	c cleaning 46004 clauses out of 92043 with flag 6854173/1118002
101.12/100.72	c cleaning 46999 clauses out of 94037 with flag 7145711/1166000
106.62/106.21	c cleaning 47989 clauses out of 96039 with flag 7440813/1215001
112.32/111.95	c cleaning 49011 clauses out of 98050 with flag 7747092/1265001
118.61/118.28	c cleaning 49995 clauses out of 100039 with flag 8045939/1316001
125.11/124.77	c cleaning 51008 clauses out of 102043 with flag 8351820/1368000
131.71/131.35	c cleaning 52008 clauses out of 104035 with flag 8665545/1421000
138.31/137.99	c cleaning 53010 clauses out of 106027 with flag 8988433/1475000
145.11/144.73	c cleaning 53997 clauses out of 108018 with flag 9309693/1530001
152.21/151.88	c cleaning 54988 clauses out of 110020 with flag 9646354/1586000
159.50/159.10	c cleaning 55988 clauses out of 112034 with flag 9976171/1643002
166.80/166.47	c cleaning 57020 clauses out of 114044 with flag 10317084/1701000
174.41/174.00	c cleaning 58000 clauses out of 116025 with flag 10664912/1760001
182.41/182.04	c cleaning 58994 clauses out of 118024 with flag 11017804/1820000
191.11/190.75	c cleaning 60001 clauses out of 120030 with flag 11364319/1881000
199.90/199.53	c cleaning 60995 clauses out of 122030 with flag 11731683/1943001
208.98/208.56	c cleaning 62006 clauses out of 124034 with flag 12095746/2006000
217.87/217.44	c cleaning 63006 clauses out of 126029 with flag 12467164/2070001
227.68/227.23	c cleaning 63996 clauses out of 128022 with flag 12839245/2135000
237.18/236.74	c cleaning 64996 clauses out of 130026 with flag 13219952/2201000
247.28/246.83	c cleaning 65996 clauses out of 132031 with flag 13614033/2268001
257.70/257.23	c cleaning 66996 clauses out of 134034 with flag 13999799/2336000
268.60/268.11	c cleaning 68008 clauses out of 136038 with flag 14385191/2405000
279.51/279.05	c cleaning 68999 clauses out of 138030 with flag 14780410/2475000
291.20/290.78	c cleaning 70006 clauses out of 140032 with flag 15176075/2546001
302.70/302.21	c cleaning 70992 clauses out of 142025 with flag 15579752/2618000
314.70/314.25	c cleaning 71997 clauses out of 144034 with flag 16006345/2691001
327.10/326.63	c cleaning 73004 clauses out of 146037 with flag 16425188/2765001
340.00/339.58	c cleaning 74007 clauses out of 148032 with flag 16852503/2840000
353.30/352.80	c cleaning 74999 clauses out of 150025 with flag 17290963/2916000
366.50/366.04	c cleaning 75993 clauses out of 152027 with flag 17709407/2993001
380.55/380.06	c cleaning 76999 clauses out of 154034 with flag 18145796/3071001
394.65/394.17	c cleaning 78013 clauses out of 156034 with flag 18589047/3150000
409.15/408.67	c cleaning 79011 clauses out of 158023 with flag 19025081/3230002
424.05/423.57	c cleaning 79989 clauses out of 160013 with flag 19467322/3311003
439.24/438.75	c cleaning 80996 clauses out of 162022 with flag 19916531/3393001
454.63/454.13	c cleaning 82002 clauses out of 164025 with flag 20376357/3476000
470.43/469.96	c cleaning 82993 clauses out of 166025 with flag 20832162/3560002
486.24/485.73	c cleaning 84004 clauses out of 168030 with flag 21317462/3645000
503.25/502.71	c cleaning 84992 clauses out of 170029 with flag 21779622/3731003
520.24/519.75	c cleaning 86001 clauses out of 172035 with flag 22258812/3818001
537.64/537.13	c cleaning 87002 clauses out of 174037 with flag 22739716/3906004
555.04/554.53	c cleaning 88003 clauses out of 176031 with flag 23229195/3995000
574.11/573.50	c cleaning 89015 clauses out of 178030 with flag 23714896/4085002
592.70/592.14	c cleaning 89997 clauses out of 180015 with flag 24201710/4176002
611.40/610.81	c cleaning 90978 clauses out of 182016 with flag 24704075/4268000
630.30/629.75	c cleaning 92002 clauses out of 184040 with flag 25202358/4361002
649.80/649.26	c cleaning 92990 clauses out of 186036 with flag 25702779/4455000
670.00/669.41	c cleaning 94017 clauses out of 188046 with flag 26205972/4550000
690.20/689.65	c cleaning 94996 clauses out of 190029 with flag 26721918/4646000
710.40/709.84	c cleaning 95995 clauses out of 192034 with flag 27245753/4743001
731.10/730.53	c cleaning 97006 clauses out of 194041 with flag 27774369/4841003
751.80/751.21	c cleaning 98002 clauses out of 196036 with flag 28302329/4940004
773.20/772.61	c cleaning 98998 clauses out of 198030 with flag 28851931/5040000
794.58/793.98	c cleaning 100002 clauses out of 200032 with flag 29395032/5141000
816.28/815.65	c cleaning 101000 clauses out of 202031 with flag 29955572/5243001
837.68/837.05	c cleaning 101998 clauses out of 204032 with flag 30511156/5346002
859.98/859.30	c cleaning 103006 clauses out of 206032 with flag 31058390/5450000
883.88/883.28	c cleaning 103997 clauses out of 208028 with flag 31621213/5555002
907.67/907.07	c cleaning 105004 clauses out of 210031 with flag 32205836/5661002
932.88/932.26	c cleaning 105998 clauses out of 212025 with flag 32790764/5768000
959.78/959.10	c cleaning 107002 clauses out of 214027 with flag 33392609/5876000
986.68/986.08	c cleaning 108006 clauses out of 216025 with flag 33979626/5985000
1013.09/1012.44	c cleaning 109001 clauses out of 218021 with flag 34574371/6095002
1038.98/1038.28	c cleaning 109989 clauses out of 220018 with flag 35155599/6206000
1066.47/1065.73	c cleaning 110999 clauses out of 222029 with flag 35762591/6318000
1093.37/1092.66	c cleaning 112005 clauses out of 224032 with flag 36367863/6431002
1120.88/1120.10	c cleaning 113001 clauses out of 226027 with flag 36972956/6545002
1147.29/1146.51	c cleaning 114004 clauses out of 228024 with flag 37604270/6660000
1173.28/1172.50	c cleaning 115007 clauses out of 230021 with flag 38241826/6776001
1199.59/1198.86	c cleaning 115993 clauses out of 232013 with flag 38887455/6893000
1224.39/1223.62	c cleaning 116997 clauses out of 234021 with flag 39528249/7011001
1250.71/1249.51	c starts		: 15018
1250.71/1249.51	c conflicts		: 7122144
1250.71/1249.51	c decisions		: 10545417
1250.71/1249.51	c propagations		: 127956774
1250.71/1249.51	c inspects		: 26658981074
1250.71/1249.51	c shortcuts		: 0
1250.71/1249.51	c learnt literals	: 12
1250.71/1249.51	c learnt binary clauses	: 18
1250.71/1249.51	c learnt ternary clauses	: 24
1250.71/1249.51	c learnt constraints	: 7122131
1250.71/1249.51	c ignored constraints	: 0
1250.71/1249.51	c root simplifications	: 0
1250.71/1249.51	c removed literals (reason simplification)	: 0
1250.71/1249.51	c reason swapping (by a shorter reason)	: 0
1250.71/1249.51	c Calls to reduceDB	: 114
1250.71/1249.51	c Number of update (reduction) of LBD	: 2201026
1250.71/1249.51	c Imported unit clauses	: 0
1250.71/1249.51	c number of reductions to clauses (during analyze)	: 0
1250.71/1249.51	c number of learned constraints concerned by reduction	: 0
1250.71/1249.51	c number of learning phase by resolution	: 0
1250.71/1249.51	c number of learning phase by cutting planes	: 0
1250.71/1249.51	c speed (assignments/second)	: 102419.82461083327
1250.71/1249.51	c non guided choices	81471
1250.71/1249.54	c learnt constraints type 
1250.71/1249.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 18
1250.71/1249.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 228136
1250.71/1249.54	s UNSATISFIABLE
1250.71/1249.54	c Total wall clock time (in seconds): 1249.433

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-4120950-1467312934/watcher-4120950-1467312934 -o /tmp/evaluation-result-4120950-1467312934/solver-4120950-1467312934 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467308726-12738 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4120950-1467312934.opb 

pid=13949
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.05 2.06 2.01 3/194 13952
/proc/meminfo: memFree=31058220/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 10324740 98570240 978 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 24065 978 744 9 0 16771 0
[pid=13952/tid=13953] ppid=13949 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 10324740 98570240 978 33554432000 1073741824 1073778376 140735877162960 139941841227304 224922518912 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100113 s]
/proc/loadavg: 2.05 2.06 2.01 3/194 13952
/proc/meminfo: memFree=31058220/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 4464 0 1 0 9 1 0 0 20 0 18 0 10324740 9787879424 5589 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2389619 5589 2140 9 0 2380296 0
[pid=13952/tid=13953] ppid=13949 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 2430 0 1 0 8 0 0 0 20 0 18 0 10324740 9787879424 5589 33554432000 1073741824 1073778376 140735877162960 139941841230752 139941848384563 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.05 2.06 2.01 3/194 13952
/proc/meminfo: memFree=31058220/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9625312 CPUtime=0.26 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 5648 0 1 0 25 1 0 0 20 0 19 0 10324740 9856319488 7051 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2406328 7051 2222 9 0 2397005 0
[pid=13952/tid=13953] ppid=13949 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 2457 0 1 0 18 0 0 0 20 0 19 0 10324740 9856040960 6983 33554432000 1073741824 1073778376 140735877162960 139941841232512 139941781044230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625312

[startup+0.300327 s]
/proc/loadavg: 2.05 2.06 2.01 3/194 13952
/proc/meminfo: memFree=31058220/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 6505 0 1 0 49 1 0 0 20 0 19 0 10324740 9856040960 7439 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2406260 7439 2244 9 0 2396937 0
[pid=13952/tid=13953] ppid=13949 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 2458 0 1 0 28 0 0 0 20 0 19 0 10324740 9856040960 7439 33554432000 1073741824 1073778376 140735877162960 139941841232512 139941781402541 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) 9625040

[startup+0.700287 s]
/proc/loadavg: 2.05 2.06 2.01 3/194 13952
/proc/meminfo: memFree=31058220/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 8249 0 1 0 102 2 0 0 20 0 19 0 10324740 9856040960 8815 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2406260 8815 2254 9 0 2396937 0
[pid=13952/tid=13953] ppid=13949 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 2459 0 1 0 68 0 0 0 20 0 19 0 10324740 9856040960 8815 33554432000 1073741824 1073778376 140735877162960 139941841232344 139941781402523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.05 2.06 2.01 4/213 13971
/proc/meminfo: memFree=31029164/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9625040 CPUtime=1.86 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 8278 0 1 0 184 2 0 0 20 0 19 0 10324740 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2406260 9865 2256 9 0 2396937 0
[pid=13952/tid=13953] ppid=13949 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 2462 0 1 0 148 0 0 0 20 0 19 0 10324740 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941841232104 139941781403013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13955] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13955/stat : 13955 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941779962920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13956] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13956/stat : 13956 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941683870632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13957] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13957/stat : 13957 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941682817832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13958] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13958/stat : 13958 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941681765032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13959] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13959/stat : 13959 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941680712232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13960] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13960/stat : 13960 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941679659432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13961] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13961/stat : 13961 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941678606632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13962] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13962/stat : 13962 (java) S 13949 13952 12722 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941677553832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13963] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13963/stat : 13963 (java) S 13949 13952 12722 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10324742 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941665356776 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13964] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13964/stat : 13964 (java) S 13949 13952 12722 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941664302840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13965] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13965/stat : 13965 (java) S 13949 13952 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941663249928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13966] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13966/stat : 13966 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941662198416 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13967] ppid=13949 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13952/task/13967/stat : 13967 (java) S 13949 13952 12722 0 -1 4202560 2788 0 0 0 20 0 0 0 20 0 19 0 10324745 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941661145528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13968] ppid=13949 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/13952/task/13968/stat : 13968 (java) S 13949 13952 12722 0 -1 4202560 1757 0 0 0 15 0 0 0 20 0 19 0 10324745 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941660092728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13969] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13969/stat : 13969 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941659040120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13970] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13970/stat : 13970 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941657987528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13971] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13971/stat : 13971 (java) S 13949 13952 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10324757 9856040960 9865 33554432000 1073741824 1073778376 140735877162960 139941656934056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625040

[startup+3.10068 s]
/proc/loadavg: 2.05 2.06 2.01 3/213 13971
/proc/meminfo: memFree=31024448/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9625040 CPUtime=3.46 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 8281 0 1 0 344 2 0 0 20 0 19 0 10324740 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2406260 10889 2256 9 0 2396937 0
[pid=13952/tid=13953] ppid=13949 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 2465 0 1 0 308 0 0 0 20 0 19 0 10324740 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941841223328 139941781402528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13955] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13955/stat : 13955 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941779962920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13956] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13956/stat : 13956 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941683870632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13957] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13957/stat : 13957 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941682817832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13958] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13958/stat : 13958 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941681765032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13959] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13959/stat : 13959 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941680712232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13960] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13960/stat : 13960 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941679659432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13961] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13961/stat : 13961 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941678606632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13962] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13962/stat : 13962 (java) S 13949 13952 12722 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941677553832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13963] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13963/stat : 13963 (java) S 13949 13952 12722 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10324742 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941665356776 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13964] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13964/stat : 13964 (java) S 13949 13952 12722 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941664302840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13965] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13965/stat : 13965 (java) S 13949 13952 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941663249928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13966] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13966/stat : 13966 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941662198416 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13967] ppid=13949 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13952/task/13967/stat : 13967 (java) S 13949 13952 12722 0 -1 4202560 2788 0 0 0 20 0 0 0 20 0 19 0 10324745 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941661145528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13968] ppid=13949 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/13952/task/13968/stat : 13968 (java) S 13949 13952 12722 0 -1 4202560 1757 0 0 0 15 0 0 0 20 0 19 0 10324745 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941660092728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13969] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13969/stat : 13969 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941659040120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13970] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13970/stat : 13970 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941657987528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13971] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13971/stat : 13971 (java) S 13949 13952 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10324757 9856040960 10889 33554432000 1073741824 1073778376 140735877162960 139941656934056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.04 2.05 2.00 3/213 13971
/proc/meminfo: memFree=31015948/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9625040 CPUtime=6.66 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 8287 0 1 0 664 2 0 0 20 0 19 0 10324740 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2406260 12935 2257 9 0 2396937 0
[pid=13952/tid=13953] ppid=13949 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 2470 0 1 0 627 1 0 0 20 0 19 0 10324740 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941841223328 139941781402922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13955] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13955/stat : 13955 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941779962920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13956] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13956/stat : 13956 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941683870632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13957] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13957/stat : 13957 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941682817832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13958] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13958/stat : 13958 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941681765032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13959] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13959/stat : 13959 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941680712232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13960] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13960/stat : 13960 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941679659432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13961] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13961/stat : 13961 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941678606632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13962] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13962/stat : 13962 (java) S 13949 13952 12722 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10324741 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941677553832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13963] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13963/stat : 13963 (java) S 13949 13952 12722 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10324742 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941665356776 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13964] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13964/stat : 13964 (java) S 13949 13952 12722 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941664302840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13965] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13965/stat : 13965 (java) S 13949 13952 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941663249928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13966] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13966/stat : 13966 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941662198416 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13967] ppid=13949 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/13952/task/13967/stat : 13967 (java) S 13949 13952 12722 0 -1 4202560 2788 0 0 0 20 0 0 0 20 0 19 0 10324745 9856040960 12935 33554432000 1073741824 1073778376 140735877162960 139941661145528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13968] ppid=13949 vsize=9625040 CPUtime=0.15 cores=0,2,4,6

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

[pid=13952/tid=13956] ppid=13949 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/13952/task/13956/stat : 13956 (java) S 13949 13952 12722 0 -1 4202560 136 0 0 0 5 1 0 0 20 0 19 0 10324741 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941683870632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13957] ppid=13949 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13952/task/13957/stat : 13957 (java) S 13949 13952 12722 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 10324741 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941682817832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13958] ppid=13949 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/13952/task/13958/stat : 13958 (java) S 13949 13952 12722 0 -1 4202560 48 0 0 0 4 1 0 0 20 0 19 0 10324741 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941681765032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13959] ppid=13949 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/13952/task/13959/stat : 13959 (java) S 13949 13952 12722 0 -1 4202560 109 0 0 0 5 1 0 0 20 0 19 0 10324741 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941680712232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13960] ppid=13949 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/13952/task/13960/stat : 13960 (java) S 13949 13952 12722 0 -1 4202560 67 0 0 0 6 2 0 0 20 0 19 0 10324741 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941679659432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13961] ppid=13949 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/13952/task/13961/stat : 13961 (java) S 13949 13952 12722 0 -1 4202560 44 0 0 0 5 2 0 0 20 0 19 0 10324741 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941678606632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13962] ppid=13949 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/13952/task/13962/stat : 13962 (java) S 13949 13952 12722 0 -1 4202560 142 0 0 0 4 1 0 0 20 0 19 0 10324741 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941677553832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13963] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13963/stat : 13963 (java) S 13949 13952 12722 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 10324742 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941665356776 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13964] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13964/stat : 13964 (java) S 13949 13952 12722 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941664302840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13965] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13965/stat : 13965 (java) S 13949 13952 12722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941663249928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13966] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13966/stat : 13966 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941662198416 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13967] ppid=13949 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/13952/task/13967/stat : 13967 (java) S 13949 13952 12722 0 -1 4202560 4835 0 0 0 39 0 0 0 20 0 19 0 10324745 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941661145528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13968] ppid=13949 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/13952/task/13968/stat : 13968 (java) S 13949 13952 12722 0 -1 4202560 1768 0 0 0 16 0 0 0 20 0 19 0 10324745 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941660092728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13969] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13969/stat : 13969 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941659040120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13970] ppid=13949 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/13952/task/13970/stat : 13970 (java) S 13949 13952 12722 0 -1 4202560 72 0 0 0 13 15 0 0 20 0 19 0 10324745 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941657987528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13971] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13971/stat : 13971 (java) S 13949 13952 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10324757 9856040960 61348 33554432000 1073741824 1073778376 140735877162960 139941656934056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1249.77
Current children cumulated vsize (KiB) 9625040

[startup+1249.2 s]
/proc/loadavg: 2.13 2.08 2.02 3/213 14090
/proc/meminfo: memFree=30819524/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9625040 CPUtime=1250.23 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 11642 0 1 0 124995 28 0 0 20 0 19 0 10324740 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2406260 61739 2272 9 0 2396937 0
[pid=13952/tid=13953] ppid=13949 vsize=9625040 CPUtime=1248.98 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 2534 0 1 0 124874 24 0 0 20 0 19 0 10324740 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941841230360 139941781627923 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13955] ppid=13949 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/13952/task/13955/stat : 13955 (java) S 13949 13952 12722 0 -1 4202560 140 0 0 0 5 1 0 0 20 0 19 0 10324741 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941779962920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13956] ppid=13949 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/13952/task/13956/stat : 13956 (java) S 13949 13952 12722 0 -1 4202560 136 0 0 0 5 1 0 0 20 0 19 0 10324741 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941683870632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13957] ppid=13949 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13952/task/13957/stat : 13957 (java) S 13949 13952 12722 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 10324741 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941682817832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13958] ppid=13949 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/13952/task/13958/stat : 13958 (java) S 13949 13952 12722 0 -1 4202560 48 0 0 0 4 1 0 0 20 0 19 0 10324741 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941681765032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13959] ppid=13949 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/13952/task/13959/stat : 13959 (java) S 13949 13952 12722 0 -1 4202560 109 0 0 0 5 1 0 0 20 0 19 0 10324741 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941680712232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13960] ppid=13949 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/13952/task/13960/stat : 13960 (java) S 13949 13952 12722 0 -1 4202560 67 0 0 0 6 2 0 0 20 0 19 0 10324741 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941679659432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13961] ppid=13949 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/13952/task/13961/stat : 13961 (java) S 13949 13952 12722 0 -1 4202560 44 0 0 0 5 2 0 0 20 0 19 0 10324741 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941678606632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13962] ppid=13949 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/13952/task/13962/stat : 13962 (java) S 13949 13952 12722 0 -1 4202560 142 0 0 0 4 1 0 0 20 0 19 0 10324741 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941677553832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13963] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13963/stat : 13963 (java) S 13949 13952 12722 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 10324742 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941665356776 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13964] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13964/stat : 13964 (java) S 13949 13952 12722 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941664302840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13965] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13965/stat : 13965 (java) S 13949 13952 12722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941663249928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13966] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13966/stat : 13966 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941662198416 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13967] ppid=13949 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/13952/task/13967/stat : 13967 (java) R 13949 13952 12722 0 -1 4202560 5280 0 0 0 45 0 0 0 20 0 19 0 10324745 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941661132808 139941845319739 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13968] ppid=13949 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/13952/task/13968/stat : 13968 (java) S 13949 13952 12722 0 -1 4202560 1768 0 0 0 16 0 0 0 20 0 19 0 10324745 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941660092728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13969] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13969/stat : 13969 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941659040120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13970] ppid=13949 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/13952/task/13970/stat : 13970 (java) S 13949 13952 12722 0 -1 4202560 72 0 0 0 13 15 0 0 20 0 19 0 10324745 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941657987528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13971] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13971/stat : 13971 (java) S 13949 13952 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10324757 9856040960 61739 33554432000 1073741824 1073778376 140735877162960 139941656934056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1250.23
Current children cumulated vsize (KiB) 9625040

[startup+1249.4 s]
/proc/loadavg: 2.13 2.08 2.02 3/213 14090
/proc/meminfo: memFree=30819524/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9625040 CPUtime=1250.48 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 11821 0 1 0 125020 28 0 0 20 0 19 0 10324740 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2406260 61614 2272 9 0 2396937 0
[pid=13952/tid=13953] ppid=13949 vsize=9625040 CPUtime=1249.18 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) R 13949 13952 12722 0 -1 4202560 2534 0 1 0 124894 24 0 0 20 0 19 0 10324740 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941841232328 139941781627903 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13955] ppid=13949 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/13952/task/13955/stat : 13955 (java) S 13949 13952 12722 0 -1 4202560 140 0 0 0 5 1 0 0 20 0 19 0 10324741 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941779962920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13956] ppid=13949 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/13952/task/13956/stat : 13956 (java) S 13949 13952 12722 0 -1 4202560 136 0 0 0 5 1 0 0 20 0 19 0 10324741 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941683870632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13957] ppid=13949 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13952/task/13957/stat : 13957 (java) S 13949 13952 12722 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 10324741 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941682817832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13958] ppid=13949 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/13952/task/13958/stat : 13958 (java) S 13949 13952 12722 0 -1 4202560 48 0 0 0 4 1 0 0 20 0 19 0 10324741 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941681765032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13959] ppid=13949 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/13952/task/13959/stat : 13959 (java) S 13949 13952 12722 0 -1 4202560 109 0 0 0 5 1 0 0 20 0 19 0 10324741 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941680712232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13960] ppid=13949 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/13952/task/13960/stat : 13960 (java) S 13949 13952 12722 0 -1 4202560 67 0 0 0 6 2 0 0 20 0 19 0 10324741 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941679659432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13961] ppid=13949 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/13952/task/13961/stat : 13961 (java) S 13949 13952 12722 0 -1 4202560 44 0 0 0 5 2 0 0 20 0 19 0 10324741 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941678606632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13962] ppid=13949 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/13952/task/13962/stat : 13962 (java) S 13949 13952 12722 0 -1 4202560 142 0 0 0 4 1 0 0 20 0 19 0 10324741 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941677553832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13963] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13963/stat : 13963 (java) S 13949 13952 12722 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 10324742 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941665356776 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13964] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13964/stat : 13964 (java) S 13949 13952 12722 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941664302840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13965] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13965/stat : 13965 (java) S 13949 13952 12722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10324743 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941663249928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13966] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13966/stat : 13966 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941662198416 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13967] ppid=13949 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/13952/task/13967/stat : 13967 (java) S 13949 13952 12722 0 -1 4202560 5452 0 0 0 49 0 0 0 20 0 19 0 10324745 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941661145528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13968] ppid=13949 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/13952/task/13968/stat : 13968 (java) S 13949 13952 12722 0 -1 4202560 1775 0 0 0 18 0 0 0 20 0 19 0 10324745 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941660092728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13969] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13969/stat : 13969 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941659040120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13970] ppid=13949 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/13952/task/13970/stat : 13970 (java) S 13949 13952 12722 0 -1 4202560 72 0 0 0 13 15 0 0 20 0 19 0 10324745 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941657987528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13971] ppid=13949 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13971/stat : 13971 (java) S 13949 13952 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10324757 9856040960 61614 33554432000 1073741824 1073778376 140735877162960 139941656934056 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1250.48
Current children cumulated vsize (KiB) 9625040

[startup+1249.5 s]
/proc/loadavg: 2.13 2.08 2.02 3/213 14090
/proc/meminfo: memFree=30819524/32872528 swapFree=171816/177948
[pid=13952] ppid=13949 vsize=9691604 CPUtime=1250.71 cores=0,2,4,6
/proc/13952/stat : 13952 (java) S 13949 13952 12722 0 -1 4202496 11870 0 1 0 125041 30 0 0 20 0 19 0 10324740 9924202496 66234 33554432000 1073741824 1073778376 140735877162960 140735877154096 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13952/statm: 2422901 66234 2273 9 0 2413578 0
[pid=13952/tid=13953] ppid=13949 vsize=9691604 CPUtime=1249.23 cores=0,2,4,6
/proc/13952/task/13953/stat : 13953 (java) S 13949 13952 12722 0 -1 4202560 2536 0 1 0 124899 24 0 0 20 0 19 0 10324740 9924202496 66234 33554432000 1073741824 1073778376 140735877162960 139941841232600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13955] ppid=13949 vsize=9691604 CPUtime=0.07 cores=0,2,4,6
/proc/13952/task/13955/stat : 13955 (java) R 13949 13952 12722 0 -1 4202560 148 0 0 0 6 1 0 0 20 0 19 0 10324741 9924202496 66234 33554432000 1073741824 1073778376 140735877162960 139941779963048 139941843703539 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13956] ppid=13949 vsize=9691604 CPUtime=0.07 cores=0,2,4,6
/proc/13952/task/13956/stat : 13956 (java) R 13949 13952 12722 0 -1 4202560 137 0 0 0 6 1 0 0 20 0 19 0 10324741 9924202496 66234 33554432000 1073741824 1073778376 140735877162960 139941683870808 139941843703435 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13957] ppid=13949 vsize=9691604 CPUtime=0.05 cores=0,2,4,6
/proc/13952/task/13957/stat : 13957 (java) R 13949 13952 12722 0 -1 4202560 16 0 0 0 4 1 0 0 20 0 19 0 10324741 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941682817960 224922471559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13958] ppid=13949 vsize=9691604 CPUtime=0.07 cores=0,2,4,6
/proc/13952/task/13958/stat : 13958 (java) R 13949 13952 12722 0 -1 4202560 52 0 0 0 6 1 0 0 20 0 19 0 10324741 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941681765208 139941848128428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13959] ppid=13949 vsize=9691604 CPUtime=0.11 cores=0,2,4,6
/proc/13952/task/13959/stat : 13959 (java) R 13949 13952 12722 0 -1 4202560 119 0 0 0 9 2 0 0 20 0 19 0 10324741 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941680712408 139941843703489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13960] ppid=13949 vsize=9691604 CPUtime=0.1 cores=0,2,4,6
/proc/13952/task/13960/stat : 13960 (java) R 13949 13952 12722 0 -1 4202560 71 0 0 0 8 2 0 0 20 0 19 0 10324741 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941679659608 139941843703539 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13961] ppid=13949 vsize=9691604 CPUtime=0.09 cores=0,2,4,6
/proc/13952/task/13961/stat : 13961 (java) R 13949 13952 12722 0 -1 4202560 48 0 0 0 7 2 0 0 20 0 19 0 10324741 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941678606760 224922471559 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13952/tid=13962] ppid=13949 vsize=9691604 CPUtime=0.08 cores=0,2,4,6
/proc/13952/task/13962/stat : 13962 (java) R 13949 13952 12722 0 -1 4202560 148 0 0 0 6 2 0 0 20 0 19 0 10324741 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941677554008 139941843703539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13963] ppid=13949 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13963/stat : 13963 (java) S 13949 13952 12722 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 10324742 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941665355656 224925889596 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13964] ppid=13949 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13964/stat : 13964 (java) S 13949 13952 12722 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10324743 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941664302840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13965] ppid=13949 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13965/stat : 13965 (java) S 13949 13952 12722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10324743 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941663249928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13966] ppid=13949 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13966/stat : 13966 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941662198416 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13952/tid=13967] ppid=13949 vsize=9691604 CPUtime=0.49 cores=0,2,4,6
/proc/13952/task/13967/stat : 13967 (java) S 13949 13952 12722 0 -1 4202560 5452 0 0 0 49 0 0 0 20 0 19 0 10324745 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941661145528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13952/tid=13968] ppid=13949 vsize=9691604 CPUtime=0.18 cores=0,2,4,6
/proc/13952/task/13968/stat : 13968 (java) S 13949 13952 12722 0 -1 4202560 1775 0 0 0 18 0 0 0 20 0 19 0 10324745 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941660092728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13969] ppid=13949 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/13952/task/13969/stat : 13969 (java) S 13949 13952 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10324745 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941659040120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13952/tid=13970] ppid=13949 vsize=9691604 CPUtime=0.28 cores=0,2,4,6
/proc/13952/task/13970/stat : 13970 (java) S 13949 13952 12722 0 -1 4202560 72 0 0 0 13 15 0 0 20 0 19 0 10324745 9924202496 66746 33554432000 1073741824 1073778376 140735877162960 139941657987528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1250.71
Current children cumulated vsize (KiB) 9691604

Child status: 20
Real time (s): 1249.55
CPU time (s): 1251.16
CPU user time (s): 1250.5
CPU system time (s): 0.663899
CPU usage (%): 100.129
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1250.5
system time used= 0.663899
maximum resident set size= 269160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11914
page faults= 1
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26689
involuntary context switches= 3976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.12661 second user time and 10.1905 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-30 20:55:34
IDJOB=4120950
IDBENCH=110191
IDSOLVER=2546
FILE ID=node105/4120950-1467312934
RUNJOBID= node105-1467308726-12738
PBS_JOBID= 20005269
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 0e39698004f18805edfd2707cc37d183
RANDOM SEED=985487332

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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.487
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:        31058756 kB
Buffers:          143960 kB
Cached:           539536 kB
SwapCached:            0 kB
Active:           475108 kB
Inactive:         419732 kB
Active(anon):     205612 kB
Inactive(anon):     7948 kB
Active(file):     269496 kB
Inactive(file):   411784 kB
Unevictable:      177948 kB
Mlocked:          171816 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               496 kB
Writeback:             0 kB
AnonPages:        452276 kB
Mapped:            22168 kB
Shmem:               204 kB
Slab:             611020 kB
SReclaimable:      54916 kB
SUnreclaim:       556104 kB
KernelStack:        1760 kB
PageTables:         4884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     866836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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= 71728 MiB
End job on node105 at 2016-06-30 21:16:24