Trace number 4103860

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.03 1779.94

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc04.opb
MD5SUMbb1646c210ed722ee76932cafe9701aa
Bench CategoryOPT-BIGINT (optimisation, big integers)
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 variables146276
Total number of constraints1699
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints1689
Minimum length of a constraint3
Maximum length of a constraint5071
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 43188899594881920000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 133861748414790079675
Number of bits of the biggest sum of numbers67
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4103860-1466252632.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
1.99/1.37	c ... done. Wall clock time 1.265s.
1.99/1.37	c declared #vars     146276
1.99/1.37	c #constraints  2010
1.99/1.37	c constraints type 
1.99/1.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 10
1.99/1.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1998
1.99/1.37	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
1.99/1.37	c 2010 constraints processed.
1.99/1.37	c objective function length is 31 literals
5.34/3.80	c cleaning 2501 clauses out of 5002 with flag 10004/5002
8.09/6.39	c cleaning 4250 clauses out of 8500 with flag 22002/11001
10.99/9.19	c cleaning 5619 clauses out of 11249 with flag 36000/18000
14.35/12.45	c cleaning 6811 clauses out of 13631 with flag 52002/26001
18.26/16.27	c cleaning 7908 clauses out of 15819 with flag 70000/35000
22.73/20.61	c cleaning 8958 clauses out of 17915 with flag 90008/45004
27.33/25.30	c cleaning 9976 clauses out of 19953 with flag 112000/56000
32.90/30.73	c cleaning 10989 clauses out of 21977 with flag 136000/68000
38.93/36.62	c cleaning 11995 clauses out of 23989 with flag 162002/81001
46.13/43.72	c cleaning 12995 clauses out of 25993 with flag 190000/95000
53.70/51.25	c cleaning 13997 clauses out of 27998 with flag 220000/110000
62.35/59.86	c cleaning 15001 clauses out of 30002 with flag 252002/126001
72.21/69.61	c cleaning 16000 clauses out of 32000 with flag 286000/143000
83.43/80.78	c cleaning 16998 clauses out of 34001 with flag 322002/161001
95.63/92.89	c cleaning 18001 clauses out of 36002 with flag 360000/180000
107.31/104.49	c cleaning 19001 clauses out of 38001 with flag 400000/200000
121.17/118.28	c cleaning 20001 clauses out of 40001 with flag 442002/221001
136.36/133.37	c cleaning 21000 clauses out of 41999 with flag 486000/243000
151.38/148.27	c cleaning 21998 clauses out of 44002 with flag 532006/266003
170.05/166.72	c cleaning 22994 clauses out of 46002 with flag 580002/290001
189.34/185.88	c cleaning 24003 clauses out of 48008 with flag 630002/315001
208.31/204.62	c cleaning 25000 clauses out of 50004 with flag 682000/341000
231.38/227.58	c cleaning 26002 clauses out of 52006 with flag 736004/368002
254.25/250.19	c cleaning 26997 clauses out of 54003 with flag 792002/396001
279.97/275.66	c cleaning 28003 clauses out of 56007 with flag 850004/425002
309.44/304.71	c cleaning 28997 clauses out of 58004 with flag 910004/455002
335.61/330.66	c cleaning 29998 clauses out of 60007 with flag 972004/486002
363.89/358.44	c cleaning 31003 clauses out of 62007 with flag 1036000/518000
392.89/387.20	c cleaning 32000 clauses out of 64004 with flag 1102000/551000
424.34/418.31	c cleaning 33003 clauses out of 66006 with flag 1170004/585002
457.64/451.27	c cleaning 33998 clauses out of 68001 with flag 1240000/620000
493.45/486.82	c cleaning 34996 clauses out of 70004 with flag 1312002/656001
530.03/523.08	c cleaning 35998 clauses out of 72007 with flag 1386000/693000
567.63/560.13	c cleaning 37004 clauses out of 74010 with flag 1462002/731001
610.23/602.35	c cleaning 38001 clauses out of 76006 with flag 1540002/770001
659.51/651.18	c cleaning 39002 clauses out of 78005 with flag 1620002/810001
705.41/696.60	c cleaning 39997 clauses out of 80002 with flag 1702000/851000
754.16/744.99	c cleaning 41004 clauses out of 82007 with flag 1786004/893002
798.27/788.65	c cleaning 41989 clauses out of 84002 with flag 1872002/936001
849.09/838.91	c cleaning 43006 clauses out of 86012 with flag 1960000/980000
901.32/890.75	c cleaning 44001 clauses out of 88006 with flag 2050000/1025000
958.17/947.01	c cleaning 45001 clauses out of 90007 with flag 2142004/1071002
1014.73/1003.08	c cleaning 45997 clauses out of 92004 with flag 2236000/1118000
1073.44/1061.10	c cleaning 46999 clauses out of 94008 with flag 2332002/1166001
1135.24/1122.41	c cleaning 48004 clauses out of 96009 with flag 2430002/1215001
1199.14/1185.66	c cleaning 49001 clauses out of 98004 with flag 2530000/1265000
1269.41/1255.13	c cleaning 50002 clauses out of 100003 with flag 2632000/1316000
1342.53/1327.49	c cleaning 51002 clauses out of 102003 with flag 2736004/1368002
1422.99/1407.04	c cleaning 51997 clauses out of 103999 with flag 2842000/1421000
1502.17/1485.33	c cleaning 53000 clauses out of 106002 with flag 2950000/1475000
1585.17/1567.48	c cleaning 54002 clauses out of 108003 with flag 3060002/1530001
1665.33/1646.88	c cleaning 54999 clauses out of 110001 with flag 3172002/1586001
1742.89/1723.51	c cleaning 55994 clauses out of 112001 with flag 3286000/1643000
1800.03/1779.91	c starts		: 1
1800.03/1779.91	c conflicts		: 1684347
1800.03/1779.91	c decisions		: 1684738
1800.03/1779.91	c propagations		: 9550046
1800.03/1779.91	c inspects		: 19527669088
1800.03/1779.91	c shortcuts		: 0
1800.03/1779.91	c learnt literals	: 0
1800.03/1779.91	c learnt binary clauses	: 0
1800.03/1779.91	c learnt ternary clauses	: 0
1800.03/1779.91	c learnt constraints	: 1684347
1800.03/1779.91	c ignored constraints	: 0
1800.03/1779.91	c root simplifications	: 0
1800.03/1779.91	c removed literals (reason simplification)	: 0
1800.03/1779.91	c reason swapping (by a shorter reason)	: 0
1800.03/1779.91	c Calls to reduceDB	: 53
1800.03/1779.91	c Number of update (reduction) of LBD	: 0
1800.03/1779.91	c Imported unit clauses	: 0
1800.03/1779.91	c number of reductions to clauses (during analyze)	: 0
1800.03/1779.91	c number of learned constraints concerned by reduction	: 0
1800.03/1779.91	c number of learning phase by resolution	: 0
1800.03/1779.91	c number of learning phase by cutting planes	: 0
1800.03/1779.91	c speed (assignments/second)	: 5369.91624658759
1800.03/1779.91	c non guided choices	328
1800.03/1779.93	c timeout
1800.03/1779.93	c learnt constraints type 
1800.03/1779.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 97355
1800.03/1779.93	s UNKNOWN
1800.03/1779.93	c Total wall clock time (in seconds): 1779.826

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-4103860-1466252632/watcher-4103860-1466252632 -o /tmp/evaluation-result-4103860-1466252632/solver-4103860-1466252632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466230712-24776 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103860-1466252632.opb 

pid=27918
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.22 2.21 2.18 3/194 27921
/proc/meminfo: memFree=29555156/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27921/stat : 27921 (java) D 27918 27921 24760 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 27311842 9515008 176 33554432000 1073741824 1073778376 140737084585008 140737084567736 270330053520 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2323 176 133 9 0 71 0

[startup+0.100063 s]
/proc/loadavg: 2.22 2.21 2.18 3/194 27921
/proc/meminfo: memFree=29555156/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 4441 0 1 0 9 2 0 0 20 0 18 0 27311842 9787879424 6051 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2389619 6051 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200285 s]
/proc/loadavg: 2.22 2.21 2.18 3/194 27921
/proc/meminfo: memFree=29555156/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9559268 CPUtime=0.32 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 6443 0 1 0 30 2 0 0 20 0 18 0 27311842 9788690432 9046 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2389817 9077 2218 9 0 2380494 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9559268

[startup+0.300314 s]
/proc/loadavg: 2.22 2.21 2.18 3/194 27921
/proc/meminfo: memFree=29555156/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9558476 CPUtime=0.62 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 9540 0 1 0 59 3 0 0 20 0 18 0 27311842 9787879424 13565 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2389619 13565 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9558476

[startup+0.700243 s]
/proc/loadavg: 2.22 2.21 2.18 3/194 27921
/proc/meminfo: memFree=29555156/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9558476 CPUtime=1.21 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 9810 0 1 0 113 8 0 0 20 0 18 0 27311842 9787879424 49555 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2389619 49555 2261 9 0 2380296 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9558476

[startup+1.50079 s]
/proc/loadavg: 2.22 2.21 2.18 3/212 27939
/proc/meminfo: memFree=29321428/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 10911 0 1 0 221 13 0 0 20 0 19 0 27311842 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2406260 61773 2270 9 0 2396937 0
[pid=27921/tid=27923] ppid=27918 vsize=9625040 CPUtime=1.36 cores=0,2,4,6
/proc/27921/task/27923/stat : 27923 (java) R 27918 27921 24760 0 -1 4202560 2480 0 1 0 132 4 0 0 20 0 19 0 27311843 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789935678080 139789793834640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27924] ppid=27918 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/27921/task/27924/stat : 27924 (java) S 27918 27921 24760 0 -1 4202560 118 0 0 0 5 1 0 0 20 0 19 0 27311844 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789913779112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27925] ppid=27918 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/27921/task/27925/stat : 27925 (java) S 27918 27921 24760 0 -1 4202560 94 0 0 0 3 0 0 0 20 0 19 0 27311844 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789912726568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27926] ppid=27918 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/27921/task/27926/stat : 27926 (java) S 27918 27921 24760 0 -1 4202560 22 0 0 0 1 1 0 0 20 0 19 0 27311844 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789709863592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27927] ppid=27918 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/27921/task/27927/stat : 27927 (java) S 27918 27921 24760 0 -1 4202560 128 0 0 0 4 1 0 0 20 0 19 0 27311844 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789708811048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27928] ppid=27918 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/27921/task/27928/stat : 27928 (java) S 27918 27921 24760 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 19 0 27311844 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789707757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27929] ppid=27918 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/27921/task/27929/stat : 27929 (java) S 27918 27921 24760 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 27311844 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789706705448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27930] ppid=27918 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/27921/task/27930/stat : 27930 (java) S 27918 27921 24760 0 -1 4202560 109 0 0 0 3 0 0 0 20 0 19 0 27311844 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789705652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27931] ppid=27918 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/27921/task/27931/stat : 27931 (java) S 27918 27921 24760 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 19 0 27311844 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789704599848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27932] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27932/stat : 27932 (java) S 27918 27921 24760 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 27311845 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789692402536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27933] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27933/stat : 27933 (java) S 27918 27921 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789691348856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27934] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27934/stat : 27934 (java) S 27918 27921 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789690295688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27935] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27935/stat : 27935 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789689244432 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27936] ppid=27918 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/27921/task/27936/stat : 27936 (java) R 27918 27921 24760 0 -1 4202560 3982 0 0 0 24 0 0 0 20 0 19 0 27311848 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789688191288 139789943423712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27937] ppid=27918 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/27921/task/27937/stat : 27937 (java) R 27918 27921 24760 0 -1 4202560 2584 0 0 0 28 0 0 0 20 0 19 0 27311848 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789687138744 139789942137831 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27938] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27938/stat : 27938 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789686085880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27939] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27939/stat : 27939 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 61773 33554432000 1073741824 1073778376 140737084585008 139789685033544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.20 2.21 2.18 8/213 27940
/proc/meminfo: memFree=29143928/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9625040 CPUtime=4.6 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 12393 0 1 0 430 30 0 0 20 0 19 0 27311842 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2406260 166909 2272 9 0 2396937 0
[pid=27921/tid=27923] ppid=27918 vsize=9625040 CPUtime=2.83 cores=0,2,4,6
/proc/27921/task/27923/stat : 27923 (java) R 27918 27921 24760 0 -1 4202560 2824 0 1 0 274 9 0 0 20 0 19 0 27311843 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789935676616 139789794549907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27924] ppid=27918 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27921/task/27924/stat : 27924 (java) S 27918 27921 24760 0 -1 4202560 166 0 0 0 10 3 0 0 20 0 19 0 27311844 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789913779112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27925] ppid=27918 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/27921/task/27925/stat : 27925 (java) S 27918 27921 24760 0 -1 4202560 119 0 0 0 7 3 0 0 20 0 19 0 27311844 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789912726568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27926] ppid=27918 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/27921/task/27926/stat : 27926 (java) S 27918 27921 24760 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 19 0 27311844 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789709863592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27927] ppid=27918 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27921/task/27927/stat : 27927 (java) S 27918 27921 24760 0 -1 4202560 174 0 0 0 10 3 0 0 20 0 19 0 27311844 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789708811048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27928] ppid=27918 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/27921/task/27928/stat : 27928 (java) S 27918 27921 24760 0 -1 4202560 63 0 0 0 6 3 0 0 20 0 19 0 27311844 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789707757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27929] ppid=27918 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/27921/task/27929/stat : 27929 (java) S 27918 27921 24760 0 -1 4202560 42 0 0 0 7 2 0 0 20 0 19 0 27311844 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789706705448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27930] ppid=27918 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/27921/task/27930/stat : 27930 (java) S 27918 27921 24760 0 -1 4202560 129 0 0 0 6 2 0 0 20 0 19 0 27311844 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789705652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27931] ppid=27918 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/27921/task/27931/stat : 27931 (java) S 27918 27921 24760 0 -1 4202560 62 0 0 0 8 3 0 0 20 0 19 0 27311844 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789704599848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27932] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27932/stat : 27932 (java) S 27918 27921 24760 0 -1 4202560 483 0 0 0 0 0 0 0 20 0 19 0 27311845 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789692402536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27933] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27933/stat : 27933 (java) S 27918 27921 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789691348856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27934] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27934/stat : 27934 (java) S 27918 27921 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789690295688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27935] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27935/stat : 27935 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789689244432 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27936] ppid=27918 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/27921/task/27936/stat : 27936 (java) S 27918 27921 24760 0 -1 4202560 3991 0 0 0 43 0 0 0 20 0 19 0 27311848 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789688191288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27937] ppid=27918 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/27921/task/27937/stat : 27937 (java) S 27918 27921 24760 0 -1 4202560 3042 0 0 0 37 0 0 0 20 0 19 0 27311848 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789687138744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27938] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27938/stat : 27938 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789686085880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27939] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27939/stat : 27939 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789685033544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27940] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27940/stat : 27940 (java) S 27918 27921 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27311990 9856040960 166909 33554432000 1073741824 1073778376 140737084585008 139789683979816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.20 2.21 2.18 3/213 27940
/proc/meminfo: memFree=28363648/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9625040 CPUtime=8.09 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 13704 0 1 0 765 44 0 0 20 0 19 0 27311842 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2406260 299463 2278 9 0 2396937 0
[pid=27921/tid=27923] ppid=27918 vsize=9625040 CPUtime=5.94 cores=0,2,4,6
/proc/27921/task/27923/stat : 27923 (java) R 27918 27921 24760 0 -1 4202560 3524 0 1 0 577 17 0 0 20 0 19 0 27311843 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789935677528 139789794436936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27924] ppid=27918 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/27921/task/27924/stat : 27924 (java) S 27918 27921 24760 0 -1 4202560 183 0 0 0 12 4 0 0 20 0 19 0 27311844 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789913779112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27925] ppid=27918 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/27921/task/27925/stat : 27925 (java) S 27918 27921 24760 0 -1 4202560 140 0 0 0 10 4 0 0 20 0 19 0 27311844 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789912726568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27926] ppid=27918 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/27921/task/27926/stat : 27926 (java) S 27918 27921 24760 0 -1 4202560 47 0 0 0 6 3 0 0 20 0 19 0 27311844 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789709863592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27927] ppid=27918 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/27921/task/27927/stat : 27927 (java) S 27918 27921 24760 0 -1 4202560 180 0 0 0 12 3 0 0 20 0 19 0 27311844 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789708811048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27928] ppid=27918 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27921/task/27928/stat : 27928 (java) S 27918 27921 24760 0 -1 4202560 79 0 0 0 10 3 0 0 20 0 19 0 27311844 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789707757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27929] ppid=27918 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/27921/task/27929/stat : 27929 (java) S 27918 27921 24760 0 -1 4202560 53 0 0 0 8 3 0 0 20 0 19 0 27311844 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789706705448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27930] ppid=27918 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/27921/task/27930/stat : 27930 (java) S 27918 27921 24760 0 -1 4202560 139 0 0 0 9 2 0 0 20 0 19 0 27311844 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789705652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27931] ppid=27918 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/27921/task/27931/stat : 27931 (java) S 27918 27921 24760 0 -1 4202560 78 0 0 0 10 3 0 0 20 0 19 0 27311844 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789704599848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27932] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27932/stat : 27932 (java) S 27918 27921 24760 0 -1 4202560 983 0 0 0 0 0 0 0 20 0 19 0 27311845 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789692402536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27933] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27933/stat : 27933 (java) S 27918 27921 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789691348856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27934] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27934/stat : 27934 (java) S 27918 27921 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789690295688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27935] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27935/stat : 27935 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789689244432 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27936] ppid=27918 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/27921/task/27936/stat : 27936 (java) S 27918 27921 24760 0 -1 4202560 3995 0 0 0 52 0 0 0 20 0 19 0 27311848 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789688191288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27937] ppid=27918 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/27921/task/27937/stat : 27937 (java) S 27918 27921 24760 0 -1 4202560 3044 0 0 0 40 0 0 0 20 0 19 0 27311848 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789687138744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27938] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27938/stat : 27938 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789686085880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27939] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27939/stat : 27939 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789685033544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27940] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27940/stat : 27940 (java) S 27918 27921 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27311990 9856040960 299463 33554432000 1073741824 1073778376 140737084585008 139789683979816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 9625040

[startup+12.7009 s]
/proc/loadavg: 2.25 2.22 2.18 3/213 27940

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

[pid=27921/tid=27940] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27940/stat : 27940 (java) S 27918 27921 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27311990 9856040960 231130 33554432000 1073741824 1073778376 140737084585008 139789683979816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1681.03
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/213 28048
/proc/meminfo: memFree=28651184/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9625040 CPUtime=1741.67 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 98640 0 1 0 173856 311 0 0 20 0 19 0 27311842 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2406260 207532 2286 9 0 2396937 0
[pid=27921/tid=27923] ppid=27918 vsize=9625040 CPUtime=1703.88 cores=0,2,4,6
/proc/27921/task/27923/stat : 27923 (java) R 27918 27921 24760 0 -1 4202560 18074 0 1 0 170295 93 0 0 20 0 19 0 27311843 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789935676528 139789794324706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27924] ppid=27918 vsize=9625040 CPUtime=3.39 cores=0,2,4,6
/proc/27921/task/27924/stat : 27924 (java) S 27918 27921 24760 0 -1 4202560 1013 0 0 0 314 25 0 0 20 0 19 0 27311844 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789913779112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27925] ppid=27918 vsize=9625040 CPUtime=3.34 cores=0,2,4,6
/proc/27921/task/27925/stat : 27925 (java) S 27918 27921 24760 0 -1 4202560 934 0 0 0 311 23 0 0 20 0 19 0 27311844 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789912726568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27926] ppid=27918 vsize=9625040 CPUtime=3.19 cores=0,2,4,6
/proc/27921/task/27926/stat : 27926 (java) S 27918 27921 24760 0 -1 4202560 867 0 0 0 299 20 0 0 20 0 19 0 27311844 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789709863592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27927] ppid=27918 vsize=9625040 CPUtime=3.29 cores=0,2,4,6
/proc/27921/task/27927/stat : 27927 (java) S 27918 27921 24760 0 -1 4202560 883 0 0 0 306 23 0 0 20 0 19 0 27311844 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789708811048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27928] ppid=27918 vsize=9625040 CPUtime=3.55 cores=0,2,4,6
/proc/27921/task/27928/stat : 27928 (java) S 27918 27921 24760 0 -1 4202560 932 0 0 0 329 26 0 0 20 0 19 0 27311844 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789707757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27929] ppid=27918 vsize=9625040 CPUtime=3.35 cores=0,2,4,6
/proc/27921/task/27929/stat : 27929 (java) S 27918 27921 24760 0 -1 4202560 730 0 0 0 309 26 0 0 20 0 19 0 27311844 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789706705448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27930] ppid=27918 vsize=9625040 CPUtime=3.38 cores=0,2,4,6
/proc/27921/task/27930/stat : 27930 (java) S 27918 27921 24760 0 -1 4202560 793 0 0 0 318 20 0 0 20 0 19 0 27311844 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789705652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27931] ppid=27918 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/27921/task/27931/stat : 27931 (java) S 27918 27921 24760 0 -1 4202560 1175 0 0 0 325 23 0 0 20 0 19 0 27311844 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789704599848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27932] ppid=27918 vsize=9625040 CPUtime=5.25 cores=0,2,4,6
/proc/27921/task/27932/stat : 27932 (java) S 27918 27921 24760 0 -1 4202560 64843 0 0 0 490 35 0 0 20 0 19 0 27311845 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789692402536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27933] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27933/stat : 27933 (java) S 27918 27921 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789691348856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27934] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27934/stat : 27934 (java) S 27918 27921 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789690295688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27935] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27935/stat : 27935 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789689244432 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27936] ppid=27918 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/27921/task/27936/stat : 27936 (java) S 27918 27921 24760 0 -1 4202560 3995 0 0 0 55 0 0 0 20 0 19 0 27311848 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789688191288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27937] ppid=27918 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/27921/task/27937/stat : 27937 (java) S 27918 27921 24760 0 -1 4202560 3044 0 0 0 41 0 0 0 20 0 19 0 27311848 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789687138744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27938] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27938/stat : 27938 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789686085880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27939] ppid=27918 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/27921/task/27939/stat : 27939 (java) S 27918 27921 24760 0 -1 4202560 99 0 0 0 34 30 0 0 20 0 19 0 27311848 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789685033544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27940] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27940/stat : 27940 (java) S 27918 27921 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27311990 9856040960 207532 33554432000 1073741824 1073778376 140737084585008 139789683979816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1741.67
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779.91 s]
/proc/loadavg: 2.16 2.21 2.18 3/213 28050
/proc/meminfo: memFree=28716364/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 105602 0 1 0 179687 316 0 0 20 0 19 0 27311842 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2406260 194345 2286 9 0 2396937 0
[pid=27921/tid=27923] ppid=27918 vsize=9625040 CPUtime=1760.64 cores=0,2,4,6
/proc/27921/task/27923/stat : 27923 (java) R 27918 27921 24760 0 -1 4202560 18354 0 1 0 175969 95 0 0 20 0 19 0 27311843 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789935676528 139789794436936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27924] ppid=27918 vsize=9625040 CPUtime=3.53 cores=0,2,4,6
/proc/27921/task/27924/stat : 27924 (java) S 27918 27921 24760 0 -1 4202560 1013 0 0 0 328 25 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789913779112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27925] ppid=27918 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/27921/task/27925/stat : 27925 (java) S 27918 27921 24760 0 -1 4202560 934 0 0 0 324 24 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789912726568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27926] ppid=27918 vsize=9625040 CPUtime=3.35 cores=0,2,4,6
/proc/27921/task/27926/stat : 27926 (java) S 27918 27921 24760 0 -1 4202560 868 0 0 0 314 21 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789709863592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27927] ppid=27918 vsize=9625040 CPUtime=3.44 cores=0,2,4,6
/proc/27921/task/27927/stat : 27927 (java) S 27918 27921 24760 0 -1 4202560 885 0 0 0 321 23 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789708811048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27928] ppid=27918 vsize=9625040 CPUtime=3.69 cores=0,2,4,6
/proc/27921/task/27928/stat : 27928 (java) S 27918 27921 24760 0 -1 4202560 932 0 0 0 343 26 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789707757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27929] ppid=27918 vsize=9625040 CPUtime=3.5 cores=0,2,4,6
/proc/27921/task/27929/stat : 27929 (java) S 27918 27921 24760 0 -1 4202560 731 0 0 0 324 26 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789706705448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27930] ppid=27918 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/27921/task/27930/stat : 27930 (java) S 27918 27921 24760 0 -1 4202560 794 0 0 0 329 20 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789705652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27931] ppid=27918 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/27921/task/27931/stat : 27931 (java) S 27918 27921 24760 0 -1 4202560 1177 0 0 0 339 23 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789704599848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27932] ppid=27918 vsize=9625040 CPUtime=5.59 cores=0,2,4,6
/proc/27921/task/27932/stat : 27932 (java) S 27918 27921 24760 0 -1 4202560 71514 0 0 0 522 37 0 0 20 0 19 0 27311845 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789692402536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27933] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27933/stat : 27933 (java) S 27918 27921 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789691348856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27934] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27934/stat : 27934 (java) S 27918 27921 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789690295688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27935] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27935/stat : 27935 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789689244432 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27936] ppid=27918 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/27921/task/27936/stat : 27936 (java) S 27918 27921 24760 0 -1 4202560 3995 0 0 0 55 0 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789688191288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27937] ppid=27918 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/27921/task/27937/stat : 27937 (java) S 27918 27921 24760 0 -1 4202560 3044 0 0 0 41 0 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789687138744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27938] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27938/stat : 27938 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789686085880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27939] ppid=27918 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/27921/task/27939/stat : 27939 (java) S 27918 27921 24760 0 -1 4202560 103 0 0 0 35 31 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789685033544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27940] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27940/stat : 27940 (java) S 27918 27921 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27311990 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789683979816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 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 27921 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1779.91 s]
/proc/loadavg: 2.16 2.21 2.18 3/213 28050
/proc/meminfo: memFree=28716364/32872528 swapFree=1556504/1720024
[pid=27921] ppid=27918 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/27921/stat : 27921 (java) S 27918 27921 24760 0 -1 4202496 105602 0 1 0 179687 316 0 0 20 0 19 0 27311842 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 140737084576144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27921/statm: 2406260 194345 2286 9 0 2396937 0
[pid=27921/tid=27923] ppid=27918 vsize=9625040 CPUtime=1760.64 cores=0,2,4,6
/proc/27921/task/27923/stat : 27923 (java) R 27918 27921 24760 0 -1 4202560 18354 0 1 0 175969 95 0 0 20 0 19 0 27311843 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789935676528 139789794436936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27924] ppid=27918 vsize=9625040 CPUtime=3.53 cores=0,2,4,6
/proc/27921/task/27924/stat : 27924 (java) S 27918 27921 24760 0 -1 4202560 1013 0 0 0 328 25 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789913779112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27925] ppid=27918 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/27921/task/27925/stat : 27925 (java) S 27918 27921 24760 0 -1 4202560 934 0 0 0 324 24 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789912726568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27926] ppid=27918 vsize=9625040 CPUtime=3.35 cores=0,2,4,6
/proc/27921/task/27926/stat : 27926 (java) S 27918 27921 24760 0 -1 4202560 868 0 0 0 314 21 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789709863592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27927] ppid=27918 vsize=9625040 CPUtime=3.44 cores=0,2,4,6
/proc/27921/task/27927/stat : 27927 (java) S 27918 27921 24760 0 -1 4202560 885 0 0 0 321 23 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789708811048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27928] ppid=27918 vsize=9625040 CPUtime=3.69 cores=0,2,4,6
/proc/27921/task/27928/stat : 27928 (java) S 27918 27921 24760 0 -1 4202560 932 0 0 0 343 26 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789707757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27929] ppid=27918 vsize=9625040 CPUtime=3.5 cores=0,2,4,6
/proc/27921/task/27929/stat : 27929 (java) S 27918 27921 24760 0 -1 4202560 731 0 0 0 324 26 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789706705448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27930] ppid=27918 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/27921/task/27930/stat : 27930 (java) S 27918 27921 24760 0 -1 4202560 794 0 0 0 329 20 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789705652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27931] ppid=27918 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/27921/task/27931/stat : 27931 (java) S 27918 27921 24760 0 -1 4202560 1177 0 0 0 339 23 0 0 20 0 19 0 27311844 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789704599848 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27921/tid=27932] ppid=27918 vsize=9625040 CPUtime=5.59 cores=0,2,4,6
/proc/27921/task/27932/stat : 27932 (java) S 27918 27921 24760 0 -1 4202560 71514 0 0 0 522 37 0 0 20 0 19 0 27311845 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789692402536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27933] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27933/stat : 27933 (java) S 27918 27921 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789691348856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27934] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27934/stat : 27934 (java) S 27918 27921 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27311846 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789690295688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27935] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27935/stat : 27935 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789689244432 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27936] ppid=27918 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/27921/task/27936/stat : 27936 (java) S 27918 27921 24760 0 -1 4202560 3995 0 0 0 55 0 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789688191288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27921/tid=27937] ppid=27918 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/27921/task/27937/stat : 27937 (java) S 27918 27921 24760 0 -1 4202560 3044 0 0 0 41 0 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789687138744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27938] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27938/stat : 27938 (java) S 27918 27921 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789686085880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27921/tid=27939] ppid=27918 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/27921/task/27939/stat : 27939 (java) S 27918 27921 24760 0 -1 4202560 103 0 0 0 35 31 0 0 20 0 19 0 27311848 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789685033544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27921/tid=27940] ppid=27918 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27921/task/27940/stat : 27940 (java) S 27918 27921 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27311990 9856040960 194345 33554432000 1073741824 1073778376 140737084585008 139789683979816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27921 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=639477
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=651444
# CPU time returned by wait4() is 1796.29
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1779.94
CPU time (s): 1800.03
CPU user time (s): 1796.87
CPU system time (s): 3.16
CPU usage (%): 101.129
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.64
system time used= 3.65144
maximum resident set size= 2993520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105643
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66779
involuntary context switches= 81670

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8324 second user time and 13.334 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-18 14:23:52
IDJOB=4103860
IDBENCH=2486
IDSOLVER=2546
FILE ID=node117/4103860-1466252632
RUNJOBID= node117-1466230712-24776
PBS_JOBID= 19918181
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103860-1466252632/watcher-4103860-1466252632 -o /tmp/evaluation-result-4103860-1466252632/solver-4103860-1466252632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466230712-24776 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103860-1466252632.opb

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

MD5SUM BENCH= bb1646c210ed722ee76932cafe9701aa
RANDOM SEED=98840974

node117.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.912
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.82
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.912
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.912
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.912
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.912
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.54
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.912
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.912
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.54
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.912
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:        29555776 kB
Buffers:          118852 kB
Cached:           255752 kB
SwapCached:            0 kB
Active:           566524 kB
Inactive:         275428 kB
Active(anon):     459368 kB
Inactive(anon):    10636 kB
Active(file):     107156 kB
Inactive(file):   264792 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7812 kB
Writeback:             0 kB
AnonPages:       2199676 kB
Mapped:            21120 kB
Shmem:               204 kB
Slab:             620436 kB
SReclaimable:      64060 kB
SUnreclaim:       556376 kB
KernelStack:        1760 kB
PageTables:         8244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2342368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    604160 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= 71732 MiB
End job on node117 at 2016-06-18 14:53:32