Trace number 4085102

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.6 1796.74

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_9_mh_ic.opb
MD5SUM655cb5a16dbcae660ed90071e230a8ed
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18704900
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 variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 149721291
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 68872273970
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 149721291
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 68872273970
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 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 PB16.v20160501
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.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085102-1465330942.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
6.87/5.23	c ... done. Wall clock time 5.115s.
6.87/5.23	c declared #vars     370300
6.87/5.23	c #constraints  855316
6.87/5.23	c constraints type 
6.87/5.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 241376
6.87/5.23	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
6.87/5.23	c org.sat4j.specs.Constr$1 => 4
6.87/5.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 57
6.87/5.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 372450
6.87/5.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 241425
6.87/5.23	c 855316 constraints processed.
6.87/5.23	c objective function length is 132350 literals
137.94/135.61	c cleaning 2490 clauses out of 5000 with flag 26095/5000
218.48/216.08	c cleaning 4232 clauses out of 8511 with flag 51969/11001
278.71/276.20	c cleaning 5597 clauses out of 11278 with flag 86149/18000
339.73/337.24	c cleaning 6832 clauses out of 13682 with flag 126071/26001
400.76/398.26	c cleaning 7921 clauses out of 15849 with flag 178345/35000
468.17/465.65	c cleaning 8939 clauses out of 17928 with flag 247147/45000
540.67/538.16	c cleaning 9978 clauses out of 19990 with flag 327887/56001
582.08/579.53	c cleaning 10988 clauses out of 22011 with flag 470301/68000
708.50/705.91	c cleaning 11989 clauses out of 24023 with flag 560738/81000
802.91/800.32	c cleaning 12995 clauses out of 26034 with flag 647352/95000
921.75/919.15	c cleaning 14011 clauses out of 28039 with flag 729121/110000
1031.78/1029.15	c cleaning 15008 clauses out of 30030 with flag 830141/126002
1123.71/1121.03	c cleaning 15999 clauses out of 32022 with flag 965973/143002
1217.91/1214.71	c cleaning 17012 clauses out of 34023 with flag 1077002/161002
1283.93/1280.70	c cleaning 17982 clauses out of 36010 with flag 1212913/180001
1366.65/1363.40	c cleaning 18998 clauses out of 38029 with flag 1342271/200002
1460.29/1457.00	c cleaning 19978 clauses out of 40029 with flag 1488738/221000
1566.42/1563.18	c cleaning 21014 clauses out of 42052 with flag 1635178/243001
1699.43/1696.15	c cleaning 21996 clauses out of 44038 with flag 1743998/266001
1800.06/1796.70	c starts		: 264
1800.06/1796.70	c conflicts		: 278558
1800.06/1796.70	c decisions		: 2335003
1800.06/1796.70	c propagations		: 385705942
1800.06/1796.70	c inspects		: 8618223703
1800.06/1796.70	c shortcuts		: 0
1800.06/1796.70	c learnt literals	: 0
1800.06/1796.70	c learnt binary clauses	: 46
1800.06/1796.70	c learnt ternary clauses	: 101
1800.06/1796.70	c learnt constraints	: 278558
1800.06/1796.70	c ignored constraints	: 0
1800.06/1796.70	c root simplifications	: 0
1800.06/1796.70	c removed literals (reason simplification)	: 0
1800.06/1796.70	c reason swapping (by a shorter reason)	: 0
1800.06/1796.70	c Calls to reduceDB	: 19
1800.06/1796.70	c Number of update (reduction) of LBD	: 197174
1800.06/1796.70	c Imported unit clauses	: 0
1800.06/1796.70	c number of reductions to clauses (during analyze)	: 0
1800.06/1796.70	c number of learned constraints concerned by reduction	: 0
1800.06/1796.70	c number of learning phase by resolution	: 0
1800.06/1796.70	c number of learning phase by cutting planes	: 0
1800.06/1796.70	c speed (assignments/second)	: 215312.4466193065
1800.06/1796.70	c non guided choices	0
1800.06/1796.72	c learnt constraints type 
1800.06/1796.72	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 46
1800.06/1796.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 34554
1800.06/1796.72	s UNKNOWN
1800.06/1796.72	c Total wall clock time (in seconds): 1796.605

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4085102-1465330942/watcher-4085102-1465330942 -o /tmp/evaluation-result-4085102-1465330942/solver-4085102-1465330942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465307012-13026 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085102-1465330942.opb 

pid=15657
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.13 2.19 2.18 3/194 15660
/proc/meminfo: memFree=28679964/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15660/stat : 15660 (java) R 15657 15660 13009 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 115027384 9515008 183 33554432000 1073741824 1073778376 140736619681424 140736619672456 270707357927 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15660/statm: 2323 184 142 9 0 71 0

[startup+0.100114 s]
/proc/loadavg: 2.13 2.19 2.18 3/194 15660
/proc/meminfo: memFree=28679964/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 4418 0 1 0 8 1 0 0 20 0 18 0 115027384 9787879424 6038 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2389619 6038 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 2.13 2.19 2.18 3/194 15660
/proc/meminfo: memFree=28679964/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 5086 0 1 0 27 1 0 0 20 0 18 0 115027384 9787879424 8964 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2389619 8964 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300293 s]
/proc/loadavg: 2.13 2.19 2.18 3/194 15660
/proc/meminfo: memFree=28679964/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 5531 0 1 0 43 2 0 0 20 0 18 0 115027384 9787879424 14777 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2389619 14777 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700244 s]
/proc/loadavg: 2.13 2.19 2.18 3/194 15660
/proc/meminfo: memFree=28679964/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9558476 CPUtime=1.08 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 6227 0 1 0 102 6 0 0 20 0 18 0 115027384 9787879424 53188 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2389619 53188 2252 9 0 2380296 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9558476

[startup+1.50083 s]
/proc/loadavg: 2.13 2.19 2.18 3/212 15678
/proc/meminfo: memFree=28413936/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9558476 CPUtime=2.43 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 12379 0 1 0 232 11 0 0 20 0 18 0 115027384 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2389619 95441 2271 9 0 2380296 0
[pid=15660/tid=15662] ppid=15657 vsize=9558476 CPUtime=1.32 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) R 15657 15660 13009 0 -1 4202560 2522 0 1 0 127 5 0 0 20 0 18 0 115027385 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990377111000 139990248341088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15663] ppid=15657 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/15660/task/15663/stat : 15663 (java) S 15657 15660 13009 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 18 0 115027386 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990220356136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15664] ppid=15657 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15657 15660 13009 0 -1 4202560 232 0 0 0 3 0 0 0 20 0 18 0 115027386 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990219303336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15665] ppid=15657 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15657 15660 13009 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 18 0 115027386 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990218250536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15666] ppid=15657 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15657 15660 13009 0 -1 4202560 50 0 0 0 7 0 0 0 20 0 18 0 115027386 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990217197736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15667] ppid=15657 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15657 15660 13009 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 18 0 115027386 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990216145960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15668] ppid=15657 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/15660/task/15668/stat : 15668 (java) S 15657 15660 13009 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 18 0 115027386 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990215093160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15669] ppid=15657 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15669/stat : 15669 (java) S 15657 15660 13009 0 -1 4202560 154 0 0 0 3 0 0 0 20 0 18 0 115027386 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990214040360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15670] ppid=15657 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15670/stat : 15670 (java) S 15657 15660 13009 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 115027386 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990212987560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15671] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15671/stat : 15671 (java) S 15657 15660 13009 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 115027387 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990200789480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15672] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15657 15660 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 115027387 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990199735544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15673] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15673/stat : 15673 (java) S 15657 15660 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 115027387 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990198682632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15674] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115027390 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990197631120 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15675] ppid=15657 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/15660/task/15675/stat : 15675 (java) S 15657 15660 13009 0 -1 4202560 2776 0 0 0 31 0 0 0 20 0 18 0 115027390 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990196579256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15676] ppid=15657 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15657 15660 13009 0 -1 4202560 5075 0 0 0 31 0 0 0 20 0 18 0 115027390 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990195526456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15677] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15677/stat : 15677 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115027390 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990194473848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15678] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115027390 9787879424 95441 33554432000 1073741824 1073778376 140735995465072 139990193421256 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9558476

[startup+3.10072 s]
/proc/loadavg: 2.12 2.19 2.17 3/212 15678
/proc/meminfo: memFree=28267232/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9558476 CPUtime=4.45 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 13119 0 1 0 424 21 0 0 20 0 18 0 115027384 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2389619 169161 2272 9 0 2380296 0
[pid=15660/tid=15662] ppid=15657 vsize=9558476 CPUtime=2.8 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) S 15657 15660 13009 0 -1 4202560 2807 0 1 0 271 9 0 0 20 0 18 0 115027385 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990377110904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15663] ppid=15657 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/15660/task/15663/stat : 15663 (java) R 15657 15660 13009 0 -1 4202560 67 0 0 0 10 3 0 0 20 0 18 0 115027386 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990220356264 270707494023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15664] ppid=15657 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) R 15657 15660 13009 0 -1 4202560 246 0 0 0 5 1 0 0 20 0 18 0 115027386 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990219303464 270707494023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15665] ppid=15657 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) R 15657 15660 13009 0 -1 4202560 44 0 0 0 5 1 0 0 20 0 18 0 115027386 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990218250664 270707494023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15666] ppid=15657 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) R 15657 15660 13009 0 -1 4202560 67 0 0 0 9 2 0 0 20 0 18 0 115027386 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990217197616 139990381287599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15667] ppid=15657 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) R 15657 15660 13009 0 -1 4202560 63 0 0 0 8 2 0 0 20 0 18 0 115027386 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990216146088 270707494023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15668] ppid=15657 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/15660/task/15668/stat : 15668 (java) R 15657 15660 13009 0 -1 4202560 66 0 0 0 14 2 0 0 20 0 18 0 115027386 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990215093288 139990385157282 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15669] ppid=15657 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/15660/task/15669/stat : 15669 (java) R 15657 15660 13009 0 -1 4202560 357 0 0 0 11 2 0 0 20 0 18 0 115027386 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990214040360 270707494023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15670] ppid=15657 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/15660/task/15670/stat : 15670 (java) R 15657 15660 13009 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 18 0 115027386 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990212987688 270707494023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15671] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15671/stat : 15671 (java) S 15657 15660 13009 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 115027387 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990200788360 270710912060 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15672] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15657 15660 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 115027387 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990199735544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15673] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15673/stat : 15673 (java) S 15657 15660 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 115027387 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990198682632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15674] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115027390 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990197631120 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15675] ppid=15657 vsize=9558476 CPUtime=0.35 cores=1,3,5,7
/proc/15660/task/15675/stat : 15675 (java) S 15657 15660 13009 0 -1 4202560 2789 0 0 0 35 0 0 0 20 0 18 0 115027390 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990196579256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15676] ppid=15657 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15657 15660 13009 0 -1 4202560 5131 0 0 0 36 0 0 0 20 0 18 0 115027390 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990195526456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15677] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15677/stat : 15677 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115027390 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990194473848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15678] ppid=15657 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115027390 9787879424 169161 33554432000 1073741824 1073778376 140735995465072 139990193421256 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 9558476

[startup+6.30089 s]
/proc/loadavg: 2.12 2.19 2.17 3/213 15679
/proc/meminfo: memFree=27926972/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9625040 CPUtime=8.42 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 14437 0 1 0 813 29 0 0 20 0 19 0 115027384 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2406260 190068 2281 9 0 2396937 0
[pid=15660/tid=15662] ppid=15657 vsize=9625040 CPUtime=5.89 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) R 15657 15660 13009 0 -1 4202560 3293 0 1 0 580 9 0 0 20 0 19 0 115027385 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990377110608 139990248777211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15663] ppid=15657 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/15660/task/15663/stat : 15663 (java) S 15657 15660 13009 0 -1 4202560 95 0 0 0 13 3 0 0 20 0 19 0 115027386 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990220356136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15664] ppid=15657 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15657 15660 13009 0 -1 4202560 259 0 0 0 8 2 0 0 20 0 19 0 115027386 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990219303336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15665] ppid=15657 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15657 15660 13009 0 -1 4202560 54 0 0 0 7 2 0 0 20 0 19 0 115027386 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990218250536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15666] ppid=15657 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15657 15660 13009 0 -1 4202560 294 0 0 0 17 4 0 0 20 0 19 0 115027386 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990217197736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15667] ppid=15657 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15657 15660 13009 0 -1 4202560 73 0 0 0 10 2 0 0 20 0 19 0 115027386 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990216145960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15668] ppid=15657 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/15660/task/15668/stat : 15668 (java) S 15657 15660 13009 0 -1 4202560 222 0 0 0 22 4 0 0 20 0 19 0 115027386 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990215093160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15669] ppid=15657 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/15660/task/15669/stat : 15669 (java) S 15657 15660 13009 0 -1 4202560 368 0 0 0 13 3 0 0 20 0 19 0 115027386 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990214040360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15670] ppid=15657 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/15660/task/15670/stat : 15670 (java) S 15657 15660 13009 0 -1 4202560 84 0 0 0 8 1 0 0 20 0 19 0 115027386 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990212987560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15671] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15671/stat : 15671 (java) S 15657 15660 13009 0 -1 4202560 489 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990200789480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15672] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15657 15660 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990199735544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15673] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15673/stat : 15673 (java) S 15657 15660 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990198682632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15674] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990197631120 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15675] ppid=15657 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/15660/task/15675/stat : 15675 (java) S 15657 15660 13009 0 -1 4202560 2792 0 0 0 56 0 0 0 20 0 19 0 115027390 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990196579256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15676] ppid=15657 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15657 15660 13009 0 -1 4202560 5155 0 0 0 64 0 0 0 20 0 19 0 115027390 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990195526456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15677] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15677/stat : 15677 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990194473848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15678] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990193421256 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15679] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15657 15660 13009 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115027917 9856040960 190068 33554432000 1073741824 1073778376 140735995465072 139990192366760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 9625040

[startup+12.7009 s]
/proc/loadavg: 2.26 2.22 2.18 3/213 15679
/proc/meminfo: memFree=27899788/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9625040 CPUtime=14.91 cores=1,3,5,7

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

[pid=15660/tid=15672] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15657 15660 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990199735544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15673] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15673/stat : 15673 (java) S 15657 15660 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990198682632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15674] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990197631120 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15675] ppid=15657 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/15660/task/15675/stat : 15675 (java) S 15657 15660 13009 0 -1 4202560 2806 0 0 0 64 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990196579256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15676] ppid=15657 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15657 15660 13009 0 -1 4202560 5167 0 0 0 82 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990195526456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15677] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15677/stat : 15677 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990194473848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15678] ppid=15657 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15657 15660 13009 0 -1 4202560 99 0 0 0 33 48 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990193421256 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15679] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15657 15660 13009 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115027917 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990192366760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.64
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/213 15789
/proc/meminfo: memFree=27592776/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9625040 CPUtime=1785.66 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 15703 0 1 0 178473 93 0 0 20 0 19 0 115027384 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2406260 336419 2288 9 0 2396937 0
[pid=15660/tid=15662] ppid=15657 vsize=9625040 CPUtime=1781.68 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) R 15657 15660 13009 0 -1 4202560 3520 0 1 0 178124 44 0 0 20 0 19 0 115027385 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990377103024 139990248455655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15663] ppid=15657 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/15660/task/15663/stat : 15663 (java) S 15657 15660 13009 0 -1 4202560 122 0 0 0 17 5 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990220356136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15664] ppid=15657 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15657 15660 13009 0 -1 4202560 276 0 0 0 13 3 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990219303336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15665] ppid=15657 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15657 15660 13009 0 -1 4202560 196 0 0 0 15 3 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990218250536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15666] ppid=15657 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15657 15660 13009 0 -1 4202560 332 0 0 0 24 6 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990217197736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15667] ppid=15657 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15657 15660 13009 0 -1 4202560 119 0 0 0 20 4 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990216145960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15668] ppid=15657 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/15660/task/15668/stat : 15668 (java) S 15657 15660 13009 0 -1 4202560 254 0 0 0 29 6 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990215093160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15669] ppid=15657 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/15660/task/15669/stat : 15669 (java) S 15657 15660 13009 0 -1 4202560 398 0 0 0 20 4 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990214040360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15670] ppid=15657 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15660/task/15670/stat : 15670 (java) S 15657 15660 13009 0 -1 4202560 118 0 0 0 15 3 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990212987560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15671] ppid=15657 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15671/stat : 15671 (java) S 15657 15660 13009 0 -1 4202560 1034 0 0 0 1 2 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990200789480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15672] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15657 15660 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990199735544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15673] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15673/stat : 15673 (java) S 15657 15660 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990198682632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15674] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990197631120 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15675] ppid=15657 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/15660/task/15675/stat : 15675 (java) S 15657 15660 13009 0 -1 4202560 2806 0 0 0 64 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990196579256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15676] ppid=15657 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15657 15660 13009 0 -1 4202560 5167 0 0 0 82 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990195526456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15677] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15677/stat : 15677 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990194473848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15678] ppid=15657 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15657 15660 13009 0 -1 4202560 103 0 0 0 34 50 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990193421256 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15679] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15657 15660 13009 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115027917 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990192366760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.66
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.7 s]
/proc/loadavg: 2.33 2.24 2.19 3/213 15789
/proc/meminfo: memFree=27593032/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 15703 0 1 0 179913 93 0 0 20 0 19 0 115027384 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2406260 336419 2288 9 0 2396937 0
[pid=15660/tid=15662] ppid=15657 vsize=9625040 CPUtime=1796.08 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) R 15657 15660 13009 0 -1 4202560 3520 0 1 0 179564 44 0 0 20 0 19 0 115027385 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990377103024 139990248781439 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15663] ppid=15657 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/15660/task/15663/stat : 15663 (java) S 15657 15660 13009 0 -1 4202560 122 0 0 0 17 5 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990220356136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15664] ppid=15657 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15657 15660 13009 0 -1 4202560 276 0 0 0 13 3 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990219303336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15665] ppid=15657 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15657 15660 13009 0 -1 4202560 196 0 0 0 15 3 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990218250536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15666] ppid=15657 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15657 15660 13009 0 -1 4202560 332 0 0 0 24 6 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990217197736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15667] ppid=15657 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15657 15660 13009 0 -1 4202560 119 0 0 0 20 4 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990216145960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15668] ppid=15657 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/15660/task/15668/stat : 15668 (java) S 15657 15660 13009 0 -1 4202560 254 0 0 0 29 6 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990215093160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15669] ppid=15657 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/15660/task/15669/stat : 15669 (java) S 15657 15660 13009 0 -1 4202560 398 0 0 0 20 4 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990214040360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15670] ppid=15657 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15660/task/15670/stat : 15670 (java) S 15657 15660 13009 0 -1 4202560 118 0 0 0 15 3 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990212987560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15671] ppid=15657 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15671/stat : 15671 (java) S 15657 15660 13009 0 -1 4202560 1034 0 0 0 1 2 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990200789480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15672] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15657 15660 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990199735544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15673] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15673/stat : 15673 (java) S 15657 15660 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990198682632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15674] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990197631120 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15675] ppid=15657 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/15660/task/15675/stat : 15675 (java) S 15657 15660 13009 0 -1 4202560 2806 0 0 0 64 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990196579256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15676] ppid=15657 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15657 15660 13009 0 -1 4202560 5167 0 0 0 82 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990195526456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15677] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15677/stat : 15677 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990194473848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15678] ppid=15657 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15657 15660 13009 0 -1 4202560 103 0 0 0 35 50 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990193421256 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15679] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15657 15660 13009 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115027917 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990192366760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15660 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.7 s]
/proc/loadavg: 2.33 2.24 2.19 3/213 15789
/proc/meminfo: memFree=27593032/32872528 swapFree=16384/1696552
[pid=15660] ppid=15657 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15657 15660 13009 0 -1 4202496 15703 0 1 0 179913 93 0 0 20 0 19 0 115027384 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 140735995456208 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15660/statm: 2406260 336419 2288 9 0 2396937 0
[pid=15660/tid=15662] ppid=15657 vsize=9625040 CPUtime=1796.08 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) R 15657 15660 13009 0 -1 4202560 3520 0 1 0 179564 44 0 0 20 0 19 0 115027385 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990377103024 139990248781439 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15660/tid=15663] ppid=15657 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/15660/task/15663/stat : 15663 (java) S 15657 15660 13009 0 -1 4202560 122 0 0 0 17 5 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990220356136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15664] ppid=15657 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15657 15660 13009 0 -1 4202560 276 0 0 0 13 3 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990219303336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15665] ppid=15657 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15657 15660 13009 0 -1 4202560 196 0 0 0 15 3 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990218250536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15666] ppid=15657 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15657 15660 13009 0 -1 4202560 332 0 0 0 24 6 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990217197736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15667] ppid=15657 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15657 15660 13009 0 -1 4202560 119 0 0 0 20 4 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990216145960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15668] ppid=15657 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/15660/task/15668/stat : 15668 (java) S 15657 15660 13009 0 -1 4202560 254 0 0 0 29 6 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990215093160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15669] ppid=15657 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/15660/task/15669/stat : 15669 (java) S 15657 15660 13009 0 -1 4202560 398 0 0 0 20 4 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990214040360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15670] ppid=15657 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15660/task/15670/stat : 15670 (java) S 15657 15660 13009 0 -1 4202560 118 0 0 0 15 3 0 0 20 0 19 0 115027386 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990212987560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15671] ppid=15657 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15671/stat : 15671 (java) S 15657 15660 13009 0 -1 4202560 1034 0 0 0 1 2 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990200789480 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15672] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15657 15660 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990199735544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15673] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15673/stat : 15673 (java) S 15657 15660 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115027387 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990198682632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15674] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990197631120 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15675] ppid=15657 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/15660/task/15675/stat : 15675 (java) S 15657 15660 13009 0 -1 4202560 2806 0 0 0 64 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990196579256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15660/tid=15676] ppid=15657 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15657 15660 13009 0 -1 4202560 5167 0 0 0 82 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990195526456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15677] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15677/stat : 15677 (java) S 15657 15660 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990194473848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15660/tid=15678] ppid=15657 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15657 15660 13009 0 -1 4202560 103 0 0 0 35 50 0 0 20 0 19 0 115027390 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990193421256 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15660/tid=15679] ppid=15657 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15657 15660 13009 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115027917 9856040960 336419 33554432000 1073741824 1073778376 140735995465072 139990192366760 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1796.74
CPU time (s): 1800.6
CPU user time (s): 1799.16
CPU system time (s): 1.44078
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.44078
maximum resident set size= 1345796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15738
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38258
involuntary context switches= 2949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2931 second user time and 12.1731 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 22:22:23
IDJOB=4085102
IDBENCH=92691
IDSOLVER=2546
FILE ID=node125/4085102-1465330942
RUNJOBID= node125-1465307012-13026
PBS_JOBID= 19849496
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_9_mh_ic.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085102-1465330942/watcher-4085102-1465330942 -o /tmp/evaluation-result-4085102-1465330942/solver-4085102-1465330942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465307012-13026 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085102-1465330942.opb

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

MD5SUM BENCH= 655cb5a16dbcae660ed90071e230a8ed
RANDOM SEED=451352484

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.456
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.91
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.456
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	: 5332.56
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.456
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	: 5332.55
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.456
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	: 5332.55
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.456
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	: 5332.55
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.456
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	: 5332.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.456
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	: 5332.55
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.456
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28680756 kB
Buffers:           81844 kB
Cached:           478228 kB
SwapCached:         1700 kB
Active:          1288200 kB
Inactive:         451772 kB
Active(anon):    1179568 kB
Inactive(anon):     2964 kB
Active(file):     108632 kB
Inactive(file):   448808 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098584 kB
Dirty:             38412 kB
Writeback:             0 kB
AnonPages:       2880472 kB
Mapped:            15508 kB
Shmem:                 0 kB
Slab:             614216 kB
SReclaimable:      57676 kB
SUnreclaim:       556540 kB
KernelStack:        1584 kB
PageTables:        10052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3857380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2824192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node125 at 2016-06-07 22:52:20