Trace number 3689945

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
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.62 1795.74

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb
MD5SUM7323ad829904457180c70fb1ea620d7c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-83387
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 904013696
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 904013696
Number of bits of the biggest sum of numbers30
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-2012 Artois University and CNRS
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.2.v20120418
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.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
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 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 c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3689945-1337895033.opb
0.09/0.12	c reading problem ... 
8.70/6.17	c ... done. Wall clock time 6.053s.
8.70/6.17	c declared #vars     399113
8.70/6.17	c #constraints  400980
8.70/6.17	c constraints type 
8.70/6.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 374554
8.70/6.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 1977
8.70/6.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24448
8.70/6.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
8.70/6.17	c 400980 constraints processed.
8.70/6.17	c objective function length is 272557 literals
72.71/69.51	c cleaning 2499 clauses out of 4998 with flag 5000/5000
140.57/136.62	c cleaning 4243 clauses out of 8500 with flag 11001/11001
208.60/204.65	c cleaning 5608 clauses out of 11256 with flag 18000/18000
284.62/280.61	c cleaning 6822 clauses out of 13649 with flag 26001/26001
374.39/370.38	c cleaning 7913 clauses out of 15826 with flag 35000/35000
466.59/462.58	c cleaning 8936 clauses out of 17908 with flag 45001/45001
556.71/552.68	c cleaning 9970 clauses out of 19959 with flag 56000/56000
656.92/652.85	c cleaning 10994 clauses out of 21990 with flag 68001/68001
791.75/787.69	c cleaning 11986 clauses out of 23990 with flag 81001/81001
933.75/929.67	c cleaning 13000 clauses out of 26004 with flag 95001/95001
1087.15/1083.06	c cleaning 13995 clauses out of 28003 with flag 110000/110000
1242.95/1238.83	c cleaning 15003 clauses out of 30008 with flag 126000/126000
1414.33/1410.13	c cleaning 16002 clauses out of 32006 with flag 143001/143001
1585.43/1581.25	c cleaning 16990 clauses out of 34003 with flag 161000/161000
1766.53/1762.25	c cleaning 18003 clauses out of 36014 with flag 180001/180001
1800.03/1795.71	c starts		: 114
1800.03/1795.71	c conflicts		: 183381
1800.03/1795.71	c decisions		: 2884485
1800.03/1795.71	c propagations		: 3279027753
1800.03/1795.71	c inspects		: 632606227
1800.03/1795.71	c shortcuts		: 0
1800.03/1795.71	c learnt literals	: 26
1800.03/1795.71	c learnt binary clauses	: 605
1800.03/1795.71	c learnt ternary clauses	: 391
1800.03/1795.71	c learnt constraints	: 183355
1800.03/1795.71	c ignored constraints	: 0
1800.03/1795.71	c root simplifications	: 0
1800.03/1795.71	c removed literals (reason simplification)	: 0
1800.03/1795.71	c reason swapping (by a shorter reason)	: 0
1800.03/1795.71	c Calls to reduceDB	: 15
1800.03/1795.71	c number of reductions to clauses (during analyze)	: 0
1800.03/1795.71	c number of learned constraints concerned by reduction	: 0
1800.03/1795.71	c number of learning phase by resolution	: 0
1800.03/1795.71	c number of learning phase by cutting planes	: 0
1800.03/1795.71	c speed (assignments/second)	: 1832491.7502243791
1800.03/1795.71	c non guided choices	2108
1800.03/1795.72	c learnt constraints type 
1800.03/1795.72	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 605
1800.03/1795.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 20786
1800.03/1795.72	c constraints type 
1800.03/1795.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 374554
1800.03/1795.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 1977
1800.03/1795.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24448
1800.03/1795.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.03/1795.72	c 400980 constraints processed.
1800.03/1795.72	s UNKNOWN
1800.03/1795.72	c Total wall clock time (in seconds): 1795.602

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-3689945-1337895033/watcher-3689945-1337895033 -o /tmp/evaluation-result-3689945-1337895033/solver-3689945-1337895033 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689945-1337895033.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: 2.00 2.02 2.00 3/195 24250
/proc/meminfo: memFree=24440716/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24250/stat : 24250 (java) D 24248 24250 21352 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 255631995 9515008 182 33554432000 1073741824 1073778376 140735292309264 140735292300296 240426761909 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/24250/statm: 2323 182 140 9 0 71 0

[startup+0.024307 s]
/proc/loadavg: 2.00 2.02 2.00 3/195 24250
/proc/meminfo: memFree=24440716/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9014776 CPUtime=0 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 2090 0 1 0 0 0 0 0 20 0 10 0 255631995 9231130624 2281 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2253694 2286 974 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.100283 s]
/proc/loadavg: 2.00 2.02 2.00 3/195 24250
/proc/meminfo: memFree=24440716/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 4235 0 1 0 8 1 0 0 20 0 18 0 255631995 9787813888 5439 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2389603 5439 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300262 s]
/proc/loadavg: 2.00 2.02 2.00 3/195 24250
/proc/meminfo: memFree=24440716/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 6039 0 1 0 46 1 0 0 20 0 18 0 255631995 9787813888 13639 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2389603 13639 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.700266 s]
/proc/loadavg: 2.00 2.02 2.00 3/195 24250
/proc/meminfo: memFree=24440716/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9558412 CPUtime=0.97 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 6248 0 1 0 91 6 0 0 20 0 18 0 255631995 9787813888 45498 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2389603 45498 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 9558412

[startup+1.50069 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 24268
/proc/meminfo: memFree=24260676/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9558412 CPUtime=2.41 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 10924 0 1 0 223 18 0 0 20 0 18 0 255631995 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2389603 95607 2247 9 0 2380296 0
[pid=24250/tid=24252] ppid=24248 vsize=9558412 CPUtime=1.34 cores=0,2,4,6
/proc/24250/task/24252/stat : 24252 (java) R 24248 24250 21352 0 -1 4202560 2563 0 1 0 128 6 0 0 20 0 18 0 255631996 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139894098680760 139894106446945 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24250/tid=24253] ppid=24248 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/24250/task/24253/stat : 24253 (java) S 24248 24250 21352 0 -1 4202560 151 0 0 0 2 1 0 0 20 0 18 0 255631997 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139894071135016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24254] ppid=24248 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/24250/task/24254/stat : 24254 (java) S 24248 24250 21352 0 -1 4202560 49 0 0 0 4 2 0 0 20 0 18 0 255631997 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139894070082216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24255] ppid=24248 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/24250/task/24255/stat : 24255 (java) S 24248 24250 21352 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 18 0 255631997 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139894069029928 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24256] ppid=24248 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/24250/task/24256/stat : 24256 (java) S 24248 24250 21352 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 18 0 255631997 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139894067977128 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24257] ppid=24248 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/24250/task/24257/stat : 24257 (java) S 24248 24250 21352 0 -1 4202560 112 0 0 0 4 2 0 0 20 0 18 0 255631997 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139894066923816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24258] ppid=24248 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/24250/task/24258/stat : 24258 (java) S 24248 24250 21352 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 18 0 255631997 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139894065871016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24259] ppid=24248 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/24250/task/24259/stat : 24259 (java) S 24248 24250 21352 0 -1 4202560 101 0 0 0 2 1 0 0 20 0 18 0 255631997 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893935745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24260] ppid=24248 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24250/task/24260/stat : 24260 (java) S 24248 24250 21352 0 -1 4202560 132 0 0 0 5 2 0 0 20 0 18 0 255631997 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893934692776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24261] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24261/stat : 24261 (java) S 24248 24250 21352 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 255631999 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893451746024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24262] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24262/stat : 24262 (java) S 24248 24250 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255631999 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893450692088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24263] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24263/stat : 24263 (java) S 24248 24250 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255631999 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893449639688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24264] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24264/stat : 24264 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255632002 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893448588176 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24265] ppid=24248 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/24250/task/24265/stat : 24265 (java) S 24248 24250 21352 0 -1 4202560 2937 0 0 0 27 0 0 0 20 0 18 0 255632002 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893447534776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24266] ppid=24248 vsize=9558412 CPUtime=0.28 cores=0,2,4,6
/proc/24250/task/24266/stat : 24266 (java) S 24248 24250 21352 0 -1 4202560 3411 0 0 0 28 0 0 0 20 0 18 0 255632002 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893446481976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24267] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24267/stat : 24267 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255632002 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893445429880 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24268] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24268/stat : 24268 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255632002 9787813888 95607 33554432000 1073741824 1073778376 140733530410224 139893444377288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9558412

[startup+3.10069 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 24268
/proc/meminfo: memFree=23608860/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9558412 CPUtime=4.57 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 13926 0 1 0 407 50 0 0 20 0 18 0 255631995 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2389603 433672 2247 9 0 2380296 0
[pid=24250/tid=24252] ppid=24248 vsize=9558412 CPUtime=2.74 cores=0,2,4,6
/proc/24250/task/24252/stat : 24252 (java) R 24248 24250 21352 0 -1 4202560 3814 0 1 0 248 26 0 0 20 0 18 0 255631996 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139894098673536 139894106446938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24250/tid=24253] ppid=24248 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/24250/task/24253/stat : 24253 (java) S 24248 24250 21352 0 -1 4202560 174 0 0 0 8 3 0 0 20 0 18 0 255631997 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139894071135016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24254] ppid=24248 vsize=9558412 CPUtime=0.13 cores=0,2,4,6
/proc/24250/task/24254/stat : 24254 (java) S 24248 24250 21352 0 -1 4202560 67 0 0 0 11 2 0 0 20 0 18 0 255631997 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139894070082216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24255] ppid=24248 vsize=9558412 CPUtime=0.12 cores=0,2,4,6
/proc/24250/task/24255/stat : 24255 (java) S 24248 24250 21352 0 -1 4202560 307 0 0 0 9 3 0 0 20 0 18 0 255631997 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139894069029928 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24256] ppid=24248 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/24250/task/24256/stat : 24256 (java) S 24248 24250 21352 0 -1 4202560 60 0 0 0 8 3 0 0 20 0 18 0 255631997 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139894067977128 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24257] ppid=24248 vsize=9558412 CPUtime=0.15 cores=0,2,4,6
/proc/24250/task/24257/stat : 24257 (java) S 24248 24250 21352 0 -1 4202560 136 0 0 0 12 3 0 0 20 0 18 0 255631997 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139894066923816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24258] ppid=24248 vsize=9558412 CPUtime=0.13 cores=0,2,4,6
/proc/24250/task/24258/stat : 24258 (java) S 24248 24250 21352 0 -1 4202560 540 0 0 0 10 3 0 0 20 0 18 0 255631997 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139894065871016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24259] ppid=24248 vsize=9558412 CPUtime=0.2 cores=0,2,4,6
/proc/24250/task/24259/stat : 24259 (java) S 24248 24250 21352 0 -1 4202560 161 0 0 0 15 5 0 0 20 0 18 0 255631997 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139893935745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24260] ppid=24248 vsize=9558412 CPUtime=0.2 cores=0,2,4,6
/proc/24250/task/24260/stat : 24260 (java) S 24248 24250 21352 0 -1 4202560 178 0 0 0 16 4 0 0 20 0 18 0 255631997 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139893934692776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24261] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24261/stat : 24261 (java) S 24248 24250 21352 0 -1 4202560 965 0 0 0 0 0 0 0 20 0 18 0 255631999 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139893451746024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24262] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24262/stat : 24262 (java) S 24248 24250 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255631999 9787813888 433672 33554432000 1073741824 1073778376 140733530410224 139893450692088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24263] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24263/stat : 24263 (java) S 24248 24250 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255631999 9787813888 434184 33554432000 1073741824 1073778376 140733530410224 139893449639688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24264] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24264/stat : 24264 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255632002 9787813888 434184 33554432000 1073741824 1073778376 140733530410224 139893448588176 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24265] ppid=24248 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/24250/task/24265/stat : 24265 (java) S 24248 24250 21352 0 -1 4202560 2937 0 0 0 27 0 0 0 20 0 18 0 255632002 9787813888 434184 33554432000 1073741824 1073778376 140733530410224 139893447534776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24266] ppid=24248 vsize=9558412 CPUtime=0.28 cores=0,2,4,6
/proc/24250/task/24266/stat : 24266 (java) S 24248 24250 21352 0 -1 4202560 3411 0 0 0 28 0 0 0 20 0 18 0 255632002 9787813888 434184 33554432000 1073741824 1073778376 140733530410224 139893446481976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24267] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24267/stat : 24267 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255632002 9787813888 434184 33554432000 1073741824 1073778376 140733530410224 139893445429880 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24268] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24268/stat : 24268 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255632002 9787813888 434184 33554432000 1073741824 1073778376 140733530410224 139893444377288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 9558412

[startup+6.30066 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 24268
/proc/meminfo: memFree=22215176/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9558412 CPUtime=9.03 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 16732 0 1 0 828 75 0 0 20 0 18 0 255631995 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2389603 590731 2259 9 0 2380296 0
[pid=24250/tid=24252] ppid=24248 vsize=9558412 CPUtime=5.54 cores=0,2,4,6
/proc/24250/task/24252/stat : 24252 (java) R 24248 24250 21352 0 -1 4202560 4040 0 1 0 521 33 0 0 20 0 18 0 255631996 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139894098681224 139893947471238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24250/tid=24253] ppid=24248 vsize=9558412 CPUtime=0.36 cores=0,2,4,6
/proc/24250/task/24253/stat : 24253 (java) S 24248 24250 21352 0 -1 4202560 542 0 0 0 30 6 0 0 20 0 18 0 255631997 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139894071135016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24254] ppid=24248 vsize=9558412 CPUtime=0.34 cores=0,2,4,6
/proc/24250/task/24254/stat : 24254 (java) S 24248 24250 21352 0 -1 4202560 129 0 0 0 29 5 0 0 20 0 18 0 255631997 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139894070082216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24255] ppid=24248 vsize=9558412 CPUtime=0.29 cores=0,2,4,6
/proc/24250/task/24255/stat : 24255 (java) S 24248 24250 21352 0 -1 4202560 446 0 0 0 24 5 0 0 20 0 18 0 255631997 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139894069029928 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24256] ppid=24248 vsize=9558412 CPUtime=0.29 cores=0,2,4,6
/proc/24250/task/24256/stat : 24256 (java) S 24248 24250 21352 0 -1 4202560 723 0 0 0 24 5 0 0 20 0 18 0 255631997 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139894067977128 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24257] ppid=24248 vsize=9558412 CPUtime=0.3 cores=0,2,4,6
/proc/24250/task/24257/stat : 24257 (java) S 24248 24250 21352 0 -1 4202560 941 0 0 0 26 4 0 0 20 0 18 0 255631997 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139894066923816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24258] ppid=24248 vsize=9558412 CPUtime=0.3 cores=0,2,4,6
/proc/24250/task/24258/stat : 24258 (java) S 24248 24250 21352 0 -1 4202560 661 0 0 0 26 4 0 0 20 0 18 0 255631997 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139894065871016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24259] ppid=24248 vsize=9558412 CPUtime=0.37 cores=0,2,4,6
/proc/24250/task/24259/stat : 24259 (java) S 24248 24250 21352 0 -1 4202560 220 0 0 0 31 6 0 0 20 0 18 0 255631997 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893935745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24260] ppid=24248 vsize=9558412 CPUtime=0.41 cores=0,2,4,6
/proc/24250/task/24260/stat : 24260 (java) S 24248 24250 21352 0 -1 4202560 238 0 0 0 34 7 0 0 20 0 18 0 255631997 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893934692776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24261] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24261/stat : 24261 (java) S 24248 24250 21352 0 -1 4202560 1264 0 0 0 0 0 0 0 20 0 18 0 255631999 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893451746024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24262] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24262/stat : 24262 (java) S 24248 24250 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255631999 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893450692088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24263] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24263/stat : 24263 (java) S 24248 24250 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255631999 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893449639688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24264] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24264/stat : 24264 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255632002 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893448588176 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24265] ppid=24248 vsize=9558412 CPUtime=0.34 cores=0,2,4,6
/proc/24250/task/24265/stat : 24265 (java) R 24248 24250 21352 0 -1 4202560 2937 0 0 0 34 0 0 0 20 0 18 0 255632002 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893447534776 139894104596756 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24266] ppid=24248 vsize=9558412 CPUtime=0.35 cores=0,2,4,6
/proc/24250/task/24266/stat : 24266 (java) R 24248 24250 21352 0 -1 4202560 3415 0 0 0 35 0 0 0 20 0 18 0 255632002 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893446481976 139894100829196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24267] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24267/stat : 24267 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255632002 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893445429880 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24268] ppid=24248 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24268/stat : 24268 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255632002 9787813888 590731 33554432000 1073741824 1073778376 140733530410224 139893444377288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.03
Current children cumulated vsize (KiB) 9558412

[startup+12.7007 s]
/proc/loadavg: 2.15 2.05 2.01 3/214 24269
/proc/meminfo: memFree=22082192/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9624976 CPUtime=15.85 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 16814 0 1 0 1510 75 0 0 20 0 19 0 255631995 9855975424 590492 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2406244 590492 2266 9 0 2396937 0
[pid=24250/tid=24252] ppid=24248 vsize=9624976 CPUtime=11.94 cores=0,2,4,6

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

[pid=24250/tid=24258] ppid=24248 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24250/task/24258/stat : 24258 (java) S 24248 24250 21352 0 -1 4202560 670 0 0 0 35 5 0 0 20 0 19 0 255631997 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139894065871016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24259] ppid=24248 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/24250/task/24259/stat : 24259 (java) S 24248 24250 21352 0 -1 4202560 447 0 0 0 43 6 0 0 20 0 19 0 255631997 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893935745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24260] ppid=24248 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/24250/task/24260/stat : 24260 (java) S 24248 24250 21352 0 -1 4202560 254 0 0 0 42 8 0 0 20 0 19 0 255631997 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893934692776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24261] ppid=24248 vsize=9624976 CPUtime=7.68 cores=0,2,4,6
/proc/24250/task/24261/stat : 24261 (java) S 24248 24250 21352 0 -1 4202560 1391 0 0 0 764 4 0 0 20 0 19 0 255631999 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893451746024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24250/tid=24262] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24262/stat : 24262 (java) S 24248 24250 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255631999 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893450692088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24263] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24263/stat : 24263 (java) S 24248 24250 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255631999 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893449639688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24264] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24264/stat : 24264 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255632002 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893448588176 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24265] ppid=24248 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/24250/task/24265/stat : 24265 (java) S 24248 24250 21352 0 -1 4202560 3005 0 0 0 63 0 0 0 20 0 19 0 255632002 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893447534776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24266] ppid=24248 vsize=9624976 CPUtime=1.1 cores=0,2,4,6
/proc/24250/task/24266/stat : 24266 (java) S 24248 24250 21352 0 -1 4202560 10446 0 0 0 107 3 0 0 20 0 19 0 255632002 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893446481976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24267] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24267/stat : 24267 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255632002 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893445429880 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24268] ppid=24248 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/24250/task/24268/stat : 24268 (java) S 24248 24250 21352 0 -1 4202560 99 0 0 0 23 40 0 0 20 0 19 0 255632002 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893444377288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24250/tid=24269] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24269/stat : 24269 (java) S 24248 24250 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255632629 9855975424 647614 33554432000 1073741824 1073778376 140733530410224 139893443323304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.6
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 24351
/proc/meminfo: memFree=22416552/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9624976 CPUtime=1786.63 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 24442 0 1 0 178550 113 0 0 20 0 19 0 255631995 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2406244 648126 2281 9 0 2396937 0
[pid=24250/tid=24252] ppid=24248 vsize=9624976 CPUtime=1772.77 cores=0,2,4,6
/proc/24250/task/24252/stat : 24252 (java) R 24248 24250 21352 0 -1 4202560 4068 0 1 0 177216 61 0 0 20 0 19 0 255631996 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894098682144 139893947534753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24253] ppid=24248 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/24250/task/24253/stat : 24253 (java) S 24248 24250 21352 0 -1 4202560 559 0 0 0 40 7 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894071135016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24254] ppid=24248 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/24250/task/24254/stat : 24254 (java) S 24248 24250 21352 0 -1 4202560 144 0 0 0 40 5 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894070082216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24255] ppid=24248 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/24250/task/24255/stat : 24255 (java) S 24248 24250 21352 0 -1 4202560 465 0 0 0 33 6 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894069029928 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24256] ppid=24248 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24250/task/24256/stat : 24256 (java) S 24248 24250 21352 0 -1 4202560 741 0 0 0 36 6 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894067977128 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24257] ppid=24248 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/24250/task/24257/stat : 24257 (java) S 24248 24250 21352 0 -1 4202560 964 0 0 0 39 5 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894066923816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24258] ppid=24248 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24250/task/24258/stat : 24258 (java) S 24248 24250 21352 0 -1 4202560 670 0 0 0 35 5 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894065871016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24259] ppid=24248 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/24250/task/24259/stat : 24259 (java) S 24248 24250 21352 0 -1 4202560 447 0 0 0 43 6 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893935745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24260] ppid=24248 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/24250/task/24260/stat : 24260 (java) S 24248 24250 21352 0 -1 4202560 254 0 0 0 43 8 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893934692776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24261] ppid=24248 vsize=9624976 CPUtime=8.21 cores=0,2,4,6
/proc/24250/task/24261/stat : 24261 (java) S 24248 24250 21352 0 -1 4202560 1394 0 0 0 816 5 0 0 20 0 19 0 255631999 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893451746024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24250/tid=24262] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24262/stat : 24262 (java) S 24248 24250 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255631999 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893450692088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24263] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24263/stat : 24263 (java) S 24248 24250 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255631999 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893449639688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24264] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24264/stat : 24264 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893448588176 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24265] ppid=24248 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/24250/task/24265/stat : 24265 (java) S 24248 24250 21352 0 -1 4202560 3005 0 0 0 63 0 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893447534776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24266] ppid=24248 vsize=9624976 CPUtime=1.1 cores=0,2,4,6
/proc/24250/task/24266/stat : 24266 (java) S 24248 24250 21352 0 -1 4202560 10446 0 0 0 107 3 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893446481976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24267] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24267/stat : 24267 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893445429880 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24268] ppid=24248 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/24250/task/24268/stat : 24268 (java) S 24248 24250 21352 0 -1 4202560 103 0 0 0 25 40 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893444377288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24269] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24269/stat : 24269 (java) S 24248 24250 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255632629 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893443323304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.63
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 24351
/proc/meminfo: memFree=22416552/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9624976 CPUtime=1800.03 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 24444 0 1 0 179890 113 0 0 20 0 19 0 255631995 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2406244 648126 2281 9 0 2396937 0
[pid=24250/tid=24252] ppid=24248 vsize=9624976 CPUtime=1786.17 cores=0,2,4,6
/proc/24250/task/24252/stat : 24252 (java) R 24248 24250 21352 0 -1 4202560 4068 0 1 0 178555 62 0 0 20 0 19 0 255631996 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894098682144 139893947596824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24253] ppid=24248 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/24250/task/24253/stat : 24253 (java) S 24248 24250 21352 0 -1 4202560 559 0 0 0 40 7 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894071135016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24254] ppid=24248 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/24250/task/24254/stat : 24254 (java) S 24248 24250 21352 0 -1 4202560 144 0 0 0 40 5 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894070082216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24255] ppid=24248 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/24250/task/24255/stat : 24255 (java) S 24248 24250 21352 0 -1 4202560 465 0 0 0 33 6 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894069029928 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24256] ppid=24248 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24250/task/24256/stat : 24256 (java) S 24248 24250 21352 0 -1 4202560 741 0 0 0 36 6 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894067977128 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24257] ppid=24248 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/24250/task/24257/stat : 24257 (java) S 24248 24250 21352 0 -1 4202560 964 0 0 0 39 5 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894066923816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24258] ppid=24248 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24250/task/24258/stat : 24258 (java) S 24248 24250 21352 0 -1 4202560 670 0 0 0 35 5 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894065871016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24259] ppid=24248 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/24250/task/24259/stat : 24259 (java) S 24248 24250 21352 0 -1 4202560 447 0 0 0 43 6 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893935745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24260] ppid=24248 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/24250/task/24260/stat : 24260 (java) S 24248 24250 21352 0 -1 4202560 254 0 0 0 43 8 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893934692776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24261] ppid=24248 vsize=9624976 CPUtime=8.21 cores=0,2,4,6
/proc/24250/task/24261/stat : 24261 (java) S 24248 24250 21352 0 -1 4202560 1394 0 0 0 816 5 0 0 20 0 19 0 255631999 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893451746024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24250/tid=24262] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24262/stat : 24262 (java) S 24248 24250 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255631999 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893450692088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24263] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24263/stat : 24263 (java) S 24248 24250 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255631999 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893449639688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24264] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24264/stat : 24264 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893448588176 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24265] ppid=24248 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/24250/task/24265/stat : 24265 (java) S 24248 24250 21352 0 -1 4202560 3005 0 0 0 63 0 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893447534776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24266] ppid=24248 vsize=9624976 CPUtime=1.1 cores=0,2,4,6
/proc/24250/task/24266/stat : 24266 (java) S 24248 24250 21352 0 -1 4202560 10446 0 0 0 107 3 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893446481976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24267] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24267/stat : 24267 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893445429880 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24268] ppid=24248 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/24250/task/24268/stat : 24268 (java) S 24248 24250 21352 0 -1 4202560 105 0 0 0 25 40 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893444377288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24269] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24269/stat : 24269 (java) S 24248 24250 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255632629 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893443323304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1795.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 24351
/proc/meminfo: memFree=22416552/32873844 swapFree=6080/6080
[pid=24250] ppid=24248 vsize=9624976 CPUtime=1800.03 cores=0,2,4,6
/proc/24250/stat : 24250 (java) S 24248 24250 21352 0 -1 4202496 24444 0 1 0 179890 113 0 0 20 0 19 0 255631995 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 140733530401360 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24250/statm: 2406244 648126 2281 9 0 2396937 0
[pid=24250/tid=24252] ppid=24248 vsize=9624976 CPUtime=1786.17 cores=0,2,4,6
/proc/24250/task/24252/stat : 24252 (java) R 24248 24250 21352 0 -1 4202560 4068 0 1 0 178555 62 0 0 20 0 19 0 255631996 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894098682144 139893947596824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24253] ppid=24248 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/24250/task/24253/stat : 24253 (java) S 24248 24250 21352 0 -1 4202560 559 0 0 0 40 7 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894071135016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24254] ppid=24248 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/24250/task/24254/stat : 24254 (java) S 24248 24250 21352 0 -1 4202560 144 0 0 0 40 5 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894070082216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24255] ppid=24248 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/24250/task/24255/stat : 24255 (java) S 24248 24250 21352 0 -1 4202560 465 0 0 0 33 6 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894069029928 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24256] ppid=24248 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/24250/task/24256/stat : 24256 (java) S 24248 24250 21352 0 -1 4202560 741 0 0 0 36 6 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894067977128 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24250/tid=24257] ppid=24248 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/24250/task/24257/stat : 24257 (java) S 24248 24250 21352 0 -1 4202560 964 0 0 0 39 5 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894066923816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24258] ppid=24248 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/24250/task/24258/stat : 24258 (java) S 24248 24250 21352 0 -1 4202560 670 0 0 0 35 5 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139894065871016 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24259] ppid=24248 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/24250/task/24259/stat : 24259 (java) S 24248 24250 21352 0 -1 4202560 447 0 0 0 43 6 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893935745576 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24260] ppid=24248 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/24250/task/24260/stat : 24260 (java) S 24248 24250 21352 0 -1 4202560 254 0 0 0 43 8 0 0 20 0 19 0 255631997 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893934692776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24261] ppid=24248 vsize=9624976 CPUtime=8.21 cores=0,2,4,6
/proc/24250/task/24261/stat : 24261 (java) S 24248 24250 21352 0 -1 4202560 1394 0 0 0 816 5 0 0 20 0 19 0 255631999 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893451746024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24250/tid=24262] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24262/stat : 24262 (java) S 24248 24250 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255631999 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893450692088 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24263] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24263/stat : 24263 (java) S 24248 24250 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255631999 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893449639688 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24264] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24264/stat : 24264 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893448588176 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24265] ppid=24248 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/24250/task/24265/stat : 24265 (java) S 24248 24250 21352 0 -1 4202560 3005 0 0 0 63 0 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893447534776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24250/tid=24266] ppid=24248 vsize=9624976 CPUtime=1.1 cores=0,2,4,6
/proc/24250/task/24266/stat : 24266 (java) S 24248 24250 21352 0 -1 4202560 10446 0 0 0 107 3 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893446481976 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24267] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24267/stat : 24267 (java) S 24248 24250 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893445429880 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24268] ppid=24248 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/24250/task/24268/stat : 24268 (java) S 24248 24250 21352 0 -1 4202560 105 0 0 0 25 40 0 0 20 0 19 0 255632002 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893444377288 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24250/tid=24269] ppid=24248 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24250/task/24269/stat : 24269 (java) S 24248 24250 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255632629 9855975424 648126 33554432000 1073741824 1073778376 140733530410224 139893443323304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1795.74
CPU time (s): 1800.62
CPU user time (s): 1798.91
CPU system time (s): 1.71174
CPU usage (%): 100.272
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.71174
maximum resident set size= 2592628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24478
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39428
involuntary context switches= 21249

runsolver used 6.87195 second user time and 13.7619 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-24 23:30:34
IDJOB=3689945
IDBENCH=92194
IDSOLVER=2269
FILE ID=node108/3689945-1337895033
RUNJOBID= node108-1337871881-21368
PBS_JOBID= 14620096
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX120_K192_cod1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689945-1337895033/watcher-3689945-1337895033 -o /tmp/evaluation-result-3689945-1337895033/solver-3689945-1337895033 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689945-1337895033.opb

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

MD5SUM BENCH= 7323ad829904457180c70fb1ea620d7c
RANDOM SEED=386900185

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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.90
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.273
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:        24440608 kB
Buffers:          208416 kB
Cached:          4232272 kB
SwapCached:            0 kB
Active:          3739672 kB
Inactive:        3917704 kB
Active(anon):    3219156 kB
Inactive(anon):        0 kB
Active(file):     520516 kB
Inactive(file):  3917704 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             31368 kB
Writeback:            32 kB
AnonPages:       3224400 kB
Mapped:            22556 kB
Shmem:               200 kB
Slab:             631600 kB
SReclaimable:      73464 kB
SUnreclaim:       558136 kB
KernelStack:        1600 kB
PageTables:        10692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3399648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3039232 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= 71660 MiB
End job on node108 at 2012-05-25 00:00:32