Trace number 4101565

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.02 1797.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb
MD5SUM93a0ff34a98f6d4593d65282fbf98be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21960
Total number of constraints750
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints750
Minimum length of a constraint31
Maximum length of a constraint372
Number of terms in the objective function 11160
Biggest coefficient in the objective function 1295
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 533310
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533310
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4101565-1466224034.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  objective function found
0.83/0.46	c ... done. Wall clock time 0.347s.
0.83/0.46	c declared #vars     21960
0.83/0.46	c #constraints  1110
0.83/0.46	c constraints type 
0.83/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1110
0.83/0.46	c 1110 constraints processed.
0.83/0.46	c objective function length is 11160 literals
1.71/0.94	c cleaning 2496 clauses out of 4999 with flag 11550/5000
2.18/1.34	c cleaning 4248 clauses out of 8503 with flag 25584/11000
2.68/1.84	c cleaning 5627 clauses out of 11255 with flag 41909/18000
3.40/2.51	c cleaning 6815 clauses out of 13629 with flag 59871/26001
4.22/3.37	c cleaning 7908 clauses out of 15816 with flag 80904/35003
5.32/4.44	c cleaning 8948 clauses out of 17906 with flag 102576/45001
6.52/5.65	c cleaning 9979 clauses out of 19957 with flag 127093/56000
7.71/6.87	c cleaning 10990 clauses out of 21981 with flag 154478/68003
9.32/8.40	c cleaning 11975 clauses out of 23988 with flag 184608/81000
11.02/10.19	c cleaning 12997 clauses out of 26013 with flag 218482/95000
13.12/12.22	c cleaning 14008 clauses out of 28016 with flag 254821/110000
15.52/14.65	c cleaning 15004 clauses out of 30008 with flag 291553/126000
18.42/17.58	c cleaning 15998 clauses out of 32004 with flag 331955/143000
21.51/20.66	c cleaning 16998 clauses out of 34006 with flag 373960/161000
23.91/23.09	c cleaning 18004 clauses out of 36008 with flag 415509/180000
26.91/26.00	c cleaning 19002 clauses out of 38005 with flag 459823/200001
29.91/29.00	c cleaning 19993 clauses out of 40002 with flag 506496/221000
33.02/32.12	c cleaning 20997 clauses out of 42009 with flag 553018/243000
36.62/35.72	c cleaning 22003 clauses out of 44013 with flag 601709/266001
40.68/39.75	c cleaning 23001 clauses out of 46009 with flag 652534/290000
45.27/44.39	c cleaning 24005 clauses out of 48009 with flag 707388/315001
50.27/49.31	c cleaning 25000 clauses out of 50003 with flag 768903/341000
54.27/53.36	c cleaning 26002 clauses out of 52003 with flag 831821/368000
58.97/58.00	c cleaning 26993 clauses out of 54002 with flag 904419/396001
64.17/63.29	c cleaning 27998 clauses out of 56012 with flag 975149/425004
69.57/68.64	c cleaning 29001 clauses out of 58010 with flag 1050122/455000
75.97/75.10	c cleaning 29997 clauses out of 60009 with flag 1127817/486000
82.57/81.69	c cleaning 30993 clauses out of 62012 with flag 1206702/518000
89.08/88.19	c cleaning 32009 clauses out of 64020 with flag 1289938/551001
96.17/95.22	c cleaning 33000 clauses out of 66012 with flag 1371515/585002
102.37/101.40	c cleaning 33999 clauses out of 68012 with flag 1450850/620002
110.78/109.86	c cleaning 35000 clauses out of 70012 with flag 1541073/656001
118.18/117.24	c cleaning 36000 clauses out of 72012 with flag 1631254/693001
126.07/125.06	c cleaning 36996 clauses out of 74011 with flag 1720187/731000
134.47/133.45	c cleaning 38004 clauses out of 76017 with flag 1819783/770002
142.27/141.24	c cleaning 39006 clauses out of 78012 with flag 1923169/810001
150.47/149.47	c cleaning 40002 clauses out of 80006 with flag 2033659/851001
159.37/158.36	c cleaning 40998 clauses out of 82004 with flag 2141921/893001
168.07/167.01	c cleaning 41992 clauses out of 84006 with flag 2253532/936001
177.96/176.99	c cleaning 42998 clauses out of 86013 with flag 2365009/980000
187.97/186.96	c cleaning 44003 clauses out of 88015 with flag 2473765/1025000
199.48/198.43	c cleaning 44987 clauses out of 90013 with flag 2588306/1071001
210.98/209.94	c cleaning 46013 clauses out of 92027 with flag 2707169/1118002
222.55/221.40	c cleaning 46990 clauses out of 94012 with flag 2826162/1166000
234.36/233.25	c cleaning 48014 clauses out of 96027 with flag 2942109/1215005
246.05/244.95	c cleaning 48997 clauses out of 98008 with flag 3060744/1265000
258.45/257.32	c cleaning 50006 clauses out of 100012 with flag 3182023/1316001
271.05/269.94	c cleaning 51002 clauses out of 102007 with flag 3308975/1368002
284.76/283.65	c cleaning 51993 clauses out of 104003 with flag 3434495/1421000
298.86/297.71	c cleaning 53000 clauses out of 106010 with flag 3564002/1475000
313.77/312.66	c cleaning 54003 clauses out of 108014 with flag 3699645/1530004
329.20/327.91	c cleaning 54994 clauses out of 110007 with flag 3832219/1586000
344.61/343.33	c cleaning 56000 clauses out of 112013 with flag 3970317/1643000
361.80/360.52	c cleaning 57004 clauses out of 114015 with flag 4109582/1701002
378.90/377.66	c cleaning 57998 clauses out of 116010 with flag 4252712/1760001
395.39/394.11	c cleaning 59000 clauses out of 118012 with flag 4392403/1820001
412.51/411.28	c cleaning 60000 clauses out of 120011 with flag 4535124/1881000
429.61/428.30	c cleaning 61003 clauses out of 122012 with flag 4680550/1943001
447.75/446.34	c cleaning 61998 clauses out of 124009 with flag 4828483/2006001
467.96/466.54	c cleaning 63005 clauses out of 126012 with flag 4984724/2070002
488.16/486.74	c cleaning 63997 clauses out of 128006 with flag 5150633/2135001
511.26/509.85	c cleaning 65004 clauses out of 130009 with flag 5311853/2201001
533.77/532.32	c cleaning 65998 clauses out of 132004 with flag 5471435/2268000
555.98/554.52	c cleaning 67001 clauses out of 134009 with flag 5633370/2336003
579.78/578.35	c cleaning 67988 clauses out of 136005 with flag 5803906/2405000
604.18/602.67	c cleaning 69002 clauses out of 138017 with flag 5965174/2475000
631.28/629.72	c cleaning 70000 clauses out of 140016 with flag 6134818/2546001
657.67/656.14	c cleaning 71004 clauses out of 142018 with flag 6310013/2618003
687.97/686.43	c cleaning 71996 clauses out of 144011 with flag 6479697/2691000
718.47/716.97	c cleaning 73000 clauses out of 146017 with flag 6650021/2765002
747.22/745.51	c cleaning 73997 clauses out of 148016 with flag 6829003/2840001
777.83/776.11	c cleaning 75002 clauses out of 150020 with flag 7007322/2916002
811.13/809.44	c cleaning 75998 clauses out of 152016 with flag 7199662/2993000
843.64/841.93	c cleaning 77003 clauses out of 154018 with flag 7387685/3071000
879.66/877.92	c cleaning 78002 clauses out of 156015 with flag 7586535/3150000
915.08/913.24	c cleaning 79003 clauses out of 158014 with flag 7778528/3230001
950.69/948.88	c cleaning 79993 clauses out of 160010 with flag 7975881/3311000
987.01/985.15	c cleaning 81006 clauses out of 162017 with flag 8172579/3393000
1020.62/1018.76	c cleaning 81997 clauses out of 164011 with flag 8378536/3476000
1061.03/1059.19	c cleaning 82996 clauses out of 166014 with flag 8582991/3560000
1102.45/1100.48	c cleaning 84006 clauses out of 168019 with flag 8789915/3645001
1151.76/1149.75	c cleaning 85001 clauses out of 170012 with flag 8996141/3731000
1200.07/1198.04	c cleaning 86003 clauses out of 172012 with flag 9199871/3818001
1254.18/1252.15	c cleaning 86998 clauses out of 174010 with flag 9409373/3906002
1303.22/1301.02	c cleaning 87999 clauses out of 176010 with flag 9620728/3995000
1351.63/1349.41	c cleaning 89001 clauses out of 178011 with flag 9832348/4085000
1399.54/1397.33	c cleaning 89999 clauses out of 180010 with flag 10045243/4176000
1453.75/1451.59	c cleaning 91003 clauses out of 182013 with flag 10267455/4268002
1504.37/1502.00	c cleaning 91993 clauses out of 184008 with flag 10493408/4361000
1558.69/1556.37	c cleaning 93001 clauses out of 186019 with flag 10717400/4455004
1603.80/1601.48	c cleaning 93993 clauses out of 188014 with flag 10954415/4550000
1654.71/1652.36	c cleaning 95003 clauses out of 190021 with flag 11184684/4646000
1711.21/1708.77	c cleaning 96007 clauses out of 192018 with flag 11422444/4743000
1776.32/1773.83	c cleaning 96992 clauses out of 194011 with flag 11673766/4841000
1800.02/1797.51	c starts		: 4383
1800.02/1797.51	c conflicts		: 4894369
1800.02/1797.51	c decisions		: 9796617
1800.02/1797.51	c propagations		: 177496067
1800.02/1797.51	c inspects		: 34728823823
1800.02/1797.51	c shortcuts		: 0
1800.02/1797.51	c learnt literals	: 1
1800.02/1797.51	c learnt binary clauses	: 6
1800.02/1797.51	c learnt ternary clauses	: 3
1800.02/1797.51	c learnt constraints	: 4894368
1800.02/1797.51	c ignored constraints	: 0
1800.02/1797.51	c root simplifications	: 0
1800.02/1797.51	c removed literals (reason simplification)	: 0
1800.02/1797.51	c reason swapping (by a shorter reason)	: 0
1800.02/1797.51	c Calls to reduceDB	: 94
1800.02/1797.51	c Number of update (reduction) of LBD	: 1019289
1800.02/1797.51	c Imported unit clauses	: 0
1800.02/1797.51	c number of reductions to clauses (during analyze)	: 0
1800.02/1797.51	c timeout
1800.02/1797.51	c number of learned constraints concerned by reduction	: 0
1800.02/1797.51	c number of learning phase by resolution	: 0
1800.02/1797.51	c number of learning phase by cutting planes	: 0
1800.02/1797.51	c speed (assignments/second)	: 98773.76855596785
1800.02/1797.51	c non guided choices	47
1800.02/1797.53	c learnt constraints type 
1800.02/1797.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 6
1800.02/1797.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 150382
1800.02/1797.53	s UNKNOWN
1800.02/1797.53	c Total wall clock time (in seconds): 1797.421

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-4101565-1466224034/watcher-4101565-1466224034 -o /tmp/evaluation-result-4101565-1466224034/solver-4101565-1466224034 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101565-1466224034.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.20 2.19 4/196 8806
/proc/meminfo: memFree=29847872/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8806/stat : 8806 (java) R 8803 8806 4518 0 -1 4202496 530 0 0 0 0 0 0 0 20 0 1 0 24449790 9515008 182 33554432000 1073741824 1073778376 140736489282160 140736489264888 273905738679 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2323 184 142 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.11 2.20 2.19 4/196 8806
/proc/meminfo: memFree=29847872/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 4401 0 1 0 8 2 0 0 20 0 18 0 24449790 9787879424 6023 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2389619 6023 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200229 s]
/proc/loadavg: 2.11 2.20 2.19 4/196 8806
/proc/meminfo: memFree=29847872/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 5039 0 1 0 26 2 0 0 20 0 18 0 24449790 9787879424 6879 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2389619 6879 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300246 s]
/proc/loadavg: 2.11 2.20 2.19 4/196 8806
/proc/meminfo: memFree=29847872/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 9877 0 1 0 50 4 0 0 20 0 18 0 24449790 9787879424 12968 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2389619 12973 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700197 s]
/proc/loadavg: 2.11 2.20 2.19 4/196 8806
/proc/meminfo: memFree=29847872/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 11582 0 1 0 141 4 0 0 20 0 19 0 24449790 9856040960 23922 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2406260 23922 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.18 2.21 2.19 4/215 8825
/proc/meminfo: memFree=29758304/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9625040 CPUtime=2.38 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 11642 0 1 0 233 5 0 0 20 0 19 0 24449790 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2406260 25002 2271 9 0 2396937 0
[pid=8806/tid=8808] ppid=8803 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/8806/task/8808/stat : 8808 (java) R 8803 8806 4518 0 -1 4202560 2434 0 1 0 143 2 0 0 20 0 19 0 24449791 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140673035514280 140672880059855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 4518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672879290664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672878237864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672877185576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672876132776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672875080488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672874027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672872975400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672871922600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24449793 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672389593320 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672388539384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672387486984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672386435472 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 4518 0 -1 4202560 4288 0 0 0 47 2 0 0 20 0 19 0 24449796 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672385383096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 4518 0 -1 4202560 3642 0 0 0 40 0 0 0 20 0 19 0 24449796 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672384330296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672383278200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672382225608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8825/stat : 8825 (java) S 8803 8806 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24449842 9856040960 25002 33554432000 1073741824 1073778376 140736489282160 140672381170600 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.18 2.21 2.19 4/215 8825
/proc/meminfo: memFree=29752904/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 11645 0 1 0 397 5 0 0 20 0 19 0 24449790 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2406260 26026 2271 9 0 2396937 0
[pid=8806/tid=8808] ppid=8803 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/8806/task/8808/stat : 8808 (java) R 8803 8806 4518 0 -1 4202560 2437 0 1 0 302 3 0 0 20 0 19 0 24449791 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140673035514136 140672880020506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 4518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672879290664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672878237864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672877185576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672876132776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672875080488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672874027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672872975400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672871922600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24449793 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672389593320 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672388539384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672387486984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672386435472 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 4518 0 -1 4202560 4288 0 0 0 50 2 0 0 20 0 19 0 24449796 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672385383096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 4518 0 -1 4202560 3642 0 0 0 41 0 0 0 20 0 19 0 24449796 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672384330296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672383278200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672382225608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8825/stat : 8825 (java) S 8803 8806 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24449842 9856040960 26026 33554432000 1073741824 1073778376 140736489282160 140672381170600 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.18 2.21 2.19 3/215 8825
/proc/meminfo: memFree=29742740/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9625040 CPUtime=7.21 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 11652 0 1 0 716 5 0 0 20 0 19 0 24449790 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2406260 28463 2272 9 0 2396937 0
[pid=8806/tid=8808] ppid=8803 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/8806/task/8808/stat : 8808 (java) R 8803 8806 4518 0 -1 4202560 2443 0 1 0 621 3 0 0 20 0 19 0 24449791 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140673035505344 140672880058944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 4518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672879290664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672878237864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672877185576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672876132776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672875080488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672874027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672872975400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24449792 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672871922600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24449793 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672389593320 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672388539384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672387486984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672386435472 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 4518 0 -1 4202560 4288 0 0 0 50 2 0 0 20 0 19 0 24449796 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672385383096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 4518 0 -1 4202560 3642 0 0 0 41 0 0 0 20 0 19 0 24449796 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672384330296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672383278200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 4518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672382225608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8825/stat : 8825 (java) S 8803 8806 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24449842 9856040960 28463 33554432000 1073741824 1073778376 140736489282160 140672381170600 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 9625040


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

[pid=8806/tid=8825] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8825/stat : 8825 (java) S 8803 8806 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24449842 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672381170600 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.81
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.38 2.26 2.19 3/215 8935
/proc/meminfo: memFree=28650516/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9625040 CPUtime=1784.82 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 13152 0 1 0 178407 75 0 0 20 0 19 0 24449790 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2406260 124485 2286 9 0 2396937 0
[pid=8806/tid=8808] ppid=8803 vsize=9625040 CPUtime=1777.19 cores=1,3,5,7
/proc/8806/task/8808/stat : 8808 (java) R 8803 8806 4518 0 -1 4202560 2484 0 1 0 177688 31 0 0 20 0 19 0 24449791 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140673035505344 140672880020506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 4518 0 -1 4202560 207 0 0 0 19 5 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672879290664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 4518 0 -1 4202560 67 0 0 0 15 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672878237864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 4518 0 -1 4202560 213 0 0 0 13 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672877185576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 4518 0 -1 4202560 70 0 0 0 15 3 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672876132776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 4518 0 -1 4202560 195 0 0 0 16 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672875080488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 4518 0 -1 4202560 247 0 0 0 19 5 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672874027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 4518 0 -1 4202560 69 0 0 0 15 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672872975400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 4518 0 -1 4202560 206 0 0 0 17 5 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672871922600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 4518 0 -1 4202560 90 0 0 0 0 2 0 0 20 0 19 0 24449793 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672389593320 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672388539384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672387486984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672386435472 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 4518 0 -1 4202560 4295 0 0 0 53 2 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672385383096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 4518 0 -1 4202560 3642 0 0 0 41 0 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672384330296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672383278200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 4518 0 -1 4202560 104 0 0 0 29 43 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672382225608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8825/stat : 8825 (java) S 8803 8806 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24449842 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672381170600 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.82
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.51 s]
/proc/loadavg: 2.29 2.25 2.19 3/215 8936
/proc/meminfo: memFree=28650368/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 13152 0 1 0 179927 75 0 0 20 0 19 0 24449790 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2406260 124485 2286 9 0 2396937 0
[pid=8806/tid=8808] ppid=8803 vsize=9625040 CPUtime=1792.36 cores=1,3,5,7
/proc/8806/task/8808/stat : 8808 (java) R 8803 8806 4518 0 -1 4202560 2484 0 1 0 179205 31 0 0 20 0 19 0 24449791 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140673035505344 140672880020506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 4518 0 -1 4202560 207 0 0 0 19 5 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672879290664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 4518 0 -1 4202560 67 0 0 0 15 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672878237864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 4518 0 -1 4202560 213 0 0 0 13 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672877185576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 4518 0 -1 4202560 70 0 0 0 15 3 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672876132776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 4518 0 -1 4202560 195 0 0 0 16 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672875080488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 4518 0 -1 4202560 247 0 0 0 19 5 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672874027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 4518 0 -1 4202560 69 0 0 0 15 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672872975400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 4518 0 -1 4202560 206 0 0 0 17 5 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672871922600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 4518 0 -1 4202560 90 0 0 0 0 2 0 0 20 0 19 0 24449793 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672389593320 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672388539384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672387486984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672386435472 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 4518 0 -1 4202560 4295 0 0 0 53 2 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672385383096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 4518 0 -1 4202560 3642 0 0 0 41 0 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672384330296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672383278200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 4518 0 -1 4202560 104 0 0 0 30 43 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672382225608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8825/stat : 8825 (java) S 8803 8806 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24449842 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672381170600 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 8806 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.51 s]
/proc/loadavg: 2.29 2.25 2.19 3/215 8936
/proc/meminfo: memFree=28650368/32872528 swapFree=1482636/1662508
[pid=8806] ppid=8803 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/8806/stat : 8806 (java) S 8803 8806 4518 0 -1 4202496 13152 0 1 0 179927 75 0 0 20 0 19 0 24449790 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140736489273296 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8806/statm: 2406260 124485 2286 9 0 2396937 0
[pid=8806/tid=8808] ppid=8803 vsize=9625040 CPUtime=1792.36 cores=1,3,5,7
/proc/8806/task/8808/stat : 8808 (java) R 8803 8806 4518 0 -1 4202560 2484 0 1 0 179205 31 0 0 20 0 19 0 24449791 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140673035505344 140672880020506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 4518 0 -1 4202560 207 0 0 0 19 5 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672879290664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 4518 0 -1 4202560 67 0 0 0 15 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672878237864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 4518 0 -1 4202560 213 0 0 0 13 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672877185576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 4518 0 -1 4202560 70 0 0 0 15 3 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672876132776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 4518 0 -1 4202560 195 0 0 0 16 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672875080488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 4518 0 -1 4202560 247 0 0 0 19 5 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672874027688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 4518 0 -1 4202560 69 0 0 0 15 4 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672872975400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 4518 0 -1 4202560 206 0 0 0 17 5 0 0 20 0 19 0 24449792 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672871922600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 4518 0 -1 4202560 90 0 0 0 0 2 0 0 20 0 19 0 24449793 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672389593320 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672388539384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24449794 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672387486984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672386435472 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 4518 0 -1 4202560 4295 0 0 0 53 2 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672385383096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 4518 0 -1 4202560 3642 0 0 0 41 0 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672384330296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672383278200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 4518 0 -1 4202560 104 0 0 0 30 43 0 0 20 0 19 0 24449796 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672382225608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8806/task/8825/stat : 8825 (java) S 8803 8806 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24449842 9856040960 124485 33554432000 1073741824 1073778376 140736489282160 140672381170600 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1797.54
CPU time (s): 1800.02
CPU user time (s): 1799.27
CPU system time (s): 0.75
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 1.27281
maximum resident set size= 498060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13187
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38357
involuntary context switches= 4615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8805 second user time and 14.4438 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 06:27:14
IDJOB=4101565
IDBENCH=1766
IDSOLVER=2546
FILE ID=node134/4101565-1466224034
RUNJOBID= node134-1466206058-4535
PBS_JOBID= 19918143
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101565-1466224034/watcher-4101565-1466224034 -o /tmp/evaluation-result-4101565-1466224034/solver-4101565-1466224034 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101565-1466224034.opb

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

MD5SUM BENCH= 93a0ff34a98f6d4593d65282fbf98be9
RANDOM SEED=2089577292

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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.020
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:        29848144 kB
Buffers:          109508 kB
Cached:            93352 kB
SwapCached:         1008 kB
Active:           483448 kB
Inactive:         144264 kB
Active(anon):     425712 kB
Inactive(anon):     1616 kB
Active(file):      57736 kB
Inactive(file):   142648 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100112 kB
Dirty:              1664 kB
Writeback:             0 kB
AnonPages:       2090780 kB
Mapped:            15376 kB
Shmem:                 0 kB
Slab:             599560 kB
SReclaimable:      43140 kB
SUnreclaim:       556420 kB
KernelStack:        1600 kB
PageTables:         8508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2210616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    595968 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= 71712 MiB
End job on node134 at 2016-06-18 06:57:11