Trace number 3500785

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 MUS 2.3.0-SNAPSHOT 2011-02-06UNSAT 98.47 102.767

General information on the benchmark

Namegmus/nadel/
edn_20403_23.cnf_14.27000000.unsat.gcnf
MD5SUM73ffdf40f451e1af8e17b5448d146173
Bench CategoryGMUS (GMUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.70159
Satisfiable
(Un)Satisfiability was proved
Number of variables266562
Number of clauses766171
Sum of the clauses size1775172
Maximum clause length3
Minimum clause length1
Number of clauses of size 1412
Number of clauses of size 2522517
Number of clauses of size 3243242
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50
Number of groups585
Number of clauses in the kernel (group 0)737791
Least number of clauses in a group (except group 0) 1
Greatest number of clauses in a group (except group 0) 52

Solver Data 

0.04/4.37	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/4.37	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/4.37	c See www.sat4j.org for details.
0.06/4.59	c version 2.3.0.v20110206
0.06/4.59	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/4.59	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/4.59	c java.vm.version	19.1-b02
0.06/4.59	c java.vm.vendor	Sun Microsystems Inc.
0.06/4.59	c sun.arch.data.model	64
0.06/4.59	c java.version		1.6.0_24
0.06/4.59	c os.name		Linux
0.06/4.59	c os.version		2.6.18-164.el5
0.06/4.59	c os.arch		amd64
0.06/4.59	c Free memory 		5997854704
0.06/4.59	c Max memory 		6029312000
0.06/4.59	c Total memory 		6029312000
0.06/4.59	c Number of processors 	8
0.07/4.62	c High Level Explanation (MUS) enabled solver
0.07/4.62	c Deletion based minimization strategy
0.07/4.62	c --- Begin Solver configuration ---
0.07/4.62	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.07/4.62	c Learn all clauses as in MiniSAT
0.07/4.62	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/4.62	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/4.62	c Expensive reason simplification
0.07/4.62	c Armin Biere (Picosat) restarts strategy
0.07/4.62	c Glucose learned constraints deletion strategy
0.07/4.62	c timeout=2147483647s
0.07/4.62	c DB Simplification allowed=true
0.07/4.62	c --- End Solver configuration ---
0.07/4.62	c solving /varHOME/instance-3500785-1308036279.gcnf
0.07/4.62	c reading problem ... 
1.53/6.83	c ... done. Wall clock time 2.206s.
3.04/7.96	c #vars     267147
3.04/7.96	c #constraints  766167
3.04/7.96	c constraints type 
3.04/7.96	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 271332
3.04/7.96	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 494709
16.71/21.51	c cleaning 2485 clauses out of 4981 with flag 5000/5000
21.71/26.39	c Unsat detection wall clock time (in seconds) : 21.77
21.71/26.39	c Size of initial high level unsat subformula: 89
21.71/26.39	c Computing high level MUS ...
21.71/26.39	c initial unsat core 579 567 552 547 543 542 535 534 533 532 531 530 443 442 441 440 439 436 422 419 416 391 361 360 359 302 289 273 272 271 256 255 254 239 238 222 221 220 218 211 210 209 208 206 204 203 175 174 173 131 130 129 128 127 126 125 124 118 117 116 112 111 110 108 107 106 85 83 63 62 61 55 53 44 40 38 26 25 24 23 9 8 7 6 5 4 3 2 1 
21.71/26.40	c checking 579 ...
24.25/28.89	c not needed.
24.25/28.89	c checking 567 ...
24.38/28.92	c not needed.
24.38/28.92	c checking 552 ...
24.38/28.96	c not needed.
24.38/28.96	c checking 547 ...
24.38/28.99	c not needed.
24.38/28.99	c checking 543 ...
24.53/29.05	c not needed.
24.53/29.05	c checking 542 ...
24.53/29.08	c not needed.
24.53/29.08	c checking 535 ...
24.65/29.11	c not needed.
24.65/29.11	c checking 534 ...
24.65/29.14	c not needed.
24.65/29.14	c checking 533 ...
24.65/29.17	c not needed.
24.65/29.17	c checking 532 ...
24.75/29.20	c not needed.
24.75/29.20	c checking 531 ...
24.75/29.23	c not needed.
24.75/29.23	c checking 530 ...
24.75/29.26	c not needed.
24.75/29.26	c checking 443 ...
24.95/29.44	c not needed.
24.95/29.44	c checking 442 ...
24.95/29.47	c not needed.
24.95/29.47	c checking 441 ...
25.05/29.50	c not needed.
25.05/29.50	c checking 440 ...
25.05/29.53	c not needed.
25.05/29.53	c checking 439 ...
25.05/29.56	c not needed.
25.05/29.56	c checking 436 ...
25.05/29.59	c not needed.
25.05/29.59	c checking 422 ...
25.16/29.62	c not needed.
25.16/29.62	c checking 419 ...
25.16/29.65	c not needed.
25.16/29.65	c checking 416 ...
25.16/29.68	c not needed.
25.16/29.68	c checking 391 ...
36.18/40.63	c cleaning 3916 clauses out of 7876 with flag 3000/10427
54.92/59.31	c mandatory.
54.92/59.31	c checking 361 ...
54.92/59.39	c not needed.
54.92/59.39	c checking 360 ...
59.51/63.98	c not needed.
59.51/63.98	c checking 359 ...
59.61/64.02	c not needed.
59.61/64.02	c checking 302 ...
59.61/64.05	c not needed.
59.61/64.05	c checking 289 ...
59.61/64.09	c not needed.
59.61/64.09	c checking 273 ...
59.71/64.12	c not needed.
59.71/64.12	c checking 272 ...
59.71/64.16	c not needed.
59.71/64.16	c checking 271 ...
59.71/64.19	c not needed.
59.71/64.19	c checking 256 ...
59.81/64.23	c not needed.
59.81/64.23	c checking 255 ...
59.81/64.26	c not needed.
59.81/64.26	c checking 254 ...
59.81/64.30	c not needed.
59.91/64.30	c checking 239 ...
59.91/64.33	c not needed.
59.91/64.33	c checking 238 ...
59.91/64.36	c not needed.
59.91/64.36	c checking 222 ...
59.91/64.39	c not needed.
59.91/64.39	c checking 221 ...
60.01/64.42	c not needed.
60.01/64.42	c checking 220 ...
60.01/64.46	c not needed.
60.01/64.46	c checking 218 ...
60.01/64.49	c not needed.
60.01/64.49	c checking 211 ...
60.11/64.52	c not needed.
60.11/64.52	c checking 210 ...
60.11/64.55	c not needed.
60.11/64.55	c checking 209 ...
60.11/64.58	c not needed.
60.11/64.58	c checking 208 ...
60.21/64.61	c not needed.
60.21/64.61	c checking 206 ...
60.21/64.64	c not needed.
60.21/64.64	c checking 204 ...
60.21/64.67	c not needed.
60.21/64.67	c checking 203 ...
60.31/64.70	c not needed.
60.31/64.70	c checking 175 ...
60.31/64.73	c not needed.
60.31/64.73	c checking 174 ...
60.31/64.76	c not needed.
60.31/64.76	c checking 173 ...
60.31/64.79	c not needed.
60.31/64.79	c checking 131 ...
60.41/64.82	c not needed.
60.41/64.82	c checking 130 ...
60.41/64.85	c not needed.
60.41/64.85	c checking 129 ...
60.41/64.88	c not needed.
60.41/64.88	c checking 128 ...
60.51/64.91	c not needed.
60.51/64.91	c checking 127 ...
60.51/64.95	c not needed.
60.51/64.95	c checking 126 ...
60.51/64.98	c not needed.
60.51/64.98	c checking 125 ...
60.61/65.01	c not needed.
60.61/65.01	c checking 124 ...
60.61/65.04	c not needed.
60.61/65.04	c checking 118 ...
60.61/65.07	c not needed.
60.61/65.07	c checking 117 ...
63.01/67.45	c cleaning 4926 clauses out of 9864 with flag 1001/16391
65.04/69.48	c not needed.
65.04/69.48	c checking 116 ...
67.94/72.34	c not needed.
67.94/72.34	c checking 112 ...
67.94/72.38	c not needed.
67.94/72.38	c checking 111 ...
68.04/72.41	c not needed.
68.04/72.41	c checking 110 ...
68.04/72.44	c not needed.
68.04/72.44	c checking 108 ...
68.04/72.48	c not needed.
68.04/72.48	c checking 107 ...
68.14/72.51	c not needed.
68.14/72.51	c checking 106 ...
68.14/72.54	c not needed.
68.14/72.54	c checking 85 ...
68.14/72.57	c not needed.
68.14/72.57	c checking 83 ...
68.24/72.61	c not needed.
68.24/72.61	c checking 63 ...
68.24/72.64	c not needed.
68.24/72.64	c checking 62 ...
68.24/72.67	c not needed.
68.24/72.67	c checking 61 ...
68.33/72.70	c not needed.
68.33/72.70	c checking 55 ...
68.33/72.73	c not needed.
68.33/72.73	c checking 53 ...
68.33/72.77	c not needed.
68.33/72.77	c checking 44 ...
68.43/72.80	c not needed.
68.43/72.80	c checking 40 ...
68.43/72.83	c not needed.
68.43/72.83	c checking 38 ...
68.43/72.86	c not needed.
68.43/72.86	c checking 26 ...
92.34/96.79	c cleaning 5411 clauses out of 11210 with flag 4000/22765
93.09/97.41	c mandatory.
93.09/97.41	c checking 25 ...
93.09/97.43	c not needed.
93.09/97.43	c checking 24 ...
93.09/97.46	c not needed.
93.09/97.46	c checking 23 ...
93.09/97.48	c not needed.
93.09/97.48	c checking 9 ...
93.19/97.51	c not needed.
93.19/97.51	c checking 8 ...
93.19/97.53	c not needed.
93.19/97.53	c checking 7 ...
93.19/97.56	c not needed.
93.19/97.56	c checking 6 ...
93.19/97.58	c not needed.
93.19/97.58	c checking 5 ...
93.29/97.61	c not needed.
93.29/97.61	c checking 4 ...
93.29/97.63	c not needed.
93.29/97.63	c checking 3 ...
98.29/102.65	c not needed.
98.29/102.65	c checking 2 ...
98.29/102.68	c not needed.
98.29/102.68	c checking 1 ...
98.39/102.71	c not needed.
98.39/102.71	c starts		: 138
98.39/102.71	c conflicts		: 26178
98.39/102.71	c decisions		: 3019937
98.39/102.71	c propagations		: 160739518
98.39/102.71	c inspects		: 389227046
98.39/102.71	c shortcuts		: 0
98.39/102.71	c learnt literals	: 225
98.39/102.71	c learnt binary clauses	: 2150
98.39/102.71	c learnt ternary clauses	: 2439
98.39/102.71	c learnt constraints	: 25944
98.39/102.71	c ignored constraints	: 0
98.39/102.71	c root simplifications	: 0
98.39/102.71	c removed literals (reason simplification)	: 467345
98.39/102.71	c reason swapping (by a shorter reason)	: 0
98.39/102.71	c Calls to reduceDB	: 4
98.39/102.71	c speed (assignments/second)	: 5.542742E9
98.39/102.71	c non guided choices	2301607
98.39/102.72	c learnt constraints type 
98.39/102.72	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2150
98.39/102.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 7056
98.39/102.72	c Size of the high level MUS: 2
98.39/102.72	c Unsat core  computation wall clock time (in seconds) : 76.322
98.39/102.72	c starts		: 138
98.39/102.72	c conflicts		: 26178
98.39/102.72	c decisions		: 3019937
98.39/102.72	c propagations		: 160739518
98.39/102.72	c inspects		: 389227046
98.39/102.72	c shortcuts		: 0
98.39/102.72	c learnt literals	: 225
98.39/102.72	c learnt binary clauses	: 2150
98.39/102.72	c learnt ternary clauses	: 2439
98.39/102.72	c learnt constraints	: 25944
98.39/102.72	c ignored constraints	: 0
98.39/102.72	c root simplifications	: 0
98.39/102.72	c removed literals (reason simplification)	: 467345
98.39/102.72	c reason swapping (by a shorter reason)	: 0
98.39/102.72	c Calls to reduceDB	: 4
98.39/102.72	c speed (assignments/second)	: 4.1215261025641026E9
98.39/102.72	c non guided choices	2301607
98.39/102.73	c learnt constraints type 
98.39/102.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2150
98.39/102.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 7056
98.39/102.73	c constraints type 
98.39/102.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 271332
98.39/102.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 494709
98.39/102.73	s UNSATISFIABLE
98.39/102.73	v 26 391 0
98.39/102.73	c Total wall clock time (in seconds) : 98.093

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3500785-1308036279/watcher-3500785-1308036279 -o /var/tmp/evaluation-result-3500785-1308036279/solver-3500785-1308036279 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500785-1308036279.gcnf 

running on 2 cores: 0,2

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.53 0.11 0.04 3/176 12025
/proc/meminfo: memFree=12938732/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=11804 CPUtime=0 cores=0,2
/proc/12025/stat : 12025 (runsolver) S 12023 12025 11983 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 1 0 896044816 12087296 51 33554432000 4194304 5436572 140734715843344 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 2 0 0 0
/proc/12025/statm: 2951 51 31 304 0 2643 0

[startup+0.027198 s]
/proc/loadavg: 0.53 0.11 0.04 3/176 12025
/proc/meminfo: memFree=12938732/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=11804 CPUtime=0 cores=0,2
/proc/12025/stat : 12025 (runsolver) S 12023 12025 11983 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 1 0 896044816 12087296 51 33554432000 4194304 5436572 140734715843344 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 2 0 0 0
/proc/12025/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804

[startup+0.10024 s]
/proc/loadavg: 0.53 0.11 0.04 3/176 12025
/proc/meminfo: memFree=12938732/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=11804 CPUtime=0 cores=0,2
/proc/12025/stat : 12025 (runsolver) S 12023 12025 11983 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 1 0 896044816 12087296 56 33554432000 4194304 5436572 140734715843344 18446744073709551615 5057063 0 2147483391 4096 24578 18446744071699199166 0 0 17 2 0 0 0
/proc/12025/statm: 2951 56 36 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804

[startup+0.301213 s]
/proc/loadavg: 0.53 0.11 0.04 3/176 12025
/proc/meminfo: memFree=12938732/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=252 CPUtime=0 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4194304 77 0 0 0 0 0 0 0 16 0 1 0 896044816 258048 31 33554432000 1073741824 1073778376 140734649218640 18446744073709551615 255101845127 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/12025/statm: 63 31 24 9 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 252

[startup+0.701164 s]
/proc/loadavg: 0.53 0.11 0.04 3/176 12025
/proc/meminfo: memFree=12938732/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=252 CPUtime=0 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4194304 77 0 0 0 0 0 0 0 15 0 1 0 896044816 258048 31 33554432000 1073741824 1073778376 140734649218640 18446744073709551615 255101845127 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/12025/statm: 63 31 24 9 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 252

[startup+1.501 s]
/proc/loadavg: 0.53 0.11 0.04 1/182 12036
/proc/meminfo: memFree=12907684/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=9100 CPUtime=0 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4202496 235 0 0 0 0 0 0 0 16 0 1 0 896044816 9318400 171 33554432000 1073741824 1073778376 140734649218640 18446744073709551615 255106589687 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/12025/statm: 2275 171 131 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100

[startup+3.10071 s]
/proc/loadavg: 0.53 0.11 0.04 1/184 12038
/proc/meminfo: memFree=12871728/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=36924 CPUtime=0 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4202496 1369 0 1 0 0 0 0 0 16 0 2 0 896044816 37810176 1072 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/12025/statm: 9231 1072 832 9 0 387 0
[pid=12025/tid=12037] ppid=12023 vsize=36924 CPUtime=0 cores=0,2
/proc/12025/task/12037/stat : 12037 (java) S 12023 12025 11983 0 -1 4202560 255 0 1 0 0 0 0 0 16 0 2 0 896045006 37810176 1072 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255106764645 0 2147483391 0 16784584 18446744071699199166 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 36924
heavy processes:

[startup+6.30107 s]
/proc/loadavg: 0.65 0.15 0.05 1/220 12081
/proc/meminfo: memFree=12723108/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=6432796 CPUtime=1 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4202496 45376 0 1 0 95 5 0 0 16 0 18 0 896044816 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12025/statm: 1608199 44515 2202 9 0 1598937 0
[pid=12025/tid=12037] ppid=12023 vsize=6432796 CPUtime=0.83 cores=0,2
/proc/12025/task/12037/stat : 12037 (java) R 12023 12025 11983 0 -1 4202560 41881 0 1 0 78 5 0 0 18 0 18 0 896045006 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 46912505493780 0 4 0 16800975 0 0 0 -1 2 0 0 87
[pid=12025/tid=12047] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12047/stat : 12047 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045147 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12048] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12048/stat : 12048 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045147 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12049] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12049/stat : 12049 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045147 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12050] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12050/stat : 12050 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045147 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12051] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12051/stat : 12051 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045147 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12052] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12052/stat : 12052 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045147 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12053] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12053/stat : 12053 (java) S 12023 12025 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896045147 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12054] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12054/stat : 12054 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045147 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12057] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12057/stat : 12057 (java) S 12023 12025 11983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896045166 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 0 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12060] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12060/stat : 12060 (java) S 12023 12025 11983 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 896045167 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12061] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12061/stat : 12061 (java) S 12023 12025 11983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 896045167 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12067] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12067/stat : 12067 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045251 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118592433 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12068] ppid=12023 vsize=6432796 CPUtime=0.07 cores=0,2
/proc/12025/task/12068/stat : 12068 (java) S 12023 12025 11983 0 -1 4202560 925 0 0 0 7 0 0 0 16 0 18 0 896045251 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12069] ppid=12023 vsize=6432796 CPUtime=0.08 cores=0,2
/proc/12025/task/12069/stat : 12069 (java) S 12023 12025 11983 0 -1 4202560 1419 0 0 0 8 0 0 0 15 0 18 0 896045251 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12070] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12070/stat : 12070 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896045251 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12071] ppid=12023 vsize=6432796 CPUtime=0 cores=0,2
/proc/12025/task/12071/stat : 12071 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045251 6587183104 44515 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 6432796
heavy processes:

[startup+12.701 s]
/proc/loadavg: 0.92 0.21 0.07 3/219 12222
/proc/meminfo: memFree=11496832/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=6437932 CPUtime=7.9 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4202496 78625 0 1 0 780 10 0 0 16 0 19 0 896044816 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12025/statm: 1609483 74028 2234 9 0 1600221 0
[pid=12025/tid=12037] ppid=12023 vsize=6437932 CPUtime=7 cores=0,2
/proc/12025/task/12037/stat : 12037 (java) R 12023 12025 11983 0 -1 4202560 69471 0 1 0 692 8 0 0 25 0 19 0 896045006 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 46912505844741 0 4 0 16800975 0 0 0 -1 2 0 0 87
[pid=12025/tid=12047] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12047/stat : 12047 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896045147 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12048] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12048/stat : 12048 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12049] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12049/stat : 12049 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12050] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12050/stat : 12050 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12051] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12051/stat : 12051 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12052] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12052/stat : 12052 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12053] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12053/stat : 12053 (java) S 12023 12025 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12054] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12054/stat : 12054 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12057] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12057/stat : 12057 (java) S 12023 12025 11983 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 896045166 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 0 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12060] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12060/stat : 12060 (java) S 12023 12025 11983 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 896045167 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12061] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12061/stat : 12061 (java) S 12023 12025 11983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 896045167 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12067] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12067/stat : 12067 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896045251 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118592433 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12068] ppid=12023 vsize=6437932 CPUtime=0.36 cores=0,2
/proc/12025/task/12068/stat : 12068 (java) S 12023 12025 11983 0 -1 4202560 5492 0 0 0 36 0 0 0 15 0 19 0 896045251 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12069] ppid=12023 vsize=6437932 CPUtime=0.5 cores=0,2
/proc/12025/task/12069/stat : 12069 (java) S 12023 12025 11983 0 -1 4202560 2500 0 0 0 50 0 0 0 15 0 19 0 896045251 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12070] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12070/stat : 12070 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896045251 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12071] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12071/stat : 12071 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045251 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12128] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12128/stat : 12128 (java) S 12023 12025 11983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 896045525 6592442368 74028 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 6437932
heavy processes:

[startup+25.5007 s]
/proc/loadavg: 1.61 0.39 0.13 6/261 12298
/proc/meminfo: memFree=8856756/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=6437932 CPUtime=20.9 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4202496 139989 0 1 0 2074 16 0 0 16 0 19 0 896044816 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12025/statm: 1609483 135366 2258 9 0 1600221 0
[pid=12025/tid=12037] ppid=12023 vsize=6437932 CPUtime=19.15 cores=0,2
/proc/12025/task/12037/stat : 12037 (java) R 12023 12025 11983 0 -1 4202560 69656 0 1 0 1907 8 0 0 25 0 19 0 896045006 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 46912505844576 0 4 0 16800975 0 0 0 -1 0 0 0 87
[pid=12025/tid=12047] ppid=12023 vsize=6437932 CPUtime=0.19 cores=0,2
/proc/12025/task/12047/stat : 12047 (java) S 12023 12025 11983 0 -1 4202560 12293 0 0 0 18 1 0 0 16 0 19 0 896045147 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12048] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12048/stat : 12048 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12049] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12049/stat : 12049 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12050] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12050/stat : 12050 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12051] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12051/stat : 12051 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12052] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12052/stat : 12052 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12053] ppid=12023 vsize=6437932 CPUtime=0.17 cores=0,2
/proc/12025/task/12053/stat : 12053 (java) S 12023 12025 11983 0 -1 4202560 15242 0 0 0 16 1 0 0 18 0 19 0 896045147 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12054] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12054/stat : 12054 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 896045147 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12057] ppid=12023 vsize=6437932 CPUtime=0.41 cores=0,2
/proc/12025/task/12057/stat : 12057 (java) S 12023 12025 11983 0 -1 4202560 33642 0 0 0 38 3 0 0 15 0 19 0 896045166 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 0 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12060] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12060/stat : 12060 (java) S 12023 12025 11983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 896045167 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12061] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12061/stat : 12061 (java) S 12023 12025 11983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 896045167 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12067] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12067/stat : 12067 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896045251 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118592433 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12068] ppid=12023 vsize=6437932 CPUtime=0.38 cores=0,2
/proc/12025/task/12068/stat : 12068 (java) S 12023 12025 11983 0 -1 4202560 5492 0 0 0 38 0 0 0 15 0 19 0 896045251 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12069] ppid=12023 vsize=6437932 CPUtime=0.54 cores=0,2
/proc/12025/task/12069/stat : 12069 (java) S 12023 12025 11983 0 -1 4202560 2508 0 0 0 54 0 0 0 15 0 19 0 896045251 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12070] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12070/stat : 12070 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896045251 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12071] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12071/stat : 12071 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045251 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12128] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12128/stat : 12128 (java) S 12023 12025 11983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 896045525 6592442368 135366 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.9
Current children cumulated vsize (KiB) 6437932

[startup+51.1012 s]
/proc/loadavg: 2.42 0.68 0.23 5/262 12310
/proc/meminfo: memFree=7299780/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=6437932 CPUtime=46.69 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4202496 141983 0 1 0 4653 16 0 0 16 0 19 0 896044816 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12025/statm: 1609483 136976 2259 9 0 1600221 0
[pid=12025/tid=12037] ppid=12023 vsize=6437932 CPUtime=44.38 cores=0,2
/proc/12025/task/12037/stat : 12037 (java) R 12023 12025 11983 0 -1 4202560 69662 0 1 0 4430 8 0 0 25 0 19 0 896045006 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 46912505844741 0 4 0 16800975 0 0 0 -1 0 0 0 87
[pid=12025/tid=12047] ppid=12023 vsize=6437932 CPUtime=0.2 cores=0,2
/proc/12025/task/12047/stat : 12047 (java) S 12023 12025 11983 0 -1 4202560 12294 0 0 0 19 1 0 0 16 0 19 0 896045147 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12048] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12048/stat : 12048 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045147 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12049] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12049/stat : 12049 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045147 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12050] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12050/stat : 12050 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045147 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12051] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12051/stat : 12051 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045147 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12052] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12052/stat : 12052 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045147 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12053] ppid=12023 vsize=6437932 CPUtime=0.18 cores=0,2
/proc/12025/task/12053/stat : 12053 (java) S 12023 12025 11983 0 -1 4202560 15243 0 0 0 17 1 0 0 18 0 19 0 896045147 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12054] ppid=12023 vsize=6437932 CPUtime=0.02 cores=0,2
/proc/12025/task/12054/stat : 12054 (java) S 12023 12025 11983 0 -1 4202560 5 0 0 0 2 0 0 0 16 0 19 0 896045147 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12057] ppid=12023 vsize=6437932 CPUtime=0.7 cores=0,2
/proc/12025/task/12057/stat : 12057 (java) S 12023 12025 11983 0 -1 4202560 35243 0 0 0 67 3 0 0 15 0 19 0 896045166 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 0 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12060] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12060/stat : 12060 (java) S 12023 12025 11983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 896045167 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12061] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12061/stat : 12061 (java) S 12023 12025 11983 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 896045167 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12067] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12067/stat : 12067 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896045251 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118592433 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12068] ppid=12023 vsize=6437932 CPUtime=0.5 cores=0,2
/proc/12025/task/12068/stat : 12068 (java) S 12023 12025 11983 0 -1 4202560 5860 0 0 0 50 0 0 0 15 0 19 0 896045251 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12069] ppid=12023 vsize=6437932 CPUtime=0.65 cores=0,2
/proc/12025/task/12069/stat : 12069 (java) S 12023 12025 11983 0 -1 4202560 2509 0 0 0 65 0 0 0 15 0 19 0 896045251 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12070] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12070/stat : 12070 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896045251 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12071] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12071/stat : 12071 (java) S 12023 12025 11983 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 896045251 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12303] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12303/stat : 12303 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896047788 6592442368 136976 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 46.69
Current children cumulated vsize (KiB) 6437932

[startup+102.307 s]
/proc/loadavg: 3.31 1.19 0.43 5/262 12336
/proc/meminfo: memFree=6352764/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=6437932 CPUtime=98 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4202496 143810 0 1 0 9783 17 0 0 16 0 19 0 896044816 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12025/statm: 1609483 138776 2260 9 0 1600221 0
[pid=12025/tid=12037] ppid=12023 vsize=6437932 CPUtime=94.81 cores=0,2
/proc/12025/task/12037/stat : 12037 (java) R 12023 12025 11983 0 -1 4202560 69667 0 1 0 9473 8 0 0 25 0 19 0 896045006 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 46912505844741 0 4 0 16800975 0 0 0 -1 0 0 0 87
[pid=12025/tid=12047] ppid=12023 vsize=6437932 CPUtime=0.21 cores=0,2
/proc/12025/task/12047/stat : 12047 (java) S 12023 12025 11983 0 -1 4202560 12295 0 0 0 20 1 0 0 15 0 19 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12048] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12048/stat : 12048 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12049] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12049/stat : 12049 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12050] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12050/stat : 12050 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12051] ppid=12023 vsize=6437932 CPUtime=0.04 cores=0,2
/proc/12025/task/12051/stat : 12051 (java) S 12023 12025 11983 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 19 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12052] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12052/stat : 12052 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12053] ppid=12023 vsize=6437932 CPUtime=0.21 cores=0,2
/proc/12025/task/12053/stat : 12053 (java) S 12023 12025 11983 0 -1 4202560 15245 0 0 0 20 1 0 0 16 0 19 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12054] ppid=12023 vsize=6437932 CPUtime=0.02 cores=0,2
/proc/12025/task/12054/stat : 12054 (java) S 12023 12025 11983 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 19 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12057] ppid=12023 vsize=6437932 CPUtime=1.38 cores=0,2
/proc/12025/task/12057/stat : 12057 (java) S 12023 12025 11983 0 -1 4202560 37034 0 0 0 135 3 0 0 15 0 19 0 896045166 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 0 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12060] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12060/stat : 12060 (java) S 12023 12025 11983 0 -1 4202560 22 0 0 0 0 0 0 0 18 0 19 0 896045167 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12061] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12061/stat : 12061 (java) S 12023 12025 11983 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 896045167 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12067] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12067/stat : 12067 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118592433 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12068] ppid=12023 vsize=6437932 CPUtime=0.55 cores=0,2
/proc/12025/task/12068/stat : 12068 (java) S 12023 12025 11983 0 -1 4202560 5867 0 0 0 55 0 0 0 15 0 19 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12069] ppid=12023 vsize=6437932 CPUtime=0.69 cores=0,2
/proc/12025/task/12069/stat : 12069 (java) S 12023 12025 11983 0 -1 4202560 2513 0 0 0 69 0 0 0 16 0 19 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12070] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12070/stat : 12070 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12071] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12071/stat : 12071 (java) S 12023 12025 11983 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12336] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12336/stat : 12336 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 896054582 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98
Current children cumulated vsize (KiB) 6437932

Solver just ended. Dumping a history of the last processes samples

[startup+102.701 s]
/proc/loadavg: 3.31 1.19 0.43 5/262 12336
/proc/meminfo: memFree=6352764/32951124 swapFree=67055536/67111528
[pid=12025] ppid=12023 vsize=6437932 CPUtime=98.39 cores=0,2
/proc/12025/stat : 12025 (java) S 12023 12025 11983 0 -1 4202496 143811 0 1 0 9822 17 0 0 16 0 18 0 896044816 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12025/statm: 1609483 138776 2260 9 0 1600221 0
[pid=12025/tid=12037] ppid=12023 vsize=6437932 CPUtime=95.2 cores=0,2
/proc/12025/task/12037/stat : 12037 (java) R 12023 12025 11983 0 -1 4202560 69668 0 1 0 9512 8 0 0 25 0 18 0 896045006 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 46912505844576 0 4 0 16800975 0 0 0 -1 0 0 0 87
[pid=12025/tid=12047] ppid=12023 vsize=6437932 CPUtime=0.21 cores=0,2
/proc/12025/task/12047/stat : 12047 (java) S 12023 12025 11983 0 -1 4202560 12295 0 0 0 20 1 0 0 15 0 18 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12048] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12048/stat : 12048 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12049] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12049/stat : 12049 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12050] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12050/stat : 12050 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12051] ppid=12023 vsize=6437932 CPUtime=0.04 cores=0,2
/proc/12025/task/12051/stat : 12051 (java) S 12023 12025 11983 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 18 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12052] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12052/stat : 12052 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12053] ppid=12023 vsize=6437932 CPUtime=0.21 cores=0,2
/proc/12025/task/12053/stat : 12053 (java) S 12023 12025 11983 0 -1 4202560 15245 0 0 0 20 1 0 0 16 0 18 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12054] ppid=12023 vsize=6437932 CPUtime=0.02 cores=0,2
/proc/12025/task/12054/stat : 12054 (java) S 12023 12025 11983 0 -1 4202560 5 0 0 0 2 0 0 0 15 0 18 0 896045147 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12057] ppid=12023 vsize=6437932 CPUtime=1.38 cores=0,2
/proc/12025/task/12057/stat : 12057 (java) S 12023 12025 11983 0 -1 4202560 37034 0 0 0 135 3 0 0 15 0 18 0 896045166 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 0 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12060] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12060/stat : 12060 (java) S 12023 12025 11983 0 -1 4202560 22 0 0 0 0 0 0 0 18 0 18 0 896045167 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12061] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12061/stat : 12061 (java) S 12023 12025 11983 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 18 0 896045167 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12067] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12067/stat : 12067 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118592433 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12068] ppid=12023 vsize=6437932 CPUtime=0.55 cores=0,2
/proc/12025/task/12068/stat : 12068 (java) S 12023 12025 11983 0 -1 4202560 5867 0 0 0 55 0 0 0 15 0 18 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12069] ppid=12023 vsize=6437932 CPUtime=0.69 cores=0,2
/proc/12025/task/12069/stat : 12069 (java) S 12023 12025 11983 0 -1 4202560 2513 0 0 0 69 0 0 0 16 0 18 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 0 0 0 0
[pid=12025/tid=12070] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12070/stat : 12070 (java) S 12023 12025 11983 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118584729 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
[pid=12025/tid=12071] ppid=12023 vsize=6437932 CPUtime=0 cores=0,2
/proc/12025/task/12071/stat : 12071 (java) S 12023 12025 11983 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 896045251 6592442368 138776 33554432000 1073741824 1073778376 140735198697680 18446744073709551615 255118585344 0 4 0 16800975 18446604453933725824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.39
Current children cumulated vsize (KiB) 6437932

Child status: 20
Real time (s): 102.767
CPU time (s): 98.47
CPU user time (s): 98.2761
CPU system time (s): 0.19397
CPU usage (%): 95.8186
Max. virtual memory (cumulated for all children) (KiB): 6437932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.2761
system time used= 0.19397
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143817
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2968
involuntary context switches= 2149

runsolver used 0.202969 second user time and 0.39394 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-14 09:24:42
IDJOB=3500785
IDBENCH=89922
IDSOLVER=1997
FILE ID=node144/3500785-1308036279
RUNJOBID= node144-1308036279-12001
PBS_JOBID= 13563892
Free space on /var/tmp= 2856 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/gmus/nadel/edn_20403_23.cnf_14.27000000.unsat.gcnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500785-1308036279/watcher-3500785-1308036279 -o /var/tmp/evaluation-result-3500785-1308036279/solver-3500785-1308036279 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500785-1308036279.gcnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 73ffdf40f451e1af8e17b5448d146173
RANDOM SEED=777182021

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12944124 kB
Buffers:        129844 kB
Cached:       19188212 kB
SwapCached:       9184 kB
Active:        3659384 kB
Inactive:     15677604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12944124 kB
SwapTotal:    67111528 kB
SwapFree:     67055536 kB
Dirty:           85792 kB
Writeback:           0 kB
AnonPages:       17308 kB
Mapped:          12636 kB
Slab:           604244 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185008 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2648 MiB
End job on node144 at 2011-06-14 09:26:30