Trace number 4101269

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb
MD5SUM7b9d3fef35f44b9f29a1eccedaaa362f
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 variables366703
Total number of constraints6084
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 constraints6084
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 187033
Biggest coefficient in the objective function 1278
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 704610
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 704610
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4101269-1466222210.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
4.29/2.82	c ... done. Wall clock time 2.71s.
4.29/2.82	c declared #vars     366703
4.29/2.82	c #constraints  12155
4.29/2.82	c constraints type 
4.29/2.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 501
4.29/2.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
4.29/2.82	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11651
4.29/2.82	c 12155 constraints processed.
4.29/2.82	c objective function length is 187033 literals
6.86/4.97	c cleaning 2487 clauses out of 5000 with flag 13116/5000
8.67/6.63	c cleaning 4248 clauses out of 8513 with flag 31656/11000
10.67/8.69	c cleaning 5628 clauses out of 11265 with flag 51074/18000
12.98/10.96	c cleaning 6812 clauses out of 13637 with flag 74018/26000
15.80/13.74	c cleaning 7902 clauses out of 15826 with flag 99754/35001
19.53/17.13	c cleaning 8953 clauses out of 17925 with flag 128072/45002
23.33/20.91	c cleaning 9969 clauses out of 19971 with flag 158386/56001
27.13/24.73	c cleaning 10990 clauses out of 22001 with flag 191280/68000
31.33/28.90	c cleaning 11994 clauses out of 24013 with flag 228811/81002
35.93/33.57	c cleaning 12996 clauses out of 26017 with flag 266359/95000
40.82/38.50	c cleaning 13987 clauses out of 28021 with flag 306677/110000
45.73/43.39	c cleaning 14987 clauses out of 30039 with flag 349676/126005
51.33/48.93	c cleaning 15998 clauses out of 32048 with flag 398448/143001
57.13/54.78	c cleaning 16996 clauses out of 34050 with flag 446842/161001
63.23/60.81	c cleaning 18016 clauses out of 36053 with flag 498973/180000
69.83/67.20	c cleaning 19001 clauses out of 38037 with flag 555122/200000
77.22/74.67	c cleaning 20007 clauses out of 40036 with flag 611409/221000
86.23/83.69	c cleaning 20999 clauses out of 42029 with flag 670460/243000
95.72/93.10	c cleaning 22017 clauses out of 44038 with flag 732093/266008
106.03/103.46	c cleaning 22999 clauses out of 46015 with flag 795760/290002
116.32/113.77	c cleaning 23981 clauses out of 48015 with flag 862115/315001
128.04/125.45	c cleaning 24994 clauses out of 50033 with flag 931589/341000
139.13/136.58	c cleaning 26013 clauses out of 52040 with flag 1001729/368001
150.13/147.53	c cleaning 26987 clauses out of 54028 with flag 1080200/396002
161.52/158.95	c cleaning 27996 clauses out of 56039 with flag 1158407/425000
174.33/171.79	c cleaning 29000 clauses out of 58043 with flag 1237677/455000
187.05/184.28	c cleaning 30011 clauses out of 60046 with flag 1319137/486003
203.75/200.92	c cleaning 31008 clauses out of 62032 with flag 1406562/518000
221.55/218.72	c cleaning 32002 clauses out of 64025 with flag 1492652/551001
239.65/236.83	c cleaning 32993 clauses out of 66022 with flag 1586843/585000
257.45/254.61	c cleaning 33993 clauses out of 68030 with flag 1678980/620001
273.45/270.70	c cleaning 35005 clauses out of 70036 with flag 1775787/656000
290.36/287.55	c cleaning 35997 clauses out of 72031 with flag 1872146/693000
307.43/304.44	c cleaning 36995 clauses out of 74034 with flag 1974133/731000
325.03/322.08	c cleaning 38017 clauses out of 76039 with flag 2080359/770000
344.04/341.03	c cleaning 38997 clauses out of 78024 with flag 2186138/810002
362.63/359.70	c cleaning 40008 clauses out of 80025 with flag 2293881/851000
384.74/381.78	c cleaning 40996 clauses out of 82017 with flag 2410786/893000
405.44/402.46	c cleaning 41995 clauses out of 84021 with flag 2523561/936000
425.44/422.45	c cleaning 42998 clauses out of 86026 with flag 2648799/980000
449.54/446.55	c cleaning 44001 clauses out of 88028 with flag 2767953/1025000
474.24/471.23	c cleaning 44996 clauses out of 90027 with flag 2889350/1071000
497.04/494.07	c cleaning 45999 clauses out of 92031 with flag 3022113/1118000
520.15/517.17	c cleaning 47011 clauses out of 94032 with flag 3150022/1166000
549.15/546.12	c cleaning 47999 clauses out of 96023 with flag 3281271/1215002
579.56/576.58	c cleaning 48999 clauses out of 98022 with flag 3411043/1265000
607.60/604.41	c cleaning 49989 clauses out of 100023 with flag 3545022/1316000
634.30/631.12	c cleaning 50999 clauses out of 102036 with flag 3686178/1368002
663.10/659.91	c cleaning 52014 clauses out of 104035 with flag 3825143/1421000
690.90/687.72	c cleaning 53005 clauses out of 106021 with flag 3964305/1475000
719.60/716.47	c cleaning 54005 clauses out of 108016 with flag 4109111/1530000
746.31/743.11	c cleaning 55002 clauses out of 110011 with flag 4264850/1586000
776.91/773.77	c cleaning 56001 clauses out of 112012 with flag 4424185/1643003
805.50/802.34	c cleaning 56997 clauses out of 114008 with flag 4584837/1701000
835.61/832.48	c cleaning 57997 clauses out of 116012 with flag 4750009/1760001
878.13/874.84	c cleaning 58985 clauses out of 118014 with flag 4922896/1820000
914.63/911.31	c cleaning 60001 clauses out of 120029 with flag 5095047/1881000
953.74/950.49	c cleaning 61007 clauses out of 122028 with flag 5277882/1943000
996.23/992.90	c cleaning 61983 clauses out of 124021 with flag 5459121/2006000
1037.84/1034.54	c cleaning 63002 clauses out of 126041 with flag 5642060/2070003
1076.24/1072.92	c cleaning 63990 clauses out of 128036 with flag 5837878/2135000
1119.85/1116.51	c cleaning 64994 clauses out of 130046 with flag 6028627/2201000
1164.26/1160.93	c cleaning 66003 clauses out of 132052 with flag 6219074/2268000
1205.17/1201.82	c cleaning 67008 clauses out of 134051 with flag 6422091/2336002
1252.37/1249.00	c cleaning 67994 clauses out of 136042 with flag 6617198/2405001
1300.44/1296.95	c cleaning 68995 clauses out of 138047 with flag 6816783/2475000
1343.73/1340.28	c cleaning 69987 clauses out of 140055 with flag 7017026/2546003
1386.25/1382.73	c cleaning 71008 clauses out of 142065 with flag 7220614/2618000
1439.95/1436.42	c cleaning 72009 clauses out of 144069 with flag 7428735/2691012
1490.77/1487.25	c cleaning 72986 clauses out of 146050 with flag 7634588/2765002
1543.47/1539.98	c cleaning 73996 clauses out of 148064 with flag 7841926/2840002
1592.28/1588.78	c cleaning 75015 clauses out of 150069 with flag 8051931/2916003
1619.28/1615.79	c cleaning 76026 clauses out of 152051 with flag 8253082/2993000
1672.29/1668.71	c cleaning 76999 clauses out of 154025 with flag 8409391/3071000
1763.61/1759.95	c cleaning 77997 clauses out of 156032 with flag 8567403/3150006
1800.01/1796.31	c starts		: 8
1800.01/1796.31	c conflicts		: 3210741
1800.01/1796.31	c decisions		: 9887296
1800.01/1796.31	c propagations		: 210290410
1800.01/1796.31	c inspects		: 22958999893
1800.01/1796.31	c shortcuts		: 0
1800.01/1796.31	c learnt literals	: 0
1800.01/1796.31	c learnt binary clauses	: 0
1800.01/1796.31	c learnt ternary clauses	: 0
1800.01/1796.31	c learnt constraints	: 3210741
1800.01/1796.31	c ignored constraints	: 0
1800.01/1796.31	c root simplifications	: 0
1800.01/1796.31	c removed literals (reason simplification)	: 0
1800.01/1796.31	c reason swapping (by a shorter reason)	: 0
1800.01/1796.31	c Calls to reduceDB	: 75
1800.01/1796.31	c Number of update (reduction) of LBD	: 907887
1800.01/1796.31	c Imported unit clauses	: 0
1800.01/1796.31	c number of reductions to clauses (during analyze)	: 0
1800.01/1796.31	c number of learned constraints concerned by reduction	: 0
1800.01/1796.31	c number of learning phase by resolution	: 0
1800.01/1796.31	c number of learning phase by cutting planes	: 0
1800.01/1796.31	c speed (assignments/second)	: 117264.94778042406
1800.01/1796.31	c non guided choices	641625
1800.01/1796.34	c learnt constraints type 
1800.01/1796.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 138770
1800.01/1796.34	s UNKNOWN
1800.01/1796.34	c Total wall clock time (in seconds): 1796.225

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-4101269-1466222210/watcher-4101269-1466222210 -o /tmp/evaluation-result-4101269-1466222210/solver-4101269-1466222210 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466206103-11895 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101269-1466222210.opb 

pid=14337
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.06 2.04 2.00 3/192 14340
/proc/meminfo: memFree=30951376/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/14340/stat : 14340 (java) R 14337 14340 11879 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 24271148 3653632 49 33554432000 1073741824 1073778376 140735344802800 140735344799928 235365559591 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 892 49 38 9 0 30 0

[startup+0.10016 s]
/proc/loadavg: 2.06 2.04 2.00 3/192 14340
/proc/meminfo: memFree=30951376/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 24271148 9787879424 6032 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2389619 6032 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200212 s]
/proc/loadavg: 2.06 2.04 2.00 3/192 14340
/proc/meminfo: memFree=30951376/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 5002 0 1 0 26 2 0 0 20 0 18 0 24271148 9787879424 9001 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2389619 9001 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300319 s]
/proc/loadavg: 2.06 2.04 2.00 3/192 14340
/proc/meminfo: memFree=30951376/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 5397 0 1 0 43 2 0 0 20 0 18 0 24271148 9787879424 15339 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2389619 15339 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700285 s]
/proc/loadavg: 2.06 2.04 2.00 3/192 14340
/proc/meminfo: memFree=30951376/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9558476 CPUtime=1.27 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 10631 0 1 0 120 7 0 0 20 0 18 0 24271148 9787879424 49465 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2389619 49465 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9558476

[startup+1.5007 s]
/proc/loadavg: 2.06 2.04 2.00 3/210 14358
/proc/meminfo: memFree=30646988/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9558476 CPUtime=2.43 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 11531 0 1 0 222 21 0 0 20 0 18 0 24271148 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2389619 99253 2262 9 0 2380296 0
[pid=14340/tid=14342] ppid=14337 vsize=9558476 CPUtime=1.32 cores=0,2,4,6
/proc/14340/task/14342/stat : 14342 (java) S 14337 14340 11879 0 -1 4202560 2514 0 1 0 127 5 0 0 20 0 18 0 24271149 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140536462376328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14343] ppid=14337 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/14340/task/14343/stat : 14343 (java) R 14337 14340 11879 0 -1 4202560 122 0 0 0 3 2 0 0 20 0 18 0 24271150 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140536434829744 140536469276207 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14344] ppid=14337 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/14340/task/14344/stat : 14344 (java) R 14337 14340 11879 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 18 0 24271150 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140536433777240 140536469274205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14345] ppid=14337 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/14340/task/14345/stat : 14345 (java) R 14337 14340 11879 0 -1 4202560 299 0 0 0 4 3 0 0 20 0 18 0 24271150 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140536432724264 140536466539280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14346] ppid=14337 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/14340/task/14346/stat : 14346 (java) R 14337 14340 11879 0 -1 4202560 120 0 0 0 4 2 0 0 20 0 18 0 24271150 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140536431671640 140536466134156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14347] ppid=14337 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/14340/task/14347/stat : 14347 (java) R 14337 14340 11879 0 -1 4202560 123 0 0 0 5 2 0 0 20 0 18 0 24271150 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140536301792472 140536469273497 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14348] ppid=14337 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/14340/task/14348/stat : 14348 (java) R 14337 14340 11879 0 -1 4202560 75 0 0 0 2 1 0 0 20 0 18 0 24271150 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140536300739672 140536469273480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14349] ppid=14337 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/14340/task/14349/stat : 14349 (java) R 14337 14340 11879 0 -1 4202560 132 0 0 0 5 3 0 0 20 0 18 0 24271150 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140536299686872 140536469275855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14350] ppid=14337 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/14340/task/14350/stat : 14350 (java) R 14337 14340 11879 0 -1 4202560 30 0 0 0 2 1 0 0 20 0 18 0 24271150 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140536298634072 140536466539136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14351] ppid=14337 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14351/stat : 14351 (java) S 14337 14340 11879 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 24271152 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140535816119688 235378095164 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14352] ppid=14337 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14352/stat : 14352 (java) S 14337 14340 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 24271152 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140535815066872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14353] ppid=14337 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14353/stat : 14353 (java) S 14337 14340 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 24271152 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140535814013960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14354] ppid=14337 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14354/stat : 14354 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24271154 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140535812962448 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14355] ppid=14337 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/14340/task/14355/stat : 14355 (java) S 14337 14340 11879 0 -1 4202560 2762 0 0 0 29 0 0 0 20 0 18 0 24271154 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140535811910584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14356] ppid=14337 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/14340/task/14356/stat : 14356 (java) S 14337 14340 11879 0 -1 4202560 4004 0 0 0 22 1 0 0 20 0 18 0 24271154 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140535810857784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14357] ppid=14337 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14357/stat : 14357 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24271154 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140535809805176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14358] ppid=14337 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14358/stat : 14358 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24271154 9787879424 99253 33554432000 1073741824 1073778376 140735344802800 140535808752584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9558476

[startup+3.1008 s]
/proc/loadavg: 2.05 2.04 2.00 3/210 14358
/proc/meminfo: memFree=30395584/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9625040 CPUtime=4.82 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 12231 0 1 0 449 33 0 0 20 0 19 0 24271148 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2406260 137625 2279 9 0 2396937 0
[pid=14340/tid=14342] ppid=14337 vsize=9625040 CPUtime=2.77 cores=0,2,4,6
/proc/14340/task/14342/stat : 14342 (java) R 14337 14340 11879 0 -1 4202560 2733 0 1 0 271 6 0 0 20 0 19 0 24271149 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140536462377600 140536313589498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14343] ppid=14337 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/14340/task/14343/stat : 14343 (java) S 14337 14340 11879 0 -1 4202560 153 0 0 0 7 3 0 0 20 0 19 0 24271150 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140536434829864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14344] ppid=14337 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/14340/task/14344/stat : 14344 (java) S 14337 14340 11879 0 -1 4202560 113 0 0 0 7 3 0 0 20 0 19 0 24271150 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140536433777064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14345] ppid=14337 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/14340/task/14345/stat : 14345 (java) S 14337 14340 11879 0 -1 4202560 365 0 0 0 16 5 0 0 20 0 19 0 24271150 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140536432724264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14346] ppid=14337 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/14340/task/14346/stat : 14346 (java) S 14337 14340 11879 0 -1 4202560 139 0 0 0 8 3 0 0 20 0 19 0 24271150 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140536431671464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14347] ppid=14337 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/14340/task/14347/stat : 14347 (java) S 14337 14340 11879 0 -1 4202560 152 0 0 0 10 3 0 0 20 0 19 0 24271150 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140536301792296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14348] ppid=14337 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/14340/task/14348/stat : 14348 (java) S 14337 14340 11879 0 -1 4202560 101 0 0 0 8 3 0 0 20 0 19 0 24271150 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140536300739496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14349] ppid=14337 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/14340/task/14349/stat : 14349 (java) S 14337 14340 11879 0 -1 4202560 167 0 0 0 11 4 0 0 20 0 19 0 24271150 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140536299686696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14350] ppid=14337 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/14340/task/14350/stat : 14350 (java) S 14337 14340 11879 0 -1 4202560 67 0 0 0 7 3 0 0 20 0 19 0 24271150 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140536298633896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14351] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14351/stat : 14351 (java) S 14337 14340 11879 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140535816120808 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14352] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14352/stat : 14352 (java) S 14337 14340 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140535815066872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14353] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14353/stat : 14353 (java) S 14337 14340 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140535814013960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14354] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14354/stat : 14354 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140535812962448 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14355] ppid=14337 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/14340/task/14355/stat : 14355 (java) R 14337 14340 11879 0 -1 4202560 2774 0 0 0 46 0 0 0 20 0 19 0 24271154 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140535811910584 140536466234953 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14356] ppid=14337 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/14340/task/14356/stat : 14356 (java) S 14337 14340 11879 0 -1 4202560 4011 0 0 0 41 1 0 0 20 0 19 0 24271154 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140535810857784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14357] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14357/stat : 14357 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140535809805176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14358] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14358/stat : 14358 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 137625 33554432000 1073741824 1073778376 140735344802800 140535808752584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.05 2.04 2.00 3/211 14359
/proc/meminfo: memFree=30304596/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9625040 CPUtime=8.32 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 12292 0 1 0 798 34 0 0 20 0 19 0 24271148 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2406260 150378 2286 9 0 2396937 0
[pid=14340/tid=14342] ppid=14337 vsize=9625040 CPUtime=5.96 cores=0,2,4,6
/proc/14340/task/14342/stat : 14342 (java) R 14337 14340 11879 0 -1 4202560 2762 0 1 0 590 6 0 0 20 0 19 0 24271149 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140536462376984 140536313651168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14343] ppid=14337 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/14340/task/14343/stat : 14343 (java) S 14337 14340 11879 0 -1 4202560 153 0 0 0 7 3 0 0 20 0 19 0 24271150 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140536434829864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14344] ppid=14337 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/14340/task/14344/stat : 14344 (java) S 14337 14340 11879 0 -1 4202560 113 0 0 0 7 3 0 0 20 0 19 0 24271150 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140536433777064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14345] ppid=14337 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/14340/task/14345/stat : 14345 (java) S 14337 14340 11879 0 -1 4202560 365 0 0 0 16 5 0 0 20 0 19 0 24271150 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140536432724264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14346] ppid=14337 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/14340/task/14346/stat : 14346 (java) S 14337 14340 11879 0 -1 4202560 139 0 0 0 8 3 0 0 20 0 19 0 24271150 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140536431671464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14347] ppid=14337 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/14340/task/14347/stat : 14347 (java) S 14337 14340 11879 0 -1 4202560 152 0 0 0 10 3 0 0 20 0 19 0 24271150 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140536301792296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14348] ppid=14337 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/14340/task/14348/stat : 14348 (java) S 14337 14340 11879 0 -1 4202560 101 0 0 0 8 3 0 0 20 0 19 0 24271150 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140536300739496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14349] ppid=14337 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/14340/task/14349/stat : 14349 (java) S 14337 14340 11879 0 -1 4202560 167 0 0 0 11 4 0 0 20 0 19 0 24271150 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140536299686696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14350] ppid=14337 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/14340/task/14350/stat : 14350 (java) S 14337 14340 11879 0 -1 4202560 67 0 0 0 7 3 0 0 20 0 19 0 24271150 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140536298633896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14351] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14351/stat : 14351 (java) S 14337 14340 11879 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140535816120808 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14352] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14352/stat : 14352 (java) S 14337 14340 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140535815066872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14353] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14353/stat : 14353 (java) S 14337 14340 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140535814013960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14354] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14354/stat : 14354 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140535812962448 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14355] ppid=14337 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/14340/task/14355/stat : 14355 (java) S 14337 14340 11879 0 -1 4202560 2779 0 0 0 59 0 0 0 20 0 19 0 24271154 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140535811910584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14356] ppid=14337 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/14340/task/14356/stat : 14356 (java) S 14337 14340 11879 0 -1 4202560 4036 0 0 0 57 1 0 0 20 0 19 0 24271154 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140535810857784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14357] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14357/stat : 14357 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140535809805176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14358] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14358/stat : 14358 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140535808752584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14359] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14359/stat : 14359 (java) S 14337 14340 11879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24271450 9856040960 150378 33554432000 1073741824 1073778376 140735344802800 140535807698088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 9625040

[startup+12.7008 s]
/proc/loadavg: 2.04 2.04 2.00 3/211 14359
/proc/meminfo: memFree=30229100/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9625040 CPUtime=14.79 cores=0,2,4,6

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

/proc/14340/task/14359/stat : 14359 (java) S 14337 14340 11879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24271450 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535807698088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/211 14491
/proc/meminfo: memFree=28176492/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9625040 CPUtime=1786.01 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 16184 0 1 0 178475 126 0 0 20 0 19 0 24271148 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2406260 757567 2295 9 0 2396937 0
[pid=14340/tid=14342] ppid=14337 vsize=9625040 CPUtime=1776.21 cores=0,2,4,6
/proc/14340/task/14342/stat : 14342 (java) R 14337 14340 11879 0 -1 4202560 4164 0 1 0 177561 60 0 0 20 0 19 0 24271149 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536462368464 140536313651230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14343] ppid=14337 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/14340/task/14343/stat : 14343 (java) S 14337 14340 11879 0 -1 4202560 288 0 0 0 26 8 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536434829864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14344] ppid=14337 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/14340/task/14344/stat : 14344 (java) S 14337 14340 11879 0 -1 4202560 231 0 0 0 25 9 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536433777064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14345] ppid=14337 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/14340/task/14345/stat : 14345 (java) S 14337 14340 11879 0 -1 4202560 466 0 0 0 36 11 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536432724264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14346] ppid=14337 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/14340/task/14346/stat : 14346 (java) S 14337 14340 11879 0 -1 4202560 310 0 0 0 31 11 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536431671464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14347] ppid=14337 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/14340/task/14347/stat : 14347 (java) S 14337 14340 11879 0 -1 4202560 280 0 0 0 28 9 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536301792296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14348] ppid=14337 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/14340/task/14348/stat : 14348 (java) S 14337 14340 11879 0 -1 4202560 200 0 0 0 25 9 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536300739496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14349] ppid=14337 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/14340/task/14349/stat : 14349 (java) S 14337 14340 11879 0 -1 4202560 429 0 0 0 29 11 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536299686696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14350] ppid=14337 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14340/task/14350/stat : 14350 (java) S 14337 14340 11879 0 -1 4202560 174 0 0 0 25 7 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536298633896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14351] ppid=14337 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/14340/task/14351/stat : 14351 (java) S 14337 14340 11879 0 -1 4202560 1453 0 0 0 60 2 0 0 20 0 19 0 24271152 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535816120808 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14352] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14352/stat : 14352 (java) S 14337 14340 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535815066872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14353] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14353/stat : 14353 (java) S 14337 14340 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535814013960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14354] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14354/stat : 14354 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535812962448 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14355] ppid=14337 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/14340/task/14355/stat : 14355 (java) S 14337 14340 11879 0 -1 4202560 2791 0 0 0 64 0 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535811910584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14356] ppid=14337 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/14340/task/14356/stat : 14356 (java) S 14337 14340 11879 0 -1 4202560 4036 0 0 0 61 1 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535810857784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14357] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14357/stat : 14357 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535809805176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14358] ppid=14337 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/14340/task/14358/stat : 14358 (java) S 14337 14340 11879 0 -1 4202560 103 0 0 0 28 20 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535808752584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14359] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14359/stat : 14359 (java) S 14337 14340 11879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24271450 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535807698088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.01
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/211 14491
/proc/meminfo: memFree=28176372/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 16186 0 1 0 179875 126 0 0 20 0 19 0 24271148 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2406260 757567 2295 9 0 2396937 0
[pid=14340/tid=14342] ppid=14337 vsize=9625040 CPUtime=1790.18 cores=0,2,4,6
/proc/14340/task/14342/stat : 14342 (java) R 14337 14340 11879 0 -1 4202560 4164 0 1 0 178957 61 0 0 20 0 19 0 24271149 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536462368464 140536313651168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14343] ppid=14337 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/14340/task/14343/stat : 14343 (java) S 14337 14340 11879 0 -1 4202560 288 0 0 0 26 8 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536434829864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14344] ppid=14337 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/14340/task/14344/stat : 14344 (java) S 14337 14340 11879 0 -1 4202560 231 0 0 0 25 9 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536433777064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14345] ppid=14337 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/14340/task/14345/stat : 14345 (java) S 14337 14340 11879 0 -1 4202560 466 0 0 0 36 11 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536432724264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14346] ppid=14337 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/14340/task/14346/stat : 14346 (java) S 14337 14340 11879 0 -1 4202560 310 0 0 0 31 11 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536431671464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14347] ppid=14337 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/14340/task/14347/stat : 14347 (java) S 14337 14340 11879 0 -1 4202560 280 0 0 0 28 9 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536301792296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14348] ppid=14337 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/14340/task/14348/stat : 14348 (java) S 14337 14340 11879 0 -1 4202560 200 0 0 0 25 9 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536300739496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14349] ppid=14337 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/14340/task/14349/stat : 14349 (java) S 14337 14340 11879 0 -1 4202560 429 0 0 0 29 11 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536299686696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14350] ppid=14337 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14340/task/14350/stat : 14350 (java) S 14337 14340 11879 0 -1 4202560 174 0 0 0 25 7 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536298633896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14351] ppid=14337 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/14340/task/14351/stat : 14351 (java) S 14337 14340 11879 0 -1 4202560 1453 0 0 0 61 2 0 0 20 0 19 0 24271152 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535816120808 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14352] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14352/stat : 14352 (java) S 14337 14340 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535815066872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14353] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14353/stat : 14353 (java) S 14337 14340 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535814013960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14354] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14354/stat : 14354 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535812962448 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14355] ppid=14337 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/14340/task/14355/stat : 14355 (java) S 14337 14340 11879 0 -1 4202560 2791 0 0 0 64 0 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535811910584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14356] ppid=14337 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/14340/task/14356/stat : 14356 (java) S 14337 14340 11879 0 -1 4202560 4036 0 0 0 61 1 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535810857784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14357] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14357/stat : 14357 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535809805176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14358] ppid=14337 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/14340/task/14358/stat : 14358 (java) S 14337 14340 11879 0 -1 4202560 105 0 0 0 28 20 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535808752584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14359] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14359/stat : 14359 (java) S 14337 14340 11879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24271450 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535807698088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 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 14340 sig 9
??? kill -14340 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/211 14491
/proc/meminfo: memFree=28176372/32872528 swapFree=447868/480572
[pid=14340] ppid=14337 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/14340/stat : 14340 (java) S 14337 14340 11879 0 -1 4202496 16186 0 1 0 179875 126 0 0 20 0 19 0 24271148 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140735344793936 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14340/statm: 2406260 757567 2295 9 0 2396937 0
[pid=14340/tid=14342] ppid=14337 vsize=9625040 CPUtime=1790.18 cores=0,2,4,6
/proc/14340/task/14342/stat : 14342 (java) R 14337 14340 11879 0 -1 4202560 4164 0 1 0 178957 61 0 0 20 0 19 0 24271149 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536462368464 140536313651168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14343] ppid=14337 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/14340/task/14343/stat : 14343 (java) S 14337 14340 11879 0 -1 4202560 288 0 0 0 26 8 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536434829864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14344] ppid=14337 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/14340/task/14344/stat : 14344 (java) S 14337 14340 11879 0 -1 4202560 231 0 0 0 25 9 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536433777064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14345] ppid=14337 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/14340/task/14345/stat : 14345 (java) S 14337 14340 11879 0 -1 4202560 466 0 0 0 36 11 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536432724264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14346] ppid=14337 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/14340/task/14346/stat : 14346 (java) S 14337 14340 11879 0 -1 4202560 310 0 0 0 31 11 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536431671464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14347] ppid=14337 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/14340/task/14347/stat : 14347 (java) S 14337 14340 11879 0 -1 4202560 280 0 0 0 28 9 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536301792296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14348] ppid=14337 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/14340/task/14348/stat : 14348 (java) S 14337 14340 11879 0 -1 4202560 200 0 0 0 25 9 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536300739496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14340/tid=14349] ppid=14337 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/14340/task/14349/stat : 14349 (java) S 14337 14340 11879 0 -1 4202560 429 0 0 0 29 11 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536299686696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14350] ppid=14337 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14340/task/14350/stat : 14350 (java) S 14337 14340 11879 0 -1 4202560 174 0 0 0 25 7 0 0 20 0 19 0 24271150 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140536298633896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14351] ppid=14337 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/14340/task/14351/stat : 14351 (java) S 14337 14340 11879 0 -1 4202560 1453 0 0 0 61 2 0 0 20 0 19 0 24271152 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535816120808 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14352] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14352/stat : 14352 (java) S 14337 14340 11879 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535815066872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14353] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14353/stat : 14353 (java) S 14337 14340 11879 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24271152 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535814013960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14354] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14354/stat : 14354 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535812962448 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14355] ppid=14337 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/14340/task/14355/stat : 14355 (java) S 14337 14340 11879 0 -1 4202560 2791 0 0 0 64 0 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535811910584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14340/tid=14356] ppid=14337 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/14340/task/14356/stat : 14356 (java) S 14337 14340 11879 0 -1 4202560 4036 0 0 0 61 1 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535810857784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14357] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14357/stat : 14357 (java) S 14337 14340 11879 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535809805176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14340/tid=14358] ppid=14337 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/14340/task/14358/stat : 14358 (java) S 14337 14340 11879 0 -1 4202560 105 0 0 0 28 20 0 0 20 0 19 0 24271154 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535808752584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14340/tid=14359] ppid=14337 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14340/task/14359/stat : 14359 (java) S 14337 14340 11879 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24271450 9856040960 757567 33554432000 1073741824 1073778376 140735344802800 140535807698088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 4 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 14340 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=168244
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=742735
# CPU time returned by wait4() is 1795.91
# 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): 1796.35
CPU time (s): 1800.01
CPU user time (s): 1798.75
CPU system time (s): 1.26
CPU usage (%): 100.204
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.17
system time used= 1.74273
maximum resident set size= 3030408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16227
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38311
involuntary context switches= 3445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9233 second user time and 11.5522 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-18 05:56:50
IDJOB=4101269
IDBENCH=1721
IDSOLVER=2546
FILE ID=node104/4101269-1466222210
RUNJOBID= node104-1466206103-11895
PBS_JOBID= 19918168
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101269-1466222210/watcher-4101269-1466222210 -o /tmp/evaluation-result-4101269-1466222210/solver-4101269-1466222210 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466206103-11895 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101269-1466222210.opb

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

MD5SUM BENCH= 7b9d3fef35f44b9f29a1eccedaaa362f
RANDOM SEED=424248098

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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.035
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.035
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.035
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.035
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.035
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:        30951640 kB
Buffers:           98980 kB
Cached:           132292 kB
SwapCached:        40452 kB
Active:           490116 kB
Inactive:         196920 kB
Active(anon):     418584 kB
Inactive(anon):    39968 kB
Active(file):      71532 kB
Inactive(file):   156952 kB
Unevictable:      480572 kB
Mlocked:          447868 kB
SwapTotal:      67108856 kB
SwapFree:       67060428 kB
Dirty:             14848 kB
Writeback:             0 kB
AnonPages:        913872 kB
Mapped:            15284 kB
Shmem:                 0 kB
Slab:             602464 kB
SReclaimable:      46404 kB
SUnreclaim:       556060 kB
KernelStack:        1592 kB
PageTables:         5656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1356136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    438272 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= 71688 MiB
End job on node104 at 2016-06-18 06:26:47