Trace number 4109253

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1801.11 1806.98

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo
MD5SUMbafaa0f2d721cfb2a00301ef0b213419
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark6.63299
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints28
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1314
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4109253-1466341822.wbo
0.10/0.11	c reading problem ... 
0.10/0.18	c ... done. Wall clock time 0.067s.
0.10/0.18	c declared #vars     169
0.10/0.18	c internal #vars     197
0.10/0.18	c #constraints  101
0.10/0.18	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
0.10/0.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
0.10/0.18	c 101 constraints processed.
0.10/0.18	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.10/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 28
0.10/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21
0.10/0.18	c 101 constraints processed.
0.10/0.18	c objective function length is 28 literals
2.23/0.79	c cleaning 2497 clauses out of 5001 with flag 14145/5001
2.60/0.83	c And the winner is solver1
3.08/1.19	c SATISFIABLE
3.08/1.19	c OPTIMIZING...
3.08/1.19	c Got one! Elapsed wall clock time (in seconds):1.072
3.08/1.19	o 1080
3.43/1.32	c cleaning 3915 clauses out of 7829 with flag 12472/10326
3.43/1.36	c And the winner is solver0
3.71/1.69	c Got one! Elapsed wall clock time (in seconds):1.573
3.71/1.69	o 1037
3.73/1.71	c And the winner is solver0
3.77/2.19	c Got one! Elapsed wall clock time (in seconds):2.074
3.77/2.19	o 912
4.00/2.31	c And the winner is solver0
4.03/2.69	c Got one! Elapsed wall clock time (in seconds):2.575
4.03/2.69	o 909
4.05/2.73	c cleaning 5568 clauses out of 11142 with flag 3154/17554
4.46/2.91	c cleaning 5789 clauses out of 11577 with flag 24435/23557
4.46/2.91	c And the winner is solver0
4.52/3.19	c Got one! Elapsed wall clock time (in seconds):3.076
4.52/3.19	o 903
4.53/3.22	c And the winner is solver0
4.58/3.69	c Got one! Elapsed wall clock time (in seconds):3.577
4.58/3.69	o 898
4.58/3.69	c And the winner is solver0
4.58/4.19	c Got one! Elapsed wall clock time (in seconds):4.077
4.58/4.19	o 479
4.84/4.32	c cleaning 5593 clauses out of 11189 with flag 14768/28958
4.84/4.32	c And the winner is solver0
4.92/4.69	c Got one! Elapsed wall clock time (in seconds):4.578
4.92/4.69	o 477
5.12/4.84	c cleaning 5339 clauses out of 10684 with flag 16586/34046
5.12/4.84	c And the winner is solver0
5.24/5.19	c Got one! Elapsed wall clock time (in seconds):5.079
5.24/5.19	o 475
5.44/5.34	c cleaning 5210 clauses out of 10425 with flag 17970/39126
5.86/5.51	c cleaning 5607 clauses out of 11217 with flag 40015/45128
6.24/5.73	c cleaning 6305 clauses out of 12609 with flag 66232/52127
6.65/5.94	c And the winner is solver0
6.79/6.19	c Got one! Elapsed wall clock time (in seconds):6.08
6.79/6.19	o 470
6.99/6.32	c And the winner is solver0
7.16/6.69	c Got one! Elapsed wall clock time (in seconds):6.581
7.16/6.69	o 469
7.18/6.72	c And the winner is solver0
7.26/7.20	c Got one! Elapsed wall clock time (in seconds):7.082
7.26/7.20	o 467
7.50/7.31	c cleaning 9279 clauses out of 18562 with flag 7565/64385
7.50/7.34	c And the winner is solver0
7.95/7.70	c Got one! Elapsed wall clock time (in seconds):7.583
7.95/7.70	o 454
8.17/7.86	c cleaning 7193 clauses out of 14395 with flag 17035/69497
8.17/7.87	c And the winner is solver0
8.75/8.20	c Got one! Elapsed wall clock time (in seconds):8.084
8.75/8.20	o 443
8.75/8.21	c And the winner is solver0
8.93/8.70	c Got one! Elapsed wall clock time (in seconds):8.585
8.93/8.70	o 441
8.93/8.72	c And the winner is solver0
9.04/9.20	c Got one! Elapsed wall clock time (in seconds):9.086
9.04/9.20	o 437
9.04/9.25	c And the winner is solver0
9.15/9.70	c Got one! Elapsed wall clock time (in seconds):9.586
9.15/9.70	o 435
9.35/9.84	c cleaning 7173 clauses out of 14356 with flag 16227/76651
9.35/9.90	c And the winner is solver0
9.62/10.20	c Got one! Elapsed wall clock time (in seconds):10.087
9.62/10.20	o 430
9.62/10.24	c And the winner is solver0
9.74/10.70	c Got one! Elapsed wall clock time (in seconds):10.588
9.74/10.70	o 417
9.74/10.77	c And the winner is solver0
9.88/11.20	c Got one! Elapsed wall clock time (in seconds):11.089
9.88/11.20	o 414
9.88/11.28	c And the winner is solver0
10.04/11.70	c Got one! Elapsed wall clock time (in seconds):11.59
10.04/11.70	o 411
10.04/11.75	c cleaning 7386 clauses out of 14778 with flag 4074/84246
10.44/11.95	c cleaning 6696 clauses out of 13394 with flag 27498/90248
10.91/12.14	c And the winner is solver0
11.04/12.20	c Got one! Elapsed wall clock time (in seconds):12.09
11.04/12.20	o 410
11.04/12.27	c And the winner is solver0
11.19/12.70	c Got one! Elapsed wall clock time (in seconds):12.591
11.19/12.70	o 400
11.36/12.81	c And the winner is solver0
11.41/13.21	c Got one! Elapsed wall clock time (in seconds):13.092
11.41/13.21	o 391
11.41/13.30	c cleaning 9462 clauses out of 18931 with flag 8344/102481
11.79/13.43	c And the winner is solver0
11.88/13.71	c Got one! Elapsed wall clock time (in seconds):13.593
11.88/13.71	o 384
11.88/13.75	c cleaning 7386 clauses out of 14779 with flag 4463/107791
12.07/13.87	c And the winner is solver0
12.32/14.21	c Got one! Elapsed wall clock time (in seconds):14.093
12.32/14.21	o 379
12.32/14.29	c cleaning 6693 clauses out of 13385 with flag 8792/113783
12.71/14.49	c cleaning 6347 clauses out of 12695 with flag 34006/119786
12.90/14.51	c And the winner is solver0
12.96/14.71	c Got one! Elapsed wall clock time (in seconds):14.594
12.96/14.71	o 378
12.96/14.77	c And the winner is solver0
13.11/15.21	c Got one! Elapsed wall clock time (in seconds):15.095
13.11/15.21	o 376
13.11/15.26	c And the winner is solver0
13.24/15.71	c Got one! Elapsed wall clock time (in seconds):15.596
13.24/15.71	o 370
13.24/15.78	c cleaning 6242 clauses out of 12490 with flag 8768/125928
13.42/15.80	c And the winner is solver0
13.45/16.21	c Got one! Elapsed wall clock time (in seconds):16.097
13.45/16.21	o 367
13.62/16.36	c And the winner is solver0
13.86/16.71	c Got one! Elapsed wall clock time (in seconds):16.598
13.86/16.71	o 364
13.86/16.72	c And the winner is solver0
13.97/17.21	c Got one! Elapsed wall clock time (in seconds):17.098
13.97/17.21	o 356
13.97/17.23	c And the winner is solver0
14.05/17.71	c Got one! Elapsed wall clock time (in seconds):17.599
14.05/17.71	o 353
14.05/17.75	c And the winner is solver0
14.16/18.21	c Got one! Elapsed wall clock time (in seconds):18.1
14.16/18.21	o 348
14.16/18.23	c And the winner is solver0
14.24/18.71	c Got one! Elapsed wall clock time (in seconds):18.601
14.24/18.71	o 346
14.24/18.72	c And the winner is solver0
14.30/19.21	c Got one! Elapsed wall clock time (in seconds):19.101
14.30/19.21	o 344
14.30/19.22	c And the winner is solver0
14.36/19.72	c Got one! Elapsed wall clock time (in seconds):19.602
14.36/19.72	o 342
14.36/19.73	c And the winner is solver0
14.44/20.22	c Got one! Elapsed wall clock time (in seconds):20.103
14.44/20.22	o 340
14.44/20.22	c And the winner is solver0
14.50/20.72	c Got one! Elapsed wall clock time (in seconds):20.603
14.50/20.72	o 335
14.50/20.72	c And the winner is solver0
14.56/21.22	c Got one! Elapsed wall clock time (in seconds):21.104
14.56/21.22	o 332
14.56/21.23	c And the winner is solver0
14.62/21.72	c Got one! Elapsed wall clock time (in seconds):21.605
14.62/21.72	o 327
14.62/21.72	c And the winner is solver0
14.63/22.22	c Got one! Elapsed wall clock time (in seconds):22.106
14.63/22.22	o 80
14.63/22.22	c And the winner is solver0
1800.06/1806.45	c >>>>>>>>>> Solver number 0 (42 answers) <<<<<<<<<<<<<<<<<<
1800.06/1806.45	c starts		: 723
1800.06/1806.45	c conflicts		: 134277
1800.06/1806.45	c decisions		: 216755
1800.06/1806.45	c propagations		: 2924165
1800.06/1806.45	c inspects		: 44160022
1800.06/1806.45	c shortcuts		: 0
1800.06/1806.45	c learnt literals	: 0
1800.06/1806.45	c learnt binary clauses	: 27
1800.06/1806.45	c learnt ternary clauses	: 363
1800.06/1806.45	c learnt constraints	: 134277
1800.06/1806.45	c ignored constraints	: 0
1800.06/1806.45	c root simplifications	: 0
1800.06/1806.45	c removed literals (reason simplification)	: 1592999
1800.06/1806.45	c reason swapping (by a shorter reason)	: 0
1800.06/1806.45	c Calls to reduceDB	: 19
1800.06/1806.45	c Number of update (reduction) of LBD	: 33497
1800.06/1806.45	c Imported unit clauses	: 0
1800.06/1806.45	c number of reductions to clauses (during analyze)	: 0
1800.06/1806.45	c number of learned constraints concerned by reduction	: 0
1800.06/1806.45	c number of learning phase by resolution	: 0
1800.06/1806.45	c number of learning phase by cutting planes	: 0
1800.06/1806.45	c speed (assignments/second)	: 1619.8026877014945
1800.06/1806.45	c non guided choices	1391
1800.06/1806.46	c learnt constraints type 
1800.06/1806.46	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 27
1800.06/1806.46	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14570
1800.06/1806.46	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.06/1806.46	c starts		: 48
1800.06/1806.46	c conflicts		: 742
1800.06/1806.46	c decisions		: 5760
1800.06/1806.46	c propagations		: 34044
1800.06/1806.46	c inspects		: 1517983
1800.06/1806.46	c shortcuts		: 0
1800.06/1806.46	c learnt literals	: 0
1800.06/1806.46	c learnt binary clauses	: 0
1800.06/1806.46	c learnt ternary clauses	: 0
1800.06/1806.46	c learnt constraints	: 701
1800.06/1806.46	c ignored constraints	: 0
1800.06/1806.46	c root simplifications	: 0
1800.06/1806.46	c removed literals (reason simplification)	: 0
1800.06/1806.46	c reason swapping (by a shorter reason)	: 0
1800.06/1806.46	c Calls to reduceDB	: 0
1800.06/1806.46	c Number of update (reduction) of LBD	: 0
1800.06/1806.46	c Imported unit clauses	: 0
1800.06/1806.46	c number of reductions to clauses (during analyze)	: 0
1800.06/1806.46	c number of learned constraints concerned by reduction	: 0
1800.06/1806.46	c number of learning phase by resolution	: 0
1800.06/1806.46	c number of learning phase by cutting planes	: 0
1800.06/1806.46	c speed (assignments/second)	: 19.08042485387311
1800.06/1806.46	c non guided choices	416
1800.06/1806.46	c learnt constraints type 
1800.06/1806.46	c org.sat4j.pb.constraints.pb.MaxWatchPb => 701
1800.06/1806.46	s SATISFIABLE
1800.06/1806.46	c Found 42 solution(s)
1800.06/1806.46	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 
1800.06/1806.46	c objective function=80
1800.06/1806.46	c Total wall clock time (in seconds): 1806.345

Verifier Data 

OK	80

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-4109253-1466341822/watcher-4109253-1466341822 -o /tmp/evaluation-result-4109253-1466341822/solver-4109253-1466341822 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466341822-29691 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109253-1466341822.wbo 

pid=29739
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: 0.08 0.10 0.10 6/198 29742
/proc/meminfo: memFree=30465824/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 2 0 36231219 95129600 927 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 23225 927 703 9 0 16769 0
[pid=29742/tid=29743] ppid=29739 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) R 29739 29742 29675 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 36231219 96370688 931 33554432000 1073741824 1073778376 140735459182720 140287068106280 271778409767 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 0.08 0.10 0.10 6/198 29742
/proc/meminfo: memFree=30465824/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 4421 0 1 0 9 1 0 0 20 0 18 0 36231219 9787879424 6055 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2389619 6055 2126 9 0 2380296 0
[pid=29742/tid=29743] ppid=29739 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) R 29739 29742 29675 0 -1 4202560 2397 0 1 0 6 1 0 0 20 0 18 0 36231219 9787879424 6055 33554432000 1073741824 1073778376 140735459182720 140287068109728 271790957837 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.200309 s]
/proc/loadavg: 0.08 0.10 0.10 6/198 29742
/proc/meminfo: memFree=30465824/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 4770 0 1 0 23 1 0 0 20 0 22 0 36231219 10060525568 7885 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2456183 7885 2208 9 0 2446860 0
[pid=29742/tid=29743] ppid=29739 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) S 29739 29742 29675 0 -1 4202560 2420 0 1 0 15 1 0 0 20 0 22 0 36231219 10060525568 7885 33554432000 1073741824 1073778376 140735459182720 140287068111736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824732

[startup+0.300253 s]
/proc/loadavg: 0.08 0.10 0.10 6/198 29742
/proc/meminfo: memFree=30465824/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 8059 0 1 0 61 2 0 0 20 0 22 0 36231219 10060525568 10276 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2456183 10276 2248 9 0 2446860 0
[pid=29742/tid=29743] ppid=29739 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) S 29739 29742 29675 0 -1 4202560 2420 0 1 0 15 1 0 0 20 0 22 0 36231219 10060525568 10276 33554432000 1073741824 1073778376 140735459182720 140287068111736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 9824732

[startup+0.700209 s]
/proc/loadavg: 0.08 0.10 0.10 6/198 29742
/proc/meminfo: memFree=30465824/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 18400 0 1 0 219 4 0 0 20 0 22 0 36231219 10060525568 18274 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2456183 18274 2256 9 0 2446860 0
[pid=29742/tid=29743] ppid=29739 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) S 29739 29742 29675 0 -1 4202560 2420 0 1 0 15 1 0 0 20 0 22 0 36231219 10060525568 18274 33554432000 1073741824 1073778376 140735459182720 140287068111736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 0.40 0.16 0.12 1/214 29770
/proc/meminfo: memFree=30343404/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 27602 0 1 0 362 9 0 0 20 0 19 0 36231219 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2456183 36472 2273 9 0 2446860 0
[pid=29742/tid=29743] ppid=29739 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) S 29739 29742 29675 0 -1 4202560 2420 0 1 0 15 1 0 0 20 0 19 0 36231219 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140287068111736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29745] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29745/stat : 29745 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140287057172776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29746] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29746/stat : 29746 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140287056119976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29747] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29747/stat : 29747 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140287055067688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29748] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29748/stat : 29748 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286908643752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29749] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29749/stat : 29749 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286907591464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29750] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29750/stat : 29750 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286906538664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29751] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29751/stat : 29751 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286905486376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29752] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29752/stat : 29752 (java) S 29739 29742 29675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286904433576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29753] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29753/stat : 29753 (java) S 29739 29742 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36231221 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286892234984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29754] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29754/stat : 29754 (java) S 29739 29742 29675 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36231222 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286891181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29755] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29755/stat : 29755 (java) S 29739 29742 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36231222 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286890128648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29756] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29756/stat : 29756 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231224 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286889077136 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29757] ppid=29739 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/29742/task/29757/stat : 29757 (java) S 29739 29742 29675 0 -1 4202560 11547 0 0 0 99 2 0 0 20 0 19 0 36231224 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286888024760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29758] ppid=29739 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/29742/task/29758/stat : 29758 (java) S 29739 29742 29675 0 -1 4202560 12254 0 0 0 84 2 0 0 20 0 19 0 36231224 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286886971960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29759] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29759/stat : 29759 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231224 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286885919864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29760] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29760/stat : 29760 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231224 10060525568 36472 33554432000 1073741824 1073778376 140735459182720 140286884867272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 0.40 0.16 0.12 3/217 29785
/proc/meminfo: memFree=30261384/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9824732 CPUtime=4.52 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 27677 0 1 0 436 16 0 0 20 0 19 0 36231219 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2456183 48785 2286 9 0 2446860 0
[pid=29742/tid=29743] ppid=29739 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) S 29739 29742 29675 0 -1 4202560 2421 0 1 0 15 2 0 0 20 0 19 0 36231219 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140287068111736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29745] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29745/stat : 29745 (java) S 29739 29742 29675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140287057172776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29746] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29746/stat : 29746 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140287056119976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29747] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29747/stat : 29747 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140287055067688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29748] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29748/stat : 29748 (java) S 29739 29742 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286908643752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29749] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29749/stat : 29749 (java) S 29739 29742 29675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286907591464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29750] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29750/stat : 29750 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286906538664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29751] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29751/stat : 29751 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286905486376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29752] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29752/stat : 29752 (java) S 29739 29742 29675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36231220 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286904433576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29753] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29753/stat : 29753 (java) S 29739 29742 29675 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36231221 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286892234984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29754] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29754/stat : 29754 (java) S 29739 29742 29675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36231222 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286891181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29755] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29755/stat : 29755 (java) S 29739 29742 29675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36231222 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286890128648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29756] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29756/stat : 29756 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231224 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286889077136 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29757] ppid=29739 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/29742/task/29757/stat : 29757 (java) S 29739 29742 29675 0 -1 4202560 11548 0 0 0 101 2 0 0 20 0 19 0 36231224 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286888024760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29758] ppid=29739 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/29742/task/29758/stat : 29758 (java) S 29739 29742 29675 0 -1 4202560 12254 0 0 0 85 2 0 0 20 0 19 0 36231224 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286886971960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29759] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29759/stat : 29759 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231224 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286885919864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29760] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29760/stat : 29760 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36231224 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286884867272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29773] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29773/stat : 29773 (java) S 29739 29742 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36231338 10060525568 48785 33554432000 1073741824 1073778376 140735459182720 140286880655016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 9824732

[startup+6.30069 s]
/proc/loadavg: 0.53 0.20 0.13 3/217 29824
/proc/meminfo: memFree=30206192/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9824732 CPUtime=6.99 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 27751 0 1 0 674 25 0 0 20 0 22 0 36231219 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2456183 48002 2287 9 0 2446860 0
[pid=29742/tid=29743] ppid=29739 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) S 29739 29742 29675 0 -1 4202560 2422 0 1 0 16 2 0 0 20 0 22 0 36231219 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140287068111736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29745] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29745/stat : 29745 (java) S 29739 29742 29675 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 36231220 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140287057172776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29746] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29746/stat : 29746 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36231220 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140287056119976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29747] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29747/stat : 29747 (java) S 29739 29742 29675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 36231220 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140287055067688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29748] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29748/stat : 29748 (java) S 29739 29742 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36231220 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286908643752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29749] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29749/stat : 29749 (java) S 29739 29742 29675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 36231220 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286907591464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29750] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29750/stat : 29750 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36231220 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286906538664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29751] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29751/stat : 29751 (java) S 29739 29742 29675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36231220 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286905486376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29752] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29752/stat : 29752 (java) S 29739 29742 29675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36231220 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286904433576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29753] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29753/stat : 29753 (java) S 29739 29742 29675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36231221 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286892234984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29754] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29754/stat : 29754 (java) S 29739 29742 29675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36231222 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286891181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29755] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29755/stat : 29755 (java) S 29739 29742 29675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36231222 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286890128648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29756] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29756/stat : 29756 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36231224 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286889077136 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29757] ppid=29739 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/29742/task/29757/stat : 29757 (java) S 29739 29742 29675 0 -1 4202560 11548 0 0 0 105 2 0 0 20 0 22 0 36231224 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286888024760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29758] ppid=29739 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/29742/task/29758/stat : 29758 (java) S 29739 29742 29675 0 -1 4202560 12254 0 0 0 86 2 0 0 20 0 22 0 36231224 10060525568 48002 33554432000 1073741824 1073778376 140735459182720 140286886971960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29759] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=29742/tid=29773] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29773/stat : 29773 (java) S 29739 29742 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36231338 10060525568 113909 33554432000 1073741824 1073778376 140735459182720 140286880655016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=30021] ppid=29739 vsize=9824732 CPUtime=1754.81 cores=0,2,4,6
/proc/29742/task/30021/stat : 30021 (java) R 29739 29742 29675 0 -1 4202560 296 0 0 0 175450 31 0 0 20 0 21 0 36233441 10060525568 113909 33554432000 1073741824 1073778376 140735459182720 140286883810064 140286936837264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=30022] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/30022/stat : 30022 (java) S 29739 29742 29675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36233441 10060525568 113909 33554432000 1073741824 1073778376 140735459182720 140286881706792 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1775.96
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.4 s]
/proc/loadavg: 2.24 2.27 1.83 3/218 4009
/proc/meminfo: memFree=27954896/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9824732 CPUtime=1800.06 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 38884 0 1 0 179858 148 0 0 20 0 21 0 36231219 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2456183 113781 2288 9 0 2446860 0
[pid=29742/tid=29743] ppid=29739 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) S 29739 29742 29675 0 -1 4202560 2430 0 1 0 34 14 0 0 20 0 21 0 36231219 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140287068111848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29745] ppid=29739 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/29742/task/29745/stat : 29745 (java) S 29739 29742 29675 0 -1 4202560 216 0 0 0 15 4 0 0 20 0 21 0 36231220 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140287057172776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29746] ppid=29739 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/29742/task/29746/stat : 29746 (java) S 29739 29742 29675 0 -1 4202560 79 0 0 0 14 4 0 0 20 0 21 0 36231220 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140287056119976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29747] ppid=29739 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/29742/task/29747/stat : 29747 (java) S 29739 29742 29675 0 -1 4202560 206 0 0 0 16 5 0 0 20 0 21 0 36231220 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140287055067688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29748] ppid=29739 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/29742/task/29748/stat : 29748 (java) S 29739 29742 29675 0 -1 4202560 222 0 0 0 13 4 0 0 20 0 21 0 36231220 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286908643752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29749] ppid=29739 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/29742/task/29749/stat : 29749 (java) S 29739 29742 29675 0 -1 4202560 75 0 0 0 14 4 0 0 20 0 21 0 36231220 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286907591464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29750] ppid=29739 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/29742/task/29750/stat : 29750 (java) S 29739 29742 29675 0 -1 4202560 246 0 0 0 14 3 0 0 20 0 21 0 36231220 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286906538664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29751] ppid=29739 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/29742/task/29751/stat : 29751 (java) S 29739 29742 29675 0 -1 4202560 81 0 0 0 16 4 0 0 20 0 21 0 36231220 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286905486376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29752] ppid=29739 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/29742/task/29752/stat : 29752 (java) S 29739 29742 29675 0 -1 4202560 206 0 0 0 15 4 0 0 20 0 21 0 36231220 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286904433576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29753] ppid=29739 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/29742/task/29753/stat : 29753 (java) S 29739 29742 29675 0 -1 4202560 241 0 0 0 2 9 0 0 20 0 21 0 36231221 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286892234984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29754] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29754/stat : 29754 (java) S 29739 29742 29675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36231222 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286891181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29755] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29755/stat : 29755 (java) S 29739 29742 29675 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 36231222 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286890128648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29756] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29756/stat : 29756 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36231224 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286889077136 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29757] ppid=29739 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/29742/task/29757/stat : 29757 (java) S 29739 29742 29675 0 -1 4202560 20428 0 0 0 209 3 0 0 20 0 21 0 36231224 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286888024760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29758] ppid=29739 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/29742/task/29758/stat : 29758 (java) S 29739 29742 29675 0 -1 4202560 12254 0 0 0 94 2 0 0 20 0 21 0 36231224 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286886971960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29759] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29759/stat : 29759 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36231224 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286885919864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29760] ppid=29739 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/29742/task/29760/stat : 29760 (java) S 29739 29742 29675 0 -1 4202560 105 0 0 0 10 14 0 0 20 0 21 0 36231224 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286884867272 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29773] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29773/stat : 29773 (java) S 29739 29742 29675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36231338 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286880655016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=30021] ppid=29739 vsize=9824732 CPUtime=1778.84 cores=0,2,4,6
/proc/29742/task/30021/stat : 30021 (java) R 29739 29742 29675 0 -1 4202560 297 0 0 0 177852 32 0 0 20 0 21 0 36233441 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286883810208 140286936837264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=30022] ppid=29739 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29742/task/30022/stat : 30022 (java) S 29739 29742 29675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36233441 10060525568 113781 33554432000 1073741824 1073778376 140735459182720 140286881706792 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 29742 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1806.8 s]
/proc/loadavg: 2.24 2.27 1.83 3/218 4009
/proc/meminfo: memFree=27954896/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9891296 CPUtime=1800.92 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 38932 0 1 0 179907 185 0 0 20 0 18 0 36231219 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2472824 113814 2292 9 0 2463501 0
[pid=29742/tid=29743] ppid=29739 vsize=9891296 CPUtime=0.48 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) S 29739 29742 29675 0 -1 4202560 2430 0 1 0 34 14 0 0 20 0 18 0 36231219 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140287068111560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29745] ppid=29739 vsize=9891296 CPUtime=0.19 cores=0,2,4,6
/proc/29742/task/29745/stat : 29745 (java) S 29739 29742 29675 0 -1 4202560 216 0 0 0 15 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140287057172776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29746] ppid=29739 vsize=9891296 CPUtime=0.18 cores=0,2,4,6
/proc/29742/task/29746/stat : 29746 (java) S 29739 29742 29675 0 -1 4202560 79 0 0 0 14 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140287056119976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29747] ppid=29739 vsize=9891296 CPUtime=0.21 cores=0,2,4,6
/proc/29742/task/29747/stat : 29747 (java) S 29739 29742 29675 0 -1 4202560 206 0 0 0 16 5 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140287055067688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29748] ppid=29739 vsize=9891296 CPUtime=0.17 cores=0,2,4,6
/proc/29742/task/29748/stat : 29748 (java) S 29739 29742 29675 0 -1 4202560 222 0 0 0 13 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286908643752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29749] ppid=29739 vsize=9891296 CPUtime=0.18 cores=0,2,4,6
/proc/29742/task/29749/stat : 29749 (java) S 29739 29742 29675 0 -1 4202560 75 0 0 0 14 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286907591464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29750] ppid=29739 vsize=9891296 CPUtime=0.17 cores=0,2,4,6
/proc/29742/task/29750/stat : 29750 (java) S 29739 29742 29675 0 -1 4202560 246 0 0 0 14 3 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286906538664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29751] ppid=29739 vsize=9891296 CPUtime=0.2 cores=0,2,4,6
/proc/29742/task/29751/stat : 29751 (java) S 29739 29742 29675 0 -1 4202560 81 0 0 0 16 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286905486376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29752] ppid=29739 vsize=9891296 CPUtime=0.19 cores=0,2,4,6
/proc/29742/task/29752/stat : 29752 (java) S 29739 29742 29675 0 -1 4202560 206 0 0 0 15 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286904433576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29753] ppid=29739 vsize=9891296 CPUtime=0.49 cores=0,2,4,6
/proc/29742/task/29753/stat : 29753 (java) R 29739 29742 29675 0 -1 4202560 243 0 0 0 8 41 0 0 20 0 18 0 36231221 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286892235160 271787527303 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29754] ppid=29739 vsize=9891296 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29754/stat : 29754 (java) S 29739 29742 29675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 36231222 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286891181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29755] ppid=29739 vsize=9891296 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29755/stat : 29755 (java) S 29739 29742 29675 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 18 0 36231222 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286890128648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29757] ppid=29739 vsize=9891296 CPUtime=2.12 cores=0,2,4,6
/proc/29742/task/29757/stat : 29757 (java) S 29739 29742 29675 0 -1 4202560 20429 0 0 0 209 3 0 0 20 0 18 0 36231224 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286888024760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29758] ppid=29739 vsize=9891296 CPUtime=0.97 cores=0,2,4,6
/proc/29742/task/29758/stat : 29758 (java) S 29739 29742 29675 0 -1 4202560 12269 0 0 0 95 2 0 0 20 0 18 0 36231224 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286886963928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29759] ppid=29739 vsize=9891296 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29759/stat : 29759 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 36231224 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286885919864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=30021] ppid=29739 vsize=9891296 CPUtime=1779.24 cores=0,2,4,6
/proc/29742/task/30021/stat : 30021 (java) R 29739 29742 29675 0 -1 4202560 297 0 0 0 177892 32 0 0 20 0 18 0 36233441 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286883809392 140286936837195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 9891296

[startup+1806.9 s]
/proc/loadavg: 2.24 2.27 1.83 3/218 4009
/proc/meminfo: memFree=27954896/32872528 swapFree=1103996/1183712
[pid=29742] ppid=29739 vsize=9891296 CPUtime=1801.11 cores=0,2,4,6
/proc/29742/stat : 29742 (java) S 29739 29742 29675 0 -1 4202496 38932 0 1 0 179918 193 0 0 20 0 18 0 36231219 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140735459173856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29742/statm: 2472824 113814 2292 9 0 2463501 0
[pid=29742/tid=29743] ppid=29739 vsize=9891296 CPUtime=0.48 cores=0,2,4,6
/proc/29742/task/29743/stat : 29743 (java) S 29739 29742 29675 0 -1 4202560 2430 0 1 0 34 14 0 0 20 0 18 0 36231219 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140287068111560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29745] ppid=29739 vsize=9891296 CPUtime=0.19 cores=0,2,4,6
/proc/29742/task/29745/stat : 29745 (java) S 29739 29742 29675 0 -1 4202560 216 0 0 0 15 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140287057172776 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29746] ppid=29739 vsize=9891296 CPUtime=0.18 cores=0,2,4,6
/proc/29742/task/29746/stat : 29746 (java) S 29739 29742 29675 0 -1 4202560 79 0 0 0 14 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140287056119976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29747] ppid=29739 vsize=9891296 CPUtime=0.21 cores=0,2,4,6
/proc/29742/task/29747/stat : 29747 (java) S 29739 29742 29675 0 -1 4202560 206 0 0 0 16 5 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140287055067688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29748] ppid=29739 vsize=9891296 CPUtime=0.17 cores=0,2,4,6
/proc/29742/task/29748/stat : 29748 (java) S 29739 29742 29675 0 -1 4202560 222 0 0 0 13 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286908643752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29749] ppid=29739 vsize=9891296 CPUtime=0.18 cores=0,2,4,6
/proc/29742/task/29749/stat : 29749 (java) S 29739 29742 29675 0 -1 4202560 75 0 0 0 14 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286907591464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29750] ppid=29739 vsize=9891296 CPUtime=0.17 cores=0,2,4,6
/proc/29742/task/29750/stat : 29750 (java) S 29739 29742 29675 0 -1 4202560 246 0 0 0 14 3 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286906538664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29751] ppid=29739 vsize=9891296 CPUtime=0.2 cores=0,2,4,6
/proc/29742/task/29751/stat : 29751 (java) S 29739 29742 29675 0 -1 4202560 81 0 0 0 16 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286905486376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29752] ppid=29739 vsize=9891296 CPUtime=0.19 cores=0,2,4,6
/proc/29742/task/29752/stat : 29752 (java) S 29739 29742 29675 0 -1 4202560 206 0 0 0 15 4 0 0 20 0 18 0 36231220 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286904433576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29753] ppid=29739 vsize=9891296 CPUtime=0.59 cores=0,2,4,6
/proc/29742/task/29753/stat : 29753 (java) R 29739 29742 29675 0 -1 4202560 243 0 0 0 10 49 0 0 20 0 18 0 36231221 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286892235160 271787527303 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29754] ppid=29739 vsize=9891296 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29754/stat : 29754 (java) S 29739 29742 29675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 36231222 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286891181048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29742/tid=29755] ppid=29739 vsize=9891296 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29755/stat : 29755 (java) S 29739 29742 29675 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 18 0 36231222 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286890128648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29742/tid=29757] ppid=29739 vsize=9891296 CPUtime=2.12 cores=0,2,4,6
/proc/29742/task/29757/stat : 29757 (java) S 29739 29742 29675 0 -1 4202560 20429 0 0 0 209 3 0 0 20 0 18 0 36231224 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286888024760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=29758] ppid=29739 vsize=9891296 CPUtime=0.97 cores=0,2,4,6
/proc/29742/task/29758/stat : 29758 (java) S 29739 29742 29675 0 -1 4202560 12269 0 0 0 95 2 0 0 20 0 18 0 36231224 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286886963928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29742/tid=29759] ppid=29739 vsize=9891296 CPUtime=0 cores=0,2,4,6
/proc/29742/task/29759/stat : 29759 (java) S 29739 29742 29675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 36231224 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286885919864 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29742/tid=30021] ppid=29739 vsize=9891296 CPUtime=1779.34 cores=0,2,4,6
/proc/29742/task/30021/stat : 30021 (java) R 29739 29742 29675 0 -1 4202560 297 0 0 0 177902 32 0 0 20 0 18 0 36233441 10128687104 113814 33554432000 1073741824 1073778376 140735459182720 140286883809392 140286936837198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 9891296

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29742 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=668168
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=422631
# CPU time returned by wait4() is 1797.09
# while last known CPU time is 1801.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1806.98
CPU time (s): 1801.11
CPU user time (s): 1799.18
CPU system time (s): 1.93
CPU usage (%): 99.6752
Max. virtual memory (cumulated for all children) (KiB): 9891296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.67
system time used= 2.42263
maximum resident set size= 472932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38932
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77273
involuntary context switches= 23341

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3024 second user time and 13.154 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-19 15:10:22
IDJOB=4109253
IDBENCH=78753
IDSOLVER=2552
FILE ID=node115/4109253-1466341822
RUNJOBID= node115-1466341822-29691
PBS_JOBID= 19922037
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109253-1466341822/watcher-4109253-1466341822 -o /tmp/evaluation-result-4109253-1466341822/solver-4109253-1466341822 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466341822-29691 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4109253-1466341822.wbo

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

MD5SUM BENCH= bafaa0f2d721cfb2a00301ef0b213419
RANDOM SEED=1503355689

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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.103
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:        30467096 kB
Buffers:          187488 kB
Cached:           253348 kB
SwapCached:         2556 kB
Active:           143940 kB
Inactive:         329192 kB
Active(anon):      32804 kB
Inactive(anon):     2352 kB
Active(file):     111136 kB
Inactive(file):   326840 kB
Unevictable:     1183712 kB
Mlocked:         1103996 kB
SwapTotal:      67108856 kB
SwapFree:       67099740 kB
Dirty:              1580 kB
Writeback:             0 kB
AnonPages:       1200816 kB
Mapped:            16292 kB
Shmem:                 0 kB
Slab:             614012 kB
SReclaimable:      58268 kB
SUnreclaim:       555744 kB
KernelStack:        1336 kB
PageTables:         7444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1874208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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 node115 at 2016-06-19 15:40:29