Trace number 4080837

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 Res+CP PB16? (TO) 1801.22 911.685

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-netdiversion.opb
MD5SUM2c0dd2737108318b86d3c4c102584cdd
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables129180
Total number of constraints119589
Number of constraints which are clauses39992
Number of constraints which are cardinality constraints (but not clauses)49601
Number of constraints which are nor clauses,nor cardinality constraints29996
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 39798
Biggest coefficient in the objective function 99999
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 20118516
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 99999
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 20118516
Number of bits of the biggest sum of numbers25
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.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	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.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	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.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4080837-1465269893.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  objective function found
40.01/36.51	c ... done. Wall clock time 36.384s.
40.01/36.51	c declared #vars     129180
40.01/36.51	c #constraints  139589
40.01/36.52	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
40.01/36.52	c constraints type 
40.01/36.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 39588
40.01/36.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 99595
40.01/36.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 406
40.01/36.52	c 139589 constraints processed.
40.01/36.52	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
40.01/36.52	c constraints type 
40.01/36.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 406
40.01/36.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 39588
40.01/36.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 99595
40.01/36.52	c 139589 constraints processed.
40.01/36.52	c objective function length is 39798 literals
50.13/40.76	c cleaning 0 clauses out of 5000 with flag 0/5000
60.17/45.68	c cleaning 2454 clauses out of 5000 with flag 39935/5000
62.50/46.63	c cleaning 0 clauses out of 11000 with flag 0/11000
70.87/50.67	c cleaning 4155 clauses out of 8546 with flag 108196/11000
79.36/54.87	c cleaning 5502 clauses out of 11391 with flag 188365/18000
86.06/58.14	c cleaning 6690 clauses out of 13889 with flag 265990/26000
97.31/63.77	c cleaning 7931 clauses out of 16199 with flag 389588/35000
99.92/65.04	c cleaning 0 clauses out of 18000 with flag 0/18000
105.35/67.76	c cleaning 8862 clauses out of 18268 with flag 493767/45000
111.21/70.67	c cleaning 9790 clauses out of 20406 with flag 591026/56000
127.70/78.76	c cleaning 11132 clauses out of 22618 with flag 765910/68002
135.76/82.73	c cleaning 11827 clauses out of 24484 with flag 889237/81000
149.03/89.31	c cleaning 13158 clauses out of 26660 with flag 1077674/95003
158.89/94.30	c cleaning 0 clauses out of 26000 with flag 0/26000
159.29/94.44	c cleaning 13881 clauses out of 28500 with flag 1236956/110001
167.00/98.25	c cleaning 15147 clauses out of 30620 with flag 1385258/126002
172.68/101.04	c cleaning 15906 clauses out of 32473 with flag 1521223/143002
190.93/110.01	c cleaning 16678 clauses out of 34565 with flag 1718535/161000
214.63/122.28	c cleaning 18067 clauses out of 36887 with flag 1977260/180000
229.36/129.59	c cleaning 19145 clauses out of 38821 with flag 2201115/200001
242.34/135.95	c cleaning 0 clauses out of 35000 with flag 0/35000
248.54/139.00	c cleaning 20215 clauses out of 40675 with flag 2433102/221000
267.00/148.14	c cleaning 21033 clauses out of 42460 with flag 2664381/243000
288.08/158.68	c cleaning 21532 clauses out of 44427 with flag 2925243/266000
308.55/168.74	c cleaning 23365 clauses out of 46897 with flag 3182802/290002
329.43/179.19	c cleaning 23642 clauses out of 48532 with flag 3431199/315002
349.46/189.03	c cleaning 25358 clauses out of 50887 with flag 3684447/341000
366.88/197.69	c cleaning 25749 clauses out of 52529 with flag 3925193/368000
385.79/207.62	c cleaning 26905 clauses out of 54781 with flag 4151973/396001
405.21/217.28	c cleaning 0 clauses out of 45000 with flag 0/45000
406.62/217.92	c cleaning 28075 clauses out of 56875 with flag 4408399/425000
439.99/234.41	c cleaning 29250 clauses out of 58799 with flag 4723384/455000
461.26/244.98	c cleaning 30158 clauses out of 60550 with flag 4955390/486001
480.36/254.47	c cleaning 30564 clauses out of 62391 with flag 5169613/518000
505.40/266.87	c cleaning 31768 clauses out of 64827 with flag 5440530/551000
534.98/281.52	c cleaning 33161 clauses out of 67059 with flag 5748641/585000
577.78/302.70	c cleaning 34232 clauses out of 68898 with flag 6091655/620000
596.30/311.93	c cleaning 34805 clauses out of 70668 with flag 6333251/656002
609.22/318.35	c cleaning 0 clauses out of 56000 with flag 0/56000
620.22/323.81	c cleaning 35596 clauses out of 72861 with flag 6598935/693000
660.32/343.66	c cleaning 36820 clauses out of 75265 with flag 6985271/731000
682.47/354.64	c cleaning 38045 clauses out of 77445 with flag 7270848/770000
710.24/368.34	c cleaning 38541 clauses out of 79402 with flag 7563335/810002
741.60/384.78	c cleaning 39216 clauses out of 81859 with flag 7871784/851000
778.51/402.89	c cleaning 41010 clauses out of 84643 with flag 8221639/893000
802.01/414.56	c cleaning 41756 clauses out of 86634 with flag 8523928/936001
837.83/432.30	c cleaning 42460 clauses out of 88877 with flag 8861921/980000
869.87/448.07	c cleaning 43814 clauses out of 91417 with flag 9217049/1025000
891.55/458.87	c cleaning 0 clauses out of 68000 with flag 0/68000
905.03/465.43	c cleaning 44622 clauses out of 93603 with flag 9580827/1071000
933.60/479.66	c cleaning 45439 clauses out of 95981 with flag 9914844/1118001
965.30/495.39	c cleaning 46335 clauses out of 98541 with flag 10243486/1166000
1005.56/515.30	c cleaning 47732 clauses out of 101207 with flag 10635186/1215001
1046.91/535.71	c cleaning 48514 clauses out of 103475 with flag 11042524/1265001
1081.46/552.87	c cleaning 49328 clauses out of 105960 with flag 11415311/1316000
1115.04/571.20	c cleaning 49885 clauses out of 108634 with flag 11763393/1368002
1155.21/591.05	c cleaning 51336 clauses out of 111749 with flag 12190181/1421002
1193.80/610.18	c cleaning 52668 clauses out of 114412 with flag 12607951/1475001
1232.79/629.45	c cleaning 53030 clauses out of 116743 with flag 13079142/1530000
1266.77/646.20	c cleaning 0 clauses out of 81001 with flag 0/81001
1274.76/650.16	c cleaning 54311 clauses out of 119713 with flag 13565565/1586000
1308.74/666.94	c cleaning 54094 clauses out of 122402 with flag 14024491/1643000
1347.97/686.42	c cleaning 55496 clauses out of 126310 with flag 14538134/1701002
1385.18/704.83	c cleaning 57869 clauses out of 129813 with flag 14983077/1760001
1418.71/721.30	c cleaning 57721 clauses out of 131945 with flag 15393747/1820002
1462.25/742.81	c cleaning 60090 clauses out of 135222 with flag 15849921/1881000
1499.22/761.09	c cleaning 60246 clauses out of 137133 with flag 16260386/1943001
1546.26/784.32	c cleaning 61020 clauses out of 139887 with flag 16718165/2006001
1596.34/809.26	c cleaning 62439 clauses out of 142866 with flag 17222385/2070000
1631.61/826.77	c cleaning 63146 clauses out of 145429 with flag 17650327/2135002
1674.19/847.82	c cleaning 64861 clauses out of 148283 with flag 18094779/2201002
1715.33/868.04	c cleaning 64450 clauses out of 150420 with flag 18557985/2268000
1759.74/889.89	c cleaning 66695 clauses out of 153970 with flag 19044004/2336000
1801.22/911.61	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1801.22/911.61	c starts		: 5470
1801.22/911.61	c conflicts		: 2392947
1801.22/911.61	c decisions		: 160402622
1801.22/911.61	c propagations		: 1041364485
1801.22/911.61	c inspects		: 1624520557
1801.22/911.61	c shortcuts		: 0
1801.22/911.61	c learnt literals	: 3
1801.22/911.61	c learnt binary clauses	: 11615
1801.22/911.61	c learnt ternary clauses	: 33520
1801.22/911.61	c learnt constraints	: 2392944
1801.22/911.61	c ignored constraints	: 0
1801.22/911.61	c root simplifications	: 0
1801.22/911.61	c removed literals (reason simplification)	: 7228113
1801.22/911.61	c reason swapping (by a shorter reason)	: 0
1801.22/911.61	c Calls to reduceDB	: 64
1801.22/911.61	c Number of update (reduction) of LBD	: 934189
1801.22/911.61	c Imported unit clauses	: 0
1801.22/911.61	c number of reductions to clauses (during analyze)	: 0
1801.22/911.61	c number of learned constraints concerned by reduction	: 0
1801.22/911.61	c number of learning phase by resolution	: 0
1801.22/911.61	c number of learning phase by cutting planes	: 0
1801.22/911.61	c speed (assignments/second)	: 1190099.557383063
1801.22/911.61	c non guided choices	124400685
1801.22/911.64	c learnt constraints type 
1801.22/911.65	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 11615
1801.22/911.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 132607
1801.22/911.65	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1801.22/911.65	c starts		: 89
1801.22/911.65	c conflicts		: 91177
1801.22/911.65	c decisions		: 2996535
1801.22/911.65	c propagations		: 19477632
1801.22/911.65	c inspects		: 1001164265
1801.22/911.65	c shortcuts		: 0
1801.22/911.65	c learnt literals	: 0
1801.22/911.65	c learnt binary clauses	: 0
1801.22/911.65	c learnt ternary clauses	: 0
1801.22/911.65	c learnt constraints	: 91176
1801.22/911.65	c ignored constraints	: 0
1801.22/911.65	c root simplifications	: 0
1801.22/911.65	c removed literals (reason simplification)	: 0
1801.22/911.65	c reason swapping (by a shorter reason)	: 0
1801.22/911.65	c Calls to reduceDB	: 9
1801.22/911.65	c Number of update (reduction) of LBD	: 0
1801.22/911.65	c Imported unit clauses	: 0
1801.22/911.65	c number of reductions to clauses (during analyze)	: 0
1801.22/911.65	c number of learned constraints concerned by reduction	: 0
1801.22/911.65	c number of learning phase by resolution	: 0
1801.22/911.65	c number of learning phase by cutting planes	: 0
1801.22/911.65	c speed (assignments/second)	: 22258.67542494326
1801.22/911.65	c non guided choices	1514732
1801.22/911.65	c learnt constraints type 
1801.22/911.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12531
1801.22/911.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 78645
1801.22/911.65	s UNKNOWN
1801.22/911.65	c Total wall clock time (in seconds): 911.525

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-4080837-1465269893/watcher-4080837-1465269893 -o /tmp/evaluation-result-4080837-1465269893/solver-4080837-1465269893 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465255598-8856 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080837-1465269893.opb 

pid=17194
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: 4.03 4.06 4.00 4/197 17197
/proc/meminfo: memFree=28120676/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/17197/stat : 17197 (java) R 17194 17197 8839 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 1 0 108924021 9445376 88 33554432000 1073741824 1073778376 140735347405984 140735347403112 224913297851 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2306 94 75 9 0 38 0

[startup+0.100062 s]
/proc/loadavg: 4.03 4.06 4.00 4/197 17197
/proc/meminfo: memFree=28120676/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 4357 0 1 0 8 1 0 0 20 0 18 0 108924021 9787879424 5481 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2389619 5486 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200229 s]
/proc/loadavg: 4.03 4.06 4.00 4/197 17197
/proc/meminfo: memFree=28120676/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 4979 0 1 0 25 2 0 0 20 0 18 0 108924021 9787879424 8531 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2389619 8531 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300258 s]
/proc/loadavg: 4.03 4.06 4.00 4/197 17197
/proc/meminfo: memFree=28120676/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 5367 0 1 0 42 2 0 0 20 0 18 0 108924021 9787879424 12784 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2389619 12784 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476

[startup+0.700204 s]
/proc/loadavg: 4.03 4.06 4.00 4/197 17197
/proc/meminfo: memFree=28120676/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9558476 CPUtime=1.48 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 20576 0 1 0 141 7 0 0 20 0 18 0 108924021 9787879424 46829 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2389619 47341 2246 9 0 2380296 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9558476

[startup+1.50091 s]
/proc/loadavg: 4.03 4.06 4.00 5/215 17215
/proc/meminfo: memFree=27715024/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9558476 CPUtime=3.27 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 23871 0 1 0 297 30 0 0 20 0 18 0 108924021 9787879424 252127 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2389619 252127 2270 9 0 2380296 0
[pid=17197/tid=17199] ppid=17194 vsize=9558476 CPUtime=1.24 cores=1,3,5,7
/proc/17197/task/17199/stat : 17199 (java) R 17194 17197 8839 0 -1 4202560 3460 0 1 0 111 13 0 0 20 0 18 0 108924022 9787879424 252127 33554432000 1073741824 1073778376 140735347405984 140157325041632 140157332814675 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17200] ppid=17194 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 8839 0 -1 4202560 49 0 0 0 7 2 0 0 20 0 18 0 108924024 9787879424 252127 33554432000 1073741824 1073778376 140735347405984 140157286541736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17201] ppid=17194 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 8839 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 18 0 108924024 9787879424 252127 33554432000 1073741824 1073778376 140735347405984 140157285489192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17202] ppid=17194 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 8839 0 -1 4202560 52 0 0 0 6 1 0 0 20 0 18 0 108924024 9787879424 252127 33554432000 1073741824 1073778376 140735347405984 140157284436136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17203] ppid=17194 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 8839 0 -1 4202560 60 0 0 0 8 2 0 0 20 0 18 0 108924024 9787879424 252127 33554432000 1073741824 1073778376 140735347405984 140157283383592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17204] ppid=17194 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 8839 0 -1 4202560 191 0 0 0 7 2 0 0 20 0 18 0 108924024 9787879424 252127 33554432000 1073741824 1073778376 140735347405984 140157282331560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17205] ppid=17194 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 8839 0 -1 4202560 53 0 0 0 5 1 0 0 20 0 18 0 108924024 9787879424 252127 33554432000 1073741824 1073778376 140735347405984 140157281279016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17206] ppid=17194 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 8839 0 -1 4202560 105 0 0 0 8 2 0 0 20 0 18 0 108924024 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157280225960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17207] ppid=17194 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 8839 0 -1 4202560 145 0 0 0 7 2 0 0 20 0 18 0 108924024 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157279173416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17208] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 8839 0 -1 4202560 457 0 0 0 0 0 0 0 20 0 18 0 108924025 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157266762088 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17209] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108924025 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157147669880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17210] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 108924025 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157146616712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17211] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108924028 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157145565456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17212] ppid=17194 vsize=9558476 CPUtime=0.62 cores=1,3,5,7
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 8839 0 -1 4202560 8010 0 0 0 61 1 0 0 20 0 18 0 108924028 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157144513336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17213] ppid=17194 vsize=9558476 CPUtime=0.61 cores=1,3,5,7
/proc/17197/task/17213/stat : 17213 (java) S 17194 17197 8839 0 -1 4202560 10015 0 0 0 58 3 0 0 20 0 18 0 108924028 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157143460792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17214] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17214/stat : 17214 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108924028 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157142407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17215] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17215/stat : 17215 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108924028 9787879424 252639 33554432000 1073741824 1073778376 140735347405984 140157141355592 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 9558476

[startup+3.10091 s]
/proc/loadavg: 4.03 4.06 4.00 4/215 17215
/proc/meminfo: memFree=25959960/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9558476 CPUtime=5.06 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 25759 0 1 0 447 59 0 0 20 0 18 0 108924021 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2389619 694961 2270 9 0 2380296 0
[pid=17197/tid=17199] ppid=17194 vsize=9558476 CPUtime=2.77 cores=1,3,5,7
/proc/17197/task/17199/stat : 17199 (java) R 17194 17197 8839 0 -1 4202560 4309 0 1 0 239 38 0 0 20 0 18 0 108924022 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157325048576 140157332814672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17200] ppid=17194 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 8839 0 -1 4202560 88 0 0 0 10 3 0 0 20 0 18 0 108924024 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157286541736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17201] ppid=17194 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 8839 0 -1 4202560 90 0 0 0 7 2 0 0 20 0 18 0 108924024 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157285489192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17202] ppid=17194 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 8839 0 -1 4202560 57 0 0 0 8 2 0 0 20 0 18 0 108924024 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157284436136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17203] ppid=17194 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 8839 0 -1 4202560 84 0 0 0 10 3 0 0 20 0 18 0 108924024 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157283383592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17204] ppid=17194 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 8839 0 -1 4202560 228 0 0 0 11 3 0 0 20 0 18 0 108924024 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157282331560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17205] ppid=17194 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 8839 0 -1 4202560 81 0 0 0 7 2 0 0 20 0 18 0 108924024 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157281279016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17206] ppid=17194 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 8839 0 -1 4202560 133 0 0 0 10 2 0 0 20 0 18 0 108924024 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157280225960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17207] ppid=17194 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 8839 0 -1 4202560 147 0 0 0 9 3 0 0 20 0 18 0 108924024 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157279173416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17208] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 8839 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 18 0 108924025 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157266762088 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17209] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108924025 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157147669880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17210] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 108924025 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157146616712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17211] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108924028 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157145565456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17212] ppid=17194 vsize=9558476 CPUtime=0.62 cores=1,3,5,7
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 8839 0 -1 4202560 8010 0 0 0 61 1 0 0 20 0 18 0 108924028 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157144513336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17213] ppid=17194 vsize=9558476 CPUtime=0.61 cores=1,3,5,7
/proc/17197/task/17213/stat : 17213 (java) S 17194 17197 8839 0 -1 4202560 10015 0 0 0 58 3 0 0 20 0 18 0 108924028 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157143460792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17214] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17214/stat : 17214 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108924028 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157142407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17215] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17215/stat : 17215 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108924028 9787879424 694961 33554432000 1073741824 1073778376 140735347405984 140157141355592 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 9558476

[startup+6.30096 s]
/proc/loadavg: 3.94 4.04 3.99 4/215 17215
/proc/meminfo: memFree=25345968/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9558476 CPUtime=8.44 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 25899 0 1 0 784 60 0 0 20 0 18 0 108924021 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2389619 695023 2270 9 0 2380296 0
[pid=17197/tid=17199] ppid=17194 vsize=9558476 CPUtime=5.9 cores=1,3,5,7
/proc/17197/task/17199/stat : 17199 (java) R 17194 17197 8839 0 -1 4202560 4317 0 1 0 552 38 0 0 20 0 18 0 108924022 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157325041712 140157332814672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17200] ppid=17194 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 8839 0 -1 4202560 107 0 0 0 14 3 0 0 20 0 18 0 108924024 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157286541736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17201] ppid=17194 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 8839 0 -1 4202560 105 0 0 0 9 2 0 0 20 0 18 0 108924024 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157285489192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17202] ppid=17194 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 8839 0 -1 4202560 87 0 0 0 11 2 0 0 20 0 18 0 108924024 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157284436136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17203] ppid=17194 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 8839 0 -1 4202560 102 0 0 0 12 3 0 0 20 0 18 0 108924024 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157283383592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17204] ppid=17194 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 8839 0 -1 4202560 232 0 0 0 13 3 0 0 20 0 18 0 108924024 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157282331560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17205] ppid=17194 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 8839 0 -1 4202560 82 0 0 0 9 2 0 0 20 0 18 0 108924024 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157281279016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17206] ppid=17194 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 8839 0 -1 4202560 136 0 0 0 12 3 0 0 20 0 18 0 108924024 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157280225960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17207] ppid=17194 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 8839 0 -1 4202560 187 0 0 0 12 3 0 0 20 0 18 0 108924024 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157279173416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17208] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17208/stat : 17208 (java) S 17194 17197 8839 0 -1 4202560 1265 0 0 0 0 0 0 0 20 0 18 0 108924025 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157266762088 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17209] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108924025 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157147669880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17210] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 108924025 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157146616712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17211] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108924028 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157145565456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17212] ppid=17194 vsize=9558476 CPUtime=0.63 cores=1,3,5,7
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 8839 0 -1 4202560 8010 0 0 0 62 1 0 0 20 0 18 0 108924028 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157144513336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17213] ppid=17194 vsize=9558476 CPUtime=0.62 cores=1,3,5,7
/proc/17197/task/17213/stat : 17213 (java) S 17194 17197 8839 0 -1 4202560 10015 0 0 0 59 3 0 0 20 0 18 0 108924028 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157143460792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17214] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17214/stat : 17214 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108924028 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157142407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17215] ppid=17194 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17215/stat : 17215 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108924028 9787879424 695023 33554432000 1073741824 1073778376 140735347405984 140157141355592 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.44
Current children cumulated vsize (KiB) 9558476

[startup+12.701 s]
/proc/loadavg: 3.87 4.03 3.99 4/215 17215
/proc/meminfo: memFree=25275184/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9558476 CPUtime=15.13 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 26308 0 1 0 1449 64 0 0 20 0 18 0 108924021 9787879424 711731 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2389619 711731 2270 9 0 2380296 0

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

/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 8839 0 -1 4202560 804 0 0 0 527 19 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157286541736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17201] ppid=17194 vsize=9824732 CPUtime=5.42 cores=1,3,5,7
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 8839 0 -1 4202560 920 0 0 0 524 18 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157285489192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17202] ppid=17194 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 8839 0 -1 4202560 704 0 0 0 511 16 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157284436136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17203] ppid=17194 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 8839 0 -1 4202560 909 0 0 0 512 21 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157283383592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17204] ppid=17194 vsize=9824732 CPUtime=5.14 cores=1,3,5,7
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 8839 0 -1 4202560 829 0 0 0 496 18 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157282331560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17205] ppid=17194 vsize=9824732 CPUtime=4.98 cores=1,3,5,7
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 8839 0 -1 4202560 842 0 0 0 482 16 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157281279016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17206] ppid=17194 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 8839 0 -1 4202560 920 0 0 0 514 19 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157280225960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17207] ppid=17194 vsize=9824732 CPUtime=5.62 cores=1,3,5,7
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 8839 0 -1 4202560 894 0 0 0 546 16 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157279173416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17208] ppid=17194 vsize=9824732 CPUtime=8.98 cores=1,3,5,7
/proc/17197/task/17208/stat : 17208 (java) R 17194 17197 8839 0 -1 4202560 2513 0 0 0 888 10 0 0 20 0 22 0 108924025 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157266760840 140157331904512 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17209] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108924025 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157147669880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17210] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108924025 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157146616712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17211] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157145565456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17212] ppid=17194 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 8839 0 -1 4202560 8698 0 0 0 210 2 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157144513336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17213] ppid=17194 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/17197/task/17213/stat : 17213 (java) S 17194 17197 8839 0 -1 4202560 15082 0 0 0 190 4 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157143460792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17214] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17214/stat : 17214 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157142407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17215] ppid=17194 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/17197/task/17215/stat : 17215 (java) S 17194 17197 8839 0 -1 4202560 53 0 0 0 23 17 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157141355592 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17216] ppid=17194 vsize=9824732 CPUtime=852.14 cores=1,3,5,7
/proc/17197/task/17216/stat : 17216 (java) S 17194 17197 8839 0 -1 4202560 112 0 0 0 85201 13 0 0 20 0 22 0 108927674 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157140299288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17217] ppid=17194 vsize=9824732 CPUtime=852.17 cores=1,3,5,7
/proc/17197/task/17217/stat : 17217 (java) S 17194 17197 8839 0 -1 4202560 86 0 0 0 85203 14 0 0 20 0 22 0 108927674 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157139245896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17218] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17218/stat : 17218 (java) S 17194 17197 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108927681 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157138195240 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17219] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17219/stat : 17219 (java) S 17194 17197 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108927681 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157137142696 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

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 17197 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+911.201 s]
/proc/loadavg: 4.03 4.11 4.05 4/220 17320
/proc/meminfo: memFree=23685184/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9824732 CPUtime=1800.82 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 39038 0 1 0 179863 219 0 0 20 0 22 0 108924021 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2456183 1050566 2300 9 0 2446860 0
[pid=17197/tid=17199] ppid=17194 vsize=9824732 CPUtime=35.42 cores=1,3,5,7
/proc/17197/task/17199/stat : 17199 (java) S 17194 17197 8839 0 -1 4202560 4405 0 1 0 3501 41 0 0 20 0 22 0 108924022 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157325050456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17200] ppid=17194 vsize=9824732 CPUtime=5.46 cores=1,3,5,7
/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 8839 0 -1 4202560 804 0 0 0 527 19 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157286541736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17201] ppid=17194 vsize=9824732 CPUtime=5.42 cores=1,3,5,7
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 8839 0 -1 4202560 920 0 0 0 524 18 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157285489192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17202] ppid=17194 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 8839 0 -1 4202560 704 0 0 0 511 16 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157284436136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17203] ppid=17194 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 8839 0 -1 4202560 909 0 0 0 512 21 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157283383592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17204] ppid=17194 vsize=9824732 CPUtime=5.14 cores=1,3,5,7
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 8839 0 -1 4202560 829 0 0 0 496 18 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157282331560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17205] ppid=17194 vsize=9824732 CPUtime=4.98 cores=1,3,5,7
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 8839 0 -1 4202560 842 0 0 0 482 16 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157281279016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17206] ppid=17194 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 8839 0 -1 4202560 920 0 0 0 514 19 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157280225960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17207] ppid=17194 vsize=9824732 CPUtime=5.62 cores=1,3,5,7
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 8839 0 -1 4202560 894 0 0 0 546 16 0 0 20 0 22 0 108924024 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157279173416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17208] ppid=17194 vsize=9824732 CPUtime=9.78 cores=1,3,5,7
/proc/17197/task/17208/stat : 17208 (java) R 17194 17197 8839 0 -1 4202560 2513 0 0 0 968 10 0 0 20 0 22 0 108924025 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157266760840 140157331558432 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17209] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108924025 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157147669880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17210] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108924025 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157146616712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17211] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157145565000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17212] ppid=17194 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 8839 0 -1 4202560 8698 0 0 0 210 2 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157144513336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17213] ppid=17194 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/17197/task/17213/stat : 17213 (java) S 17194 17197 8839 0 -1 4202560 15082 0 0 0 190 4 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157143460792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17214] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17214/stat : 17214 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157142407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17215] ppid=17194 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/17197/task/17215/stat : 17215 (java) S 17194 17197 8839 0 -1 4202560 53 0 0 0 23 17 0 0 20 0 22 0 108924028 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157141355592 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17216] ppid=17194 vsize=9824732 CPUtime=852.14 cores=1,3,5,7
/proc/17197/task/17216/stat : 17216 (java) S 17194 17197 8839 0 -1 4202560 112 0 0 0 85201 13 0 0 20 0 22 0 108927674 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157140299288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17217] ppid=17194 vsize=9824732 CPUtime=852.17 cores=1,3,5,7
/proc/17197/task/17217/stat : 17217 (java) S 17194 17197 8839 0 -1 4202560 86 0 0 0 85203 14 0 0 20 0 22 0 108927674 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157139245896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17218] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17218/stat : 17218 (java) S 17194 17197 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108927681 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157138195240 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17219] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17219/stat : 17219 (java) S 17194 17197 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108927681 10060525568 1050566 33554432000 1073741824 1073778376 140735347405984 140157137142696 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 9824732

[startup+911.601 s]
/proc/loadavg: 4.03 4.11 4.05 4/220 17320
/proc/meminfo: memFree=23685184/32872528 swapFree=11372/178980
[pid=17197] ppid=17194 vsize=9824732 CPUtime=1801.22 cores=1,3,5,7
/proc/17197/stat : 17197 (java) S 17194 17197 8839 0 -1 4202496 39039 0 1 0 179903 219 0 0 20 0 22 0 108924021 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140735347397120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17197/statm: 2456183 1051078 2300 9 0 2446860 0
[pid=17197/tid=17199] ppid=17194 vsize=9824732 CPUtime=35.42 cores=1,3,5,7
/proc/17197/task/17199/stat : 17199 (java) S 17194 17197 8839 0 -1 4202560 4405 0 1 0 3501 41 0 0 20 0 22 0 108924022 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157325050456 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17200] ppid=17194 vsize=9824732 CPUtime=5.46 cores=1,3,5,7
/proc/17197/task/17200/stat : 17200 (java) S 17194 17197 8839 0 -1 4202560 804 0 0 0 527 19 0 0 20 0 22 0 108924024 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157286541736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17201] ppid=17194 vsize=9824732 CPUtime=5.42 cores=1,3,5,7
/proc/17197/task/17201/stat : 17201 (java) S 17194 17197 8839 0 -1 4202560 920 0 0 0 524 18 0 0 20 0 22 0 108924024 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157285489192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17202] ppid=17194 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/17197/task/17202/stat : 17202 (java) S 17194 17197 8839 0 -1 4202560 704 0 0 0 511 16 0 0 20 0 22 0 108924024 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157284436136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17203] ppid=17194 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/17197/task/17203/stat : 17203 (java) S 17194 17197 8839 0 -1 4202560 909 0 0 0 512 21 0 0 20 0 22 0 108924024 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157283383592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17204] ppid=17194 vsize=9824732 CPUtime=5.14 cores=1,3,5,7
/proc/17197/task/17204/stat : 17204 (java) S 17194 17197 8839 0 -1 4202560 829 0 0 0 496 18 0 0 20 0 22 0 108924024 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157282331560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17205] ppid=17194 vsize=9824732 CPUtime=4.98 cores=1,3,5,7
/proc/17197/task/17205/stat : 17205 (java) S 17194 17197 8839 0 -1 4202560 842 0 0 0 482 16 0 0 20 0 22 0 108924024 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157281279016 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17206] ppid=17194 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/17197/task/17206/stat : 17206 (java) S 17194 17197 8839 0 -1 4202560 920 0 0 0 514 19 0 0 20 0 22 0 108924024 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157280225960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17207] ppid=17194 vsize=9824732 CPUtime=5.62 cores=1,3,5,7
/proc/17197/task/17207/stat : 17207 (java) S 17194 17197 8839 0 -1 4202560 894 0 0 0 546 16 0 0 20 0 22 0 108924024 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157279173416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17208] ppid=17194 vsize=9824732 CPUtime=10.18 cores=1,3,5,7
/proc/17197/task/17208/stat : 17208 (java) R 17194 17197 8839 0 -1 4202560 2514 0 0 0 1008 10 0 0 20 0 22 0 108924025 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157266760840 140157331906492 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17209] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17209/stat : 17209 (java) S 17194 17197 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108924025 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157147669880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17210] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17210/stat : 17210 (java) S 17194 17197 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108924025 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157146616712 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17211] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17211/stat : 17211 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108924028 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157145565000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17197/tid=17212] ppid=17194 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/17197/task/17212/stat : 17212 (java) S 17194 17197 8839 0 -1 4202560 8698 0 0 0 210 2 0 0 20 0 22 0 108924028 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157144513336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17213] ppid=17194 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/17197/task/17213/stat : 17213 (java) S 17194 17197 8839 0 -1 4202560 15082 0 0 0 190 4 0 0 20 0 22 0 108924028 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157143460792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17214] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17214/stat : 17214 (java) S 17194 17197 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108924028 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157142407928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17197/tid=17215] ppid=17194 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/17197/task/17215/stat : 17215 (java) S 17194 17197 8839 0 -1 4202560 53 0 0 0 23 17 0 0 20 0 22 0 108924028 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157141355592 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17216] ppid=17194 vsize=9824732 CPUtime=852.14 cores=1,3,5,7
/proc/17197/task/17216/stat : 17216 (java) S 17194 17197 8839 0 -1 4202560 112 0 0 0 85201 13 0 0 20 0 22 0 108927674 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157140299288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17217] ppid=17194 vsize=9824732 CPUtime=852.17 cores=1,3,5,7
/proc/17197/task/17217/stat : 17217 (java) S 17194 17197 8839 0 -1 4202560 86 0 0 0 85203 14 0 0 20 0 22 0 108927674 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157139245896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17197/tid=17218] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17218/stat : 17218 (java) S 17194 17197 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108927681 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157138195240 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17197/tid=17219] ppid=17194 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17219/stat : 17219 (java) S 17194 17197 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108927681 10060525568 1051078 33554432000 1073741824 1073778376 140735347405984 140157137142696 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1801.22
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17197 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=729159
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=612602
# CPU time returned by wait4() is 1797.34
# while last known CPU time is 1801.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 911.685
CPU time (s): 1801.22
CPU user time (s): 1799.03
CPU system time (s): 2.19
CPU usage (%): 197.57
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.73
system time used= 2.6126
maximum resident set size= 4212560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39571
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27690
involuntary context switches= 38990

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.98424 second user time and 8.45471 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-07 05:24:54
IDJOB=4080837
IDBENCH=89890
IDSOLVER=2543
FILE ID=node105/4080837-1465269893
RUNJOBID= node105-1465255598-8856
PBS_JOBID= 19843277
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-netdiversion.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080837-1465269893/watcher-4080837-1465269893 -o /tmp/evaluation-result-4080837-1465269893/solver-4080837-1465269893 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465255598-8856 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080837-1465269893.opb

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

MD5SUM BENCH= 2c0dd2737108318b86d3c4c102584cdd
RANDOM SEED=1122339116

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28120832 kB
Buffers:          119780 kB
Cached:           266980 kB
SwapCached:         1752 kB
Active:          3575716 kB
Inactive:         227332 kB
Active(anon):    3417012 kB
Inactive(anon):     1668 kB
Active(file):     158704 kB
Inactive(file):   225664 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098556 kB
Dirty:              7824 kB
Writeback:             0 kB
AnonPages:       3625516 kB
Mapped:            15444 kB
Shmem:                 0 kB
Slab:             602936 kB
SReclaimable:      46420 kB
SUnreclaim:       556516 kB
KernelStack:        1800 kB
PageTables:        11504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4081896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3559424 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= 71736 MiB
End job on node105 at 2016-06-07 05:40:05