Trace number 3689914

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 RES // CP 2.3.2 Snapshot? (TO) 1800.76 903.948

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX60_K67_cod1.opb
MD5SUMb63a917d588fe2910953571155dfae07
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35450
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 16038
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 45248874
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 45248874
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.2.v20120418
0.04/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.10	c java.vm.version	19.1-b02
0.04/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.10	c sun.arch.data.model	64
0.04/0.10	c java.version		1.6.0_24
0.04/0.10	c os.name		Linux
0.04/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.10	c os.arch		amd64
0.04/0.10	c Free memory 		501472288
0.04/0.10	c Max memory 		7480803328
0.04/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3689914-1337886167.opb
0.08/0.12	c reading problem ... 
2.17/1.13	c ... done. Wall clock time 1.01s.
2.17/1.13	c declared #vars     40451
2.17/1.13	c #constraints  40949
2.17/1.13	c constraints type 
2.17/1.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 36498
2.17/1.13	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
2.17/1.13	c org.sat4j.minisat.constraints.card.MinWatchCard => 552
2.17/1.13	c ignored satisfied constraints => 1
2.17/1.13	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3896
2.17/1.13	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
2.17/1.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
2.17/1.13	c 40950 constraints processed.
2.17/1.13	c constraints type 
2.17/1.13	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3896
2.17/1.13	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 36498
2.17/1.13	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 552
2.17/1.13	c ignored satisfied constraints => 1
2.17/1.13	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
2.17/1.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
2.17/1.13	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
2.17/1.13	c 40950 constraints processed.
2.17/1.13	c objective function length is 16038 literals
17.71/8.47	c cleaning 2492 clauses out of 4987 with flag 5000/5000
30.54/14.69	c cleaning 4248 clauses out of 8496 with flag 11001/11001
47.81/23.40	c cleaning 5620 clauses out of 11247 with flag 18000/18000
63.48/31.23	c cleaning 6806 clauses out of 13627 with flag 26000/26000
85.32/42.25	c cleaning 7905 clauses out of 15821 with flag 35000/35000
105.61/52.48	c cleaning 8955 clauses out of 17917 with flag 45001/45001
127.95/63.63	c cleaning 9975 clauses out of 19963 with flag 56002/56002
153.19/76.35	c cleaning 10979 clauses out of 21986 with flag 68000/68000
182.42/91.07	c cleaning 12003 clauses out of 24008 with flag 81001/81001
210.90/105.34	c cleaning 12994 clauses out of 26004 with flag 95000/95000
240.73/120.38	c cleaning 14001 clauses out of 28011 with flag 110001/110001
272.37/136.30	c cleaning 14994 clauses out of 30009 with flag 126000/126000
307.55/153.95	c cleaning 16008 clauses out of 32017 with flag 143002/143002
340.37/170.44	c cleaning 16993 clauses out of 34007 with flag 161000/161000
374.99/187.84	c cleaning 18005 clauses out of 36015 with flag 180001/180001
415.81/208.33	c cleaning 19005 clauses out of 38010 with flag 200001/200001
459.75/230.47	c cleaning 20000 clauses out of 40005 with flag 221001/221001
503.55/252.44	c cleaning 20989 clauses out of 42004 with flag 243000/243000
549.76/275.66	c cleaning 22006 clauses out of 44018 with flag 266003/266003
597.16/299.49	c cleaning 22995 clauses out of 46009 with flag 290000/290000
648.61/325.36	c cleaning 24006 clauses out of 48015 with flag 315001/315001
698.97/350.61	c cleaning 24997 clauses out of 50008 with flag 341000/341000
749.74/376.14	c cleaning 26000 clauses out of 52011 with flag 368000/368000
804.26/403.50	c cleaning 26995 clauses out of 54011 with flag 396000/396000
858.47/430.81	c cleaning 28007 clauses out of 56016 with flag 425000/425000
918.22/460.83	c cleaning 28996 clauses out of 58009 with flag 455000/455000
979.76/491.79	c cleaning 30000 clauses out of 60013 with flag 486000/486000
1050.89/527.45	c cleaning 30993 clauses out of 62014 with flag 518001/518001
1119.32/561.81	c cleaning 32002 clauses out of 64022 with flag 551002/551002
1184.84/594.71	c cleaning 33005 clauses out of 66019 with flag 585001/585001
1249.16/627.03	c cleaning 34002 clauses out of 68014 with flag 620001/620001
1320.84/663.01	c cleaning 34997 clauses out of 70013 with flag 656002/656002
1399.77/702.71	c cleaning 36008 clauses out of 72015 with flag 693001/693001
1476.69/741.32	c cleaning 36993 clauses out of 74006 with flag 731000/731000
1558.14/782.22	c cleaning 38006 clauses out of 76013 with flag 770000/770000
1632.01/819.40	c cleaning 39000 clauses out of 78008 with flag 810001/810001
1707.52/857.34	c cleaning 40002 clauses out of 80008 with flag 851001/851001
1784.39/895.95	c cleaning 40997 clauses out of 82006 with flag 893001/893001
1800.14/903.91	c starts		: 183
1800.14/903.91	c conflicts		: 901065
1800.14/903.91	c decisions		: 1794845
1800.14/903.91	c propagations		: 1000681337
1800.14/903.91	c inspects		: 1078932562
1800.14/903.91	c shortcuts		: 0
1800.14/903.91	c learnt literals	: 13
1800.14/903.91	c learnt binary clauses	: 998
1800.14/903.91	c learnt ternary clauses	: 522
1800.14/903.91	c learnt constraints	: 901052
1800.14/903.91	c ignored constraints	: 0
1800.14/903.91	c root simplifications	: 0
1800.14/903.91	c removed literals (reason simplification)	: 32305948
1800.14/903.91	c reason swapping (by a shorter reason)	: 0
1800.14/903.91	c Calls to reduceDB	: 38
1800.14/903.91	c number of reductions to clauses (during analyze)	: 0
1800.14/903.91	c number of learned constraints concerned by reduction	: 0
1800.14/903.91	c number of learning phase by resolution	: 0
1800.14/903.91	c number of learning phase by cutting planes	: 0
1800.14/903.91	c speed (assignments/second)	: 1108519.3969337114
1800.14/903.91	c non guided choices	9634
1800.14/903.94	c learnt constraints type 
1800.14/903.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 998
1800.14/903.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 48106
1800.14/903.94	c constraints type 
1800.14/903.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 36498
1800.14/903.94	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
1800.14/903.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 552
1800.14/903.94	c ignored satisfied constraints => 1
1800.14/903.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3896
1800.14/903.94	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.14/903.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.14/903.94	c 40950 constraints processed.
1800.14/903.94	c constraints type 
1800.14/903.94	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3896
1800.14/903.94	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 36498
1800.14/903.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 552
1800.14/903.94	c ignored satisfied constraints => 1
1800.14/903.94	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
1800.14/903.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.14/903.94	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1800.14/903.94	c 40950 constraints processed.
1800.14/903.94	s UNKNOWN
1800.14/903.94	c Total wall clock time (in seconds): 903.816

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-3689914-1337886167/watcher-3689914-1337886167 -o /tmp/evaluation-result-3689914-1337886167/solver-3689914-1337886167 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689914-1337886167.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.81 3.93 3.90 4/197 29739
/proc/meminfo: memFree=26608028/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/29739/stat : 29739 (java) R 29737 29739 24583 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 254742147 2560000 46 33554432000 1073741824 1073778376 140734850563024 140734850560152 270698376436 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 892 49 38 9 0 30 0

[startup+0.071602 s]
/proc/loadavg: 3.81 3.93 3.90 4/197 29739
/proc/meminfo: memFree=26608028/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 3185 0 1 0 3 1 0 0 20 0 18 0 254742147 9787813888 4394 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2389603 4394 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412

[startup+0.10021 s]
/proc/loadavg: 3.81 3.93 3.90 4/197 29739
/proc/meminfo: memFree=26608028/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 4225 0 1 0 7 1 0 0 20 0 18 0 254742147 9787813888 5426 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2389603 5426 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300162 s]
/proc/loadavg: 3.81 3.93 3.90 4/197 29739
/proc/meminfo: memFree=26608028/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 5926 0 1 0 46 2 0 0 20 0 18 0 254742147 9787813888 9911 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2389603 9911 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700188 s]
/proc/loadavg: 3.81 3.93 3.90 4/197 29739
/proc/meminfo: memFree=26608028/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9558412 CPUtime=1.55 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 15189 0 1 0 149 6 0 0 20 0 18 0 254742147 9787813888 48959 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2389603 48959 2256 9 0 2380296 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9558412

[startup+1.50061 s]
/proc/loadavg: 3.81 3.93 3.90 4/215 29757
/proc/meminfo: memFree=26276460/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9824668 CPUtime=3.6 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 17304 0 1 0 349 11 0 0 20 0 22 0 254742147 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2456167 85548 2267 9 0 2446860 0
[pid=29739/tid=29741] ppid=29737 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/29739/task/29741/stat : 29741 (java) S 29737 29739 24583 0 -1 4202560 2579 0 1 0 97 5 0 0 20 0 22 0 254742148 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964624221176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29742] ppid=29737 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29739/task/29742/stat : 29742 (java) S 29737 29739 24583 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 254742150 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964596673192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29743] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29743/stat : 29743 (java) S 29737 29739 24583 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964467161896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29744] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29744/stat : 29744 (java) S 29737 29739 24583 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964466109352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29745] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29745/stat : 29745 (java) S 29737 29739 24583 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964465056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29746] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29746/stat : 29746 (java) S 29737 29739 24583 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964464003240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29747] ppid=29737 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/29739/task/29747/stat : 29747 (java) S 29737 29739 24583 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 22 0 254742150 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964462950696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29748] ppid=29737 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29739/task/29748/stat : 29748 (java) S 29737 29739 24583 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254742150 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964125800872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29749] ppid=29737 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29739/task/29749/stat : 29749 (java) S 29737 29739 24583 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254742150 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964124748328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29750] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29750/stat : 29750 (java) S 29737 29739 24583 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964112550504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29751] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29751/stat : 29751 (java) S 29737 29739 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964111496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29752] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29752/stat : 29752 (java) S 29737 29739 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964110444168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29753] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29753/stat : 29753 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964109392912 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29754] ppid=29737 vsize=9824668 CPUtime=0.78 cores=0,2,4,6
/proc/29739/task/29754/stat : 29754 (java) R 29737 29739 24583 0 -1 4202560 7295 0 0 0 78 0 0 0 20 0 22 0 254742154 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964108339256 139964631025740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29755] ppid=29737 vsize=9824668 CPUtime=0.78 cores=0,2,4,6
/proc/29739/task/29755/stat : 29755 (java) R 29737 29739 24583 0 -1 4202560 5831 0 0 0 76 2 0 0 20 0 22 0 254742154 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964107286712 139964630603584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29756] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29756/stat : 29756 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964106234360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29757] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29757/stat : 29757 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 85548 33554432000 1073741824 1073778376 140733888179376 139964105182024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9824668

[startup+3.10076 s]
/proc/loadavg: 3.81 3.93 3.90 5/219 29761
/proc/meminfo: memFree=26273380/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9824668 CPUtime=7.11 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 17658 0 1 0 699 12 0 0 20 0 22 0 254742147 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2456167 85557 2269 9 0 2446860 0
[pid=29739/tid=29741] ppid=29737 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/29739/task/29741/stat : 29741 (java) S 29737 29739 24583 0 -1 4202560 2579 0 1 0 97 5 0 0 20 0 22 0 254742148 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964624221176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29742] ppid=29737 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29739/task/29742/stat : 29742 (java) S 29737 29739 24583 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 254742150 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964596673192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29743] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29743/stat : 29743 (java) S 29737 29739 24583 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964467161896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29744] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29744/stat : 29744 (java) S 29737 29739 24583 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964466109352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29745] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29745/stat : 29745 (java) S 29737 29739 24583 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964465056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29746] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29746/stat : 29746 (java) S 29737 29739 24583 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964464003240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29747] ppid=29737 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/29739/task/29747/stat : 29747 (java) S 29737 29739 24583 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 22 0 254742150 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964462950696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29748] ppid=29737 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29739/task/29748/stat : 29748 (java) S 29737 29739 24583 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254742150 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964125800872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29749] ppid=29737 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29739/task/29749/stat : 29749 (java) S 29737 29739 24583 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254742150 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964124748328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29750] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29750/stat : 29750 (java) S 29737 29739 24583 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964112550504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29751] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29751/stat : 29751 (java) S 29737 29739 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964111496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29752] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29752/stat : 29752 (java) S 29737 29739 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964110444168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29753] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29753/stat : 29753 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964109392912 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29754] ppid=29737 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/29739/task/29754/stat : 29754 (java) S 29737 29739 24583 0 -1 4202560 7639 0 0 0 92 2 0 0 20 0 22 0 254742154 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964108339256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29755] ppid=29737 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/29739/task/29755/stat : 29755 (java) S 29737 29739 24583 0 -1 4202560 5840 0 0 0 92 2 0 0 20 0 22 0 254742154 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964107286712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29756] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29756/stat : 29756 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964106234360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29757] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29757/stat : 29757 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964105182024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29758] ppid=29737 vsize=9824668 CPUtime=1.94 cores=0,2,4,6
/proc/29739/task/29758/stat : 29758 (java) R 29737 29739 24583 0 -1 4202560 27 0 0 0 194 0 0 0 20 0 22 0 254742261 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964104125432 139964479263456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29759] ppid=29737 vsize=9824668 CPUtime=1.93 cores=0,2,4,6
/proc/29739/task/29759/stat : 29759 (java) R 29737 29739 24583 0 -1 4202560 69 0 0 0 193 0 0 0 20 0 22 0 254742261 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964103072632 139964479281611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29760] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29760/stat : 29760 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964102022696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29761] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29761/stat : 29761 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 85557 33554432000 1073741824 1073778376 140733888179376 139964100970152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9824668

[startup+6.30074 s]
/proc/loadavg: 3.83 3.94 3.90 5/219 29761
/proc/meminfo: memFree=26273136/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9824668 CPUtime=13.5 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 17661 0 1 0 1338 12 0 0 20 0 22 0 254742147 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2456167 85487 2269 9 0 2446860 0
[pid=29739/tid=29741] ppid=29737 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/29739/task/29741/stat : 29741 (java) S 29737 29739 24583 0 -1 4202560 2579 0 1 0 97 5 0 0 20 0 22 0 254742148 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964624221176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29742] ppid=29737 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/29739/task/29742/stat : 29742 (java) S 29737 29739 24583 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 254742150 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964596673192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29743] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29743/stat : 29743 (java) S 29737 29739 24583 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964467161896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29744] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29744/stat : 29744 (java) S 29737 29739 24583 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964466109352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29745] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29745/stat : 29745 (java) S 29737 29739 24583 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964465056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29746] ppid=29737 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/29739/task/29746/stat : 29746 (java) S 29737 29739 24583 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254742150 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964464003240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29747] ppid=29737 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/29739/task/29747/stat : 29747 (java) S 29737 29739 24583 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 22 0 254742150 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964462950696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29748] ppid=29737 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29739/task/29748/stat : 29748 (java) S 29737 29739 24583 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254742150 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964125800872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29749] ppid=29737 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/29739/task/29749/stat : 29749 (java) S 29737 29739 24583 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254742150 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964124748328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29750] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29750/stat : 29750 (java) S 29737 29739 24583 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964112550504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29751] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29751/stat : 29751 (java) S 29737 29739 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964111496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29752] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29752/stat : 29752 (java) S 29737 29739 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964110444168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29753] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29753/stat : 29753 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964109392912 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29754] ppid=29737 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/29739/task/29754/stat : 29754 (java) S 29737 29739 24583 0 -1 4202560 7639 0 0 0 92 2 0 0 20 0 22 0 254742154 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964108339256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29755] ppid=29737 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/29739/task/29755/stat : 29755 (java) S 29737 29739 24583 0 -1 4202560 5840 0 0 0 92 2 0 0 20 0 22 0 254742154 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964107286712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29756] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29756/stat : 29756 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964106234360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29757] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29757/stat : 29757 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964105182024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29758] ppid=29737 vsize=9824668 CPUtime=5.14 cores=0,2,4,6
/proc/29739/task/29758/stat : 29758 (java) R 29737 29739 24583 0 -1 4202560 30 0 0 0 514 0 0 0 20 0 22 0 254742261 10060460032 85487 33554432000 1073741824 1073778376 140733888179376 139964104125512 139964478243242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0

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

[pid=29739/tid=29759] ppid=29737 vsize=9824668 CPUtime=811.25 cores=0,2,4,6
/proc/29739/task/29759/stat : 29759 (java) R 29737 29739 24583 0 -1 4202560 72 0 0 0 81113 12 0 0 20 0 22 0 254742261 10060460032 145958 33554432000 1073741824 1073778376 140733888179376 139964103072352 139964478757573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29760] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29760/stat : 29760 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 145958 33554432000 1073741824 1073778376 140733888179376 139964102022696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29761] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29761/stat : 29761 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 145958 33554432000 1073741824 1073778376 140733888179376 139964100970152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1637.53
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/219 29829
/proc/meminfo: memFree=25891516/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9824668 CPUtime=1757.19 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 22976 0 1 0 175678 41 0 0 20 0 22 0 254742147 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2456167 147641 2283 9 0 2446860 0
[pid=29739/tid=29741] ppid=29737 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/29739/task/29741/stat : 29741 (java) S 29737 29739 24583 0 -1 4202560 2602 0 1 0 99 6 0 0 20 0 22 0 254742148 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964624221176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29742] ppid=29737 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/29739/task/29742/stat : 29742 (java) S 29737 29739 24583 0 -1 4202560 49 0 0 0 19 0 0 0 20 0 22 0 254742150 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964596673192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29743] ppid=29737 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/29739/task/29743/stat : 29743 (java) S 29737 29739 24583 0 -1 4202560 81 0 0 0 20 2 0 0 20 0 22 0 254742150 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964467161896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29744] ppid=29737 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/29739/task/29744/stat : 29744 (java) S 29737 29739 24583 0 -1 4202560 89 0 0 0 25 3 0 0 20 0 22 0 254742150 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964466109352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29745] ppid=29737 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/29739/task/29745/stat : 29745 (java) S 29737 29739 24583 0 -1 4202560 55 0 0 0 16 2 0 0 20 0 22 0 254742150 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964465056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29746] ppid=29737 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/29739/task/29746/stat : 29746 (java) S 29737 29739 24583 0 -1 4202560 45 0 0 0 16 1 0 0 20 0 22 0 254742150 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964464003240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29747] ppid=29737 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/29739/task/29747/stat : 29747 (java) S 29737 29739 24583 0 -1 4202560 95 0 0 0 23 2 0 0 20 0 22 0 254742150 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964462950696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29748] ppid=29737 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/29739/task/29748/stat : 29748 (java) S 29737 29739 24583 0 -1 4202560 194 0 0 0 27 3 0 0 20 0 22 0 254742150 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964125800872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29749] ppid=29737 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/29739/task/29749/stat : 29749 (java) S 29737 29739 24583 0 -1 4202560 62 0 0 0 15 2 0 0 20 0 22 0 254742150 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964124748328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29750] ppid=29737 vsize=9824668 CPUtime=9.78 cores=0,2,4,6
/proc/29739/task/29750/stat : 29750 (java) S 29737 29739 24583 0 -1 4202560 371 0 0 0 973 5 0 0 20 0 22 0 254742151 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964112550504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29751] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29751/stat : 29751 (java) S 29737 29739 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964111496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29752] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29752/stat : 29752 (java) S 29737 29739 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964110444168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29753] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29753/stat : 29753 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964109392912 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29754] ppid=29737 vsize=9824668 CPUtime=1.16 cores=0,2,4,6
/proc/29739/task/29754/stat : 29754 (java) S 29737 29739 24583 0 -1 4202560 7655 0 0 0 114 2 0 0 20 0 22 0 254742154 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964108339256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29755] ppid=29737 vsize=9824668 CPUtime=1.58 cores=0,2,4,6
/proc/29739/task/29755/stat : 29755 (java) S 29737 29739 24583 0 -1 4202560 10324 0 0 0 155 3 0 0 20 0 22 0 254742154 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964107286712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29756] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29756/stat : 29756 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964106234360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29757] ppid=29737 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/29739/task/29757/stat : 29757 (java) S 29737 29739 24583 0 -1 4202560 51 0 0 0 11 12 0 0 20 0 22 0 254742154 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964105182024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29758] ppid=29737 vsize=9824668 CPUtime=870.95 cores=0,2,4,6
/proc/29739/task/29758/stat : 29758 (java) R 29737 29739 24583 0 -1 4202560 44 0 0 0 87082 13 0 0 20 0 22 0 254742261 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964104127072 139964479176851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29759] ppid=29737 vsize=9824668 CPUtime=870.89 cores=0,2,4,6
/proc/29739/task/29759/stat : 29759 (java) R 29737 29739 24583 0 -1 4202560 72 0 0 0 87076 13 0 0 20 0 22 0 254742261 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964103072352 139964479281735 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29760] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29760/stat : 29760 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964102022696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29761] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29761/stat : 29761 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 147641 33554432000 1073741824 1073778376 140733888179376 139964100970152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1757.19
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+903.901 s]
/proc/loadavg: 3.99 3.96 3.91 5/219 29829
/proc/meminfo: memFree=25889808/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9824668 CPUtime=1800.14 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 22987 0 1 0 179972 42 0 0 20 0 22 0 254742147 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2456167 148157 2283 9 0 2446860 0
[pid=29739/tid=29741] ppid=29737 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/29739/task/29741/stat : 29741 (java) S 29737 29739 24583 0 -1 4202560 2603 0 1 0 99 6 0 0 20 0 22 0 254742148 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964624221176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29742] ppid=29737 vsize=9824668 CPUtime=0.21 cores=0,2,4,6
/proc/29739/task/29742/stat : 29742 (java) S 29737 29739 24583 0 -1 4202560 49 0 0 0 21 0 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964596673192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29743] ppid=29737 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/29739/task/29743/stat : 29743 (java) S 29737 29739 24583 0 -1 4202560 81 0 0 0 21 2 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964467161896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29744] ppid=29737 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/29739/task/29744/stat : 29744 (java) S 29737 29739 24583 0 -1 4202560 89 0 0 0 26 3 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964466109352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29745] ppid=29737 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/29739/task/29745/stat : 29745 (java) S 29737 29739 24583 0 -1 4202560 59 0 0 0 17 2 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964465056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29746] ppid=29737 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/29739/task/29746/stat : 29746 (java) S 29737 29739 24583 0 -1 4202560 45 0 0 0 16 1 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964464003240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29747] ppid=29737 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/29739/task/29747/stat : 29747 (java) S 29737 29739 24583 0 -1 4202560 95 0 0 0 23 2 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964462950696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29748] ppid=29737 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/29739/task/29748/stat : 29748 (java) S 29737 29739 24583 0 -1 4202560 194 0 0 0 29 3 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964125800872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29749] ppid=29737 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/29739/task/29749/stat : 29749 (java) S 29737 29739 24583 0 -1 4202560 62 0 0 0 15 2 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964124748328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29750] ppid=29737 vsize=9824668 CPUtime=10.14 cores=0,2,4,6
/proc/29739/task/29750/stat : 29750 (java) S 29737 29739 24583 0 -1 4202560 374 0 0 0 1009 5 0 0 20 0 22 0 254742151 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964112550504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29751] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29751/stat : 29751 (java) S 29737 29739 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964111496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29752] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29752/stat : 29752 (java) S 29737 29739 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964110444168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29753] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29753/stat : 29753 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964109392912 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29754] ppid=29737 vsize=9824668 CPUtime=1.2 cores=0,2,4,6
/proc/29739/task/29754/stat : 29754 (java) S 29737 29739 24583 0 -1 4202560 7655 0 0 0 118 2 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964108339256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29755] ppid=29737 vsize=9824668 CPUtime=1.62 cores=0,2,4,6
/proc/29739/task/29755/stat : 29755 (java) S 29737 29739 24583 0 -1 4202560 10325 0 0 0 159 3 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964107286712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29756] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29756/stat : 29756 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964106234360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29757] ppid=29737 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/29739/task/29757/stat : 29757 (java) S 29737 29739 24583 0 -1 4202560 53 0 0 0 11 12 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964105182024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29758] ppid=29737 vsize=9824668 CPUtime=892.17 cores=0,2,4,6
/proc/29739/task/29758/stat : 29758 (java) R 29737 29739 24583 0 -1 4202560 44 0 0 0 89204 13 0 0 20 0 22 0 254742261 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964104127072 139964479171820 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29759] ppid=29737 vsize=9824668 CPUtime=892.1 cores=0,2,4,6
/proc/29739/task/29759/stat : 29759 (java) R 29737 29739 24583 0 -1 4202560 72 0 0 0 89197 13 0 0 20 0 22 0 254742261 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964103073864 139964478852524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29760] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29760/stat : 29760 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964102022696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29761] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29761/stat : 29761 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964100970152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668

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

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

[startup+903.901 s]
/proc/loadavg: 3.99 3.96 3.91 5/219 29829
/proc/meminfo: memFree=25889808/32873648 swapFree=6856/6856
[pid=29739] ppid=29737 vsize=9824668 CPUtime=1800.14 cores=0,2,4,6
/proc/29739/stat : 29739 (java) S 29737 29739 24583 0 -1 4202496 22987 0 1 0 179972 42 0 0 20 0 22 0 254742147 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 140733888170512 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29739/statm: 2456167 148157 2283 9 0 2446860 0
[pid=29739/tid=29741] ppid=29737 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/29739/task/29741/stat : 29741 (java) S 29737 29739 24583 0 -1 4202560 2603 0 1 0 99 6 0 0 20 0 22 0 254742148 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964624221176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29742] ppid=29737 vsize=9824668 CPUtime=0.21 cores=0,2,4,6
/proc/29739/task/29742/stat : 29742 (java) S 29737 29739 24583 0 -1 4202560 49 0 0 0 21 0 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964596673192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29743] ppid=29737 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/29739/task/29743/stat : 29743 (java) S 29737 29739 24583 0 -1 4202560 81 0 0 0 21 2 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964467161896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29744] ppid=29737 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/29739/task/29744/stat : 29744 (java) S 29737 29739 24583 0 -1 4202560 89 0 0 0 26 3 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964466109352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29745] ppid=29737 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/29739/task/29745/stat : 29745 (java) S 29737 29739 24583 0 -1 4202560 59 0 0 0 17 2 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964465056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29746] ppid=29737 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/29739/task/29746/stat : 29746 (java) S 29737 29739 24583 0 -1 4202560 45 0 0 0 16 1 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964464003240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29747] ppid=29737 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/29739/task/29747/stat : 29747 (java) S 29737 29739 24583 0 -1 4202560 95 0 0 0 23 2 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964462950696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29748] ppid=29737 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/29739/task/29748/stat : 29748 (java) S 29737 29739 24583 0 -1 4202560 194 0 0 0 29 3 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964125800872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29749] ppid=29737 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/29739/task/29749/stat : 29749 (java) S 29737 29739 24583 0 -1 4202560 62 0 0 0 15 2 0 0 20 0 22 0 254742150 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964124748328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29750] ppid=29737 vsize=9824668 CPUtime=10.14 cores=0,2,4,6
/proc/29739/task/29750/stat : 29750 (java) S 29737 29739 24583 0 -1 4202560 374 0 0 0 1009 5 0 0 20 0 22 0 254742151 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964112550504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29751] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29751/stat : 29751 (java) S 29737 29739 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964111496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29752] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29752/stat : 29752 (java) S 29737 29739 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254742151 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964110444168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29753] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29753/stat : 29753 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964109392912 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29754] ppid=29737 vsize=9824668 CPUtime=1.2 cores=0,2,4,6
/proc/29739/task/29754/stat : 29754 (java) S 29737 29739 24583 0 -1 4202560 7655 0 0 0 118 2 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964108339256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29755] ppid=29737 vsize=9824668 CPUtime=1.62 cores=0,2,4,6
/proc/29739/task/29755/stat : 29755 (java) S 29737 29739 24583 0 -1 4202560 10325 0 0 0 159 3 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964107286712 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29739/tid=29756] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29756/stat : 29756 (java) S 29737 29739 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964106234360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29757] ppid=29737 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/29739/task/29757/stat : 29757 (java) S 29737 29739 24583 0 -1 4202560 53 0 0 0 11 12 0 0 20 0 22 0 254742154 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964105182024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29739/tid=29758] ppid=29737 vsize=9824668 CPUtime=892.17 cores=0,2,4,6
/proc/29739/task/29758/stat : 29758 (java) R 29737 29739 24583 0 -1 4202560 44 0 0 0 89204 13 0 0 20 0 22 0 254742261 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964104127072 139964479171820 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29739/tid=29759] ppid=29737 vsize=9824668 CPUtime=892.1 cores=0,2,4,6
/proc/29739/task/29759/stat : 29759 (java) R 29737 29739 24583 0 -1 4202560 72 0 0 0 89197 13 0 0 20 0 22 0 254742261 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964103073864 139964478852524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29760] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29760/stat : 29760 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964102022696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29739/tid=29761] ppid=29737 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/29739/task/29761/stat : 29761 (java) S 29737 29739 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254742267 10060460032 148157 33554432000 1073741824 1073778376 140733888179376 139964100970152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 903.948
CPU time (s): 1800.76
CPU user time (s): 1799.91
CPU system time (s): 0.85387
CPU usage (%): 199.211
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.85387
maximum resident set size= 592756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23019
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22514
involuntary context switches= 8447

runsolver used 3.2935 second user time and 8.18276 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-24 21:02:47
IDJOB=3689914
IDBENCH=91942
IDSOLVER=2268
FILE ID=node125/3689914-1337886167
RUNJOBID= node125-1337871881-24599
PBS_JOBID= 14620079
Free space on /tmp= 71672 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX60_K67_cod1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689914-1337886167/watcher-3689914-1337886167 -o /tmp/evaluation-result-3689914-1337886167/solver-3689914-1337886167 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3689914-1337886167.opb

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

MD5SUM BENCH= b63a917d588fe2910953571155dfae07
RANDOM SEED=853540132

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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.90
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.373
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.373
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.54
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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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:       32873648 kB
MemFree:        26608028 kB
Buffers:          212868 kB
Cached:          2238600 kB
SwapCached:            0 kB
Active:          3667056 kB
Inactive:        1820100 kB
Active(anon):    3038448 kB
Inactive(anon):        0 kB
Active(file):     628608 kB
Inactive(file):  1820100 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2756 kB
Writeback:             0 kB
AnonPages:       3048800 kB
Mapped:            22540 kB
Shmem:               200 kB
Slab:             627472 kB
SReclaimable:      71508 kB
SUnreclaim:       555964 kB
KernelStack:        1632 kB
PageTables:        10168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3277696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2975744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node125 at 2012-05-24 21:17:53