Trace number 4081515

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 Res+CP PB16? (TO) 1800.19 891.959

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx75.opb
MD5SUM899c8865b8ac9a45eaa204f923cbd9e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4977
Total number of constraints5494
Number of constraints which are clauses4970
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint2
Maximum length of a constraint448
Number of terms in the objective function 7
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 947
Number of bits of the biggest sum of numbers10
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.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	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.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	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.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4081515-1465260113.opb
0.10/0.12	c reading problem ... 
0.10/0.13	c  objective function found
1.67/0.75	c ... done. Wall clock time 0.626s.
1.67/0.75	c declared #vars     4977
1.67/0.75	c #constraints  5569
1.67/0.75	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.67/0.75	c constraints type 
1.67/0.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75
1.67/0.75	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
1.67/0.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 75
1.67/0.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4970
1.67/0.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 448
1.67/0.75	c 5569 constraints processed.
1.67/0.75	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.67/0.75	c constraints type 
1.67/0.75	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4970
1.67/0.75	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 75
1.67/0.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 75
1.67/0.75	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
1.67/0.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 448
1.67/0.75	c 5569 constraints processed.
1.67/0.75	c objective function length is 7 literals
5.33/1.88	c cleaning 2493 clauses out of 5000 with flag 22829/5000
7.00/2.58	c cleaning 4246 clauses out of 8507 with flag 62975/11000
8.85/3.46	c cleaning 5626 clauses out of 11262 with flag 94061/18001
11.32/4.64	c cleaning 6810 clauses out of 13637 with flag 128864/26002
13.33/5.68	c cleaning 7907 clauses out of 15827 with flag 173175/35002
16.32/7.19	c cleaning 8945 clauses out of 17918 with flag 221047/45000
18.98/8.48	c cleaning 9980 clauses out of 19974 with flag 271629/56001
22.11/9.97	c cleaning 10985 clauses out of 21993 with flag 342598/68000
26.09/11.90	c cleaning 11978 clauses out of 24008 with flag 419243/81000
29.83/13.72	c cleaning 13004 clauses out of 26030 with flag 489986/95000
34.35/15.95	c cleaning 14000 clauses out of 28027 with flag 568901/110001
39.17/18.36	c cleaning 15010 clauses out of 30026 with flag 657816/126000
44.19/20.82	c cleaning 15980 clauses out of 32016 with flag 739700/143000
51.22/24.24	c cleaning 17003 clauses out of 34038 with flag 832190/161002
56.21/26.73	c cleaning 18000 clauses out of 36034 with flag 925394/180001
62.00/29.59	c cleaning 19004 clauses out of 38033 with flag 1017159/200000
69.01/33.05	c cleaning 20004 clauses out of 40029 with flag 1113944/221000
75.62/36.33	c cleaning 20998 clauses out of 42025 with flag 1219619/243000
83.66/40.21	c cleaning 22006 clauses out of 44027 with flag 1339772/266000
90.46/43.64	c cleaning 22992 clauses out of 46024 with flag 1456962/290003
98.53/47.59	c cleaning 24006 clauses out of 48030 with flag 1580865/315001
106.94/51.71	c cleaning 24990 clauses out of 50023 with flag 1715338/341000
114.73/55.61	c cleaning 26000 clauses out of 52035 with flag 1842397/368002
126.73/62.66	c cleaning 27001 clauses out of 54033 with flag 1971876/396000
135.32/66.92	c cleaning 28010 clauses out of 56033 with flag 2107055/425001
144.92/71.70	c cleaning 28999 clauses out of 58022 with flag 2243896/455000
155.20/76.80	c cleaning 29996 clauses out of 60024 with flag 2388870/486001
166.20/82.30	c cleaning 31001 clauses out of 62028 with flag 2552465/518001
177.53/87.99	c cleaning 31980 clauses out of 64026 with flag 2721347/551000
188.53/93.44	c cleaning 33000 clauses out of 66048 with flag 2893474/585002
199.65/98.98	c cleaning 34009 clauses out of 68046 with flag 3073897/620000
210.05/104.11	c cleaning 35003 clauses out of 70041 with flag 3263463/656004
224.06/111.15	c cleaning 36005 clauses out of 72035 with flag 3435895/693001
238.19/118.56	c cleaning 36998 clauses out of 74029 with flag 3620412/731000
250.79/124.83	c cleaning 37999 clauses out of 76033 with flag 3847929/770002
263.48/131.17	c cleaning 38998 clauses out of 78035 with flag 4064087/810003
276.68/137.79	c cleaning 40003 clauses out of 80036 with flag 4262042/851002
290.45/144.57	c cleaning 41009 clauses out of 82032 with flag 4447205/893001
304.04/151.32	c cleaning 42007 clauses out of 84025 with flag 4651197/936003
307.65/153.11	c cleaning 0 clauses out of 5000 with flag 0/5000
322.18/159.93	c cleaning 42998 clauses out of 86016 with flag 4891405/980001
337.82/167.50	c cleaning 43987 clauses out of 88018 with flag 5104824/1025001
354.73/175.91	c cleaning 44998 clauses out of 90033 with flag 5341198/1071003
371.06/184.04	c cleaning 46009 clauses out of 92032 with flag 5561004/1118000
389.51/193.11	c cleaning 47007 clauses out of 94023 with flag 5815424/1166000
406.50/201.62	c cleaning 47986 clauses out of 96017 with flag 6055999/1215001
426.30/212.02	c cleaning 48993 clauses out of 98030 with flag 6309587/1265000
448.56/223.17	c cleaning 50008 clauses out of 100041 with flag 6568441/1316004
471.67/234.69	c cleaning 50978 clauses out of 102030 with flag 6951849/1368001
490.76/244.14	c cleaning 52012 clauses out of 104051 with flag 7195207/1421000
517.11/257.29	c cleaning 53000 clauses out of 106040 with flag 7455894/1475001
538.08/267.51	c cleaning 54009 clauses out of 108040 with flag 7729756/1530001
558.68/277.81	c cleaning 55001 clauses out of 110030 with flag 8014699/1586000
582.32/289.58	c cleaning 56000 clauses out of 112029 with flag 8294784/1643000
605.80/301.19	c cleaning 56994 clauses out of 114029 with flag 8596289/1701000
628.92/312.57	c cleaning 57996 clauses out of 116038 with flag 8885879/1760003
654.47/325.10	c cleaning 59005 clauses out of 118040 with flag 9215052/1820001
680.80/338.18	c cleaning 60002 clauses out of 120035 with flag 9563563/1881001
706.51/350.67	c cleaning 61008 clauses out of 122034 with flag 9892209/1943002
738.37/366.12	c cleaning 61992 clauses out of 124024 with flag 10243373/2006000
764.58/378.88	c cleaning 63000 clauses out of 126033 with flag 10558120/2070001
793.70/394.26	c cleaning 64007 clauses out of 128032 with flag 10918830/2135000
821.70/408.14	c cleaning 64975 clauses out of 130026 with flag 11305151/2201001
846.59/420.40	c cleaning 66012 clauses out of 132050 with flag 11666098/2268000
875.78/434.87	c cleaning 67014 clauses out of 134038 with flag 12008164/2336000
908.11/450.80	c cleaning 67977 clauses out of 136024 with flag 12332974/2405000
935.87/464.62	c cleaning 68990 clauses out of 138048 with flag 12694501/2475001
964.24/478.78	c cleaning 70024 clauses out of 140058 with flag 13070389/2546001
992.78/492.77	c cleaning 71003 clauses out of 142033 with flag 13466986/2618000
1024.68/508.57	c cleaning 71996 clauses out of 144030 with flag 13838907/2691000
1056.20/524.13	c cleaning 73004 clauses out of 146035 with flag 14216024/2765001
1095.09/543.22	c cleaning 74008 clauses out of 148030 with flag 14629265/2840000
1126.17/558.48	c cleaning 74991 clauses out of 150022 with flag 15014924/2916000
1168.37/579.15	c cleaning 76010 clauses out of 152031 with flag 15416419/2993000
1177.33/583.42	c cleaning 0 clauses out of 11000 with flag 0/11000
1205.74/597.41	c cleaning 76961 clauses out of 154022 with flag 15865054/3071001
1243.37/615.85	c cleaning 78017 clauses out of 156060 with flag 16262766/3150000
1284.51/637.34	c cleaning 78999 clauses out of 158044 with flag 16668750/3230001
1322.16/656.10	c cleaning 80000 clauses out of 160044 with flag 17110032/3311000
1360.61/675.15	c cleaning 80997 clauses out of 162047 with flag 17548476/3393003
1395.18/692.39	c cleaning 82012 clauses out of 164047 with flag 17950883/3476000
1429.36/709.33	c cleaning 83007 clauses out of 166036 with flag 18401948/3560001
1466.40/727.74	c cleaning 84008 clauses out of 168034 with flag 18861399/3645006
1501.80/745.43	c cleaning 84980 clauses out of 170020 with flag 19332218/3731000
1540.64/764.75	c cleaning 85998 clauses out of 172040 with flag 19752533/3818000
1584.84/786.55	c cleaning 86992 clauses out of 174043 with flag 20679501/3906001
1624.62/806.26	c cleaning 88016 clauses out of 176053 with flag 21260658/3995003
1668.64/828.06	c cleaning 88998 clauses out of 178034 with flag 21783512/4085000
1720.66/853.34	c cleaning 90019 clauses out of 180037 with flag 22240657/4176001
1767.54/875.98	c cleaning 90984 clauses out of 182017 with flag 22727260/4268000
1800.19/891.90	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.19/891.90	c starts		: 8628
1800.19/891.90	c conflicts		: 4337630
1800.19/891.90	c decisions		: 14016312
1800.19/891.90	c propagations		: 715134845
1800.19/891.90	c inspects		: 8665442800
1800.19/891.90	c shortcuts		: 0
1800.19/891.90	c learnt literals	: 0
1800.19/891.90	c learnt binary clauses	: 0
1800.19/891.90	c learnt ternary clauses	: 0
1800.19/891.90	c learnt constraints	: 4337630
1800.19/891.90	c ignored constraints	: 0
1800.19/891.90	c root simplifications	: 0
1800.19/891.90	c removed literals (reason simplification)	: 5730182
1800.19/891.90	c reason swapping (by a shorter reason)	: 0
1800.19/891.90	c Calls to reduceDB	: 88
1800.19/891.90	c Number of update (reduction) of LBD	: 1997236
1800.19/891.90	c Imported unit clauses	: 0
1800.19/891.90	c number of reductions to clauses (during analyze)	: 0
1800.19/891.90	c number of learned constraints concerned by reduction	: 0
1800.19/891.90	c number of learning phase by resolution	: 0
1800.19/891.90	c number of learning phase by cutting planes	: 0
1800.19/891.90	c speed (assignments/second)	: 802495.2841251477
1800.19/891.90	c non guided choices	136129
1800.19/891.93	c learnt constraints type 
1800.19/891.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 160663
1800.19/891.93	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.19/891.93	c starts		: 40
1800.19/891.93	c conflicts		: 13714
1800.19/891.93	c decisions		: 134003
1800.19/891.93	c propagations		: 2009190
1800.19/891.93	c inspects		: 569654410
1800.19/891.93	c shortcuts		: 0
1800.19/891.93	c learnt literals	: 0
1800.19/891.93	c learnt binary clauses	: 0
1800.19/891.93	c learnt ternary clauses	: 0
1800.19/891.93	c learnt constraints	: 13714
1800.19/891.93	c ignored constraints	: 0
1800.19/891.93	c root simplifications	: 0
1800.19/891.93	c removed literals (reason simplification)	: 0
1800.19/891.93	c reason swapping (by a shorter reason)	: 0
1800.19/891.93	c Calls to reduceDB	: 2
1800.19/891.93	c Number of update (reduction) of LBD	: 0
1800.19/891.93	c Imported unit clauses	: 0
1800.19/891.93	c number of reductions to clauses (during analyze)	: 0
1800.19/891.93	c number of learned constraints concerned by reduction	: 0
1800.19/891.93	c number of learning phase by resolution	: 0
1800.19/891.93	c number of learning phase by cutting planes	: 0
1800.19/891.93	c speed (assignments/second)	: 2254.5681827362864
1800.19/891.93	c non guided choices	4253
1800.19/891.94	c learnt constraints type 
1800.19/891.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13714
1800.19/891.94	s UNKNOWN
1800.19/891.94	c Total wall clock time (in seconds): 891.812

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-4081515-1465260113/watcher-4081515-1465260113 -o /tmp/evaluation-result-4081515-1465260113/solver-4081515-1465260113 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465255598-8855 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081515-1465260113.opb 

pid=10686
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.96 3.66 3.84 3/197 10689
/proc/meminfo: memFree=29373004/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 107945991 98570240 977 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 24065 977 743 9 0 16771 0
[pid=10689/tid=10690] ppid=10686 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) R 10686 10689 8839 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 107945991 98570240 977 33554432000 1073741824 1073778376 140735155645200 139646396943912 224922518912 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100065 s]
/proc/loadavg: 2.96 3.66 3.84 3/197 10689
/proc/meminfo: memFree=29373004/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 4408 0 1 0 9 1 0 0 20 0 18 0 107945991 9787879424 6028 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 2389619 6028 2126 9 0 2380296 0
[pid=10689/tid=10690] ppid=10686 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) R 10686 10689 8839 0 -1 4202560 2390 0 1 0 6 1 0 0 20 0 18 0 107945991 9787879424 6028 33554432000 1073741824 1073778376 140735155645200 139646396946712 139646402627119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200334 s]
/proc/loadavg: 2.96 3.66 3.84 3/197 10689
/proc/meminfo: memFree=29373004/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 4675 0 1 0 22 2 0 0 20 0 18 0 107945991 9787879424 6755 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 2389619 6755 2198 9 0 2380296 0
[pid=10689/tid=10690] ppid=10686 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) R 10686 10689 8839 0 -1 4202560 2405 0 1 0 16 1 0 0 20 0 18 0 107945991 9787879424 6755 33554432000 1073741824 1073778376 140735155645200 139646396946712 139646247976363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300346 s]
/proc/loadavg: 2.96 3.66 3.84 3/197 10689
/proc/meminfo: memFree=29373004/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 7224 0 1 0 49 2 0 0 20 0 18 0 107945991 9787879424 10436 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 2389619 10436 2231 9 0 2380296 0
[pid=10689/tid=10690] ppid=10686 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) R 10686 10689 8839 0 -1 4202560 2409 0 1 0 26 1 0 0 20 0 18 0 107945991 9787879424 10436 33554432000 1073741824 1073778376 140735155645200 139646396948584 139646400234325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700322 s]
/proc/loadavg: 2.96 3.66 3.84 3/197 10689
/proc/meminfo: memFree=29373004/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=9558476 CPUtime=1.67 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 20036 0 1 0 163 4 0 0 20 0 18 0 107945991 9787879424 26496 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 2389619 26496 2252 9 0 2380296 0
[pid=10689/tid=10690] ppid=10686 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) R 10686 10689 8839 0 -1 4202560 2435 0 1 0 66 1 0 0 20 0 18 0 107945991 9787879424 26496 33554432000 1073741824 1073778376 140735155645200 139646396948584 139646400234343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9558476

[startup+1.50084 s]
/proc/loadavg: 3.12 3.68 3.84 6/219 10711
/proc/meminfo: memFree=29254580/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=9824732 CPUtime=4.64 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 22185 0 1 0 459 5 0 0 20 0 22 0 107945991 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 2456183 42152 2274 9 0 2446860 0
[pid=10689/tid=10690] ppid=10686 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) S 10686 10689 8839 0 -1 4202560 2446 0 1 0 72 1 0 0 20 0 22 0 107945991 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139646396949368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10692] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10692/stat : 10692 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139646369401768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10693] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10693/stat : 10693 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139646368349224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10694] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10694/stat : 10694 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139646367296168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10695] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10695/stat : 10695 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139646236928808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10696] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10696/stat : 10696 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139646235875752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10697] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10697/stat : 10697 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139646234823208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10698] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10698/stat : 10698 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139646233770152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10699] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10699/stat : 10699 (java) S 10686 10689 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139646232717608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10700] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10700/stat : 10700 (java) S 10686 10689 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107945993 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645750205288 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10701] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10701/stat : 10701 (java) S 10686 10689 8839 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645749151608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10702] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10702/stat : 10702 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645748098440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10703] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10703/stat : 10703 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645747047184 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10704] ppid=10686 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/10689/task/10704/stat : 10704 (java) R 10686 10689 8839 0 -1 4202560 9102 0 0 0 123 2 0 0 20 0 22 0 107945997 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645745994040 139646404695277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10705] ppid=10686 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/10689/task/10705/stat : 10705 (java) R 10686 10689 8839 0 -1 4202560 9287 0 0 0 115 2 0 0 20 0 22 0 107945997 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645744941496 139646403923223 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10706] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10706/stat : 10706 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645743888632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10707] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10707/stat : 10707 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645742836296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10708] ppid=10686 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/10689/task/10708/stat : 10708 (java) R 10686 10689 8839 0 -1 4202560 19 0 0 0 71 0 0 0 20 0 22 0 107946067 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645741781784 139646248790362 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10709] ppid=10686 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/10689/task/10709/stat : 10709 (java) R 10686 10689 8839 0 -1 4202560 54 0 0 0 72 0 0 0 20 0 22 0 107946067 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645740728896 139646248997736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10710] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10710/stat : 10710 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645739676968 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10711] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10711/stat : 10711 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 42152 33554432000 1073741824 1073778376 140735155645200 139645738624424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 3.12 3.68 3.84 5/219 10711
/proc/meminfo: memFree=29181792/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=9824732 CPUtime=8.2 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 23624 0 1 0 812 8 0 0 20 0 22 0 107945991 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 2456183 49921 2291 9 0 2446860 0
[pid=10689/tid=10690] ppid=10686 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) S 10686 10689 8839 0 -1 4202560 2446 0 1 0 72 1 0 0 20 0 22 0 107945991 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139646396949368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10692] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10692/stat : 10692 (java) S 10686 10689 8839 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139646369401768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10693] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10693/stat : 10693 (java) S 10686 10689 8839 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139646368349224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10694] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10694/stat : 10694 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139646367296168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10695] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10695/stat : 10695 (java) S 10686 10689 8839 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139646236928808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10696] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10696/stat : 10696 (java) S 10686 10689 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139646235875752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10697] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10697/stat : 10697 (java) S 10686 10689 8839 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139646234823208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10698] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10698/stat : 10698 (java) S 10686 10689 8839 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139646233770152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10699] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10699/stat : 10699 (java) S 10686 10689 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107945992 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139646232717608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10700] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10700/stat : 10700 (java) S 10686 10689 8839 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 107945993 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645750205288 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10701] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10701/stat : 10701 (java) S 10686 10689 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645749151608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10702] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10702/stat : 10702 (java) S 10686 10689 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645748098440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10703] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10703/stat : 10703 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645747047184 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10704] ppid=10686 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/10689/task/10704/stat : 10704 (java) S 10686 10689 8839 0 -1 4202560 9106 0 0 0 133 2 0 0 20 0 22 0 107945997 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645745994040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10705] ppid=10686 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/10689/task/10705/stat : 10705 (java) S 10686 10689 8839 0 -1 4202560 10603 0 0 0 139 2 0 0 20 0 22 0 107945997 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645744941496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10706] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10706/stat : 10706 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645743888632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10707] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10707/stat : 10707 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645742836296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10708] ppid=10686 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/10689/task/10708/stat : 10708 (java) R 10686 10689 8839 0 -1 4202560 19 0 0 0 227 0 0 0 20 0 22 0 107946067 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645741782040 139646249257523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10709] ppid=10686 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/10689/task/10709/stat : 10709 (java) R 10686 10689 8839 0 -1 4202560 67 0 0 0 230 0 0 0 20 0 22 0 107946067 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645740727168 139646249000561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10710] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10710/stat : 10710 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645739676968 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10711] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10711/stat : 10711 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 49921 33554432000 1073741824 1073778376 140735155645200 139645738624424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 9824732

[startup+6.30094 s]
/proc/loadavg: 3.12 3.68 3.84 4/219 10711
/proc/meminfo: memFree=29007532/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=9824732 CPUtime=14.72 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 24274 0 1 0 1456 16 0 0 20 0 22 0 107945991 10060525568 93988 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 2456183 93988 2291 9 0 2446860 0
[pid=10689/tid=10690] ppid=10686 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) S 10686 10689 8839 0 -1 4202560 2446 0 1 0 72 1 0 0 20 0 22 0 107945991 10060525568 93988 33554432000 1073741824 1073778376 140735155645200 139646396949368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10692] ppid=10686 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/10689/task/10692/stat : 10692 (java) S 10686 10689 8839 0 -1 4202560 133 0 0 0 4 2 0 0 20 0 22 0 107945992 10060525568 93988 33554432000 1073741824 1073778376 140735155645200 139646369401768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10693] ppid=10686 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10689/task/10693/stat : 10693 (java) S 10686 10689 8839 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 22 0 107945992 10060525568 93988 33554432000 1073741824 1073778376 140735155645200 139646368349224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10694] ppid=10686 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10689/task/10694/stat : 10694 (java) S 10686 10689 8839 0 -1 4202560 104 0 0 0 3 0 0 0 20 0 22 0 107945992 10060525568 93988 33554432000 1073741824 1073778376 140735155645200 139646367296168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10695] ppid=10686 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10689/task/10695/stat : 10695 (java) S 10686 10689 8839 0 -1 4202560 86 0 0 0 3 0 0 0 20 0 22 0 107945992 10060525568 93988 33554432000 1073741824 1073778376 140735155645200 139646236928808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10696] ppid=10686 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10689/task/10696/stat : 10696 (java) S 10686 10689 8839 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 107945992 10060525568 93988 33554432000 1073741824 1073778376 140735155645200 139646235875752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10697] ppid=10686 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10689/task/10697/stat : 10697 (java) S 10686 10689 8839 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 107945992 10060525568 93988 33554432000 1073741824 1073778376 140735155645200 139646234823208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10698] ppid=10686 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10689/task/10698/stat : 10698 (java) S 10686 10689 8839 0 -1 4202560 32 0 0 0 2 2 0 0 20 0 22 0 107945992 10060525568 93988 33554432000 1073741824 1073778376 140735155645200 139646233770152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10699] ppid=10686 vsize=9824732 CPUtime=0.01 cores=0,2,4,6

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

/proc/10689/task/10694/stat : 10694 (java) S 10686 10689 8839 0 -1 4202560 1452 0 0 0 579 27 0 0 20 0 22 0 107945992 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139646367296168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10695] ppid=10686 vsize=9824732 CPUtime=5.56 cores=0,2,4,6
/proc/10689/task/10695/stat : 10695 (java) S 10686 10689 8839 0 -1 4202560 1384 0 0 0 531 25 0 0 20 0 22 0 107945992 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139646236928808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10696] ppid=10686 vsize=9824732 CPUtime=5.47 cores=0,2,4,6
/proc/10689/task/10696/stat : 10696 (java) S 10686 10689 8839 0 -1 4202560 1477 0 0 0 521 26 0 0 20 0 22 0 107945992 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139646235875752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10697] ppid=10686 vsize=9824732 CPUtime=6.06 cores=0,2,4,6
/proc/10689/task/10697/stat : 10697 (java) S 10686 10689 8839 0 -1 4202560 1491 0 0 0 578 28 0 0 20 0 22 0 107945992 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139646234823208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10698] ppid=10686 vsize=9824732 CPUtime=5.58 cores=0,2,4,6
/proc/10689/task/10698/stat : 10698 (java) S 10686 10689 8839 0 -1 4202560 2006 0 0 0 529 29 0 0 20 0 22 0 107945992 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139646233770152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10699] ppid=10686 vsize=9824732 CPUtime=6.06 cores=0,2,4,6
/proc/10689/task/10699/stat : 10699 (java) S 10686 10689 8839 0 -1 4202560 1602 0 0 0 581 25 0 0 20 0 22 0 107945992 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139646232717608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10700] ppid=10686 vsize=9824732 CPUtime=9.1 cores=0,2,4,6
/proc/10689/task/10700/stat : 10700 (java) S 10686 10689 8839 0 -1 4202560 2930 0 0 0 904 6 0 0 20 0 22 0 107945993 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645750205288 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10701] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10701/stat : 10701 (java) S 10686 10689 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645749151608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10702] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10702/stat : 10702 (java) S 10686 10689 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645748098440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10703] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10703/stat : 10703 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645747047184 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10704] ppid=10686 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/10689/task/10704/stat : 10704 (java) S 10686 10689 8839 0 -1 4202560 9113 0 0 0 159 2 0 0 20 0 22 0 107945997 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645745994040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10705] ppid=10686 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/10689/task/10705/stat : 10705 (java) S 10686 10689 8839 0 -1 4202560 19634 0 0 0 245 3 0 0 20 0 22 0 107945997 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645744941496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10706] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10706/stat : 10706 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645743888632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10707] ppid=10686 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/10689/task/10707/stat : 10707 (java) S 10686 10689 8839 0 -1 4202560 51 0 0 0 21 13 0 0 20 0 22 0 107945997 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645742836296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10708] ppid=10686 vsize=9824732 CPUtime=858.1 cores=0,2,4,6
/proc/10689/task/10708/stat : 10708 (java) R 10686 10689 8839 0 -1 4202560 82 0 0 0 85795 15 0 0 20 0 22 0 107946067 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645741780896 139646249026784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10709] ppid=10686 vsize=9824732 CPUtime=858.2 cores=0,2,4,6
/proc/10689/task/10709/stat : 10709 (java) R 10686 10689 8839 0 -1 4202560 1615 0 0 0 85784 36 0 0 20 0 22 0 107946067 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645740727360 139646249363149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10710] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10710/stat : 10710 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645739676968 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10711] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10711/stat : 10711 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 1037963 33554432000 1073741824 1073778376 140735155645200 139645738624424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1780.71
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+891.901 s]
/proc/loadavg: 4.54 3.53 3.49 7/220 10876
/proc/meminfo: memFree=24770876/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=9824732 CPUtime=1800.19 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 50000 0 1 0 179746 273 0 0 20 0 22 0 107945991 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 2456183 1056926 2300 9 0 2446860 0
[pid=10689/tid=10690] ppid=10686 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) S 10686 10689 8839 0 -1 4202560 2462 0 1 0 75 3 0 0 20 0 22 0 107945991 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646396949368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10692] ppid=10686 vsize=9824732 CPUtime=5.9 cores=0,2,4,6
/proc/10689/task/10692/stat : 10692 (java) S 10686 10689 8839 0 -1 4202560 1687 0 0 0 563 27 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646369401768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10693] ppid=10686 vsize=9824732 CPUtime=5.23 cores=0,2,4,6
/proc/10689/task/10693/stat : 10693 (java) S 10686 10689 8839 0 -1 4202560 1637 0 0 0 493 30 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646368349224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10694] ppid=10686 vsize=9824732 CPUtime=6.13 cores=0,2,4,6
/proc/10689/task/10694/stat : 10694 (java) S 10686 10689 8839 0 -1 4202560 1466 0 0 0 585 28 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646367296168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10695] ppid=10686 vsize=9824732 CPUtime=5.6 cores=0,2,4,6
/proc/10689/task/10695/stat : 10695 (java) S 10686 10689 8839 0 -1 4202560 1386 0 0 0 535 25 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646236928808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10696] ppid=10686 vsize=9824732 CPUtime=5.54 cores=0,2,4,6
/proc/10689/task/10696/stat : 10696 (java) S 10686 10689 8839 0 -1 4202560 1494 0 0 0 527 27 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646235875752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10697] ppid=10686 vsize=9824732 CPUtime=6.16 cores=0,2,4,6
/proc/10689/task/10697/stat : 10697 (java) S 10686 10689 8839 0 -1 4202560 1508 0 0 0 587 29 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646234823208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10698] ppid=10686 vsize=9824732 CPUtime=5.62 cores=0,2,4,6
/proc/10689/task/10698/stat : 10698 (java) S 10686 10689 8839 0 -1 4202560 2016 0 0 0 533 29 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646233770152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10699] ppid=10686 vsize=9824732 CPUtime=6.21 cores=0,2,4,6
/proc/10689/task/10699/stat : 10699 (java) S 10686 10689 8839 0 -1 4202560 1634 0 0 0 593 28 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646232717608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10700] ppid=10686 vsize=9824732 CPUtime=9.1 cores=0,2,4,6
/proc/10689/task/10700/stat : 10700 (java) S 10686 10689 8839 0 -1 4202560 2949 0 0 0 904 6 0 0 20 0 22 0 107945993 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645750205288 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10701] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10701/stat : 10701 (java) S 10686 10689 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645749151608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10702] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10702/stat : 10702 (java) S 10686 10689 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645748098440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10703] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10703/stat : 10703 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645747047184 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10704] ppid=10686 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/10689/task/10704/stat : 10704 (java) S 10686 10689 8839 0 -1 4202560 9113 0 0 0 159 2 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645745994040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10705] ppid=10686 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/10689/task/10705/stat : 10705 (java) S 10686 10689 8839 0 -1 4202560 19634 0 0 0 245 3 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645744941496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10706] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10706/stat : 10706 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645743888632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10707] ppid=10686 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/10689/task/10707/stat : 10707 (java) S 10686 10689 8839 0 -1 4202560 51 0 0 0 21 13 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645742836296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10708] ppid=10686 vsize=9824732 CPUtime=867.52 cores=0,2,4,6
/proc/10689/task/10708/stat : 10708 (java) R 10686 10689 8839 0 -1 4202560 82 0 0 0 86737 15 0 0 20 0 22 0 107946067 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645741780896 139646248932062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10709] ppid=10686 vsize=9824732 CPUtime=867.62 cores=0,2,4,6
/proc/10689/task/10709/stat : 10709 (java) R 10686 10689 8839 0 -1 4202560 1616 0 0 0 86726 36 0 0 20 0 22 0 107946067 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645740729440 139646249363075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10710] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10710/stat : 10710 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645739676968 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10711] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10711/stat : 10711 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645738624424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824732

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 10689 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+891.901 s]
/proc/loadavg: 4.54 3.53 3.49 7/220 10876
/proc/meminfo: memFree=24770876/32872528 swapFree=11372/178980
[pid=10689] ppid=10686 vsize=9824732 CPUtime=1800.19 cores=0,2,4,6
/proc/10689/stat : 10689 (java) S 10686 10689 8839 0 -1 4202496 50000 0 1 0 179746 273 0 0 20 0 22 0 107945991 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 140735155636336 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10689/statm: 2456183 1056926 2300 9 0 2446860 0
[pid=10689/tid=10690] ppid=10686 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/10689/task/10690/stat : 10690 (java) S 10686 10689 8839 0 -1 4202560 2462 0 1 0 75 3 0 0 20 0 22 0 107945991 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646396949368 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10692] ppid=10686 vsize=9824732 CPUtime=5.9 cores=0,2,4,6
/proc/10689/task/10692/stat : 10692 (java) S 10686 10689 8839 0 -1 4202560 1687 0 0 0 563 27 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646369401768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10693] ppid=10686 vsize=9824732 CPUtime=5.23 cores=0,2,4,6
/proc/10689/task/10693/stat : 10693 (java) S 10686 10689 8839 0 -1 4202560 1637 0 0 0 493 30 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646368349224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10694] ppid=10686 vsize=9824732 CPUtime=6.13 cores=0,2,4,6
/proc/10689/task/10694/stat : 10694 (java) S 10686 10689 8839 0 -1 4202560 1466 0 0 0 585 28 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646367296168 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10695] ppid=10686 vsize=9824732 CPUtime=5.6 cores=0,2,4,6
/proc/10689/task/10695/stat : 10695 (java) S 10686 10689 8839 0 -1 4202560 1386 0 0 0 535 25 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646236928808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10696] ppid=10686 vsize=9824732 CPUtime=5.54 cores=0,2,4,6
/proc/10689/task/10696/stat : 10696 (java) S 10686 10689 8839 0 -1 4202560 1494 0 0 0 527 27 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646235875752 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10697] ppid=10686 vsize=9824732 CPUtime=6.16 cores=0,2,4,6
/proc/10689/task/10697/stat : 10697 (java) S 10686 10689 8839 0 -1 4202560 1508 0 0 0 587 29 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646234823208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10698] ppid=10686 vsize=9824732 CPUtime=5.62 cores=0,2,4,6
/proc/10689/task/10698/stat : 10698 (java) S 10686 10689 8839 0 -1 4202560 2016 0 0 0 533 29 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646233770152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10699] ppid=10686 vsize=9824732 CPUtime=6.21 cores=0,2,4,6
/proc/10689/task/10699/stat : 10699 (java) S 10686 10689 8839 0 -1 4202560 1634 0 0 0 593 28 0 0 20 0 22 0 107945992 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139646232717608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10700] ppid=10686 vsize=9824732 CPUtime=9.1 cores=0,2,4,6
/proc/10689/task/10700/stat : 10700 (java) S 10686 10689 8839 0 -1 4202560 2949 0 0 0 904 6 0 0 20 0 22 0 107945993 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645750205288 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10701] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10701/stat : 10701 (java) S 10686 10689 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645749151608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10702] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10702/stat : 10702 (java) S 10686 10689 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107945994 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645748098440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10689/tid=10703] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10703/stat : 10703 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645747047184 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10704] ppid=10686 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/10689/task/10704/stat : 10704 (java) S 10686 10689 8839 0 -1 4202560 9113 0 0 0 159 2 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645745994040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10705] ppid=10686 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/10689/task/10705/stat : 10705 (java) S 10686 10689 8839 0 -1 4202560 19634 0 0 0 245 3 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645744941496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10706] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10706/stat : 10706 (java) S 10686 10689 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645743888632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10707] ppid=10686 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/10689/task/10707/stat : 10707 (java) S 10686 10689 8839 0 -1 4202560 51 0 0 0 21 13 0 0 20 0 22 0 107945997 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645742836296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10708] ppid=10686 vsize=9824732 CPUtime=867.52 cores=0,2,4,6
/proc/10689/task/10708/stat : 10708 (java) R 10686 10689 8839 0 -1 4202560 82 0 0 0 86737 15 0 0 20 0 22 0 107946067 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645741780896 139646248932062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10689/tid=10709] ppid=10686 vsize=9824732 CPUtime=867.62 cores=0,2,4,6
/proc/10689/task/10709/stat : 10709 (java) R 10686 10689 8839 0 -1 4202560 1616 0 0 0 86726 36 0 0 20 0 22 0 107946067 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645740729440 139646249363075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10689/tid=10710] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10710/stat : 10710 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645739676968 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10689/tid=10711] ppid=10686 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10689/task/10711/stat : 10711 (java) S 10686 10689 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107946068 10060525568 1056926 33554432000 1073741824 1073778376 140735155645200 139645738624424 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10689 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=58413
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=193514
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 891.959
CPU time (s): 1800.19
CPU user time (s): 1797.46
CPU system time (s): 2.73
CPU usage (%): 201.824
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.06
system time used= 3.19351
maximum resident set size= 4227820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50034
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23786
involuntary context switches= 27710

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38418 second user time and 7.54185 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-07 02:41:53
IDJOB=4081515
IDBENCH=71843
IDSOLVER=2543
FILE ID=node105/4081515-1465260113
RUNJOBID= node105-1465255598-8855
PBS_JOBID= 19843277
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081515-1465260113/watcher-4081515-1465260113 -o /tmp/evaluation-result-4081515-1465260113/solver-4081515-1465260113 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465255598-8855 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081515-1465260113.opb

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

MD5SUM BENCH= 899c8865b8ac9a45eaa204f923cbd9e8
RANDOM SEED=810864511

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29373532 kB
Buffers:           71192 kB
Cached:           135196 kB
SwapCached:         1752 kB
Active:          2485820 kB
Inactive:         124488 kB
Active(anon):    2403024 kB
Inactive(anon):     3380 kB
Active(file):      82796 kB
Inactive(file):   121108 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098468 kB
Dirty:              1324 kB
Writeback:            40 kB
AnonPages:       2584552 kB
Mapped:            15376 kB
Shmem:                 0 kB
Slab:             570736 kB
SReclaimable:      13868 kB
SUnreclaim:       556868 kB
KernelStack:        1600 kB
PageTables:         9780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2698600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2506752 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= 71740 MiB
End job on node105 at 2016-06-07 02:56:45