Trace number 3742275

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31? (TO) 1800.96 904.746

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K126.opb
MD5SUM8617651a414bb8902c12959cc1c92372
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 variables14994
Total number of constraints15248
Number of constraints which are clauses15122
Number of constraints which are cardinality constraints (but not clauses)126
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint126
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 127
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.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.00/0.08	c version 2.2.0.v20100531
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 		1349517296
0.00/0.08	c Max memory 		1356595200
0.00/0.08	c Total memory 		1356595200
0.00/0.08	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c Stops conflict analysis at the first Unique Implication Point
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c Stops conflict analysis at the first Unique Implication Point
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	
0.09/0.12	c solving HOME/instance-3742275-1338785864.opb
0.09/0.12	c reading problem ... 
1.02/0.58	c ... done. Wall clock time 0.463s.
1.02/0.58	c #vars     14994
1.02/0.58	c #constraints  15248
1.02/0.58	c constraints type 
1.02/0.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 13495
1.02/0.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 126
1.02/0.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1625
1.02/0.58	c constraints type 
1.02/0.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1625
1.02/0.58	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 13495
1.02/0.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 126
7.97/3.31	c cleaning 2492 clauses out of 4993 with flag 5000/5000
13.21/5.84	c cleaning 4219 clauses out of 8491 with flag 11001/11001
21.43/9.96	c cleaning 5576 clauses out of 11271 with flag 18004/18004
29.64/14.07	c cleaning 6771 clauses out of 13688 with flag 26000/26000
37.89/18.13	c cleaning 7822 clauses out of 15916 with flag 35000/35000
47.69/23.00	c cleaning 8845 clauses out of 18088 with flag 45000/45000
58.72/28.54	c cleaning 9931 clauses out of 20235 with flag 56001/56001
73.12/35.72	c cleaning 11025 clauses out of 22298 with flag 68002/68002
84.87/41.67	c cleaning 11982 clauses out of 24274 with flag 81004/81004
108.75/53.52	c cleaning 13028 clauses out of 26284 with flag 95000/95000
125.76/62.04	c cleaning 13972 clauses out of 28255 with flag 110000/110000
156.48/77.35	c cleaning 14900 clauses out of 30283 with flag 126000/126000
175.01/86.66	c cleaning 15465 clauses out of 31381 with flag 142001/142001
194.05/96.14	c cleaning 15690 clauses out of 31914 with flag 158000/158000
214.04/106.14	c cleaning 15836 clauses out of 32224 with flag 174000/174000
236.85/117.50	c cleaning 16009 clauses out of 32388 with flag 190000/190000
252.89/125.63	c cleaning 15843 clauses out of 32378 with flag 206001/206001
268.86/133.69	c cleaning 16066 clauses out of 32535 with flag 222001/222001
288.04/143.25	c cleaning 15972 clauses out of 32468 with flag 238000/238000
312.66/155.60	c cleaning 15884 clauses out of 32499 with flag 254004/254004
351.76/175.18	c cleaning 15722 clauses out of 32612 with flag 270001/270001
405.58/201.98	c cleaning 15748 clauses out of 32889 with flag 286000/286000
426.30/212.39	c cleaning 15639 clauses out of 33138 with flag 302000/302000
440.56/219.54	c cleaning 15090 clauses out of 33496 with flag 318000/318000
457.13/227.98	c cleaning 15061 clauses out of 34407 with flag 334001/334001
475.94/237.40	c cleaning 14921 clauses out of 35348 with flag 350003/350003
491.17/245.17	c cleaning 15393 clauses out of 36425 with flag 366001/366001
504.17/251.70	c cleaning 15379 clauses out of 37031 with flag 382000/382000
529.28/264.47	c cleaning 15216 clauses out of 37651 with flag 398001/398001
550.68/275.22	c cleaning 15256 clauses out of 38431 with flag 414000/414000
567.91/283.96	c cleaning 15052 clauses out of 39174 with flag 430001/430001
584.13/292.13	c cleaning 15054 clauses out of 40121 with flag 446001/446001
599.01/299.75	c cleaning 15168 clauses out of 41064 with flag 462000/462000
619.03/309.89	c cleaning 15303 clauses out of 41895 with flag 478000/478000
698.36/349.59	c cleaning 15486 clauses out of 42592 with flag 494002/494002
725.77/363.40	c cleaning 15166 clauses out of 43105 with flag 510001/510001
742.66/371.99	c cleaning 15303 clauses out of 43936 with flag 526000/526000
759.44/380.45	c cleaning 15117 clauses out of 44637 with flag 542005/542005
780.03/390.83	c cleaning 15344 clauses out of 45512 with flag 558000/558000
848.70/425.24	c cleaning 15181 clauses out of 46169 with flag 574001/574001
901.62/451.82	c cleaning 15466 clauses out of 46988 with flag 590001/590001
917.42/459.87	c cleaning 15221 clauses out of 47523 with flag 606004/606004
933.80/468.12	c cleaning 15135 clauses out of 48300 with flag 622003/622003
951.39/477.06	c cleaning 15307 clauses out of 49162 with flag 638000/638000
973.29/488.18	c cleaning 15043 clauses out of 49856 with flag 654001/654001
988.10/495.60	c cleaning 15413 clauses out of 50809 with flag 670000/670000
1008.74/506.08	c cleaning 15257 clauses out of 51399 with flag 686003/686003
1024.72/514.12	c cleaning 15469 clauses out of 52139 with flag 702001/702001
1050.17/527.01	c cleaning 15277 clauses out of 52669 with flag 718000/718000
1072.77/538.42	c cleaning 15505 clauses out of 53393 with flag 734001/734001
1101.18/552.78	c cleaning 15322 clauses out of 53888 with flag 750001/750001
1123.59/564.08	c cleaning 15308 clauses out of 54564 with flag 766000/766000
1156.69/580.71	c cleaning 15432 clauses out of 55255 with flag 782000/782000
1208.35/606.65	c cleaning 15683 clauses out of 55823 with flag 798000/798000
1258.19/631.66	c cleaning 15504 clauses out of 56140 with flag 814000/814000
1306.06/655.62	c cleaning 15589 clauses out of 56636 with flag 830000/830000
1358.55/682.01	c cleaning 16004 clauses out of 57047 with flag 846000/846000
1377.13/691.49	c cleaning 15091 clauses out of 57043 with flag 862000/862000
1392.15/699.04	c cleaning 15120 clauses out of 57949 with flag 878000/878000
1408.75/707.41	c cleaning 15061 clauses out of 58829 with flag 894001/894001
1426.05/716.26	c cleaning 15399 clauses out of 59766 with flag 910000/910000
1444.26/725.45	c cleaning 14917 clauses out of 60367 with flag 926000/926000
1477.91/742.32	c cleaning 15407 clauses out of 61450 with flag 942000/942000
1498.08/752.58	c cleaning 15351 clauses out of 62043 with flag 958000/958000
1516.34/761.82	c cleaning 15368 clauses out of 62692 with flag 974001/974001
1536.95/772.27	c cleaning 15447 clauses out of 63322 with flag 990000/990000
1576.58/792.12	c cleaning 14937 clauses out of 63878 with flag 1006003/1006003
1594.96/801.45	c cleaning 15519 clauses out of 64942 with flag 1022005/1022005
1630.03/819.18	c cleaning 15181 clauses out of 65419 with flag 1038001/1038001
1677.04/842.72	c cleaning 15362 clauses out of 66239 with flag 1054002/1054002
1707.05/857.83	c cleaning 15841 clauses out of 66874 with flag 1070000/1070000
1750.44/879.64	c cleaning 15736 clauses out of 67033 with flag 1086000/1086000
1769.31/889.24	c cleaning 15375 clauses out of 67299 with flag 1102002/1102002
1800.16/904.71	c starts		: 170
1800.16/904.71	c conflicts		: 1116127
1800.16/904.71	c decisions		: 18575699
1800.16/904.71	c propagations		: 845077297
1800.16/904.71	c inspects		: 1650466973
1800.16/904.71	c learnt literals	: 105
1800.16/904.71	c learnt binary clauses	: 43843
1800.16/904.71	c learnt ternary clauses	: 57222
1800.16/904.71	c learnt clauses	: 1116022
1800.16/904.71	c ignored clauses	: 0
1800.16/904.71	c root simplifications	: 0
1800.16/904.71	c removed literals (reason simplification)	: 14948036
1800.16/904.71	c reason swapping (by a shorter reason)	: 0
1800.16/904.71	c Calls to reduceDB	: 73
1800.16/904.71	c number of reductions to clauses (during analyze)	: 0
1800.16/904.71	c number of learned constraints concerned by reduction	: 0
1800.16/904.71	c number of learning phase by resolution	: 0
1800.16/904.71	c number of learning phase by cutting planes	: 0
1800.16/904.71	c speed (assignments/second)	: 934687.8484019962
1800.16/904.71	c non guided choices	19419
1800.16/904.73	c learnt constraints type 
1800.16/904.73	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 22215
1800.16/904.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 43843
1800.16/904.73	c constraints type 
1800.16/904.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 13495
1800.16/904.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 126
1800.16/904.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1625
1800.16/904.73	c constraints type 
1800.16/904.73	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1625
1800.16/904.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 13495
1800.16/904.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 126
1800.16/904.74	s UNKNOWN
1800.16/904.74	c Total wall clock time (in seconds): 904.618

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3742275-1338785864/watcher-3742275-1338785864 -o /tmp/evaluation-result-3742275-1338785864/solver-3742275-1338785864 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742275-1338785864.opb 

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: 3.68 3.80 3.80 4/199 24798
/proc/meminfo: memFree=28118772/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24798/stat : 24798 (java) D 24796 24798 24174 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 344711151 9515008 185 33554432000 1073741824 1073778376 140735556528064 140735556517128 215134334247 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 2323 185 143 9 0 71 0

[startup+0.0252509 s]
/proc/loadavg: 3.68 3.80 3.80 4/199 24798
/proc/meminfo: memFree=28118772/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2158136 CPUtime=0 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 3501 0 1 0 0 0 0 0 20 0 10 0 344711151 2209931264 3689 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 539534 3689 1536 9 0 530235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2158136

[startup+0.100231 s]
/proc/loadavg: 3.68 3.80 3.80 4/199 24798
/proc/meminfo: memFree=28118772/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 4693 0 1 0 8 1 0 0 20 0 18 0 344711151 2764726272 6400 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 674982 6401 2081 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928

[startup+0.30012 s]
/proc/loadavg: 3.68 3.80 3.80 4/199 24798
/proc/meminfo: memFree=28118772/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2699928 CPUtime=0.57 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 7920 0 1 0 54 3 0 0 20 0 18 0 344711151 2764726272 11916 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 674982 11916 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 2699928

[startup+0.700171 s]
/proc/loadavg: 3.68 3.80 3.80 4/199 24798
/proc/meminfo: memFree=28118772/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2966184 CPUtime=1.58 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 11748 0 1 0 153 5 0 0 20 0 22 0 344711151 3037372416 35432 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 741546 35432 2251 9 0 732240 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 2966184

[startup+1.50071 s]
/proc/loadavg: 3.68 3.80 3.80 6/221 24820
/proc/meminfo: memFree=27960776/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2966184 CPUtime=4.19 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 17309 0 1 0 412 7 0 0 20 0 22 0 344711151 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 741546 68213 2258 9 0 732240 0
[pid=24798/tid=24800] ppid=24796 vsize=2966184 CPUtime=0.55 cores=0,2,4,6
/proc/24798/task/24800/stat : 24800 (java) S 24796 24798 24174 0 -1 4202560 2876 0 1 0 52 3 0 0 20 0 22 0 344711152 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577705600152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24801] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24801/stat : 24801 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577572387112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24802] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24802/stat : 24802 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577571334312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24803] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24803/stat : 24803 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577570282024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24804] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24804/stat : 24804 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577569229224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24805] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24805/stat : 24805 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577366600488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24806] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24806/stat : 24806 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577365547688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24807] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24807/stat : 24807 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577364495400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24808] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24808/stat : 24808 (java) S 24796 24798 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577363442600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24809] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24809/stat : 24809 (java) S 24796 24798 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344711154 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577351244008 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24810] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24810/stat : 24810 (java) S 24796 24798 24174 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577350190072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24811] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24811/stat : 24811 (java) S 24796 24798 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577349137672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24812] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24812/stat : 24812 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577348086160 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24813] ppid=24796 vsize=2966184 CPUtime=1 cores=0,2,4,6
/proc/24798/task/24813/stat : 24813 (java) S 24796 24798 24174 0 -1 4202560 6758 0 0 0 98 2 0 0 20 0 22 0 344711157 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577347033784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24814] ppid=24796 vsize=2966184 CPUtime=0.87 cores=0,2,4,6
/proc/24798/task/24814/stat : 24814 (java) S 24796 24798 24174 0 -1 4202560 6317 0 0 0 87 0 0 0 20 0 22 0 344711157 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577345980984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24815] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24815/stat : 24815 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577344928888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24816] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24816/stat : 24816 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577343876296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24817] ppid=24796 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/24798/task/24817/stat : 24817 (java) R 24796 24798 24174 0 -1 4202560 25 0 0 0 84 0 0 0 20 0 22 0 344711209 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577342820792 140577578889799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24818] ppid=24796 vsize=2966184 CPUtime=0.87 cores=0,2,4,6
/proc/24798/task/24818/stat : 24818 (java) R 24796 24798 24174 0 -1 4202560 126 0 0 0 85 2 0 0 20 0 22 0 344711209 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577341767752 140577579142303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24819] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24819/stat : 24819 (java) S 24796 24798 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577340716200 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24820] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24820/stat : 24820 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 68213 33554432000 1073741824 1073778376 140735556528064 140577339663400 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 2966184

[startup+3.10073 s]
/proc/loadavg: 3.68 3.80 3.80 5/221 24820
/proc/meminfo: memFree=27708008/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2966184 CPUtime=7.54 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 17451 0 1 0 743 11 0 0 20 0 22 0 344711151 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 741546 107664 2271 9 0 732240 0
[pid=24798/tid=24800] ppid=24796 vsize=2966184 CPUtime=0.55 cores=0,2,4,6
/proc/24798/task/24800/stat : 24800 (java) S 24796 24798 24174 0 -1 4202560 2876 0 1 0 52 3 0 0 20 0 22 0 344711152 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577705600152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24801] ppid=24796 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24798/task/24801/stat : 24801 (java) S 24796 24798 24174 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 344711153 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577572387112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24802] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24802/stat : 24802 (java) S 24796 24798 24174 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577571334312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24803] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24803/stat : 24803 (java) S 24796 24798 24174 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577570282024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24804] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24804/stat : 24804 (java) S 24796 24798 24174 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577569229224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24805] ppid=24796 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24798/task/24805/stat : 24805 (java) S 24796 24798 24174 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 344711153 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577366600488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24806] ppid=24796 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24798/task/24806/stat : 24806 (java) S 24796 24798 24174 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344711153 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577365547688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24807] ppid=24796 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24798/task/24807/stat : 24807 (java) S 24796 24798 24174 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 344711153 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577364495400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24808] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24808/stat : 24808 (java) S 24796 24798 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344711153 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577363442600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24809] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24809/stat : 24809 (java) S 24796 24798 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344711154 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577351244008 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24810] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24810/stat : 24810 (java) S 24796 24798 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577350190072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24811] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24811/stat : 24811 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577349137672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24812] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24812/stat : 24812 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577348086160 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24813] ppid=24796 vsize=2966184 CPUtime=1.09 cores=0,2,4,6
/proc/24798/task/24813/stat : 24813 (java) S 24796 24798 24174 0 -1 4202560 6759 0 0 0 107 2 0 0 20 0 22 0 344711157 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577347033784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24814] ppid=24796 vsize=2966184 CPUtime=0.89 cores=0,2,4,6
/proc/24798/task/24814/stat : 24814 (java) S 24796 24798 24174 0 -1 4202560 6317 0 0 0 89 0 0 0 20 0 22 0 344711157 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577345980984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24815] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24815/stat : 24815 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577344928888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24816] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24816/stat : 24816 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577343876296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24817] ppid=24796 vsize=2966184 CPUtime=2.38 cores=0,2,4,6
/proc/24798/task/24817/stat : 24817 (java) R 24796 24798 24174 0 -1 4202560 25 0 0 0 238 0 0 0 20 0 22 0 344711209 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577342820760 140577578987705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24818] ppid=24796 vsize=2966184 CPUtime=2.43 cores=0,2,4,6
/proc/24798/task/24818/stat : 24818 (java) R 24796 24798 24174 0 -1 4202560 191 0 0 0 239 4 0 0 20 0 22 0 344711209 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577341767640 140577579297604 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24819] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24819/stat : 24819 (java) S 24796 24798 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577340716200 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24820] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24820/stat : 24820 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 107664 33554432000 1073741824 1073778376 140735556528064 140577339663400 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 2966184

[startup+6.30083 s]
/proc/loadavg: 3.70 3.80 3.80 5/221 24820
/proc/meminfo: memFree=27668044/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2966184 CPUtime=14.18 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 17518 0 1 0 1406 12 0 0 20 0 22 0 344711151 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 741546 110769 2283 9 0 732240 0
[pid=24798/tid=24800] ppid=24796 vsize=2966184 CPUtime=0.55 cores=0,2,4,6
/proc/24798/task/24800/stat : 24800 (java) S 24796 24798 24174 0 -1 4202560 2876 0 1 0 52 3 0 0 20 0 22 0 344711152 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577705600152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24801] ppid=24796 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/24798/task/24801/stat : 24801 (java) S 24796 24798 24174 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 344711153 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577572387112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24802] ppid=24796 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24798/task/24802/stat : 24802 (java) S 24796 24798 24174 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 344711153 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577571334312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24803] ppid=24796 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24798/task/24803/stat : 24803 (java) S 24796 24798 24174 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 344711153 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577570282024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24804] ppid=24796 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/24798/task/24804/stat : 24804 (java) S 24796 24798 24174 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 344711153 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577569229224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24805] ppid=24796 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/24798/task/24805/stat : 24805 (java) S 24796 24798 24174 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 344711153 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577366600488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24806] ppid=24796 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/24798/task/24806/stat : 24806 (java) S 24796 24798 24174 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 344711153 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577365547688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24807] ppid=24796 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/24798/task/24807/stat : 24807 (java) S 24796 24798 24174 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 344711153 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577364495400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24808] ppid=24796 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/24798/task/24808/stat : 24808 (java) S 24796 24798 24174 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 344711153 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577363442600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24809] ppid=24796 vsize=2966184 CPUtime=0.08 cores=0,2,4,6
/proc/24798/task/24809/stat : 24809 (java) S 24796 24798 24174 0 -1 4202560 38 0 0 0 8 0 0 0 20 0 22 0 344711154 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577351244008 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24810] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24810/stat : 24810 (java) S 24796 24798 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577350190072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24811] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24811/stat : 24811 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577349137672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24812] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24812/stat : 24812 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577348086160 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24813] ppid=24796 vsize=2966184 CPUtime=1.25 cores=0,2,4,6
/proc/24798/task/24813/stat : 24813 (java) S 24796 24798 24174 0 -1 4202560 6763 0 0 0 123 2 0 0 20 0 22 0 344711157 3037372416 110769 33554432000 1073741824 1073778376 140735556528064 140577347033784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=24798/tid=24818] ppid=24796 vsize=2966184 CPUtime=802.58 cores=0,2,4,6
/proc/24798/task/24818/stat : 24818 (java) R 24796 24798 24174 0 -1 4202560 344 0 0 0 80240 18 0 0 20 0 22 0 344711209 3037372416 198276 33554432000 1073741824 1073778376 140735556528064 140577341765456 140577579080157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24819] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24819/stat : 24819 (java) S 24796 24798 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 198276 33554432000 1073741824 1073778376 140735556528064 140577340716200 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24820] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24820/stat : 24820 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 198276 33554432000 1073741824 1073778376 140735556528064 140577339663400 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1636.22
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.92 3.93 3.86 5/221 24851
/proc/meminfo: memFree=26964752/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2966184 CPUtime=1755.49 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 18913 0 1 0 175460 89 0 0 20 0 22 0 344711151 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 741546 198280 2284 9 0 732240 0
[pid=24798/tid=24800] ppid=24796 vsize=2966184 CPUtime=0.57 cores=0,2,4,6
/proc/24798/task/24800/stat : 24800 (java) S 24796 24798 24174 0 -1 4202560 2890 0 1 0 53 4 0 0 20 0 22 0 344711152 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577705600152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24801] ppid=24796 vsize=2966184 CPUtime=1.67 cores=0,2,4,6
/proc/24798/task/24801/stat : 24801 (java) S 24796 24798 24174 0 -1 4202560 133 0 0 0 161 6 0 0 20 0 22 0 344711153 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577572387112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24802] ppid=24796 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/24798/task/24802/stat : 24802 (java) S 24796 24798 24174 0 -1 4202560 116 0 0 0 164 5 0 0 20 0 22 0 344711153 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577571334312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24803] ppid=24796 vsize=2966184 CPUtime=1.78 cores=0,2,4,6
/proc/24798/task/24803/stat : 24803 (java) S 24796 24798 24174 0 -1 4202560 137 0 0 0 172 6 0 0 20 0 22 0 344711153 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577570282024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24804] ppid=24796 vsize=2966184 CPUtime=1.68 cores=0,2,4,6
/proc/24798/task/24804/stat : 24804 (java) S 24796 24798 24174 0 -1 4202560 124 0 0 0 163 5 0 0 20 0 22 0 344711153 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577569229224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24805] ppid=24796 vsize=2966184 CPUtime=1.62 cores=0,2,4,6
/proc/24798/task/24805/stat : 24805 (java) S 24796 24798 24174 0 -1 4202560 127 0 0 0 157 5 0 0 20 0 22 0 344711153 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577366600488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24806] ppid=24796 vsize=2966184 CPUtime=1.76 cores=0,2,4,6
/proc/24798/task/24806/stat : 24806 (java) S 24796 24798 24174 0 -1 4202560 120 0 0 0 170 6 0 0 20 0 22 0 344711153 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577365547688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24807] ppid=24796 vsize=2966184 CPUtime=1.78 cores=0,2,4,6
/proc/24798/task/24807/stat : 24807 (java) S 24796 24798 24174 0 -1 4202560 148 0 0 0 173 5 0 0 20 0 22 0 344711153 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577364495400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24808] ppid=24796 vsize=2966184 CPUtime=1.74 cores=0,2,4,6
/proc/24798/task/24808/stat : 24808 (java) S 24796 24798 24174 0 -1 4202560 108 0 0 0 171 3 0 0 20 0 22 0 344711153 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577363442600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24809] ppid=24796 vsize=2966184 CPUtime=15.99 cores=0,2,4,6
/proc/24798/task/24809/stat : 24809 (java) S 24796 24798 24174 0 -1 4202560 121 0 0 0 1573 26 0 0 20 0 22 0 344711154 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577351244008 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24810] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24810/stat : 24810 (java) S 24796 24798 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577350190072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24811] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24811/stat : 24811 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577349137672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24812] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24812/stat : 24812 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577348086160 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24813] ppid=24796 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/24798/task/24813/stat : 24813 (java) S 24796 24798 24174 0 -1 4202560 6777 0 0 0 136 2 0 0 20 0 22 0 344711157 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577347033784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24814] ppid=24796 vsize=2966184 CPUtime=1.03 cores=0,2,4,6
/proc/24798/task/24814/stat : 24814 (java) S 24796 24798 24174 0 -1 4202560 6328 0 0 0 103 0 0 0 20 0 22 0 344711157 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577345980984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24815] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24815/stat : 24815 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577344928888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24816] ppid=24796 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/24798/task/24816/stat : 24816 (java) S 24796 24798 24174 0 -1 4202560 50 0 0 0 12 14 0 0 20 0 22 0 344711157 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577343876296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24817] ppid=24796 vsize=2966184 CPUtime=861.32 cores=0,2,4,6
/proc/24798/task/24817/stat : 24817 (java) R 24796 24798 24174 0 -1 4202560 192 0 0 0 86119 13 0 0 20 0 22 0 344711209 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577342820560 140577579044036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24818] ppid=24796 vsize=2966184 CPUtime=861.61 cores=0,2,4,6
/proc/24798/task/24818/stat : 24818 (java) R 24796 24798 24174 0 -1 4202560 348 0 0 0 86142 19 0 0 20 0 22 0 344711209 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577341765584 140577579139968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24819] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24819/stat : 24819 (java) S 24796 24798 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577340716200 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24820] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24820/stat : 24820 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 198280 33554432000 1073741824 1073778376 140735556528064 140577339663400 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1755.49
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.701 s]
/proc/loadavg: 3.82 3.91 3.85 6/221 24913
/proc/meminfo: memFree=27316712/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2966184 CPUtime=1800.16 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 18924 0 1 0 179927 89 0 0 20 0 22 0 344711151 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 741546 198284 2284 9 0 732240 0
[pid=24798/tid=24800] ppid=24796 vsize=2966184 CPUtime=0.58 cores=0,2,4,6
/proc/24798/task/24800/stat : 24800 (java) S 24796 24798 24174 0 -1 4202560 2890 0 1 0 54 4 0 0 20 0 22 0 344711152 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577705600152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24801] ppid=24796 vsize=2966184 CPUtime=1.68 cores=0,2,4,6
/proc/24798/task/24801/stat : 24801 (java) S 24796 24798 24174 0 -1 4202560 133 0 0 0 162 6 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577572387112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24802] ppid=24796 vsize=2966184 CPUtime=1.71 cores=0,2,4,6
/proc/24798/task/24802/stat : 24802 (java) S 24796 24798 24174 0 -1 4202560 118 0 0 0 166 5 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577571334312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24803] ppid=24796 vsize=2966184 CPUtime=1.8 cores=0,2,4,6
/proc/24798/task/24803/stat : 24803 (java) S 24796 24798 24174 0 -1 4202560 137 0 0 0 174 6 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577570282024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24804] ppid=24796 vsize=2966184 CPUtime=1.71 cores=0,2,4,6
/proc/24798/task/24804/stat : 24804 (java) S 24796 24798 24174 0 -1 4202560 125 0 0 0 166 5 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577569229224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24805] ppid=24796 vsize=2966184 CPUtime=1.64 cores=0,2,4,6
/proc/24798/task/24805/stat : 24805 (java) S 24796 24798 24174 0 -1 4202560 127 0 0 0 159 5 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577366600488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24806] ppid=24796 vsize=2966184 CPUtime=1.78 cores=0,2,4,6
/proc/24798/task/24806/stat : 24806 (java) S 24796 24798 24174 0 -1 4202560 121 0 0 0 172 6 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577365547688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24807] ppid=24796 vsize=2966184 CPUtime=1.8 cores=0,2,4,6
/proc/24798/task/24807/stat : 24807 (java) S 24796 24798 24174 0 -1 4202560 148 0 0 0 175 5 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577364495400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24808] ppid=24796 vsize=2966184 CPUtime=1.75 cores=0,2,4,6
/proc/24798/task/24808/stat : 24808 (java) S 24796 24798 24174 0 -1 4202560 108 0 0 0 172 3 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577363442600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24809] ppid=24796 vsize=2966184 CPUtime=16.2 cores=0,2,4,6
/proc/24798/task/24809/stat : 24809 (java) S 24796 24798 24174 0 -1 4202560 123 0 0 0 1594 26 0 0 20 0 22 0 344711154 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577351244008 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24810] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24810/stat : 24810 (java) S 24796 24798 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577350190072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24811] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24811/stat : 24811 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577349137672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24812] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24812/stat : 24812 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577348086160 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24813] ppid=24796 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/24798/task/24813/stat : 24813 (java) S 24796 24798 24174 0 -1 4202560 6777 0 0 0 136 2 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577347033784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24814] ppid=24796 vsize=2966184 CPUtime=1.03 cores=0,2,4,6
/proc/24798/task/24814/stat : 24814 (java) S 24796 24798 24174 0 -1 4202560 6328 0 0 0 103 0 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577345980984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24815] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24815/stat : 24815 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577344928888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24816] ppid=24796 vsize=2966184 CPUtime=0.27 cores=0,2,4,6
/proc/24798/task/24816/stat : 24816 (java) S 24796 24798 24174 0 -1 4202560 52 0 0 0 13 14 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577343876296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24817] ppid=24796 vsize=2966184 CPUtime=883.46 cores=0,2,4,6
/proc/24798/task/24817/stat : 24817 (java) R 24796 24798 24174 0 -1 4202560 193 0 0 0 88333 13 0 0 20 0 22 0 344711209 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577342818832 140577578937181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24818] ppid=24796 vsize=2966184 CPUtime=883.76 cores=0,2,4,6
/proc/24798/task/24818/stat : 24818 (java) R 24796 24798 24174 0 -1 4202560 350 0 0 0 88357 19 0 0 20 0 22 0 344711209 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577341766384 140577579255312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24819] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24819/stat : 24819 (java) S 24796 24798 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577340716200 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24820] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24820/stat : 24820 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577339663400 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2966184

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

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

[startup+904.701 s]
/proc/loadavg: 3.82 3.91 3.85 6/221 24913
/proc/meminfo: memFree=27316712/32873844 swapFree=7380/7380
[pid=24798] ppid=24796 vsize=2966184 CPUtime=1800.16 cores=0,2,4,6
/proc/24798/stat : 24798 (java) S 24796 24798 24174 0 -1 4202496 18924 0 1 0 179927 89 0 0 20 0 22 0 344711151 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140735556519200 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 741546 198284 2284 9 0 732240 0
[pid=24798/tid=24800] ppid=24796 vsize=2966184 CPUtime=0.58 cores=0,2,4,6
/proc/24798/task/24800/stat : 24800 (java) S 24796 24798 24174 0 -1 4202560 2890 0 1 0 54 4 0 0 20 0 22 0 344711152 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577705600152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24801] ppid=24796 vsize=2966184 CPUtime=1.68 cores=0,2,4,6
/proc/24798/task/24801/stat : 24801 (java) S 24796 24798 24174 0 -1 4202560 133 0 0 0 162 6 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577572387112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24802] ppid=24796 vsize=2966184 CPUtime=1.71 cores=0,2,4,6
/proc/24798/task/24802/stat : 24802 (java) S 24796 24798 24174 0 -1 4202560 118 0 0 0 166 5 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577571334312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24803] ppid=24796 vsize=2966184 CPUtime=1.8 cores=0,2,4,6
/proc/24798/task/24803/stat : 24803 (java) S 24796 24798 24174 0 -1 4202560 137 0 0 0 174 6 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577570282024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24804] ppid=24796 vsize=2966184 CPUtime=1.71 cores=0,2,4,6
/proc/24798/task/24804/stat : 24804 (java) S 24796 24798 24174 0 -1 4202560 125 0 0 0 166 5 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577569229224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24805] ppid=24796 vsize=2966184 CPUtime=1.64 cores=0,2,4,6
/proc/24798/task/24805/stat : 24805 (java) S 24796 24798 24174 0 -1 4202560 127 0 0 0 159 5 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577366600488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24806] ppid=24796 vsize=2966184 CPUtime=1.78 cores=0,2,4,6
/proc/24798/task/24806/stat : 24806 (java) S 24796 24798 24174 0 -1 4202560 121 0 0 0 172 6 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577365547688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24807] ppid=24796 vsize=2966184 CPUtime=1.8 cores=0,2,4,6
/proc/24798/task/24807/stat : 24807 (java) S 24796 24798 24174 0 -1 4202560 148 0 0 0 175 5 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577364495400 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24808] ppid=24796 vsize=2966184 CPUtime=1.75 cores=0,2,4,6
/proc/24798/task/24808/stat : 24808 (java) S 24796 24798 24174 0 -1 4202560 108 0 0 0 172 3 0 0 20 0 22 0 344711153 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577363442600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24809] ppid=24796 vsize=2966184 CPUtime=16.2 cores=0,2,4,6
/proc/24798/task/24809/stat : 24809 (java) S 24796 24798 24174 0 -1 4202560 123 0 0 0 1594 26 0 0 20 0 22 0 344711154 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577351244008 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24810] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24810/stat : 24810 (java) S 24796 24798 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577350190072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24811] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24811/stat : 24811 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711155 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577349137672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24812] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24812/stat : 24812 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577348086160 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24813] ppid=24796 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/24798/task/24813/stat : 24813 (java) S 24796 24798 24174 0 -1 4202560 6777 0 0 0 136 2 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577347033784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24814] ppid=24796 vsize=2966184 CPUtime=1.03 cores=0,2,4,6
/proc/24798/task/24814/stat : 24814 (java) S 24796 24798 24174 0 -1 4202560 6328 0 0 0 103 0 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577345980984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24798/tid=24815] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24815/stat : 24815 (java) S 24796 24798 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577344928888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24816] ppid=24796 vsize=2966184 CPUtime=0.27 cores=0,2,4,6
/proc/24798/task/24816/stat : 24816 (java) S 24796 24798 24174 0 -1 4202560 52 0 0 0 13 14 0 0 20 0 22 0 344711157 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577343876296 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24817] ppid=24796 vsize=2966184 CPUtime=883.46 cores=0,2,4,6
/proc/24798/task/24817/stat : 24817 (java) R 24796 24798 24174 0 -1 4202560 193 0 0 0 88333 13 0 0 20 0 22 0 344711209 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577342818832 140577578937181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24798/tid=24818] ppid=24796 vsize=2966184 CPUtime=883.76 cores=0,2,4,6
/proc/24798/task/24818/stat : 24818 (java) R 24796 24798 24174 0 -1 4202560 350 0 0 0 88357 19 0 0 20 0 22 0 344711209 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577341766384 140577579255312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24798/tid=24819] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24819/stat : 24819 (java) S 24796 24798 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577340716200 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24798/tid=24820] ppid=24796 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/24798/task/24820/stat : 24820 (java) S 24796 24798 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344711212 3037372416 198284 33554432000 1073741824 1073778376 140735556528064 140577339663400 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2966184

Child status: 143
Real time (s): 904.746
CPU time (s): 1800.96
CPU user time (s): 1799.59
CPU system time (s): 1.37179
CPU usage (%): 199.057
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 1.37179
maximum resident set size= 793260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18957
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30202
involuntary context switches= 38584

runsolver used 3.20251 second user time and 7.97279 second system time

The end

Launcher Data

Begin job on node133 at 2012-06-04 06:57:44
IDJOB=3742275
IDBENCH=90146
IDSOLVER=2324
FILE ID=node133/3742275-1338785864
RUNJOBID= node133-1338782189-24190
PBS_JOBID= 14636833
Free space on /tmp= 70484 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K126.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742275-1338785864/watcher-3742275-1338785864 -o /tmp/evaluation-result-3742275-1338785864/solver-3742275-1338785864 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742275-1338785864.opb

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

MD5SUM BENCH= 8617651a414bb8902c12959cc1c92372
RANDOM SEED=1467559777

node133.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.540
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	: 5333.08
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.540
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	: 5331.92
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.540
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	: 5331.92
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.540
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	: 5331.91
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.540
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	: 5331.91
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.540
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	: 5331.90
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.540
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	: 5331.91
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.540
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28118772 kB
Buffers:          500316 kB
Cached:          2847664 kB
SwapCached:          676 kB
Active:          1993412 kB
Inactive:        1835560 kB
Active(anon):     472152 kB
Inactive(anon):    10220 kB
Active(file):    1521260 kB
Inactive(file):  1825340 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              3316 kB
Writeback:             0 kB
AnonPages:        511260 kB
Mapped:            18576 kB
Shmem:                 0 kB
Slab:             760296 kB
SReclaimable:     201868 kB
SUnreclaim:       558428 kB
KernelStack:        1640 kB
PageTables:         5076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1573252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    466944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70484 MiB
End job on node133 at 2012-06-04 07:12:50