Trace number 3459796

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.34 1776.99

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__256.opb
MD5SUM8b626683195681f98573c11853056c85
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3842998
Total number of constraints18000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)15002
Number of constraints which are nor clauses,nor cardinality constraints2998
Minimum length of a constraint256
Maximum length of a constraint11521
Number of terms in the objective function 3840000
Biggest coefficient in the objective function 129631
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 130042022144
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 129631
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 130042022144
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/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-3459796-1307167688.opb
0.10/0.11	c reading problem ... 
120.07/99.55	c ... done. Wall clock time 99.438s.
120.07/99.55	c #vars     3842998
120.07/99.55	c #constraints  21000
120.07/99.55	c constraints type 
120.07/99.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
120.07/99.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 15002
120.07/99.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5996
406.61/385.43	c cleaning 2559 clauses out of 5118 with flag 5118/5118
578.02/556.08	c cleaning 4328 clauses out of 8655 with flag 11214/11214
766.50/743.87	c cleaning 5640 clauses out of 11285 with flag 18172/18172
1800.05/1776.74	c starts		: 45
1800.05/1776.74	c conflicts		: 25406
1800.05/1776.74	c decisions		: 137853574
1800.05/1776.74	c propagations		: 149372655
1800.05/1776.74	c inspects		: 307632636
1800.05/1776.74	c shortcuts		: 0
1800.05/1776.74	c learnt literals	: 0
1800.05/1776.74	c learnt binary clauses	: 0
1800.05/1776.74	c learnt ternary clauses	: 0
1800.05/1776.74	c learnt constraints	: 25406
1800.05/1776.74	c ignored constraints	: 0
1800.05/1776.74	c root simplifications	: 0
1800.05/1776.74	c removed literals (reason simplification)	: 443
1800.05/1776.74	c reason swapping (by a shorter reason)	: 0
1800.05/1776.74	c Calls to reduceDB	: 3
1800.05/1776.74	c number of reductions to clauses (during analyze)	: 0
1800.05/1776.74	c number of learned constraints concerned by reduction	: 0
1800.05/1776.74	c number of learning phase by resolution	: 0
1800.05/1776.74	c number of learning phase by cutting planes	: 0
1800.05/1776.74	c speed (assignments/second)	: 89061.89742531799
1800.05/1776.74	c non guided choices	87145155
1800.05/1776.75	c learnt constraints type 
1800.05/1776.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12879
1800.05/1776.75	c constraints type 
1800.05/1776.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
1800.05/1776.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 15002
1800.05/1776.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5996
1800.05/1776.75	s UNKNOWN
1800.05/1776.75	c Total wall clock time (in seconds): 1776.638

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-3459796-1307167688/watcher-3459796-1307167688 -o /tmp/evaluation-result-3459796-1307167688/solver-3459796-1307167688 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459796-1307167688.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: 2.01 2.04 2.05 2/516 22159
/proc/meminfo: memFree=21898668/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 6524 0 1 0 0 0 0 0 23 0 2 0 828370315 13850947584 6225 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3381579 6237 917 9 0 3372735 0
[pid=22159/tid=22160] ppid=22156 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 5917 0 1 0 0 0 0 0 25 0 2 0 828370316 13850947584 6733 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.102488 s]
/proc/loadavg: 2.01 2.04 2.05 2/516 22159
/proc/meminfo: memFree=21898668/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13621848 CPUtime=0.1 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 15517 0 1 0 9 1 0 0 23 0 18 0 828370315 13948772352 15192 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3405462 15192 2093 9 0 3396196 0
[pid=22159/tid=22160] ppid=22156 vsize=13621848 CPUtime=0.08 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 13584 0 1 0 7 1 0 0 18 0 18 0 828370316 13948772352 15192 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621848

[startup+0.211777 s]
/proc/loadavg: 2.01 2.04 2.05 2/516 22159
/proc/meminfo: memFree=21898668/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13622364 CPUtime=0.32 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 38224 0 1 0 28 4 0 0 23 0 18 0 828370315 13949300736 37844 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3405591 37845 2188 9 0 3396325 0
[pid=22159/tid=22160] ppid=22156 vsize=13622364 CPUtime=0.21 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 35812 0 1 0 18 3 0 0 18 0 18 0 828370316 13949300736 37845 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912505514854 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 13622364

[startup+0.315437 s]
/proc/loadavg: 2.01 2.04 2.05 2/516 22159
/proc/meminfo: memFree=21898668/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13622480 CPUtime=0.47 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 42133 0 1 0 43 4 0 0 23 0 18 0 828370315 13949419520 41566 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3405620 41569 2200 9 0 3396354 0
[pid=22159/tid=22160] ppid=22156 vsize=13622480 CPUtime=0.29 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 39409 0 1 0 26 3 0 0 18 0 18 0 828370316 13949419520 41571 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912505572254 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13622480

[startup+0.700364 s]
/proc/loadavg: 2.01 2.04 2.05 2/516 22159
/proc/meminfo: memFree=21898668/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13622480 CPUtime=0.85 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 72221 0 1 0 78 7 0 0 23 0 18 0 828370315 13949419520 71654 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3405620 71657 2200 9 0 3396354 0
[pid=22159/tid=22160] ppid=22156 vsize=13622480 CPUtime=0.68 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 69497 0 1 0 62 6 0 0 18 0 18 0 828370316 13949419520 71659 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912505601502 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 13622480

[startup+1.50122 s]
/proc/loadavg: 2.01 2.04 2.05 3/534 22181
/proc/meminfo: memFree=21495076/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13622480 CPUtime=1.65 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 132886 0 1 0 151 14 0 0 23 0 18 0 828370315 13949419520 132319 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3405620 132322 2200 9 0 3396354 0
[pid=22159/tid=22160] ppid=22156 vsize=13622480 CPUtime=1.48 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 130162 0 1 0 135 13 0 0 20 0 18 0 828370316 13949419520 132324 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912505550509 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22159/tid=22162] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22162/stat : 22162 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 132326 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22164] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22164/stat : 22164 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 132328 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22165] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22165/stat : 22165 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 132330 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22166] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22166/stat : 22166 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 132332 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22168] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22168/stat : 22168 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 132334 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22169] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22169/stat : 22169 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 132336 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22170] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22170/stat : 22170 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 132337 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22172] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22172/stat : 22172 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 132339 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22173] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22173/stat : 22173 (java) S 22156 22159 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 828370319 13949419520 132341 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 0 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22174] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22174/stat : 22174 (java) S 22156 22159 21775 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 828370320 13949419520 132343 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22176] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22176/stat : 22176 (java) S 22156 22159 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 828370320 13949419520 132345 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22177] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22177/stat : 22177 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370322 13949419520 132347 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624934321 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22178] ppid=22156 vsize=13622480 CPUtime=0.09 cores=1,3,5,7
/proc/22159/task/22178/stat : 22178 (java) S 22156 22159 21775 0 -1 4202560 781 0 0 0 9 0 0 0 17 0 18 0 828370322 13949419520 132349 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22179] ppid=22156 vsize=13622480 CPUtime=0.06 cores=1,3,5,7
/proc/22159/task/22179/stat : 22179 (java) S 22156 22159 21775 0 -1 4202560 797 0 0 0 6 0 0 0 18 0 18 0 828370322 13949419520 132351 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22180] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22180/stat : 22180 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370322 13949419520 132353 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22181] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22181/stat : 22181 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 828370322 13949419520 132355 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 13622480

[startup+3.10094 s]
/proc/loadavg: 2.01 2.04 2.05 3/534 22181
/proc/meminfo: memFree=21167376/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13622480 CPUtime=3.25 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 255141 0 1 0 297 28 0 0 23 0 18 0 828370315 13949419520 254574 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3405620 254577 2204 9 0 3396354 0
[pid=22159/tid=22160] ppid=22156 vsize=13622480 CPUtime=3.08 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 252412 0 1 0 281 27 0 0 25 0 18 0 828370316 13949419520 254578 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912505572254 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22159/tid=22162] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22162/stat : 22162 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 254580 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22164] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22164/stat : 22164 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 254582 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22165] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22165/stat : 22165 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 254584 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22166] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22166/stat : 22166 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 254585 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22168] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22168/stat : 22168 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 254587 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22169] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22169/stat : 22169 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 254589 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22170] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22170/stat : 22170 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 254591 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22172] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22172/stat : 22172 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 254593 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22173] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22173/stat : 22173 (java) S 22156 22159 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 828370319 13949419520 254594 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 0 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22174] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22174/stat : 22174 (java) S 22156 22159 21775 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 828370320 13949419520 254596 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22176] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22176/stat : 22176 (java) S 22156 22159 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 828370320 13949419520 254598 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22177] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22177/stat : 22177 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370322 13949419520 254600 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624934321 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22178] ppid=22156 vsize=13622480 CPUtime=0.09 cores=1,3,5,7
/proc/22159/task/22178/stat : 22178 (java) S 22156 22159 21775 0 -1 4202560 781 0 0 0 9 0 0 0 17 0 18 0 828370322 13949419520 254601 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22179] ppid=22156 vsize=13622480 CPUtime=0.06 cores=1,3,5,7
/proc/22159/task/22179/stat : 22179 (java) S 22156 22159 21775 0 -1 4202560 801 0 0 0 6 0 0 0 18 0 18 0 828370322 13949419520 254603 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22180] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22180/stat : 22180 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370322 13949419520 254605 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22181] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22181/stat : 22181 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 828370322 13949419520 254607 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 13622480

[startup+6.30138 s]
/proc/loadavg: 2.00 2.04 2.05 3/534 22181
/proc/meminfo: memFree=20116504/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13622480 CPUtime=6.47 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 513845 0 1 0 590 57 0 0 23 0 18 0 828370315 13949419520 513276 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3405620 513279 2206 9 0 3396354 0
[pid=22159/tid=22160] ppid=22156 vsize=13622480 CPUtime=6.27 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 511112 0 1 0 571 56 0 0 19 0 18 0 828370316 13949419520 513281 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912505550646 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22159/tid=22162] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22162/stat : 22162 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 513283 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22164] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22164/stat : 22164 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 513285 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22165] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22165/stat : 22165 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 513287 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22166] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22166/stat : 22166 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 513289 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22168] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22168/stat : 22168 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 513291 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22169] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22169/stat : 22169 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 513293 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22170] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22170/stat : 22170 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 513296 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22172] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22172/stat : 22172 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370318 13949419520 513298 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22173] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22173/stat : 22173 (java) S 22156 22159 21775 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 828370319 13949419520 513300 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 0 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22174] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22174/stat : 22174 (java) S 22156 22159 21775 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 828370320 13949419520 513302 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22176] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22176/stat : 22176 (java) S 22156 22159 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 828370320 13949419520 513304 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22177] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22177/stat : 22177 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370322 13949419520 513306 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624934321 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22178] ppid=22156 vsize=13622480 CPUtime=0.09 cores=1,3,5,7
/proc/22159/task/22178/stat : 22178 (java) S 22156 22159 21775 0 -1 4202560 782 0 0 0 9 0 0 0 16 0 18 0 828370322 13949419520 513308 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22179] ppid=22156 vsize=13622480 CPUtime=0.08 cores=1,3,5,7
/proc/22159/task/22179/stat : 22179 (java) S 22156 22159 21775 0 -1 4202560 803 0 0 0 8 0 0 0 15 0 18 0 828370322 13949419520 513309 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22180] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22180/stat : 22180 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 828370322 13949419520 513310 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22181] ppid=22156 vsize=13622480 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22181/stat : 22181 (java) S 22156 22159 21775 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 828370322 13949419520 513312 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0

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

/proc/22159/task/22174/stat : 22174 (java) S 22156 22159 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828370320 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22176] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22176/stat : 22176 (java) S 22156 22159 21775 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828370320 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22177] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22177/stat : 22177 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624934321 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22178] ppid=22156 vsize=13625892 CPUtime=0.67 cores=1,3,5,7
/proc/22159/task/22178/stat : 22178 (java) S 22156 22159 21775 0 -1 4202560 1390 0 0 0 67 0 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22179] ppid=22156 vsize=13625892 CPUtime=0.79 cores=1,3,5,7
/proc/22159/task/22179/stat : 22179 (java) S 22156 22159 21775 0 -1 4202560 9880 0 0 0 78 1 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22180] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22180/stat : 22180 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22181] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22181/stat : 22181 (java) S 22156 22159 21775 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22187] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22187/stat : 22187 (java) S 22156 22159 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828380360 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1625.61
Current children cumulated vsize (KiB) 13625892

[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/535 22927
/proc/meminfo: memFree=23099476/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13625892 CPUtime=1685.63 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 1602130 0 1 0 168347 216 0 0 23 0 19 0 828370315 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3406473 1589862 2260 9 0 3397207 0
[pid=22159/tid=22160] ppid=22156 vsize=13625892 CPUtime=1647.81 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 845664 0 1 0 164678 103 0 0 25 0 19 0 828370316 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912506155583 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22159/tid=22162] ppid=22156 vsize=13625892 CPUtime=3.45 cores=1,3,5,7
/proc/22159/task/22162/stat : 22162 (java) S 22156 22159 21775 0 -1 4202560 48490 0 0 0 338 7 0 0 15 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22164] ppid=22156 vsize=13625892 CPUtime=4.03 cores=1,3,5,7
/proc/22159/task/22164/stat : 22164 (java) S 22156 22159 21775 0 -1 4202560 97441 0 0 0 390 13 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22165] ppid=22156 vsize=13625892 CPUtime=4.11 cores=1,3,5,7
/proc/22159/task/22165/stat : 22165 (java) S 22156 22159 21775 0 -1 4202560 105195 0 0 0 396 15 0 0 15 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22166] ppid=22156 vsize=13625892 CPUtime=3.05 cores=1,3,5,7
/proc/22159/task/22166/stat : 22166 (java) S 22156 22159 21775 0 -1 4202560 68537 0 0 0 294 11 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22168] ppid=22156 vsize=13625892 CPUtime=3.68 cores=1,3,5,7
/proc/22159/task/22168/stat : 22168 (java) S 22156 22159 21775 0 -1 4202560 112989 0 0 0 352 16 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22169] ppid=22156 vsize=13625892 CPUtime=3.35 cores=1,3,5,7
/proc/22159/task/22169/stat : 22169 (java) S 22156 22159 21775 0 -1 4202560 92558 0 0 0 322 13 0 0 15 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22170] ppid=22156 vsize=13625892 CPUtime=3.76 cores=1,3,5,7
/proc/22159/task/22170/stat : 22170 (java) S 22156 22159 21775 0 -1 4202560 87775 0 0 0 363 13 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22172] ppid=22156 vsize=13625892 CPUtime=4.08 cores=1,3,5,7
/proc/22159/task/22172/stat : 22172 (java) S 22156 22159 21775 0 -1 4202560 113969 0 0 0 391 17 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22173] ppid=22156 vsize=13625892 CPUtime=6.72 cores=1,3,5,7
/proc/22159/task/22173/stat : 22173 (java) S 22156 22159 21775 0 -1 4202560 16995 0 0 0 670 2 0 0 18 0 19 0 828370319 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 0 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22174] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22174/stat : 22174 (java) S 22156 22159 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828370320 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22176] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22176/stat : 22176 (java) S 22156 22159 21775 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828370320 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22177] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22177/stat : 22177 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624934321 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22178] ppid=22156 vsize=13625892 CPUtime=0.67 cores=1,3,5,7
/proc/22159/task/22178/stat : 22178 (java) S 22156 22159 21775 0 -1 4202560 1390 0 0 0 67 0 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22179] ppid=22156 vsize=13625892 CPUtime=0.79 cores=1,3,5,7
/proc/22159/task/22179/stat : 22179 (java) S 22156 22159 21775 0 -1 4202560 9880 0 0 0 78 1 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22180] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22180/stat : 22180 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22181] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22181/stat : 22181 (java) S 22156 22159 21775 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22187] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22187/stat : 22187 (java) S 22156 22159 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828380360 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1685.63
Current children cumulated vsize (KiB) 13625892

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/535 22928
/proc/meminfo: memFree=23099512/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13625892 CPUtime=1745.61 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 1602134 0 1 0 174345 216 0 0 23 0 19 0 828370315 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3406473 1589862 2260 9 0 3397207 0
[pid=22159/tid=22160] ppid=22156 vsize=13625892 CPUtime=1707.8 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 845664 0 1 0 170677 103 0 0 25 0 19 0 828370316 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912506155574 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22159/tid=22162] ppid=22156 vsize=13625892 CPUtime=3.45 cores=1,3,5,7
/proc/22159/task/22162/stat : 22162 (java) S 22156 22159 21775 0 -1 4202560 48490 0 0 0 338 7 0 0 15 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22164] ppid=22156 vsize=13625892 CPUtime=4.03 cores=1,3,5,7
/proc/22159/task/22164/stat : 22164 (java) S 22156 22159 21775 0 -1 4202560 97441 0 0 0 390 13 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22165] ppid=22156 vsize=13625892 CPUtime=4.11 cores=1,3,5,7
/proc/22159/task/22165/stat : 22165 (java) S 22156 22159 21775 0 -1 4202560 105195 0 0 0 396 15 0 0 15 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22166] ppid=22156 vsize=13625892 CPUtime=3.05 cores=1,3,5,7
/proc/22159/task/22166/stat : 22166 (java) S 22156 22159 21775 0 -1 4202560 68537 0 0 0 294 11 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22168] ppid=22156 vsize=13625892 CPUtime=3.68 cores=1,3,5,7
/proc/22159/task/22168/stat : 22168 (java) S 22156 22159 21775 0 -1 4202560 112989 0 0 0 352 16 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22169] ppid=22156 vsize=13625892 CPUtime=3.35 cores=1,3,5,7
/proc/22159/task/22169/stat : 22169 (java) S 22156 22159 21775 0 -1 4202560 92558 0 0 0 322 13 0 0 15 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22170] ppid=22156 vsize=13625892 CPUtime=3.76 cores=1,3,5,7
/proc/22159/task/22170/stat : 22170 (java) S 22156 22159 21775 0 -1 4202560 87775 0 0 0 363 13 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22172] ppid=22156 vsize=13625892 CPUtime=4.08 cores=1,3,5,7
/proc/22159/task/22172/stat : 22172 (java) S 22156 22159 21775 0 -1 4202560 113969 0 0 0 391 17 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22173] ppid=22156 vsize=13625892 CPUtime=6.72 cores=1,3,5,7
/proc/22159/task/22173/stat : 22173 (java) S 22156 22159 21775 0 -1 4202560 16995 0 0 0 670 2 0 0 18 0 19 0 828370319 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 0 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22174] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22174/stat : 22174 (java) S 22156 22159 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828370320 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22176] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22176/stat : 22176 (java) S 22156 22159 21775 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828370320 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22177] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22177/stat : 22177 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624934321 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22178] ppid=22156 vsize=13625892 CPUtime=0.67 cores=1,3,5,7
/proc/22159/task/22178/stat : 22178 (java) S 22156 22159 21775 0 -1 4202560 1390 0 0 0 67 0 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22179] ppid=22156 vsize=13625892 CPUtime=0.79 cores=1,3,5,7
/proc/22159/task/22179/stat : 22179 (java) S 22156 22159 21775 0 -1 4202560 9880 0 0 0 78 1 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22180] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22180/stat : 22180 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22181] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22181/stat : 22181 (java) S 22156 22159 21775 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22187] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22187/stat : 22187 (java) S 22156 22159 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828380360 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1745.61
Current children cumulated vsize (KiB) 13625892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.7 s]
/proc/loadavg: 2.11 2.06 2.05 4/535 22930
/proc/meminfo: memFree=23099444/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=13625892 CPUtime=1800.05 cores=1,3,5,7
/proc/22159/stat : 22159 (java) S 22156 22159 21775 0 -1 4202496 1602136 0 1 0 179789 216 0 0 23 0 19 0 828370315 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 3406473 1589862 2260 9 0 3397207 0
[pid=22159/tid=22160] ppid=22156 vsize=13625892 CPUtime=1762.24 cores=1,3,5,7
/proc/22159/task/22160/stat : 22160 (java) R 22156 22159 21775 0 -1 4202560 845664 0 1 0 176121 103 0 0 25 0 19 0 828370316 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 46912506155597 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22159/tid=22162] ppid=22156 vsize=13625892 CPUtime=3.45 cores=1,3,5,7
/proc/22159/task/22162/stat : 22162 (java) S 22156 22159 21775 0 -1 4202560 48490 0 0 0 338 7 0 0 15 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22164] ppid=22156 vsize=13625892 CPUtime=4.03 cores=1,3,5,7
/proc/22159/task/22164/stat : 22164 (java) S 22156 22159 21775 0 -1 4202560 97441 0 0 0 390 13 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22165] ppid=22156 vsize=13625892 CPUtime=4.11 cores=1,3,5,7
/proc/22159/task/22165/stat : 22165 (java) S 22156 22159 21775 0 -1 4202560 105195 0 0 0 396 15 0 0 15 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22166] ppid=22156 vsize=13625892 CPUtime=3.05 cores=1,3,5,7
/proc/22159/task/22166/stat : 22166 (java) S 22156 22159 21775 0 -1 4202560 68537 0 0 0 294 11 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22168] ppid=22156 vsize=13625892 CPUtime=3.68 cores=1,3,5,7
/proc/22159/task/22168/stat : 22168 (java) S 22156 22159 21775 0 -1 4202560 112989 0 0 0 352 16 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22169] ppid=22156 vsize=13625892 CPUtime=3.35 cores=1,3,5,7
/proc/22159/task/22169/stat : 22169 (java) S 22156 22159 21775 0 -1 4202560 92558 0 0 0 322 13 0 0 15 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22170] ppid=22156 vsize=13625892 CPUtime=3.76 cores=1,3,5,7
/proc/22159/task/22170/stat : 22170 (java) S 22156 22159 21775 0 -1 4202560 87775 0 0 0 363 13 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22172] ppid=22156 vsize=13625892 CPUtime=4.08 cores=1,3,5,7
/proc/22159/task/22172/stat : 22172 (java) S 22156 22159 21775 0 -1 4202560 113969 0 0 0 391 17 0 0 16 0 19 0 828370318 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22173] ppid=22156 vsize=13625892 CPUtime=6.72 cores=1,3,5,7
/proc/22159/task/22173/stat : 22173 (java) S 22156 22159 21775 0 -1 4202560 16995 0 0 0 670 2 0 0 18 0 19 0 828370319 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 0 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22174] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22174/stat : 22174 (java) S 22156 22159 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828370320 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22176] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22176/stat : 22176 (java) S 22156 22159 21775 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828370320 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 3 0 0 0
[pid=22159/tid=22177] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22177/stat : 22177 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624934321 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22178] ppid=22156 vsize=13625892 CPUtime=0.67 cores=1,3,5,7
/proc/22159/task/22178/stat : 22178 (java) S 22156 22159 21775 0 -1 4202560 1390 0 0 0 67 0 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 5 0 0 0
[pid=22159/tid=22179] ppid=22156 vsize=13625892 CPUtime=0.79 cores=1,3,5,7
/proc/22159/task/22179/stat : 22179 (java) S 22156 22159 21775 0 -1 4202560 9880 0 0 0 78 1 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22180] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22180/stat : 22180 (java) S 22156 22159 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624926617 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
[pid=22159/tid=22181] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22181/stat : 22181 (java) S 22156 22159 21775 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 828370322 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 1 0 0 0
[pid=22159/tid=22187] ppid=22156 vsize=13625892 CPUtime=0 cores=1,3,5,7
/proc/22159/task/22187/stat : 22187 (java) S 22156 22159 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828380360 13952913408 1589862 33554432000 1073741824 1073778376 140737465353392 18446744073709551615 270624927232 0 4 0 16800975 18446604463927180224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13625892

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

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

[startup+1776.9 s]
/proc/loadavg: 2.11 2.06 2.05 4/535 22930
/proc/meminfo: memFree=23099444/32951124 swapFree=53876548/67111528
[pid=22159] ppid=22156 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/22159/stat : 22159 (java) Z 22156 22159 21775 0 -1 4203548 1602171 0 1 0 179793 231 0 0 17 0 2 0 828370315 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22159/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1776.99
CPU time (s): 1800.34
CPU user time (s): 1797.93
CPU system time (s): 2.40463
CPU usage (%): 101.314
Max. virtual memory (cumulated for all children) (KiB): 13625892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.93
system time used= 2.40463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1602171
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= 40307
involuntary context switches= 75096

runsolver used 8.82566 second user time and 21.1728 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-04 08:08:14
IDJOB=3459796
IDBENCH=71901
IDSOLVER=1952
FILE ID=node108/3459796-1307167688
RUNJOBID= node108-1307164089-21794
PBS_JOBID= 13508826
Free space on /tmp= 73272 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_3000_5__126_2812__256.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459796-1307167688/watcher-3459796-1307167688 -o /tmp/evaluation-result-3459796-1307167688/solver-3459796-1307167688 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459796-1307167688.opb

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

MD5SUM BENCH= 8b626683195681f98573c11853056c85
RANDOM SEED=1403466418

node108.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.820
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.64
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.820
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	: 5226.15
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.820
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.82
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.820
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.77
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.820
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.820
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.75
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.820
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.75
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21898948 kB
Buffers:        317500 kB
Cached:        1606980 kB
SwapCached:      13540 kB
Active:        9764268 kB
Inactive:       978564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21898948 kB
SwapTotal:    67111528 kB
SwapFree:     53876548 kB
Dirty:          414444 kB
Writeback:           0 kB
AnonPages:     8815528 kB
Mapped:          20880 kB
Slab:           157796 kB
PageTables:      81056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 147989916 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= 73644 MiB
End job on node108 at 2011-06-04 08:37:53