Trace number 4097951

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.06 1794.34

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_13.opb
MD5SUM33399b9fd213ab3fb29f26b2f1270bc6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small 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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6006
Total number of constraints29342
Number of constraints which are clauses29337
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint77
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 90
Number of bits of the biggest sum of numbers7
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4097951-1466119079.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
1.15/0.88	c ... done. Wall clock time 0.784s.
1.15/0.88	c declared #vars     6006
1.15/0.88	c #constraints  29346
1.15/0.88	c constraints type 
1.15/0.88	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17556
1.15/0.88	c org.sat4j.specs.Constr$1 => 4
1.15/0.88	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
1.15/0.88	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
1.15/0.88	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11780
1.15/0.88	c 29346 constraints processed.
3.16/2.40	c cleaning 2496 clauses out of 5001 with flag 36310/5001
5.24/4.47	c cleaning 4249 clauses out of 8504 with flag 81978/11000
7.34/6.57	c cleaning 5624 clauses out of 11257 with flag 142439/18002
9.66/8.90	c cleaning 6816 clauses out of 13631 with flag 209313/26000
12.09/11.27	c cleaning 7904 clauses out of 15816 with flag 286031/35001
14.49/13.66	c cleaning 8947 clauses out of 17911 with flag 344994/45000
17.50/16.65	c cleaning 9976 clauses out of 19964 with flag 417864/56000
20.89/20.05	c cleaning 10994 clauses out of 21988 with flag 506470/68000
24.59/23.74	c cleaning 11988 clauses out of 23994 with flag 603626/81000
28.69/27.82	c cleaning 13001 clauses out of 26006 with flag 708223/95000
33.18/32.39	c cleaning 14003 clauses out of 28005 with flag 828374/110000
37.99/37.11	c cleaning 14992 clauses out of 30005 with flag 956644/126003
42.88/42.00	c cleaning 16004 clauses out of 32011 with flag 1082702/143001
47.48/46.60	c cleaning 16999 clauses out of 34009 with flag 1200676/161003
52.78/51.94	c cleaning 18000 clauses out of 36007 with flag 1336715/180000
58.49/57.61	c cleaning 18998 clauses out of 38007 with flag 1486249/200000
63.41/62.54	c cleaning 19996 clauses out of 40011 with flag 1626634/221002
69.01/68.10	c cleaning 21002 clauses out of 42013 with flag 1778997/243000
74.81/73.98	c cleaning 22004 clauses out of 44011 with flag 1957342/266000
80.51/79.62	c cleaning 22996 clauses out of 46007 with flag 2112658/290000
86.41/85.54	c cleaning 23993 clauses out of 48011 with flag 2281822/315000
93.71/92.87	c cleaning 24991 clauses out of 50019 with flag 2456626/341001
101.07/100.18	c cleaning 26011 clauses out of 52028 with flag 2655327/368001
109.17/108.22	c cleaning 26991 clauses out of 54016 with flag 2843214/396000
117.27/116.34	c cleaning 28010 clauses out of 56029 with flag 3051605/425004
125.87/124.91	c cleaning 28993 clauses out of 58015 with flag 3274678/455000
133.87/132.91	c cleaning 29981 clauses out of 60022 with flag 3482575/486000
143.17/142.22	c cleaning 31017 clauses out of 62042 with flag 3715431/518001
151.97/151.03	c cleaning 32011 clauses out of 64026 with flag 3964933/551002
160.79/159.73	c cleaning 33001 clauses out of 66013 with flag 4192219/585000
170.39/169.35	c cleaning 33978 clauses out of 68014 with flag 4443592/620002
180.59/179.55	c cleaning 34977 clauses out of 70034 with flag 4701876/656000
191.59/190.55	c cleaning 35992 clauses out of 72058 with flag 4973087/693001
200.99/199.99	c cleaning 37022 clauses out of 74065 with flag 5226312/731000
212.59/211.59	c cleaning 37959 clauses out of 76043 with flag 5514903/770000
224.72/223.54	c cleaning 39032 clauses out of 78084 with flag 5799358/810000
236.73/235.57	c cleaning 40021 clauses out of 80052 with flag 6102648/851000
248.42/247.25	c cleaning 41004 clauses out of 82032 with flag 6393725/893001
260.34/259.08	c cleaning 41995 clauses out of 84030 with flag 6685436/936003
271.45/270.19	c cleaning 42999 clauses out of 86032 with flag 6961424/980000
283.85/282.59	c cleaning 44008 clauses out of 88033 with flag 7267031/1025000
296.79/295.36	c cleaning 44977 clauses out of 90026 with flag 7578951/1071001
309.39/307.99	c cleaning 46003 clauses out of 92052 with flag 7900746/1118004
323.12/321.53	c cleaning 47000 clauses out of 94045 with flag 8252629/1166000
334.93/333.33	c cleaning 48013 clauses out of 96045 with flag 8556357/1215000
350.25/348.52	c cleaning 49014 clauses out of 98035 with flag 8915564/1265003
362.95/361.22	c cleaning 50003 clauses out of 100019 with flag 9234241/1316001
375.19/373.33	c cleaning 50994 clauses out of 102016 with flag 9524161/1368001
390.30/388.44	c cleaning 51995 clauses out of 104027 with flag 9875923/1421006
404.14/402.16	c cleaning 52997 clauses out of 106026 with flag 10199081/1475000
420.87/418.70	c cleaning 54002 clauses out of 108029 with flag 10579333/1530000
436.07/433.91	c cleaning 54982 clauses out of 110027 with flag 10933019/1586000
452.73/450.52	c cleaning 56014 clauses out of 112047 with flag 11318454/1643002
468.93/466.77	c cleaning 57014 clauses out of 114031 with flag 11709939/1701000
485.90/483.60	c cleaning 57943 clauses out of 116017 with flag 12123151/1760000
503.27/500.99	c cleaning 59031 clauses out of 118076 with flag 12527024/1820002
522.07/519.75	c cleaning 60002 clauses out of 120043 with flag 12920762/1881000
543.77/541.44	c cleaning 60998 clauses out of 122042 with flag 13393499/1943001
565.24/562.87	c cleaning 61984 clauses out of 124045 with flag 13880018/2006002
586.84/584.42	c cleaning 62989 clauses out of 126059 with flag 14326453/2070000
609.31/606.80	c cleaning 64000 clauses out of 128070 with flag 14809672/2135000
631.42/628.94	c cleaning 64992 clauses out of 130071 with flag 15274167/2201001
653.33/650.78	c cleaning 66034 clauses out of 132078 with flag 15722303/2268000
675.29/672.66	c cleaning 67019 clauses out of 134044 with flag 16168207/2336000
696.01/693.29	c cleaning 67951 clauses out of 136025 with flag 16561391/2405000
721.90/719.04	c cleaning 69037 clauses out of 138074 with flag 17139031/2475000
747.01/744.12	c cleaning 70005 clauses out of 140043 with flag 17684151/2546006
772.29/769.33	c cleaning 71011 clauses out of 142032 with flag 18190683/2618000
797.78/794.75	c cleaning 71960 clauses out of 144024 with flag 18698756/2691003
823.72/820.65	c cleaning 73027 clauses out of 146062 with flag 19220075/2765001
851.80/848.63	c cleaning 73981 clauses out of 148034 with flag 19788476/2840000
879.21/876.03	c cleaning 75011 clauses out of 150056 with flag 20379686/2916003
907.70/904.43	c cleaning 75999 clauses out of 152048 with flag 20941794/2993006
937.11/933.88	c cleaning 76999 clauses out of 154044 with flag 21546048/3071001
966.35/963.05	c cleaning 77976 clauses out of 156045 with flag 22159398/3150001
993.93/990.54	c cleaning 79030 clauses out of 158068 with flag 22748427/3230000
1023.61/1020.16	c cleaning 79994 clauses out of 160038 with flag 23369963/3311000
1052.11/1048.68	c cleaning 81010 clauses out of 162044 with flag 23954518/3393000
1081.44/1077.83	c cleaning 82013 clauses out of 164036 with flag 24539091/3476002
1114.05/1110.41	c cleaning 83009 clauses out of 166025 with flag 25186268/3560004
1145.30/1141.65	c cleaning 83988 clauses out of 168013 with flag 25794908/3645001
1177.26/1173.50	c cleaning 85005 clauses out of 170024 with flag 26426788/3731000
1209.69/1205.85	c cleaning 85996 clauses out of 172019 with flag 27027621/3818000
1238.42/1234.49	c cleaning 87010 clauses out of 174028 with flag 27575303/3906005
1268.89/1264.80	c cleaning 87964 clauses out of 176013 with flag 28130141/3995000
1303.82/1299.75	c cleaning 89018 clauses out of 178050 with flag 28806327/4085001
1338.69/1334.56	c cleaning 89938 clauses out of 180031 with flag 29467510/4176000
1375.28/1371.01	c cleaning 91017 clauses out of 182093 with flag 30167996/4268000
1410.78/1406.43	c cleaning 92011 clauses out of 184076 with flag 30815789/4361000
1446.61/1442.13	c cleaning 93025 clauses out of 186065 with flag 31473642/4455000
1479.88/1475.15	c cleaning 93999 clauses out of 188040 with flag 32054098/4550000
1518.34/1513.50	c cleaning 95009 clauses out of 190043 with flag 32765644/4646002
1555.85/1550.98	c cleaning 95973 clauses out of 192033 with flag 33433555/4743001
1595.55/1590.55	c cleaning 97002 clauses out of 194059 with flag 34166276/4841000
1634.66/1629.59	c cleaning 98023 clauses out of 196057 with flag 34879646/4940000
1676.33/1671.19	c cleaning 99007 clauses out of 198034 with flag 35634922/5040000
1717.89/1712.47	c cleaning 100005 clauses out of 200028 with flag 36373706/5141001
1758.32/1752.72	c cleaning 101011 clauses out of 202023 with flag 37081090/5243001
1800.06/1794.30	c starts		: 20204
1800.06/1794.30	c conflicts		: 5346001
1800.06/1794.30	c decisions		: 52183766
1800.06/1794.30	c propagations		: 1751022748
1800.06/1794.30	c inspects		: 25119724143
1800.06/1794.30	c shortcuts		: 0
1800.06/1794.30	c learnt literals	: 0
1800.06/1794.30	c learnt binary clauses	: 0
1800.06/1794.30	c learnt ternary clauses	: 0
1800.06/1794.30	c learnt constraints	: 5346001
1800.06/1794.30	c ignored constraints	: 0
1800.06/1794.30	c root simplifications	: 0
1800.06/1794.30	c removed literals (reason simplification)	: 0
1800.06/1794.30	c reason swapping (by a shorter reason)	: 0
1800.06/1794.30	c Calls to reduceDB	: 99
1800.06/1794.30	c Number of update (reduction) of LBD	: 2914641
1800.06/1794.30	c Imported unit clauses	: 0
1800.06/1794.30	c number of reductions to clauses (during analyze)	: 0
1800.06/1794.30	c number of learned constraints concerned by reduction	: 0
1800.06/1794.30	c number of learning phase by resolution	: 0
1800.06/1794.30	c number of learning phase by cutting planes	: 0
1800.06/1794.30	c speed (assignments/second)	: 976363.9074568476
1800.06/1794.30	c non guided choices	4713
1800.06/1794.33	c learnt constraints type 
1800.06/1794.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 204012
1800.06/1794.33	s UNKNOWN
1800.06/1794.33	c Total wall clock time (in seconds): 1794.233

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-4097951-1466119079/watcher-4097951-1466119079 -o /tmp/evaluation-result-4097951-1466119079/solver-4097951-1466119079 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466119076-27824 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4097951-1466119079.opb 

pid=27933
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: 1.04 1.04 1.23 3/194 27936
/proc/meminfo: memFree=31546044/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 13958315 98570240 978 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 24065 978 744 9 0 16771 0
[pid=27936/tid=27937] ppid=27933 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 13958315 98570240 978 33554432000 1073741824 1073778376 140734988108944 140501587148328 247064249728 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 1.04 1.04 1.23 3/194 27936
/proc/meminfo: memFree=31546044/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 4507 0 1 0 10 1 0 0 20 0 18 0 13958315 9787879424 6130 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2389619 6130 2157 9 0 2380296 0
[pid=27936/tid=27937] ppid=27933 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2378 0 1 0 7 1 0 0 20 0 18 0 13958315 9787879424 6130 33554432000 1073741824 1073778376 140734988108944 140501587151776 247067632909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200388 s]
/proc/loadavg: 1.04 1.04 1.23 3/194 27936
/proc/meminfo: memFree=31546044/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 6053 0 1 0 30 1 0 0 20 0 18 0 13958315 9787879424 8058 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2389619 8058 2222 9 0 2380296 0
[pid=27936/tid=27937] ppid=27933 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2399 0 1 0 16 2 0 0 20 0 18 0 13958315 9787879424 8058 33554432000 1073741824 1073778376 140734988108944 140501587151776 140501416603144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300363 s]
/proc/loadavg: 1.04 1.04 1.23 3/194 27936
/proc/meminfo: memFree=31546044/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9558476 CPUtime=0.59 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 7119 0 1 0 57 2 0 0 20 0 18 0 13958315 9787879424 11756 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2389619 11756 2240 9 0 2380296 0
[pid=27936/tid=27937] ppid=27933 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2405 0 1 0 26 2 0 0 20 0 18 0 13958315 9787879424 11756 33554432000 1073741824 1073778376 140734988108944 140501587151776 247067632909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476

[startup+0.700347 s]
/proc/loadavg: 1.04 1.04 1.23 3/194 27936
/proc/meminfo: memFree=31546044/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9558476 CPUtime=1 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 7199 0 1 0 96 4 0 0 20 0 18 0 13958315 9787879424 39938 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2389619 39938 2256 9 0 2380296 0
[pid=27936/tid=27937] ppid=27933 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2463 0 1 0 64 3 0 0 20 0 18 0 13958315 9787879424 39938 33554432000 1073741824 1073778376 140734988108944 140501587152280 247067632909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 9558476

[startup+1.50084 s]
/proc/loadavg: 1.04 1.04 1.23 3/213 27955
/proc/meminfo: memFree=31374276/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 8916 0 1 0 219 4 0 0 20 0 19 0 13958315 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2406260 41152 2280 9 0 2396937 0
[pid=27936/tid=27937] ppid=27933 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2478 0 1 0 144 3 0 0 20 0 19 0 13958315 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501587151864 140501416791400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27939] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 21438 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501548645416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27940] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501547592616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27941] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501546539816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27942] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 21438 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501545487016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27943] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501544434216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27944] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501543381416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27945] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501542328616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27946] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501541275816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27947] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501410880488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27948] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501409826552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27949] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501408773640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27950] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501407722128 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27951] ppid=27933 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 21438 0 -1 4202560 2824 0 0 0 37 0 0 0 20 0 19 0 13958319 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501406669240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27952] ppid=27933 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/27936/task/27952/stat : 27952 (java) S 27933 27936 21438 0 -1 4202560 2322 0 0 0 35 0 0 0 20 0 19 0 13958319 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501405616440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27953] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27953/stat : 27953 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501404563832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27954] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27954/stat : 27954 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501403511240 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27955] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27955/stat : 27955 (java) S 27933 27936 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13958404 9856040960 41152 33554432000 1073741824 1073778376 140734988108944 140501402457768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 1.04 1.04 1.23 3/213 27955
/proc/meminfo: memFree=31373028/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 9036 0 1 0 387 4 0 0 20 0 19 0 13958315 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2406260 41192 2285 9 0 2396937 0
[pid=27936/tid=27937] ppid=27933 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2479 0 1 0 303 3 0 0 20 0 19 0 13958315 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501587153480 140501416768032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27939] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 21438 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501548645416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27940] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501547592616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27941] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501546539816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27942] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 21438 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501545487016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27943] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501544434216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27944] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501543381416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27945] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501542328616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27946] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501541275816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27947] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501410880488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27948] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501409826552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27949] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501408773640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27950] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501407722128 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27951] ppid=27933 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 21438 0 -1 4202560 2826 0 0 0 39 0 0 0 20 0 19 0 13958319 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501406669240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27952] ppid=27933 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/27936/task/27952/stat : 27952 (java) S 27933 27936 21438 0 -1 4202560 2438 0 0 0 41 0 0 0 20 0 19 0 13958319 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501405616440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27953] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27953/stat : 27953 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501404563832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27954] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27954/stat : 27954 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501403511240 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27955] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27955/stat : 27955 (java) S 27933 27936 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13958404 9856040960 41192 33554432000 1073741824 1073778376 140734988108944 140501402457768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 1.11 1.05 1.23 3/213 27955
/proc/meminfo: memFree=31380532/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9625040 CPUtime=7.14 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 9038 0 1 0 710 4 0 0 20 0 19 0 13958315 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2406260 41137 2285 9 0 2396937 0
[pid=27936/tid=27937] ppid=27933 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2481 0 1 0 623 3 0 0 20 0 19 0 13958315 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501587153208 140501416841252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27939] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 21438 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501548645416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27940] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501547592616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27941] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501546539816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27942] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 21438 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501545487016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27943] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501544434216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27944] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501543381416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27945] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501542328616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27946] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13958316 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501541275816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27947] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 21438 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501410880488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27948] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501409826552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27949] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501408773640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27950] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501407722128 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27951] ppid=27933 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 21438 0 -1 4202560 2826 0 0 0 40 0 0 0 20 0 19 0 13958319 9856040960 41137 33554432000 1073741824 1073778376 140734988108944 140501406669240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27952] ppid=27933 vsize=9625040 CPUtime=0.42 cores=1,3,5,7

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

[pid=27936/tid=27955] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27955/stat : 27955 (java) S 27933 27936 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13958404 9856040960 115333 33554432000 1073741824 1073778376 140734988108944 140501402457768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.83
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.98 2.04 1.91 3/213 27999
/proc/meminfo: memFree=30798820/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9625040 CPUtime=1787.96 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 13232 0 1 0 178695 101 0 0 20 0 19 0 13958315 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2406260 114019 2294 9 0 2396937 0
[pid=27936/tid=27937] ppid=27933 vsize=9625040 CPUtime=1775.22 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2539 0 1 0 177493 29 0 0 20 0 19 0 13958315 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501587152176 140501416826515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27939] ppid=27933 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 21438 0 -1 4202560 468 0 0 0 60 6 0 0 20 0 19 0 13958316 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501548645416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27940] ppid=27933 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 21438 0 -1 4202560 596 0 0 0 69 10 0 0 20 0 19 0 13958316 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501547592616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27941] ppid=27933 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 21438 0 -1 4202560 452 0 0 0 61 7 0 0 20 0 19 0 13958316 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501546539816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27942] ppid=27933 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 21438 0 -1 4202560 480 0 0 0 68 5 0 0 20 0 19 0 13958316 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501545487016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27943] ppid=27933 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 21438 0 -1 4202560 435 0 0 0 75 8 0 0 20 0 19 0 13958316 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501544434216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27944] ppid=27933 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 21438 0 -1 4202560 287 0 0 0 71 7 0 0 20 0 19 0 13958316 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501543381416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27945] ppid=27933 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 21438 0 -1 4202560 687 0 0 0 60 8 0 0 20 0 19 0 13958316 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501542328616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27946] ppid=27933 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 21438 0 -1 4202560 314 0 0 0 68 7 0 0 20 0 19 0 13958316 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501541275816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27947] ppid=27933 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 21438 0 -1 4202560 340 0 0 0 74 3 0 0 20 0 19 0 13958317 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501410880488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27948] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501409826552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27949] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501408773640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27950] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501407722128 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27951] ppid=27933 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 21438 0 -1 4202560 2828 0 0 0 42 0 0 0 20 0 19 0 13958319 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501406669240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27952] ppid=27933 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27936/task/27952/stat : 27952 (java) S 27933 27936 21438 0 -1 4202560 2445 0 0 0 47 0 0 0 20 0 19 0 13958319 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501405616440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27953] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27953/stat : 27953 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501404563832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27954] ppid=27933 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/27936/task/27954/stat : 27954 (java) S 27933 27936 21438 0 -1 4202560 103 0 0 0 30 39 0 0 20 0 19 0 13958319 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501403511240 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27955] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27955/stat : 27955 (java) S 27933 27936 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13958404 9856040960 114019 33554432000 1073741824 1073778376 140734988108944 140501402457768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.96
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.3 s]
/proc/loadavg: 1.98 2.04 1.91 2/188 28032
/proc/meminfo: memFree=31236432/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 13235 0 1 0 179904 102 0 0 20 0 19 0 13958315 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2406260 113506 2294 9 0 2396937 0
[pid=27936/tid=27937] ppid=27933 vsize=9625040 CPUtime=1787.15 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2540 0 1 0 178685 30 0 0 20 0 19 0 13958315 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501587152176 140501416818497 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27939] ppid=27933 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 21438 0 -1 4202560 468 0 0 0 64 6 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501548645416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27940] ppid=27933 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 21438 0 -1 4202560 596 0 0 0 70 10 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501547592616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27941] ppid=27933 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 21438 0 -1 4202560 452 0 0 0 63 7 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501546539816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27942] ppid=27933 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 21438 0 -1 4202560 480 0 0 0 69 5 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501545487016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27943] ppid=27933 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 21438 0 -1 4202560 435 0 0 0 76 8 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501544434216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27944] ppid=27933 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 21438 0 -1 4202560 287 0 0 0 72 7 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501543381416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27945] ppid=27933 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 21438 0 -1 4202560 687 0 0 0 64 8 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501542328616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27946] ppid=27933 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 21438 0 -1 4202560 314 0 0 0 69 7 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501541275816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27947] ppid=27933 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 21438 0 -1 4202560 342 0 0 0 74 3 0 0 20 0 19 0 13958317 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501410880488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27948] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501409826552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27949] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501408773640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27950] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501407722128 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27951] ppid=27933 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 21438 0 -1 4202560 2828 0 0 0 42 0 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501406669240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27952] ppid=27933 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27936/task/27952/stat : 27952 (java) S 27933 27936 21438 0 -1 4202560 2445 0 0 0 47 0 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501405616440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27953] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27953/stat : 27953 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501404563832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27954] ppid=27933 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/27936/task/27954/stat : 27954 (java) S 27933 27936 21438 0 -1 4202560 103 0 0 0 30 39 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501403511240 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27955] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27955/stat : 27955 (java) S 27933 27936 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13958404 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501402457768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1794.3 s]
/proc/loadavg: 1.98 2.04 1.91 2/188 28032
/proc/meminfo: memFree=31236432/32872528 swapFree=248296/248296
[pid=27936] ppid=27933 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/27936/stat : 27936 (java) S 27933 27936 21438 0 -1 4202496 13235 0 1 0 179904 102 0 0 20 0 19 0 13958315 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140734988100080 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27936/statm: 2406260 113506 2294 9 0 2396937 0
[pid=27936/tid=27937] ppid=27933 vsize=9625040 CPUtime=1787.15 cores=1,3,5,7
/proc/27936/task/27937/stat : 27937 (java) R 27933 27936 21438 0 -1 4202560 2540 0 1 0 178685 30 0 0 20 0 19 0 13958315 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501587152176 140501416818497 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27939] ppid=27933 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 21438 0 -1 4202560 468 0 0 0 64 6 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501548645416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27940] ppid=27933 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 21438 0 -1 4202560 596 0 0 0 70 10 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501547592616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27941] ppid=27933 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 21438 0 -1 4202560 452 0 0 0 63 7 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501546539816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27942] ppid=27933 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 21438 0 -1 4202560 480 0 0 0 69 5 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501545487016 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27943] ppid=27933 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 21438 0 -1 4202560 435 0 0 0 76 8 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501544434216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27944] ppid=27933 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 21438 0 -1 4202560 287 0 0 0 72 7 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501543381416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27945] ppid=27933 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 21438 0 -1 4202560 687 0 0 0 64 8 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501542328616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27946] ppid=27933 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 21438 0 -1 4202560 314 0 0 0 69 7 0 0 20 0 19 0 13958316 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501541275816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27947] ppid=27933 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 21438 0 -1 4202560 342 0 0 0 74 3 0 0 20 0 19 0 13958317 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501410880488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27948] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501409826552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27949] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13958317 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501408773640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27950] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501407722128 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27951] ppid=27933 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 21438 0 -1 4202560 2828 0 0 0 42 0 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501406669240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27936/tid=27952] ppid=27933 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27936/task/27952/stat : 27952 (java) S 27933 27936 21438 0 -1 4202560 2445 0 0 0 47 0 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501405616440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27936/tid=27953] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27953/stat : 27953 (java) S 27933 27936 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501404563832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27936/tid=27954] ppid=27933 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/27936/task/27954/stat : 27954 (java) S 27933 27936 21438 0 -1 4202560 103 0 0 0 30 39 0 0 20 0 19 0 13958319 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501403511240 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27936/tid=27955] ppid=27933 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27936/task/27955/stat : 27955 (java) S 27933 27936 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13958404 9856040960 113506 33554432000 1073741824 1073778376 140734988108944 140501402457768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27936 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=450202
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=450779
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.34
CPU time (s): 1800.06
CPU user time (s): 1799.04
CPU system time (s): 1.02
CPU usage (%): 100.319
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.45
system time used= 1.45078
maximum resident set size= 623608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13271
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39514
involuntary context switches= 10005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1997 second user time and 8.97564 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-17 01:17:59
IDJOB=4097951
IDBENCH=107830
IDSOLVER=2546
FILE ID=node103/4097951-1466119079
RUNJOBID= node103-1466119076-27824
PBS_JOBID= 19904050
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_13.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097951-1466119079/watcher-4097951-1466119079 -o /tmp/evaluation-result-4097951-1466119079/solver-4097951-1466119079 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466119076-27824 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4097951-1466119079.opb

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

MD5SUM BENCH= 33399b9fd213ab3fb29f26b2f1270bc6
RANDOM SEED=1487479310

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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:        31546688 kB
Buffers:           52120 kB
Cached:           124800 kB
SwapCached:        41796 kB
Active:           235708 kB
Inactive:         133876 kB
Active(anon):     153328 kB
Inactive(anon):    41288 kB
Active(file):      82380 kB
Inactive(file):    92588 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67059980 kB
Dirty:              9468 kB
Writeback:             0 kB
AnonPages:        405936 kB
Mapped:            15212 kB
Shmem:                 0 kB
Slab:             570528 kB
SReclaimable:      14176 kB
SUnreclaim:       556352 kB
KernelStack:        1648 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     935256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 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= 71728 MiB
End job on node103 at 2016-06-17 01:47:53