Trace number 3478739

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 Resolution 2.3.0? (TO) 1800.26 1797.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-24.opb
MD5SUM902c79ddb1483993d151297b6d1c86a6
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 variables9342
Total number of constraints199352
Number of constraints which are clauses178530
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint2
Maximum length of a constraint231
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 232
Number of bits of the biggest sum of numbers8
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-2010 Daniel Le Berre
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.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		12995394264
0.08/0.09	c Max memory 		13063553024
0.08/0.09	c Total memory 		13063553024
0.08/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
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 Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3478739-1307436782.opb
0.10/0.11	c reading problem ... 
2.46/1.70	c ... done. Wall clock time 1.592s.
2.46/1.70	c #vars     9342
2.46/1.70	c #constraints  199720
2.46/1.70	c constraints type 
2.46/1.70	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 138943
2.46/1.70	c org.sat4j.minisat.constraints.card.MinWatchCard => 722
2.46/1.70	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 39953
2.46/1.70	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20102
5.75/4.69	c cleaning 2470 clauses out of 5000 with flag 5000/5000
8.29/7.05	c cleaning 4214 clauses out of 8532 with flag 11002/11002
10.12/8.83	c cleaning 5590 clauses out of 11316 with flag 18000/18000
11.82/10.55	c cleaning 6789 clauses out of 13726 with flag 26000/26000
13.75/12.48	c cleaning 7941 clauses out of 15939 with flag 35002/35002
15.67/14.32	c cleaning 8990 clauses out of 17998 with flag 45002/45002
17.96/16.67	c cleaning 9907 clauses out of 20006 with flag 56000/56000
20.36/19.00	c cleaning 11049 clauses out of 22101 with flag 68002/68002
23.67/22.32	c cleaning 12021 clauses out of 24050 with flag 81000/81000
26.37/25.09	c cleaning 12849 clauses out of 26031 with flag 95002/95002
29.58/28.22	c cleaning 14087 clauses out of 28182 with flag 110002/110002
33.31/32.00	c cleaning 15046 clauses out of 30099 with flag 126006/126006
36.51/35.20	c cleaning 15852 clauses out of 32048 with flag 143001/143001
40.30/38.98	c cleaning 17091 clauses out of 34195 with flag 161000/161000
44.92/43.51	c cleaning 18045 clauses out of 36101 with flag 180002/180002
49.04/47.61	c cleaning 19019 clauses out of 38053 with flag 200000/200000
52.35/50.91	c cleaning 19988 clauses out of 40035 with flag 221001/221001
55.86/54.41	c cleaning 21017 clauses out of 42046 with flag 243000/243000
62.86/61.43	c cleaning 22012 clauses out of 44029 with flag 266000/266000
68.59/67.13	c cleaning 23003 clauses out of 46017 with flag 290000/290000
73.48/72.05	c cleaning 24007 clauses out of 48013 with flag 315000/315000
78.09/76.64	c cleaning 24878 clauses out of 50009 with flag 341003/341003
83.40/81.96	c cleaning 26059 clauses out of 52129 with flag 368001/368001
92.73/91.29	c cleaning 27021 clauses out of 54070 with flag 396001/396001
98.24/96.72	c cleaning 28016 clauses out of 56049 with flag 425001/425001
103.33/101.88	c cleaning 28901 clauses out of 58032 with flag 455000/455000
111.24/109.74	c cleaning 29741 clauses out of 60131 with flag 486000/486000
122.15/120.69	c cleaning 30944 clauses out of 62390 with flag 518000/518000
129.46/127.99	c cleaning 32039 clauses out of 64447 with flag 551001/551001
134.58/133.05	c cleaning 33112 clauses out of 66407 with flag 585000/585000
141.68/140.19	c cleaning 34139 clauses out of 68297 with flag 620002/620002
148.29/146.78	c cleaning 35074 clauses out of 70157 with flag 656001/656001
155.81/154.26	c cleaning 36038 clauses out of 72084 with flag 693002/693002
166.12/164.50	c cleaning 37018 clauses out of 74046 with flag 731002/731002
174.35/172.72	c cleaning 37885 clauses out of 76026 with flag 770000/770000
182.74/181.10	c cleaning 38885 clauses out of 78141 with flag 810000/810000
192.85/191.30	c cleaning 39991 clauses out of 80256 with flag 851000/851000
203.55/201.90	c cleaning 41116 clauses out of 82265 with flag 893000/893000
213.46/211.80	c cleaning 42065 clauses out of 84150 with flag 936001/936001
221.47/219.83	c cleaning 42946 clauses out of 86085 with flag 980001/980001
230.68/229.03	c cleaning 44066 clauses out of 88138 with flag 1025000/1025000
252.10/250.41	c cleaning 45031 clauses out of 90073 with flag 1071001/1071001
265.82/264.18	c cleaning 46000 clauses out of 92042 with flag 1118001/1118001
281.32/279.66	c cleaning 46996 clauses out of 94041 with flag 1166000/1166000
294.53/292.85	c cleaning 47791 clauses out of 96045 with flag 1215000/1215000
305.65/304.00	c cleaning 48906 clauses out of 98256 with flag 1265002/1265002
318.06/316.34	c cleaning 49974 clauses out of 100349 with flag 1316001/1316001
330.61/328.86	c cleaning 51181 clauses out of 102374 with flag 1368000/1368000
342.50/340.72	c cleaning 52090 clauses out of 104195 with flag 1421002/1421002
363.30/361.57	c cleaning 52979 clauses out of 106104 with flag 1475001/1475001
373.92/372.16	c cleaning 53844 clauses out of 108124 with flag 1530000/1530000
390.43/388.69	c cleaning 54870 clauses out of 110281 with flag 1586001/1586001
406.15/404.32	c cleaning 56171 clauses out of 112410 with flag 1643000/1643000
419.16/417.33	c cleaning 57091 clauses out of 114239 with flag 1701000/1701000
436.17/434.33	c cleaning 58051 clauses out of 116149 with flag 1760001/1760001
456.38/454.55	c cleaning 58661 clauses out of 118097 with flag 1820000/1820000
468.90/467.02	c cleaning 59952 clauses out of 120437 with flag 1881001/1881001
487.51/485.68	c cleaning 61161 clauses out of 122484 with flag 1943000/1943000
508.03/506.18	c cleaning 62090 clauses out of 124323 with flag 2006000/2006000
523.85/521.94	c cleaning 63058 clauses out of 126233 with flag 2070000/2070000
540.06/538.14	c cleaning 63991 clauses out of 128175 with flag 2135000/2135000
556.87/554.93	c cleaning 65081 clauses out of 130185 with flag 2201001/2201001
579.40/577.49	c cleaning 65869 clauses out of 132103 with flag 2268000/2268000
597.70/595.70	c cleaning 67084 clauses out of 134236 with flag 2336002/2336002
617.81/615.87	c cleaning 67958 clauses out of 136150 with flag 2405000/2405000
638.43/636.42	c cleaning 69091 clauses out of 138192 with flag 2475000/2475000
661.64/659.68	c cleaning 69830 clauses out of 140101 with flag 2546000/2546000
683.68/681.64	c cleaning 70892 clauses out of 142271 with flag 2618000/2618000
704.39/702.31	c cleaning 72076 clauses out of 144379 with flag 2691000/2691000
728.71/726.64	c cleaning 73035 clauses out of 146304 with flag 2765001/2765001
747.22/745.19	c cleaning 74121 clauses out of 148271 with flag 2840003/2840003
767.14/765.06	c cleaning 74809 clauses out of 150147 with flag 2916000/2916000
791.87/789.82	c cleaning 76034 clauses out of 152338 with flag 2993000/2993000
817.07/814.96	c cleaning 77137 clauses out of 154304 with flag 3071000/3071000
839.58/837.44	c cleaning 77940 clauses out of 156167 with flag 3150000/3150000
864.00/861.84	c cleaning 79107 clauses out of 158227 with flag 3230000/3230000
888.11/885.90	c cleaning 80054 clauses out of 160120 with flag 3311000/3311000
911.85/909.71	c cleaning 80938 clauses out of 162067 with flag 3393001/3393001
932.94/930.74	c cleaning 81872 clauses out of 164128 with flag 3476000/3476000
961.37/959.16	c cleaning 82922 clauses out of 166257 with flag 3560001/3560001
987.47/985.27	c cleaning 83769 clauses out of 168334 with flag 3645000/3645000
1010.78/1008.60	c cleaning 84992 clauses out of 170566 with flag 3731001/3731001
1036.09/1033.87	c cleaning 86209 clauses out of 172573 with flag 3818000/3818000
1063.41/1061.15	c cleaning 86905 clauses out of 174365 with flag 3906001/3906001
1098.82/1096.60	c cleaning 88223 clauses out of 176459 with flag 3995000/3995000
1135.59/1133.26	c cleaning 89062 clauses out of 178236 with flag 4085000/4085000
1162.72/1160.33	c cleaning 89950 clauses out of 180175 with flag 4176001/4176001
1198.83/1196.44	c cleaning 91063 clauses out of 182224 with flag 4268000/4268000
1232.75/1230.34	c cleaning 92050 clauses out of 184165 with flag 4361004/4361004
1274.67/1272.20	c cleaning 93039 clauses out of 186111 with flag 4455000/4455000
1309.60/1307.13	c cleaning 93971 clauses out of 188074 with flag 4550002/4550002
1337.12/1334.67	c cleaning 94857 clauses out of 190103 with flag 4646002/4646002
1368.83/1366.34	c cleaning 95854 clauses out of 192244 with flag 4743000/4743000
1408.37/1405.89	c cleaning 97092 clauses out of 194390 with flag 4841000/4841000
1436.06/1433.53	c cleaning 98128 clauses out of 196299 with flag 4940001/4940001
1470.99/1468.51	c cleaning 99065 clauses out of 198171 with flag 5040001/5040001
1504.43/1501.84	c cleaning 99979 clauses out of 200106 with flag 5141001/5141001
1538.54/1535.99	c cleaning 100928 clauses out of 202127 with flag 5243001/5243001
1574.87/1572.27	c cleaning 101835 clauses out of 204200 with flag 5346002/5346002
1616.79/1614.17	c cleaning 102993 clauses out of 206365 with flag 5450002/5450002
1649.72/1647.00	c cleaning 104115 clauses out of 208371 with flag 5555001/5555001
1682.23/1679.54	c cleaning 104880 clauses out of 210255 with flag 5661000/5661000
1722.15/1719.43	c cleaning 105905 clauses out of 212375 with flag 5768000/5768000
1755.08/1752.32	c cleaning 106957 clauses out of 214470 with flag 5876000/5876000
1789.67/1786.92	c cleaning 107947 clauses out of 216513 with flag 5985000/5985000
1800.13/1797.34	c starts		: 276
1800.13/1797.34	c conflicts		: 6025720
1800.13/1797.34	c decisions		: 30612440
1800.13/1797.34	c propagations		: 1428367159
1800.13/1797.34	c inspects		: 20352659230
1800.13/1797.34	c shortcuts		: 0
1800.13/1797.34	c learnt literals	: 7
1800.13/1797.34	c learnt binary clauses	: 1144
1800.13/1797.34	c learnt ternary clauses	: 2761
1800.13/1797.34	c learnt constraints	: 6025715
1800.13/1797.34	c ignored constraints	: 0
1800.13/1797.34	c root simplifications	: 0
1800.13/1797.34	c removed literals (reason simplification)	: 192442507
1800.13/1797.34	c reason swapping (by a shorter reason)	: 0
1800.13/1797.34	c Calls to reduceDB	: 105
1800.13/1797.34	c number of reductions to clauses (during analyze)	: 0
1800.13/1797.34	c number of learned constraints concerned by reduction	: 0
1800.13/1797.34	c number of learning phase by resolution	: 0
1800.13/1797.34	c number of learning phase by cutting planes	: 0
1800.13/1797.34	c speed (assignments/second)	: 795465.702998043
1800.13/1797.34	c non guided choices	1458945
1800.13/1797.37	c learnt constraints type 
1800.13/1797.37	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1144
1800.13/1797.37	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 148196
1800.13/1797.37	c constraints type 
1800.13/1797.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 138943
1800.13/1797.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 722
1800.13/1797.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 39953
1800.13/1797.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20102
1800.13/1797.37	s UNKNOWN
1800.13/1797.37	c Total wall clock time (in seconds): 1797.261

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3478739-1307436782/watcher-3478739-1307436782 -o /tmp/evaluation-result-3478739-1307436782/solver-3478739-1307436782 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3478739-1307436782.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/543 31354
/proc/meminfo: memFree=22543936/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 8841 0 1 0 0 1 0 0 21 0 2 0 836094081 13850947584 8542 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3381579 8555 917 9 0 3372735 0
[pid=31354/tid=31355] ppid=31352 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 7788 0 1 0 0 0 0 0 22 0 2 0 836094082 13850947584 8604 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.090617 s]
/proc/loadavg: 0.00 0.00 0.00 2/543 31354
/proc/meminfo: memFree=22543936/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13621108 CPUtime=0.08 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 14978 0 1 0 6 2 0 0 21 0 18 0 836094081 13948014592 14674 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3405277 14674 2014 9 0 3396011 0
[pid=31354/tid=31355] ppid=31352 vsize=13621108 CPUtime=0.07 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) S 31352 31354 31299 0 -1 4202560 13444 0 1 0 6 1 0 0 25 0 18 0 836094082 13948014592 14674 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522123124 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13621108

[startup+0.100614 s]
/proc/loadavg: 0.00 0.00 0.00 2/543 31354
/proc/meminfo: memFree=22543936/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13621988 CPUtime=0.1 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 15409 0 1 0 8 2 0 0 21 0 18 0 836094081 13948915712 15105 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3405497 15106 2090 9 0 3396231 0
[pid=31354/tid=31355] ppid=31352 vsize=13621988 CPUtime=0.07 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 13571 0 1 0 6 1 0 0 25 0 18 0 836094082 13948915712 15107 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 48009506032467 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621988

[startup+0.324802 s]
/proc/loadavg: 0.00 0.00 0.00 2/543 31354
/proc/meminfo: memFree=22543936/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13624720 CPUtime=0.56 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 20208 0 1 0 53 3 0 0 21 0 18 0 836094081 13951713280 19447 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3406180 19448 2204 9 0 3396914 0
[pid=31354/tid=31355] ppid=31352 vsize=13624720 CPUtime=0.3 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 16925 0 1 0 28 2 0 0 25 0 18 0 836094082 13951713280 19449 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13624720

[startup+0.700549 s]
/proc/loadavg: 0.00 0.00 0.00 2/543 31354
/proc/meminfo: memFree=22543936/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13636496 CPUtime=1.4 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 58796 0 1 0 133 7 0 0 21 0 18 0 836094081 13963771904 54951 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3409124 54956 2215 9 0 3399858 0
[pid=31354/tid=31355] ppid=31352 vsize=13636496 CPUtime=0.68 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 46697 0 1 0 62 6 0 0 18 0 18 0 836094082 13963771904 54958 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 46912505727143 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 13636496

[startup+1.5014 s]
/proc/loadavg: 0.00 0.00 0.00 3/561 31372
/proc/meminfo: memFree=21861056/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13636496 CPUtime=2.24 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 151207 0 1 0 206 18 0 0 21 0 18 0 836094081 13963771904 147363 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3409124 147364 2215 9 0 3399858 0
[pid=31354/tid=31355] ppid=31352 vsize=13636496 CPUtime=1.48 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 139102 0 1 0 132 16 0 0 19 0 18 0 836094082 13963771904 147366 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 46912505548894 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31354/tid=31357] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31357/stat : 31357 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 836094084 13963771904 147369 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31358] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31358/stat : 31358 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836094084 13963771904 147372 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31359] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31359/stat : 31359 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836094084 13963771904 147374 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31360] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31360/stat : 31360 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836094084 13963771904 147377 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31361] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31361/stat : 31361 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836094084 13963771904 147380 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31362] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31362/stat : 31362 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836094084 13963771904 147382 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31363] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31363/stat : 31363 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836094084 13963771904 147385 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31364] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31364/stat : 31364 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836094084 13963771904 147388 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31365] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31365/stat : 31365 (java) S 31352 31354 31299 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 836094085 13963771904 147390 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31366] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31366/stat : 31366 (java) S 31352 31354 31299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 836094085 13963771904 147393 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31367] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31367/stat : 31367 (java) S 31352 31354 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 836094085 13963771904 147396 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31368] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31368/stat : 31368 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836094088 13963771904 147399 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31369] ppid=31352 vsize=13636496 CPUtime=0.38 cores=1,3,5,7
/proc/31354/task/31369/stat : 31369 (java) S 31352 31354 31299 0 -1 4202560 6846 0 0 0 37 1 0 0 17 0 18 0 836094088 13963771904 147401 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31370] ppid=31352 vsize=13636496 CPUtime=0.35 cores=1,3,5,7
/proc/31354/task/31370/stat : 31370 (java) S 31352 31354 31299 0 -1 4202560 4112 0 0 0 35 0 0 0 15 0 18 0 836094088 13963771904 147404 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31371] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31371/stat : 31371 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836094088 13963771904 147407 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31372] ppid=31352 vsize=13636496 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31372/stat : 31372 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 836094088 13963771904 147409 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 13636496

[startup+3.10111 s]
/proc/loadavg: 0.00 0.00 0.00 5/563 31374
/proc/meminfo: memFree=21163912/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13637524 CPUtime=4.23 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 176438 0 1 0 402 21 0 0 21 0 19 0 836094081 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3409381 172590 2235 9 0 3400115 0
[pid=31354/tid=31355] ppid=31352 vsize=13637524 CPUtime=3.08 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 164224 0 1 0 289 19 0 0 18 0 19 0 836094082 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 46912505888636 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31354/tid=31357] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31357/stat : 31357 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 836094084 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31358] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31358/stat : 31358 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094084 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31359] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31359/stat : 31359 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094084 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31360] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31360/stat : 31360 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094084 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31361] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31361/stat : 31361 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094084 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31362] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31362/stat : 31362 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094084 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31363] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31363/stat : 31363 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094084 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31364] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31364/stat : 31364 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094084 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31365] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31365/stat : 31365 (java) S 31352 31354 31299 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 836094085 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31366] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31366/stat : 31366 (java) S 31352 31354 31299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 836094085 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31367] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31367/stat : 31367 (java) S 31352 31354 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 836094085 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31368] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31368/stat : 31368 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31369] ppid=31352 vsize=13637524 CPUtime=0.58 cores=1,3,5,7
/proc/31354/task/31369/stat : 31369 (java) S 31352 31354 31299 0 -1 4202560 6907 0 0 0 57 1 0 0 15 0 19 0 836094088 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31370] ppid=31352 vsize=13637524 CPUtime=0.55 cores=1,3,5,7
/proc/31354/task/31370/stat : 31370 (java) S 31352 31354 31299 0 -1 4202560 4145 0 0 0 55 0 0 0 15 0 19 0 836094088 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31371] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31371/stat : 31371 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31372] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31372/stat : 31372 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 836094088 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31373] ppid=31352 vsize=13637524 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31373/stat : 31373 (java) S 31352 31354 31299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836094254 13964824576 172590 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 13637524

[startup+6.30154 s]
/proc/loadavg: 0.16 0.03 0.01 3/563 31374
/proc/meminfo: memFree=21059372/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13636024 CPUtime=7.56 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 188639 0 1 0 733 23 0 0 21 0 19 0 836094081 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3409006 184375 2262 9 0 3399740 0
[pid=31354/tid=31355] ppid=31352 vsize=13636024 CPUtime=6.16 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 164575 0 1 0 597 19 0 0 23 0 19 0 836094082 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 46912505888636 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31354/tid=31357] ppid=31352 vsize=13636024 CPUtime=0.02 cores=1,3,5,7
/proc/31354/task/31357/stat : 31357 (java) S 31352 31354 31299 0 -1 4202560 1649 0 0 0 2 0 0 0 18 0 19 0 836094084 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31358] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31358/stat : 31358 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 836094084 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31359] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31359/stat : 31359 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 836094084 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31360] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31360/stat : 31360 (java) S 31352 31354 31299 0 -1 4202560 134 0 0 0 0 0 0 0 18 0 19 0 836094084 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31361] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31361/stat : 31361 (java) S 31352 31354 31299 0 -1 4202560 451 0 0 0 0 0 0 0 18 0 19 0 836094084 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31362] ppid=31352 vsize=13636024 CPUtime=0.01 cores=1,3,5,7
/proc/31354/task/31362/stat : 31362 (java) S 31352 31354 31299 0 -1 4202560 741 0 0 0 1 0 0 0 18 0 19 0 836094084 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31363] ppid=31352 vsize=13636024 CPUtime=0.01 cores=1,3,5,7
/proc/31354/task/31363/stat : 31363 (java) S 31352 31354 31299 0 -1 4202560 1515 0 0 0 1 0 0 0 18 0 19 0 836094084 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31364] ppid=31352 vsize=13636024 CPUtime=0.01 cores=1,3,5,7
/proc/31354/task/31364/stat : 31364 (java) S 31352 31354 31299 0 -1 4202560 989 0 0 0 1 0 0 0 18 0 19 0 836094084 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31365] ppid=31352 vsize=13636024 CPUtime=0.08 cores=1,3,5,7
/proc/31354/task/31365/stat : 31365 (java) S 31352 31354 31299 0 -1 4202560 6361 0 0 0 8 0 0 0 15 0 19 0 836094085 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31366] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31366/stat : 31366 (java) S 31352 31354 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31367] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31367/stat : 31367 (java) S 31352 31354 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31368] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31368/stat : 31368 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31369] ppid=31352 vsize=13636024 CPUtime=0.59 cores=1,3,5,7
/proc/31354/task/31369/stat : 31369 (java) S 31352 31354 31299 0 -1 4202560 6913 0 0 0 58 1 0 0 15 0 19 0 836094088 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31370] ppid=31352 vsize=13636024 CPUtime=0.61 cores=1,3,5,7
/proc/31354/task/31370/stat : 31370 (java) S 31352 31354 31299 0 -1 4202560 4158 0 0 0 61 0 0 0 15 0 19 0 836094088 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31371] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31371/stat : 31371 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 184375 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0

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

[pid=31354/tid=31362] ppid=31352 vsize=13636024 CPUtime=0.25 cores=1,3,5,7
/proc/31354/task/31362/stat : 31362 (java) S 31352 31354 31299 0 -1 4202560 1878 0 0 0 25 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31363] ppid=31352 vsize=13636024 CPUtime=0.27 cores=1,3,5,7
/proc/31354/task/31363/stat : 31363 (java) S 31352 31354 31299 0 -1 4202560 2280 0 0 0 27 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31364] ppid=31352 vsize=13636024 CPUtime=0.25 cores=1,3,5,7
/proc/31354/task/31364/stat : 31364 (java) S 31352 31354 31299 0 -1 4202560 1937 0 0 0 25 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31365] ppid=31352 vsize=13636024 CPUtime=9.19 cores=1,3,5,7
/proc/31354/task/31365/stat : 31365 (java) S 31352 31354 31299 0 -1 4202560 14465 0 0 0 916 3 0 0 15 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31366] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31366/stat : 31366 (java) S 31352 31354 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31367] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31367/stat : 31367 (java) S 31352 31354 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31368] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31368/stat : 31368 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31369] ppid=31352 vsize=13636024 CPUtime=0.68 cores=1,3,5,7
/proc/31354/task/31369/stat : 31369 (java) S 31352 31354 31299 0 -1 4202560 6938 0 0 0 67 1 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31370] ppid=31352 vsize=13636024 CPUtime=0.64 cores=1,3,5,7
/proc/31354/task/31370/stat : 31370 (java) S 31352 31354 31299 0 -1 4202560 4160 0 0 0 64 0 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31371] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31371/stat : 31371 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31372] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31372/stat : 31372 (java) S 31352 31354 31299 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31373] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31373/stat : 31373 (java) S 31352 31354 31299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836094254 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.06
Current children cumulated vsize (KiB) 13636024

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.71 3/563 31430
/proc/meminfo: memFree=20942656/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13636024 CPUtime=1785.07 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 203792 0 1 0 178480 27 0 0 21 0 19 0 836094081 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3409006 199208 2263 9 0 3399740 0
[pid=31354/tid=31355] ppid=31352 vsize=13636024 CPUtime=1772.28 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 164684 0 1 0 177209 19 0 0 25 0 19 0 836094082 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 46912505888636 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31354/tid=31357] ppid=31352 vsize=13636024 CPUtime=0.33 cores=1,3,5,7
/proc/31354/task/31357/stat : 31357 (java) S 31352 31354 31299 0 -1 4202560 3110 0 0 0 33 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31358] ppid=31352 vsize=13636024 CPUtime=0.25 cores=1,3,5,7
/proc/31354/task/31358/stat : 31358 (java) S 31352 31354 31299 0 -1 4202560 809 0 0 0 25 0 0 0 16 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31359] ppid=31352 vsize=13636024 CPUtime=0.27 cores=1,3,5,7
/proc/31354/task/31359/stat : 31359 (java) S 31352 31354 31299 0 -1 4202560 646 0 0 0 27 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31360] ppid=31352 vsize=13636024 CPUtime=0.2 cores=1,3,5,7
/proc/31354/task/31360/stat : 31360 (java) S 31352 31354 31299 0 -1 4202560 567 0 0 0 20 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31361] ppid=31352 vsize=13636024 CPUtime=0.22 cores=1,3,5,7
/proc/31354/task/31361/stat : 31361 (java) S 31352 31354 31299 0 -1 4202560 1061 0 0 0 22 0 0 0 16 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31362] ppid=31352 vsize=13636024 CPUtime=0.25 cores=1,3,5,7
/proc/31354/task/31362/stat : 31362 (java) S 31352 31354 31299 0 -1 4202560 1878 0 0 0 25 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31363] ppid=31352 vsize=13636024 CPUtime=0.27 cores=1,3,5,7
/proc/31354/task/31363/stat : 31363 (java) S 31352 31354 31299 0 -1 4202560 2280 0 0 0 27 0 0 0 16 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31364] ppid=31352 vsize=13636024 CPUtime=0.25 cores=1,3,5,7
/proc/31354/task/31364/stat : 31364 (java) S 31352 31354 31299 0 -1 4202560 1937 0 0 0 25 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31365] ppid=31352 vsize=13636024 CPUtime=9.33 cores=1,3,5,7
/proc/31354/task/31365/stat : 31365 (java) S 31352 31354 31299 0 -1 4202560 14467 0 0 0 930 3 0 0 15 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31366] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31366/stat : 31366 (java) S 31352 31354 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31367] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31367/stat : 31367 (java) S 31352 31354 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31368] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31368/stat : 31368 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31369] ppid=31352 vsize=13636024 CPUtime=0.68 cores=1,3,5,7
/proc/31354/task/31369/stat : 31369 (java) S 31352 31354 31299 0 -1 4202560 6938 0 0 0 67 1 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31370] ppid=31352 vsize=13636024 CPUtime=0.64 cores=1,3,5,7
/proc/31354/task/31370/stat : 31370 (java) S 31352 31354 31299 0 -1 4202560 4160 0 0 0 64 0 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31371] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31371/stat : 31371 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31372] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31372/stat : 31372 (java) S 31352 31354 31299 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31373] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31373/stat : 31373 (java) S 31352 31354 31299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836094254 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.07
Current children cumulated vsize (KiB) 13636024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.3 s]
/proc/loadavg: 2.00 2.02 1.71 5/563 31431
/proc/meminfo: memFree=20942380/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13636024 CPUtime=1800.13 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 203795 0 1 0 179986 27 0 0 21 0 19 0 836094081 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3409006 199208 2263 9 0 3399740 0
[pid=31354/tid=31355] ppid=31352 vsize=13636024 CPUtime=1787.21 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 164685 0 1 0 178702 19 0 0 25 0 19 0 836094082 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 46912505932704 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31354/tid=31357] ppid=31352 vsize=13636024 CPUtime=0.33 cores=1,3,5,7
/proc/31354/task/31357/stat : 31357 (java) S 31352 31354 31299 0 -1 4202560 3110 0 0 0 33 0 0 0 16 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31358] ppid=31352 vsize=13636024 CPUtime=0.26 cores=1,3,5,7
/proc/31354/task/31358/stat : 31358 (java) S 31352 31354 31299 0 -1 4202560 809 0 0 0 26 0 0 0 16 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31359] ppid=31352 vsize=13636024 CPUtime=0.27 cores=1,3,5,7
/proc/31354/task/31359/stat : 31359 (java) S 31352 31354 31299 0 -1 4202560 646 0 0 0 27 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31360] ppid=31352 vsize=13636024 CPUtime=0.2 cores=1,3,5,7
/proc/31354/task/31360/stat : 31360 (java) S 31352 31354 31299 0 -1 4202560 567 0 0 0 20 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31361] ppid=31352 vsize=13636024 CPUtime=0.23 cores=1,3,5,7
/proc/31354/task/31361/stat : 31361 (java) S 31352 31354 31299 0 -1 4202560 1061 0 0 0 23 0 0 0 16 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31362] ppid=31352 vsize=13636024 CPUtime=0.25 cores=1,3,5,7
/proc/31354/task/31362/stat : 31362 (java) S 31352 31354 31299 0 -1 4202560 1878 0 0 0 25 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31363] ppid=31352 vsize=13636024 CPUtime=0.27 cores=1,3,5,7
/proc/31354/task/31363/stat : 31363 (java) S 31352 31354 31299 0 -1 4202560 2280 0 0 0 27 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31364] ppid=31352 vsize=13636024 CPUtime=0.26 cores=1,3,5,7
/proc/31354/task/31364/stat : 31364 (java) S 31352 31354 31299 0 -1 4202560 1937 0 0 0 26 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31365] ppid=31352 vsize=13636024 CPUtime=9.44 cores=1,3,5,7
/proc/31354/task/31365/stat : 31365 (java) S 31352 31354 31299 0 -1 4202560 14469 0 0 0 941 3 0 0 15 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31366] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31366/stat : 31366 (java) S 31352 31354 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31367] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31367/stat : 31367 (java) S 31352 31354 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31368] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31368/stat : 31368 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31369] ppid=31352 vsize=13636024 CPUtime=0.68 cores=1,3,5,7
/proc/31354/task/31369/stat : 31369 (java) S 31352 31354 31299 0 -1 4202560 6938 0 0 0 67 1 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31370] ppid=31352 vsize=13636024 CPUtime=0.64 cores=1,3,5,7
/proc/31354/task/31370/stat : 31370 (java) S 31352 31354 31299 0 -1 4202560 4160 0 0 0 64 0 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31371] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31371/stat : 31371 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31372] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31372/stat : 31372 (java) S 31352 31354 31299 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31373] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31373/stat : 31373 (java) S 31352 31354 31299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836094254 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 13636024

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1797.3 s]
/proc/loadavg: 2.00 2.02 1.71 5/563 31431
/proc/meminfo: memFree=20942380/32951124 swapFree=64303760/67111528
[pid=31354] ppid=31352 vsize=13636024 CPUtime=1800.13 cores=1,3,5,7
/proc/31354/stat : 31354 (java) S 31352 31354 31299 0 -1 4202496 203795 0 1 0 179986 27 0 0 21 0 19 0 836094081 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31354/statm: 3409006 199208 2263 9 0 3399740 0
[pid=31354/tid=31355] ppid=31352 vsize=13636024 CPUtime=1787.21 cores=1,3,5,7
/proc/31354/task/31355/stat : 31355 (java) R 31352 31354 31299 0 -1 4202560 164685 0 1 0 178702 19 0 0 25 0 19 0 836094082 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 46912505932704 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31354/tid=31357] ppid=31352 vsize=13636024 CPUtime=0.33 cores=1,3,5,7
/proc/31354/task/31357/stat : 31357 (java) S 31352 31354 31299 0 -1 4202560 3110 0 0 0 33 0 0 0 16 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31358] ppid=31352 vsize=13636024 CPUtime=0.26 cores=1,3,5,7
/proc/31354/task/31358/stat : 31358 (java) S 31352 31354 31299 0 -1 4202560 809 0 0 0 26 0 0 0 16 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31359] ppid=31352 vsize=13636024 CPUtime=0.27 cores=1,3,5,7
/proc/31354/task/31359/stat : 31359 (java) S 31352 31354 31299 0 -1 4202560 646 0 0 0 27 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31360] ppid=31352 vsize=13636024 CPUtime=0.2 cores=1,3,5,7
/proc/31354/task/31360/stat : 31360 (java) S 31352 31354 31299 0 -1 4202560 567 0 0 0 20 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31361] ppid=31352 vsize=13636024 CPUtime=0.23 cores=1,3,5,7
/proc/31354/task/31361/stat : 31361 (java) S 31352 31354 31299 0 -1 4202560 1061 0 0 0 23 0 0 0 16 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31362] ppid=31352 vsize=13636024 CPUtime=0.25 cores=1,3,5,7
/proc/31354/task/31362/stat : 31362 (java) S 31352 31354 31299 0 -1 4202560 1878 0 0 0 25 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31363] ppid=31352 vsize=13636024 CPUtime=0.27 cores=1,3,5,7
/proc/31354/task/31363/stat : 31363 (java) S 31352 31354 31299 0 -1 4202560 2280 0 0 0 27 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 7 0 0 0
[pid=31354/tid=31364] ppid=31352 vsize=13636024 CPUtime=0.26 cores=1,3,5,7
/proc/31354/task/31364/stat : 31364 (java) S 31352 31354 31299 0 -1 4202560 1937 0 0 0 26 0 0 0 15 0 19 0 836094084 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31365] ppid=31352 vsize=13636024 CPUtime=9.44 cores=1,3,5,7
/proc/31354/task/31365/stat : 31365 (java) S 31352 31354 31299 0 -1 4202560 14469 0 0 0 941 3 0 0 15 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 0 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31366] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31366/stat : 31366 (java) S 31352 31354 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31367] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31367/stat : 31367 (java) S 31352 31354 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836094085 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31368] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31368/stat : 31368 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522121137 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31369] ppid=31352 vsize=13636024 CPUtime=0.68 cores=1,3,5,7
/proc/31354/task/31369/stat : 31369 (java) S 31352 31354 31299 0 -1 4202560 6938 0 0 0 67 1 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31370] ppid=31352 vsize=13636024 CPUtime=0.64 cores=1,3,5,7
/proc/31354/task/31370/stat : 31370 (java) S 31352 31354 31299 0 -1 4202560 4160 0 0 0 64 0 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 3 0 0 0
[pid=31354/tid=31371] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31371/stat : 31371 (java) S 31352 31354 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522113433 0 4 0 16800975 18446604465870681280 0 0 -1 5 0 0 0
[pid=31354/tid=31372] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31372/stat : 31372 (java) S 31352 31354 31299 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 836094088 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
[pid=31354/tid=31373] ppid=31352 vsize=13636024 CPUtime=0 cores=1,3,5,7
/proc/31354/task/31373/stat : 31373 (java) S 31352 31354 31299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 836094254 13963288576 199208 33554432000 1073741824 1073778376 140736630953360 18446744073709551615 233522114048 0 4 0 16800975 18446604465870681280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 13636024

Child status: 143
Real time (s): 1797.41
CPU time (s): 1800.26
CPU user time (s): 1799.95
CPU system time (s): 0.310952
CPU usage (%): 100.158
Max. virtual memory (cumulated for all children) (KiB): 13637524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203825
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39931
involuntary context switches= 6975

runsolver used 9.2046 second user time and 21.9467 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-07 10:53:02
IDJOB=3478739
IDBENCH=89642
IDSOLVER=1952
FILE ID=node145/3478739-1307436782
RUNJOBID= node145-1307436781-31318
PBS_JOBID= 13519943
Free space on /tmp= 74016 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-24.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478739-1307436782/watcher-3478739-1307436782 -o /tmp/evaluation-result-3478739-1307436782/solver-3478739-1307436782 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3478739-1307436782.opb

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

MD5SUM BENCH= 902c79ddb1483993d151297b6d1c86a6
RANDOM SEED=1711187709

node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22544340 kB
Buffers:        306304 kB
Cached:         777104 kB
SwapCached:        944 kB
Active:        9644168 kB
Inactive:       480376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22544340 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:           18244 kB
Writeback:           0 kB
AnonPages:     9040724 kB
Mapped:          41512 kB
Slab:           146456 kB
PageTables:      65868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 166629296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74012 MiB
End job on node145 at 2011-06-07 11:23:02