Trace number 4107020

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.01 1794.34

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_40.opb
MD5SUM9cbb63659aad73a7ceefd89db6573bef
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6148
Sum of products size (including duplicates)12296
Number of different products3074
Sum of products size6148

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@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4107020-1466284155.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
0.49/0.39	c ... done. Wall clock time 0.288s.
0.49/0.39	c declared #vars     200
0.49/0.39	c internal #vars     3274
0.49/0.39	c #constraints  6451
0.49/0.39	c constraints type 
0.49/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3074
0.49/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
0.49/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.49/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3074
0.49/0.39	c 6451 constraints processed.
1.94/0.98	c cleaning 2495 clauses out of 5001 with flag 19522/5001
2.29/1.28	c cleaning 4253 clauses out of 8505 with flag 43410/11000
2.71/1.60	c cleaning 5622 clauses out of 11252 with flag 65980/18000
3.13/2.01	c cleaning 6812 clauses out of 13630 with flag 90899/26000
3.54/2.48	c cleaning 7898 clauses out of 15818 with flag 119710/35000
4.04/2.98	c cleaning 8947 clauses out of 17920 with flag 150407/45000
4.64/3.60	c cleaning 9981 clauses out of 19973 with flag 183364/56000
5.44/4.33	c cleaning 10985 clauses out of 21992 with flag 222727/68000
6.24/5.18	c cleaning 11998 clauses out of 24008 with flag 264635/81001
7.14/6.09	c cleaning 12997 clauses out of 26010 with flag 309259/95001
8.14/7.07	c cleaning 13996 clauses out of 28012 with flag 358218/110000
9.24/8.15	c cleaning 14995 clauses out of 30017 with flag 406532/126001
10.54/9.40	c cleaning 16002 clauses out of 32023 with flag 459907/143002
11.84/10.77	c cleaning 17002 clauses out of 34019 with flag 515771/161000
13.24/12.19	c cleaning 18001 clauses out of 36019 with flag 574576/180002
15.10/13.90	c cleaning 18998 clauses out of 38016 with flag 644244/200000
16.90/15.73	c cleaning 19990 clauses out of 40018 with flag 713925/221000
18.70/17.55	c cleaning 21005 clauses out of 42030 with flag 794487/243002
20.61/19.44	c cleaning 22001 clauses out of 44023 with flag 870065/266000
22.91/21.72	c cleaning 23000 clauses out of 46022 with flag 944481/290000
25.11/23.93	c cleaning 24000 clauses out of 48024 with flag 1024059/315002
27.51/26.39	c cleaning 24996 clauses out of 50022 with flag 1111312/341000
30.21/29.06	c cleaning 26002 clauses out of 52026 with flag 1206376/368000
33.01/31.87	c cleaning 27004 clauses out of 54027 with flag 1302001/396003
36.21/35.03	c cleaning 28002 clauses out of 56021 with flag 1388194/425001
39.27/38.00	c cleaning 28994 clauses out of 58018 with flag 1482179/455000
42.57/41.36	c cleaning 30002 clauses out of 60026 with flag 1581025/486002
46.07/44.80	c cleaning 31003 clauses out of 62024 with flag 1681165/518002
49.67/48.41	c cleaning 31988 clauses out of 64020 with flag 1780299/551001
53.57/52.38	c cleaning 33002 clauses out of 66032 with flag 1887989/585001
57.57/56.37	c cleaning 33999 clauses out of 68030 with flag 2004840/620001
61.97/60.78	c cleaning 35004 clauses out of 70032 with flag 2124211/656002
66.50/65.26	c cleaning 36001 clauses out of 72026 with flag 2246681/693000
71.10/69.80	c cleaning 36999 clauses out of 74027 with flag 2377400/731002
76.21/74.93	c cleaning 37993 clauses out of 76026 with flag 2502284/770000
81.50/80.23	c cleaning 39002 clauses out of 78034 with flag 2620903/810001
86.90/85.66	c cleaning 40008 clauses out of 80031 with flag 2749711/851000
92.21/91.00	c cleaning 40995 clauses out of 82025 with flag 2882571/893002
98.62/97.24	c cleaning 41996 clauses out of 84028 with flag 3018199/936000
104.92/103.56	c cleaning 43000 clauses out of 86034 with flag 3160445/980002
111.12/109.72	c cleaning 43993 clauses out of 88032 with flag 3307826/1025000
118.22/116.87	c cleaning 45003 clauses out of 90039 with flag 3470241/1071000
125.22/123.85	c cleaning 46010 clauses out of 92036 with flag 3622795/1118000
132.95/131.48	c cleaning 46992 clauses out of 94026 with flag 3784490/1166000
140.45/138.93	c cleaning 48003 clauses out of 96034 with flag 3952442/1215000
149.15/147.64	c cleaning 49002 clauses out of 98031 with flag 4119842/1265000
158.16/156.62	c cleaning 50008 clauses out of 100029 with flag 4278799/1316000
167.77/166.25	c cleaning 51001 clauses out of 102021 with flag 4465406/1368000
177.54/175.87	c cleaning 52001 clauses out of 104023 with flag 4643312/1421003
186.45/184.75	c cleaning 52992 clauses out of 106019 with flag 4816265/1475000
195.66/193.99	c cleaning 54005 clauses out of 108027 with flag 5000195/1530000
205.94/204.06	c cleaning 54984 clauses out of 110022 with flag 5187391/1586000
217.14/215.28	c cleaning 56002 clauses out of 112040 with flag 5367812/1643002
228.34/226.48	c cleaning 57002 clauses out of 114037 with flag 5542809/1701001
239.95/238.01	c cleaning 58001 clauses out of 116034 with flag 5743105/1760000
251.78/249.71	c cleaning 58996 clauses out of 118034 with flag 5943938/1820001
263.68/261.66	c cleaning 60006 clauses out of 120040 with flag 6137734/1881003
275.09/272.93	c cleaning 61009 clauses out of 122032 with flag 6372027/1943001
284.59/282.49	c cleaning 61996 clauses out of 124022 with flag 6601377/2006000
294.59/292.47	c cleaning 62990 clauses out of 126028 with flag 6840935/2070002
305.74/303.49	c cleaning 64010 clauses out of 128038 with flag 7078945/2135002
318.46/316.10	c cleaning 65000 clauses out of 130026 with flag 7310980/2201000
330.86/328.51	c cleaning 65987 clauses out of 132026 with flag 7543583/2268000
344.50/342.05	c cleaning 67011 clauses out of 134040 with flag 7770499/2336001
358.91/356.44	c cleaning 68006 clauses out of 136030 with flag 8018160/2405002
373.18/370.70	c cleaning 69003 clauses out of 138025 with flag 8276850/2475003
387.19/384.64	c cleaning 69998 clauses out of 140019 with flag 8507129/2546000
401.08/398.48	c cleaning 70996 clauses out of 142021 with flag 8732415/2618000
414.68/412.02	c cleaning 71990 clauses out of 144028 with flag 8942252/2691003
429.41/426.69	c cleaning 73007 clauses out of 146035 with flag 9174261/2765000
445.81/443.09	c cleaning 73996 clauses out of 148029 with flag 9437263/2840001
461.80/458.98	c cleaning 74991 clauses out of 150032 with flag 9688521/2916000
480.61/477.76	c cleaning 76004 clauses out of 152041 with flag 9951175/2993000
499.61/496.62	c cleaning 76996 clauses out of 154037 with flag 10243839/3071000
517.71/514.71	c cleaning 78011 clauses out of 156041 with flag 10548482/3150000
537.99/534.90	c cleaning 79008 clauses out of 158030 with flag 10841987/3230000
558.98/555.94	c cleaning 79994 clauses out of 160024 with flag 11149385/3311002
580.18/577.09	c cleaning 81004 clauses out of 162030 with flag 11443153/3393002
601.79/598.62	c cleaning 82001 clauses out of 164024 with flag 11740060/3476000
622.59/619.39	c cleaning 82994 clauses out of 166023 with flag 12032055/3560000
642.68/639.46	c cleaning 84002 clauses out of 168029 with flag 12308751/3645000
665.84/662.50	c cleaning 84988 clauses out of 170032 with flag 12608253/3731005
691.13/687.75	c cleaning 85999 clauses out of 172039 with flag 12916969/3818000
717.52/714.14	c cleaning 87012 clauses out of 174042 with flag 13201577/3906002
743.24/739.79	c cleaning 87999 clauses out of 176029 with flag 13480411/3995001
771.25/767.64	c cleaning 88996 clauses out of 178031 with flag 13765590/4085002
796.85/793.28	c cleaning 90002 clauses out of 180033 with flag 14037593/4176000
823.47/819.86	c cleaning 91000 clauses out of 182031 with flag 14324875/4268000
849.76/846.07	c cleaning 91995 clauses out of 184034 with flag 14620828/4361003
877.57/873.73	c cleaning 93005 clauses out of 186036 with flag 14926075/4455000
905.27/901.44	c cleaning 94002 clauses out of 188033 with flag 15239930/4550002
934.41/930.60	c cleaning 95005 clauses out of 190031 with flag 15544626/4646002
965.26/961.37	c cleaning 95998 clauses out of 192025 with flag 15843017/4743001
995.54/991.55	c cleaning 96989 clauses out of 194027 with flag 16157099/4841001
1028.27/1024.20	c cleaning 97998 clauses out of 196040 with flag 16470426/4940003
1059.55/1055.31	c cleaning 98997 clauses out of 198039 with flag 16780505/5040000
1090.15/1085.97	c cleaning 100002 clauses out of 200042 with flag 17079954/5141000
1118.78/1114.50	c cleaning 101000 clauses out of 202040 with flag 17387801/5243000
1153.65/1149.21	c cleaning 101994 clauses out of 204043 with flag 17715668/5346003
1187.91/1183.48	c cleaning 102997 clauses out of 206046 with flag 18025036/5450000
1223.48/1218.96	c cleaning 103991 clauses out of 208049 with flag 18326883/5555000
1262.76/1258.15	c cleaning 105000 clauses out of 210058 with flag 18660869/5661000
1302.40/1297.77	c cleaning 105996 clauses out of 212058 with flag 18992850/5768000
1340.62/1335.99	c cleaning 107008 clauses out of 214063 with flag 19323544/5876001
1381.26/1376.52	c cleaning 108003 clauses out of 216054 with flag 19655658/5985000
1423.61/1418.79	c cleaning 108997 clauses out of 218051 with flag 19992707/6095000
1469.29/1464.34	c cleaning 109996 clauses out of 220057 with flag 20334164/6206003
1515.17/1510.11	c cleaning 110998 clauses out of 222058 with flag 20671922/6318000
1560.63/1555.51	c cleaning 112006 clauses out of 224060 with flag 21009628/6431000
1601.91/1596.76	c cleaning 113012 clauses out of 226055 with flag 21371916/6545001
1639.20/1633.97	c cleaning 114014 clauses out of 228043 with flag 21787978/6660001
1673.36/1668.06	c cleaning 115013 clauses out of 230029 with flag 22211119/6776001
1718.99/1713.54	c cleaning 115995 clauses out of 232015 with flag 22663637/6893000
1756.94/1751.42	c cleaning 117004 clauses out of 234024 with flag 23092812/7011004
1798.72/1793.09	c cleaning 118000 clauses out of 236017 with flag 23515813/7130001
1800.01/1794.30	c starts		: 43
1800.01/1794.30	c conflicts		: 7136592
1800.01/1794.30	c decisions		: 12422236
1800.01/1794.30	c propagations		: 136825316
1800.01/1794.30	c inspects		: 29992632019
1800.01/1794.30	c shortcuts		: 0
1800.01/1794.30	c learnt literals	: 0
1800.01/1794.30	c learnt binary clauses	: 0
1800.01/1794.30	c learnt ternary clauses	: 12459
1800.01/1794.30	c learnt constraints	: 7136592
1800.01/1794.30	c ignored constraints	: 0
1800.01/1794.30	c root simplifications	: 0
1800.01/1794.30	c removed literals (reason simplification)	: 0
1800.01/1794.30	c reason swapping (by a shorter reason)	: 0
1800.01/1794.30	c Calls to reduceDB	: 115
1800.01/1794.30	c Number of update (reduction) of LBD	: 2506405
1800.01/1794.30	c Imported unit clauses	: 0
1800.01/1794.30	c number of reductions to clauses (during analyze)	: 0
1800.01/1794.30	c number of learned constraints concerned by reduction	: 0
1800.01/1794.30	c number of learning phase by resolution	: 0
1800.01/1794.30	c number of learning phase by cutting planes	: 0
1800.01/1794.30	c speed (assignments/second)	: 76272.11844518398
1800.01/1794.30	c non guided choices	3139
1800.01/1794.30	c timeout
1800.01/1794.33	c learnt constraints type 
1800.01/1794.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 124608
1800.01/1794.33	s UNKNOWN
1800.01/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-4107020-1466284155/watcher-4107020-1466284155 -o /tmp/evaluation-result-4107020-1466284155/solver-4107020-1466284155 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466276989-21400 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4107020-1466284155.opb 

pid=22390
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.02 2.02 2.00 3/194 22393
/proc/meminfo: memFree=31014896/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 1328 0 0 0 0 0 0 0 20 0 2 0 30465477 98635776 960 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 24065 960 728 9 0 16771 0
[pid=22393/tid=22394] ppid=22390 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 30465478 98570240 977 33554432000 1073741824 1073778376 140736502421456 139752642129448 251143210368 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 22393
/proc/meminfo: memFree=31014896/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 4489 0 1 0 10 1 0 0 20 0 18 0 30465477 9787879424 6119 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2389619 6119 2157 9 0 2380296 0
[pid=22393/tid=22394] ppid=22390 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2378 0 1 0 6 1 0 0 20 0 18 0 30465478 9787879424 6119 33554432000 1073741824 1073778376 140736502421456 139752642132896 251146593549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200265 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 22393
/proc/meminfo: memFree=31014896/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 4715 0 1 0 24 1 0 0 20 0 18 0 30465477 9787879424 6795 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2389619 6796 2213 9 0 2380296 0
[pid=22393/tid=22394] ppid=22390 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2400 0 1 0 16 1 0 0 20 0 18 0 30465478 9787879424 6796 33554432000 1073741824 1073778376 140736502421456 139752642132896 251146583096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300254 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 22393
/proc/meminfo: memFree=31014896/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 6220 0 1 0 47 2 0 0 20 0 18 0 30465477 9787879424 9392 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2389619 9392 2245 9 0 2380296 0
[pid=22393/tid=22394] ppid=22390 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2405 0 1 0 26 1 0 0 20 0 18 0 30465478 9787879424 9393 33554432000 1073741824 1073778376 140736502421456 139752642132896 139752649141422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700314 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 22393
/proc/meminfo: memFree=31014896/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9625040 CPUtime=1.62 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 14309 0 1 0 159 3 0 0 20 0 19 0 30465477 9856040960 16506 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2406260 16506 2266 9 0 2396937 0
[pid=22393/tid=22394] ppid=22390 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2418 0 1 0 66 1 0 0 20 0 19 0 30465478 9856040960 16506 33554432000 1073741824 1073778376 140736502421456 139752642134656 139752481971245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 22412
/proc/meminfo: memFree=30952956/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9625040 CPUtime=2.61 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 14325 0 1 0 258 3 0 0 20 0 19 0 30465477 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2406260 19076 2275 9 0 2396937 0
[pid=22393/tid=22394] ppid=22390 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2424 0 1 0 146 1 0 0 20 0 19 0 30465478 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752642133256 139752481902843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22396] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22396/stat : 22396 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752603626408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22397] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22397/stat : 22397 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752602573864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22398] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22398/stat : 22398 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752601520808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22399] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22399/stat : 22399 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752600468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22400] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22400/stat : 22400 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752481221032 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22401] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22401/stat : 22401 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752480168488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22402] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22402/stat : 22402 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752479115432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22403] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22403/stat : 22403 (java) S 22390 22393 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752478062888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22404] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22404/stat : 22404 (java) S 22390 22393 21384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30465479 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139752465865576 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22405] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22405/stat : 22405 (java) S 22390 22393 21384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139751860463480 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22406] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22406/stat : 22406 (java) S 22390 22393 21384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139751859410312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22407] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22407/stat : 22407 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139751858359056 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22408] ppid=22390 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/22393/task/22408/stat : 22408 (java) S 22390 22393 21384 0 -1 4202560 5427 0 0 0 60 0 0 0 20 0 19 0 30465482 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139751857305912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22409] ppid=22390 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/22393/task/22409/stat : 22409 (java) S 22390 22393 21384 0 -1 4202560 5203 0 0 0 49 1 0 0 20 0 19 0 30465482 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139751856253368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22410] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22410/stat : 22410 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139751855200504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22411] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22411/stat : 22411 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139751854148168 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22412] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22412/stat : 22412 (java) S 22390 22393 21384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30465517 9856040960 19076 33554432000 1073741824 1073778376 140736502421456 139751853094440 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 22412
/proc/meminfo: memFree=30938248/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9625040 CPUtime=4.24 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 14335 0 1 0 420 4 0 0 20 0 19 0 30465477 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2406260 23684 2275 9 0 2396937 0
[pid=22393/tid=22394] ppid=22390 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2434 0 1 0 306 1 0 0 20 0 19 0 30465478 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752642125520 139752481494947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22396] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22396/stat : 22396 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752603626408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22397] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22397/stat : 22397 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752602573864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22398] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22398/stat : 22398 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752601520808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22399] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22399/stat : 22399 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752600468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22400] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22400/stat : 22400 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752481221032 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22401] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22401/stat : 22401 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752480168488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22402] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22402/stat : 22402 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752479115432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22403] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22403/stat : 22403 (java) S 22390 22393 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752478062888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22404] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22404/stat : 22404 (java) S 22390 22393 21384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30465479 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139752465865576 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22405] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22405/stat : 22405 (java) S 22390 22393 21384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139751860463480 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22406] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22406/stat : 22406 (java) S 22390 22393 21384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139751859410312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22407] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22407/stat : 22407 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139751858359056 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22408] ppid=22390 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/22393/task/22408/stat : 22408 (java) S 22390 22393 21384 0 -1 4202560 5427 0 0 0 62 0 0 0 20 0 19 0 30465482 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139751857305912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22409] ppid=22390 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/22393/task/22409/stat : 22409 (java) S 22390 22393 21384 0 -1 4202560 5203 0 0 0 50 1 0 0 20 0 19 0 30465482 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139751856253368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22410] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22410/stat : 22410 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139751855200504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22411] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22411/stat : 22411 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139751854148168 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22412] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22412/stat : 22412 (java) S 22390 22393 21384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30465517 9856040960 23684 33554432000 1073741824 1073778376 140736502421456 139751853094440 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 22412
/proc/meminfo: memFree=30911520/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9625040 CPUtime=7.44 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 14351 0 1 0 740 4 0 0 20 0 19 0 30465477 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2406260 29587 2276 9 0 2396937 0
[pid=22393/tid=22394] ppid=22390 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2449 0 1 0 624 2 0 0 20 0 19 0 30465478 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752642125520 139752482078889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22396] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22396/stat : 22396 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752603626408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22397] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22397/stat : 22397 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752602573864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22398] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22398/stat : 22398 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752601520808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22399] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22399/stat : 22399 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752600468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22400] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22400/stat : 22400 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752481221032 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22401] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22401/stat : 22401 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752480168488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22402] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22402/stat : 22402 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752479115432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22403] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22403/stat : 22403 (java) S 22390 22393 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30465478 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752478062888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22404] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22404/stat : 22404 (java) S 22390 22393 21384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30465479 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139752465865576 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22405] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22405/stat : 22405 (java) S 22390 22393 21384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139751860463480 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22406] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22406/stat : 22406 (java) S 22390 22393 21384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139751859410312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22407] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22407/stat : 22407 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139751858359056 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22408] ppid=22390 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/22393/task/22408/stat : 22408 (java) S 22390 22393 21384 0 -1 4202560 5427 0 0 0 62 0 0 0 20 0 19 0 30465482 9856040960 29587 33554432000 1073741824 1073778376 140736502421456 139751857305912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22409] ppid=22390 vsize=9625040 CPUtime=0.51 cores=0,2,4,6

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

[pid=22393/tid=22412] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22412/stat : 22412 (java) S 22390 22393 21384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30465517 9856040960 113981 33554432000 1073741824 1073778376 140736502421456 139751853094440 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.78
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 5/213 22522
/proc/meminfo: memFree=30630004/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9625040 CPUtime=1787.92 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 18648 0 1 0 178709 83 0 0 20 0 19 0 30465477 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2406260 111981 2298 9 0 2396937 0
[pid=22393/tid=22394] ppid=22390 vsize=9625040 CPUtime=1775.15 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2531 0 1 0 177484 31 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752642133216 139752482078889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22396] ppid=22390 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/22393/task/22396/stat : 22396 (java) S 22390 22393 21384 0 -1 4202560 499 0 0 0 67 7 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752603626408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22397] ppid=22390 vsize=9625040 CPUtime=0.8 cores=0,2,4,6
/proc/22393/task/22397/stat : 22397 (java) S 22390 22393 21384 0 -1 4202560 336 0 0 0 74 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752602573864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22398] ppid=22390 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/22393/task/22398/stat : 22398 (java) S 22390 22393 21384 0 -1 4202560 492 0 0 0 71 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752601520808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22399] ppid=22390 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/22393/task/22399/stat : 22399 (java) S 22390 22393 21384 0 -1 4202560 370 0 0 0 65 7 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752600468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22400] ppid=22390 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/22393/task/22400/stat : 22400 (java) S 22390 22393 21384 0 -1 4202560 420 0 0 0 68 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752481221032 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22401] ppid=22390 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/22393/task/22401/stat : 22401 (java) S 22390 22393 21384 0 -1 4202560 522 0 0 0 63 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752480168488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22402] ppid=22390 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/22393/task/22402/stat : 22402 (java) S 22390 22393 21384 0 -1 4202560 582 0 0 0 73 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752479115432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22403] ppid=22390 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/22393/task/22403/stat : 22403 (java) S 22390 22393 21384 0 -1 4202560 629 0 0 0 71 7 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752478062888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22404] ppid=22390 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/22393/task/22404/stat : 22404 (java) S 22390 22393 21384 0 -1 4202560 273 0 0 0 63 3 0 0 20 0 19 0 30465479 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752465865576 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22405] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22405/stat : 22405 (java) S 22390 22393 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751860463480 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22406] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22406/stat : 22406 (java) S 22390 22393 21384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751859410312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22407] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22407/stat : 22407 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751858359056 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22408] ppid=22390 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/22393/task/22408/stat : 22408 (java) S 22390 22393 21384 0 -1 4202560 5427 0 0 0 62 0 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751857305912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22409] ppid=22390 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/22393/task/22409/stat : 22409 (java) S 22390 22393 21384 0 -1 4202560 5206 0 0 0 52 2 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751856253368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22410] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22410/stat : 22410 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751855200504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22411] ppid=22390 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/22393/task/22411/stat : 22411 (java) S 22390 22393 21384 0 -1 4202560 104 0 0 0 28 33 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751854148168 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22412] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22412/stat : 22412 (java) S 22390 22393 21384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30465517 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751853094440 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1787.92
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/213 22522
/proc/meminfo: memFree=30628012/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 18651 0 1 0 179918 83 0 0 20 0 19 0 30465477 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2406260 111981 2298 9 0 2396937 0
[pid=22393/tid=22394] ppid=22390 vsize=9625040 CPUtime=1787.08 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2532 0 1 0 178676 32 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752642125504 139752482078829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22396] ppid=22390 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/22393/task/22396/stat : 22396 (java) S 22390 22393 21384 0 -1 4202560 499 0 0 0 68 7 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752603626408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22397] ppid=22390 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/22393/task/22397/stat : 22397 (java) S 22390 22393 21384 0 -1 4202560 336 0 0 0 75 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752602573864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22398] ppid=22390 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/22393/task/22398/stat : 22398 (java) S 22390 22393 21384 0 -1 4202560 492 0 0 0 73 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752601520808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22399] ppid=22390 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/22393/task/22399/stat : 22399 (java) S 22390 22393 21384 0 -1 4202560 370 0 0 0 66 7 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752600468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22400] ppid=22390 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/22393/task/22400/stat : 22400 (java) S 22390 22393 21384 0 -1 4202560 420 0 0 0 70 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752481221032 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22401] ppid=22390 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/22393/task/22401/stat : 22401 (java) S 22390 22393 21384 0 -1 4202560 522 0 0 0 64 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752480168488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22402] ppid=22390 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/22393/task/22402/stat : 22402 (java) S 22390 22393 21384 0 -1 4202560 582 0 0 0 75 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752479115432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22403] ppid=22390 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/22393/task/22403/stat : 22403 (java) S 22390 22393 21384 0 -1 4202560 629 0 0 0 74 7 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752478062888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22404] ppid=22390 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/22393/task/22404/stat : 22404 (java) S 22390 22393 21384 0 -1 4202560 273 0 0 0 63 3 0 0 20 0 19 0 30465479 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752465865576 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22405] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22405/stat : 22405 (java) S 22390 22393 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751860463480 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22406] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22406/stat : 22406 (java) S 22390 22393 21384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751859410312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22407] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22407/stat : 22407 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751858359056 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22408] ppid=22390 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/22393/task/22408/stat : 22408 (java) S 22390 22393 21384 0 -1 4202560 5427 0 0 0 62 0 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751857305912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22409] ppid=22390 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/22393/task/22409/stat : 22409 (java) S 22390 22393 21384 0 -1 4202560 5206 0 0 0 52 2 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751856253368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22410] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22410/stat : 22410 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751855200504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22411] ppid=22390 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/22393/task/22411/stat : 22411 (java) S 22390 22393 21384 0 -1 4202560 106 0 0 0 29 33 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751854148168 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22412] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22412/stat : 22412 (java) S 22390 22393 21384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30465517 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751853094440 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 22393 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1794.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/213 22522
/proc/meminfo: memFree=30628012/32872528 swapFree=241348/274052
[pid=22393] ppid=22390 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/22393/stat : 22393 (java) S 22390 22393 21384 0 -1 4202496 18651 0 1 0 179918 83 0 0 20 0 19 0 30465477 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 140736502412592 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22393/statm: 2406260 111981 2298 9 0 2396937 0
[pid=22393/tid=22394] ppid=22390 vsize=9625040 CPUtime=1787.08 cores=0,2,4,6
/proc/22393/task/22394/stat : 22394 (java) R 22390 22393 21384 0 -1 4202560 2532 0 1 0 178676 32 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752642125504 139752482078829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22396] ppid=22390 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/22393/task/22396/stat : 22396 (java) S 22390 22393 21384 0 -1 4202560 499 0 0 0 68 7 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752603626408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22397] ppid=22390 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/22393/task/22397/stat : 22397 (java) S 22390 22393 21384 0 -1 4202560 336 0 0 0 75 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752602573864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22398] ppid=22390 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/22393/task/22398/stat : 22398 (java) S 22390 22393 21384 0 -1 4202560 492 0 0 0 73 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752601520808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22393/tid=22399] ppid=22390 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/22393/task/22399/stat : 22399 (java) S 22390 22393 21384 0 -1 4202560 370 0 0 0 66 7 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752600468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22400] ppid=22390 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/22393/task/22400/stat : 22400 (java) S 22390 22393 21384 0 -1 4202560 420 0 0 0 70 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752481221032 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22401] ppid=22390 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/22393/task/22401/stat : 22401 (java) S 22390 22393 21384 0 -1 4202560 522 0 0 0 64 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752480168488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22402] ppid=22390 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/22393/task/22402/stat : 22402 (java) S 22390 22393 21384 0 -1 4202560 582 0 0 0 75 6 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752479115432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22403] ppid=22390 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/22393/task/22403/stat : 22403 (java) S 22390 22393 21384 0 -1 4202560 629 0 0 0 74 7 0 0 20 0 19 0 30465478 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752478062888 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22404] ppid=22390 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/22393/task/22404/stat : 22404 (java) S 22390 22393 21384 0 -1 4202560 273 0 0 0 63 3 0 0 20 0 19 0 30465479 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139752465865576 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22405] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22405/stat : 22405 (java) S 22390 22393 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751860463480 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22406] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22406/stat : 22406 (java) S 22390 22393 21384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30465480 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751859410312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22407] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22407/stat : 22407 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751858359056 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22408] ppid=22390 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/22393/task/22408/stat : 22408 (java) S 22390 22393 21384 0 -1 4202560 5427 0 0 0 62 0 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751857305912 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22393/tid=22409] ppid=22390 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/22393/task/22409/stat : 22409 (java) S 22390 22393 21384 0 -1 4202560 5206 0 0 0 52 2 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751856253368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22410] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22410/stat : 22410 (java) S 22390 22393 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751855200504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22393/tid=22411] ppid=22390 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/22393/task/22411/stat : 22411 (java) S 22390 22393 21384 0 -1 4202560 106 0 0 0 29 33 0 0 20 0 19 0 30465482 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751854148168 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22393/tid=22412] ppid=22390 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22393/task/22412/stat : 22412 (java) S 22390 22393 21384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30465517 9856040960 111981 33554432000 1073741824 1073778376 140736502421456 139751853094440 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22393 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=648172
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=351794
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.01
#
# 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.01
CPU user time (s): 1799.18
CPU system time (s): 0.83
CPU usage (%): 100.316
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.65
system time used= 1.35179
maximum resident set size= 651732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18684
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39549
involuntary context switches= 22734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4928 second user time and 9.57354 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-18 23:09:15
IDJOB=4107020
IDBENCH=48371
IDSOLVER=2546
FILE ID=node107/4107020-1466284155
RUNJOBID= node107-1466276989-21400
PBS_JOBID= 19918269
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_2_40.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107020-1466284155/watcher-4107020-1466284155 -o /tmp/evaluation-result-4107020-1466284155/solver-4107020-1466284155 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466276989-21400 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4107020-1466284155.opb

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

MD5SUM BENCH= 9cbb63659aad73a7ceefd89db6573bef
RANDOM SEED=1381686685

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.953
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31015532 kB
Buffers:          162648 kB
Cached:           444868 kB
SwapCached:         3136 kB
Active:           335300 kB
Inactive:         498696 kB
Active(anon):     225940 kB
Inactive(anon):     2864 kB
Active(file):     109360 kB
Inactive(file):   495832 kB
Unevictable:      274052 kB
Mlocked:          241348 kB
SwapTotal:      67108856 kB
SwapFree:       67099620 kB
Dirty:              2168 kB
Writeback:             0 kB
AnonPages:        499076 kB
Mapped:            16968 kB
Shmem:                 0 kB
Slab:             617956 kB
SReclaimable:      60808 kB
SUnreclaim:       557148 kB
KernelStack:        1576 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1090104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node107 at 2016-06-18 23:39:09