Trace number 4296914

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
scop order+glucose-syrup (2018-07-07)SAT 4.01251 1.82087

General information on the benchmark

NameColouredQueens/
ColouredQueens-07_c18.xml
MD5SUM968c6e40c1de71b17fca4670fe54f327
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.50775
Satisfiable
(Un)Satisfiability was proved
Number of variables49
Number of constraints36
Number of domains1
Minimum domain size7
Maximum domain size7
Distribution of domain sizes[{"size":7,"count":49}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":45}]
Minimum constraint arity2
Maximum constraint arity7
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":16}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":36}]
Optimization problemNO
Type of objective

Solver Data 

0.63/0.55	
0.63/0.55	scop order+glucose-syrup (2018-07-07)
0.63/0.55	
0.63/0.58	c BEGIN-Prog: Thu Jul 26 19:31:50 CEST 2018
0.63/0.58	c PID: 7256
0.63/0.58	c IP: 172.20.3.138
0.63/0.58	c HOST: node138.alineos.net
0.63/0.58	c (0,0) Parsing Begin
1.12/0.86	c (0,0) Parsing End
1.12/0.86	c (0,0) CSP: 49 int (0 aux), 0 bool (0 aux), 36 ctr, max domain size 7
1.12/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.12/0.87	c (0,0) Constraint Name Generate Begin
1.12/0.87	c (0,0) Ctr:HOME/instance-4296914-1532626309.xml,AllDifferent:IntVar
1.12/0.87	c (0,0) Constraint Name Generate End
1.12/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.12/0.87	c (0,0) CSP to CSPinCNF Begin
1.49/1.05	c (0,0) translated 4 (10%) constraints
1.49/1.10	c (0,0) translated 8 (20%) constraints
1.77/1.12	c (0,0) translated 11 (30%) constraints
1.77/1.15	c (0,0) translated 15 (40%) constraints
1.77/1.17	c (0,0) translated 18 (50%) constraints
1.77/1.19	c (0,0) translated 22 (60%) constraints
2.02/1.20	c (0,0) translated 26 (70%) constraints
2.02/1.20	c (0,0) translated 29 (80%) constraints
2.02/1.22	c (0,0) translated 33 (90%) constraints
2.02/1.22	c (0,0) translated 36 (100%) constraints
2.02/1.28	c (0,0) STATISTICS1:HOME/instance-4296914-1532626309.xml,AllDifferent:IntVar,49,548,7,7,7,2,7:476,7:1336,7:32;6:8;5:8;4:8;3:8;2:484,2:476;1:384,
2.02/1.28	c (0,0) ===========================================
2.02/1.28	c (0,0) Order
2.02/1.28	c (0,0) ===========================================
2.26/1.30	c (0,0) translated 55 (10%) constraints
2.26/1.31	c (0,0) translated 110 (20%) constraints
2.26/1.32	c (0,0) translated 165 (30%) constraints
2.26/1.33	c (0,0) translated 220 (40%) constraints
2.26/1.34	c (0,0) translated 274 (50%) constraints
2.26/1.34	c (0,0) translated 329 (60%) constraints
2.26/1.35	c (0,0) translated 384 (70%) constraints
2.26/1.36	c (0,0) translated 439 (80%) constraints
2.26/1.36	c (0,0) translated 494 (90%) constraints
2.26/1.37	c (0,0) translated 548 (100%) constraints
2.26/1.37	c (0,0) CSP to CSPinCNF End
2.26/1.37	c (0,0) CSP: 49 int (0 aux), 0 bool (0 aux), 548 ctr, max domain size 7
2.26/1.37	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.26/1.37	c (0,0) CSPinCNF Propagation Begin
2.26/1.39	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.26/1.39	c (0,0) CSPinCNF Propagation End
2.26/1.39	c (0,0) CSP: 49 int (0 aux), 0 bool (0 aux), 548 ctr, max domain size 7
2.26/1.39	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.26/1.39	c (0,0) Simplify CSPinCNF Begin
2.61/1.49	c (0,0) Simplify CSPinCNF End
2.61/1.49	c (0,0) CSP: 49 int (0 aux), 952 bool (952 aux), 1500 ctr, max domain size 7
2.61/1.49	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.61/1.49	c (0,0) Calculate Precise Domain Begin
2.61/1.49	c (0,0) 0 values are removed by re-calculation
2.61/1.49	c (0,0) Calculate Precise Domain End
2.61/1.49	c (0,0) CSP: 49 int (0 aux), 952 bool (952 aux), 1500 ctr, max domain size 7
2.61/1.49	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.61/1.49	c (0,0) CSPinCNF to SatSolver Begin
2.89/1.59	c (1,1) 150 (10 %) CSP clauses are encoded (1246 SAT variables, 970 SAT clauses)
3.15/1.61	c (1,1) 300 (20 %) CSP clauses are encoded (1246 SAT variables, 1708 SAT clauses)
3.15/1.63	c (1,1) 450 (30 %) CSP clauses are encoded (1246 SAT variables, 2440 SAT clauses)
3.15/1.64	c (1,1) 600 (40 %) CSP clauses are encoded (1246 SAT variables, 3166 SAT clauses)
3.15/1.65	c (1,1) 750 (50 %) CSP clauses are encoded (1246 SAT variables, 3898 SAT clauses)
3.15/1.66	c (1,1) 900 (60 %) CSP clauses are encoded (1246 SAT variables, 4636 SAT clauses)
3.15/1.67	c (1,1) 1050 (70 %) CSP clauses are encoded (1246 SAT variables, 5362 SAT clauses)
3.15/1.68	c (1,1) 1200 (80 %) CSP clauses are encoded (1246 SAT variables, 6052 SAT clauses)
3.15/1.68	c (1,1) 1350 (90 %) CSP clauses are encoded (1246 SAT variables, 6748 SAT clauses)
3.15/1.69	c (1,1) 1500 (100 %) CSP clauses are encoded (1246 SAT variables, 7456 SAT clauses)
3.15/1.69	c (1,1) CSPinCNF to SatSolver End
3.15/1.69	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.56/1.72	c (1,1) STATISTICS2:HOME/instance-4296914-1532626309.xml,AllDifferent:IntVar,1001,1500,7,7,7,2,7:952,7:2288;2:1904,7:32;6:8;5:8;4:8;3:8;2:1436,2:952;1:2288,
3.56/1.72	c (1,1) SatSolver.solve Begin
3.56/1.72	c (1,1) 1246 bool, 7457 clause
3.56/1.72	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296914-1532626309.xml-scop-7256.cnf HOME/instance-4296914-1532626309.xml-scop-7256.cnf.out
3.56/1.77	c (1,0) c
3.56/1.77	c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
3.56/1.77	c (1,0) c
3.56/1.77	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
3.56/1.77	c (1,0) c 8 solvers engines and 1 companion as a blackboard created.
3.56/1.77	c (1,0) c ========================================[ Problem Statistics ]===========================================
3.56/1.77	c (1,0) c |                                                                                                       |
3.56/1.77	c (1,0) c |  Number of variables:          1246                                                                   |
3.56/1.77	c (1,0) c |  Number of clauses:            7457                                                                   |
3.56/1.77	c (1,0) c |  Parse time:                   0.00 s                                                                 |
3.56/1.77	c (1,0) c |                                                                                                       |
3.56/1.77	c (1,0) c |  Eliminated clauses:           0.01 Mb                                                                |
3.56/1.77	c (1,0) c |  Simplification time:          0.00 s                                                                 |
3.56/1.77	c (1,0) c |                                                                                                       |
3.56/1.77	c (1,0) c |  Generating clones                                                                                    |
3.56/1.77	c (1,0) c |  all clones generated. Memory =  30.82Mb.                                                             |
3.56/1.77	c (1,0) c ========================================================================================================|
3.56/1.77	c (1,0) c last restart ## conflicts  :  223 19 
3.56/1.77	c (1,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
3.56/1.77	c (1,0) c Total Memory so far : 606.86Mb
3.56/1.77	c (1,0) c
3.56/1.77	c (1,0) c real time : 0.033612 s
3.56/1.77	c (1,0) c cpu time  : 0.048028 s
3.56/1.77	c (1,0) c
3.56/1.77	c (1,0) c
3.56/1.77	c (1,0) c
3.56/1.77	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
3.56/1.77	c (1,0) c
3.56/1.77	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.56/1.77	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3.56/1.77	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.56/1.77	c (1,0) c | Conflicts     |            2020 |        334 |        344 |          8 |        350 |          0 |        333 |        324 |        327 |
3.56/1.77	c (1,0) c | Decisions     |            3026 |        463 |        517 |         43 |        525 |         20 |        494 |        482 |        482 |
3.56/1.77	c (1,0) c | Propagations  |          181347 |      32318 |      30145 |        827 |      31070 |        114 |      29362 |      28713 |      28798 |
3.56/1.77	c (1,0) c | Avg_Trail     |                 |        557 |        490 |        219 |        492 |          0 |        489 |        490 |        490 |
3.56/1.77	c (1,0) c | Avg_DL        |                 |         21 |         21 |         19 |         21 |          0 |         21 |         21 |         21 |
3.56/1.77	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.56/1.77	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.56/1.77	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.56/1.77	c (1,0) c | Exported      |              17 |          2 |          3 |          0 |          3 |          0 |          3 |          3 |          3 |
3.56/1.77	c (1,0) c | Imported      |              13 |          0 |          1 |          0 |          1 |          0 |          3 |          4 |          4 |
3.56/1.77	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.56/1.77	c (1,0) c | Purge         |              13 |          0 |          1 |          0 |          1 |          0 |          3 |          4 |          4 |
3.56/1.77	c (1,0) c | Promoted      |               3 |          0 |          0 |          0 |          0 |          0 |          1 |          1 |          1 |
3.56/1.77	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.56/1.77	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.56/1.77	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.56/1.77	c (1,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.56/1.77	c (1,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.56/1.77	c (1,0) c | Glues         |                 |          2 |          3 |          0 |          3 |          0 |          3 |          3 |          3 |
3.56/1.77	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.56/1.77	c (1,0) c | Orig_Seen     |            21 % |       1849 |       2203 |         75 |       2265 |          0 |       2104 |       2067 |       2068 |
3.56/1.77	c (1,0) c | Diff Orig seen|                 | -      416 | -       62 | -     2190 |      X     | -     2265 | -      161 | -      198 | -      197 |
3.56/1.77	c (1,0) c | Hamming       |            21 % |        348 |        126 |        358 |      X     |        390 |        136 |        295 |        232 |
3.56/1.78	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.56/1.78	c (1,0) 
3.56/1.78	c (1,0) s SATISFIABLE
3.56/1.79	c (1,1) SatSolver.solve End
3.56/1.79	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.56/1.79	c (1,1) Show results Begin
3.56/1.80	c (1,1) x[0][0] = 4
3.56/1.80	c (1,1) x[0][1] = 0
3.56/1.80	c (1,1) x[0][2] = 5
3.56/1.80	c (1,1) x[0][3] = 3
3.56/1.80	c (1,1) x[0][4] = 6
3.56/1.80	c (1,1) x[0][5] = 2
3.56/1.80	c (1,1) x[0][6] = 1
3.56/1.80	c (1,1) x[1][0] = 2
3.56/1.80	c (1,1) x[1][1] = 1
3.56/1.80	c (1,1) x[1][2] = 4
3.56/1.80	c (1,1) x[1][3] = 0
3.56/1.80	c (1,1) x[1][4] = 5
3.56/1.80	c (1,1) x[1][5] = 3
3.56/1.80	c (1,1) x[1][6] = 6
3.56/1.80	c (1,1) x[2][0] = 3
3.56/1.80	c (1,1) x[2][1] = 6
3.56/1.80	c (1,1) x[2][2] = 2
3.56/1.80	c (1,1) x[2][3] = 1
3.56/1.80	c (1,1) x[2][4] = 4
3.56/1.80	c (1,1) x[2][5] = 0
3.56/1.80	c (1,1) x[2][6] = 5
3.56/1.80	c (1,1) x[3][0] = 0
3.56/1.80	c (1,1) x[3][1] = 5
3.56/1.80	c (1,1) x[3][2] = 3
3.56/1.80	c (1,1) x[3][3] = 6
3.56/1.80	c (1,1) x[3][4] = 2
3.56/1.80	c (1,1) x[3][5] = 1
3.56/1.80	c (1,1) x[3][6] = 4
3.56/1.80	c (1,1) x[4][0] = 1
3.56/1.80	c (1,1) x[4][1] = 4
3.56/1.80	c (1,1) x[4][2] = 0
3.56/1.80	c (1,1) x[4][3] = 5
3.56/1.80	c (1,1) x[4][4] = 3
3.56/1.80	c (1,1) x[4][5] = 6
3.56/1.80	c (1,1) x[4][6] = 2
3.56/1.80	c (1,1) x[5][0] = 6
3.56/1.80	c (1,1) x[5][1] = 2
3.56/1.80	c (1,1) x[5][2] = 1
3.56/1.80	c (1,1) x[5][3] = 4
3.56/1.80	c (1,1) x[5][4] = 0
3.56/1.80	c (1,1) x[5][5] = 5
3.56/1.80	c (1,1) x[5][6] = 3
3.56/1.80	c (1,1) x[6][0] = 5
3.56/1.80	c (1,1) x[6][1] = 3
3.56/1.80	c (1,1) x[6][2] = 6
3.56/1.80	c (1,1) x[6][3] = 2
3.56/1.80	c (1,1) x[6][4] = 1
3.98/1.80	c (1,1) x[6][5] = 4
3.98/1.80	c (1,1) x[6][6] = 0
3.98/1.80	s SATISFIABLE
3.98/1.80	v <instantiation>
3.98/1.80	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6]</list>
3.98/1.80	v     <values>4 0 5 3 6 2 1 2 1 4 0 5 3 6 3 6 2 1 4 0 5 0 5 3 6 2 1 4 1 4 0 5 3 6 2 6 2 1 4 0 5 3 5 3 6 2 1 4 0</values>
3.98/1.80	v </instantiation>
3.98/1.80	c (1,1) Show results End
3.98/1.80	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.98/1.80	c (1,1) 0,0,0,0,0,0,1,1,1,STOP-AFTER(ALL)
3.98/1.80	c END-Prog: Thu Jul 26 19:31:51 CEST 2018

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (6686 MiB free)
  memory of node 1: 16384 MiB (10448 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296914-1532626309/watcher-4296914-1532626309 -o /tmp/evaluation-result-4296914-1532626309/solver-4296914-1532626309 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532623784-7062 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4296914-1532626309.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7256, runsolver pid=7253
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 8.63 8.84 8.24 3/201 7276
/proc/meminfo: memFree=17451436/32770624 swapFree=67108796/67108860
[pid=7256] ppid=7253 vsize=27312552 memory=104804 CPUtime=0.09 cores=0-7
/proc/7256/stat : 7256 (java) S 7253 7256 7035 0 -1 1077944320 6245 0 0 0 7 2 0 0 20 0 20 0 80194116 27968053248 26201 33554432000 4194304 4196468 140724911946048 140724911928592 140543739657975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
/proc/7256/statm: 6828138 26201 2679 1 0 6790598 0
[pid=7256/tid=7258] ppid=7253 vsize=27312552 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7256/task/7258/stat : 7258 (java) R 7253 7256 7035 0 -1 4202560 4379 0 0 0 6 2 0 0 20 0 20 0 80194117 27968053248 26201 33554432000 4194304 4196468 140724911946048 140543711484304 140543724825216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7259] ppid=7253 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7256/task/7259/stat : 7259 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 26201 33554432000 4194304 4196468 140724911946048 140543743900816 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7260] ppid=7253 vsize=27312552 memory=140004523136640 CPUtime=0 cores=0-7
/proc/7256/task/7260/stat : 7260 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 26201 33554432000 4194304 4196468 140724911946048 140543558056976 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7261] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7261/stat : 7261 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 26201 33554432000 4194304 4196468 140724911946048 140543557004176 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7262] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7262/stat : 7262 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 26201 33554432000 4194304 4196468 140724911946048 140543555951376 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7263] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7263/stat : 7263 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 26201 33554432000 4194304 4196468 140724911946048 140543554898576 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7264] ppid=7253 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7256/task/7264/stat : 7264 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 26201 33554432000 4194304 4196468 140724911946048 140543553845776 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7265] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7265/stat : 7265 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 26201 33554432000 4194304 4196468 140724911946048 140543552792976 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7266] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7266/stat : 7266 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 26201 33554432000 4194304 4196468 140724911946048 140543551740176 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7267] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7267/stat : 7267 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194121 27968053248 26201 33554432000 4194304 4196468 140724911946048 140541790481264 140543739669122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7268] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7268/stat : 7268 (java) S 7253 7256 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194121 27968053248 26201 33554432000 4194304 4196468 140724911946048 140541664683552 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7269] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7269/stat : 7269 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194121 27968053248 26201 33554432000 4194304 4196468 140724911946048 140541396247920 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7270] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7270/stat : 7270 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 26201 33554432000 4194304 4196468 140724911946048 140541021739344 140543739676571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7271] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7271/stat : 7271 (java) S 7253 7256 7035 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 26201 33554432000 4194304 4196468 140724911946048 140541789428080 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7272] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7272/stat : 7272 (java) S 7253 7256 7035 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 26201 33554432000 4194304 4196468 140724911946048 140541788375280 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7273] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7273/stat : 7273 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 26201 33554432000 4194304 4196468 140724911946048 140541787322480 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7274] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7274/stat : 7274 (java) S 7253 7256 7035 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 26201 33554432000 4194304 4196468 140724911946048 140541786269680 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7275] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7275/stat : 7275 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194125 27968053248 26201 33554432000 4194304 4196468 140724911946048 140540523834464 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7276] ppid=7253 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7256/task/7276/stat : 7276 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194125 27968053248 26201 33554432000 4194304 4196468 140724911946048 140541785218096 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 104804 KiB

[startup+0.210401 s]*
/proc/loadavg: 8.63 8.84 8.24 1/201 7276
/proc/meminfo: memFree=17432768/32770624 swapFree=67108796/67108860
[pid=7256] ppid=7253 vsize=27312552 memory=124256 CPUtime=0.22 cores=0-7
/proc/7256/stat : 7256 (java) S 7253 7256 7035 0 -1 1077944320 10243 0 0 0 19 3 0 0 20 0 20 0 80194116 27968053248 31064 33554432000 4194304 4196468 140724911946048 140724911928592 140543739657975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
/proc/7256/statm: 6828138 31064 2892 1 0 6790598 0
[pid=7256/tid=7258] ppid=7253 vsize=27312552 memory=4026531975 CPUtime=0.17 cores=0-7
/proc/7256/task/7258/stat : 7258 (java) S 7253 7256 7035 0 -1 1077944384 8193 0 0 0 15 2 0 0 20 0 20 0 80194117 27968053248 31064 33554432000 4194304 4196468 140724911946048 140543711443216 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7259] ppid=7253 vsize=27312552 memory=9272 CPUtime=0 cores=0-7
/proc/7256/task/7259/stat : 7259 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31064 33554432000 4194304 4196468 140724911946048 140543743900816 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7260] ppid=7253 vsize=27312552 memory=140004523144065 CPUtime=0 cores=0-7
/proc/7256/task/7260/stat : 7260 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31064 33554432000 4194304 4196468 140724911946048 140543558056976 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7261] ppid=7253 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7256/task/7261/stat : 7261 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31064 33554432000 4194304 4196468 140724911946048 140543557004176 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7262] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7262/stat : 7262 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31064 33554432000 4194304 4196468 140724911946048 140543555951376 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7263] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7263/stat : 7263 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31064 33554432000 4194304 4196468 140724911946048 140543554898576 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7264] ppid=7253 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7256/task/7264/stat : 7264 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31064 33554432000 4194304 4196468 140724911946048 140543553845776 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7265] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7265/stat : 7265 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31064 33554432000 4194304 4196468 140724911946048 140543552792976 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7266] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7266/stat : 7266 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31064 33554432000 4194304 4196468 140724911946048 140543551740176 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7267] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7267/stat : 7267 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194121 27968053248 31064 33554432000 4194304 4196468 140724911946048 140541790481264 140543739669122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7268] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7268/stat : 7268 (java) S 7253 7256 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194121 27968053248 31064 33554432000 4194304 4196468 140724911946048 140541664683552 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7269] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7269/stat : 7269 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194121 27968053248 31064 33554432000 4194304 4196468 140724911946048 140541396247920 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7270] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7270/stat : 7270 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 31064 33554432000 4194304 4196468 140724911946048 140541021739344 140543739676571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7271] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7271/stat : 7271 (java) S 7253 7256 7035 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 31064 33554432000 4194304 4196468 140724911946048 140541789428080 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7272] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7272/stat : 7272 (java) S 7253 7256 7035 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 31064 33554432000 4194304 4196468 140724911946048 140541788375280 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7273] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7273/stat : 7273 (java) R 7253 7256 7035 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 31064 33554432000 4194304 4196468 140724911946048 140541787322776 140543723150255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7274] ppid=7253 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/7256/task/7274/stat : 7274 (java) R 7253 7256 7035 0 -1 4202560 267 0 0 0 2 0 0 0 20 0 20 0 80194124 27968053248 31064 33554432000 4194304 4196468 140724911946048 140541786269680 140543717798967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7275] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7275/stat : 7275 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194125 27968053248 31064 33554432000 4194304 4196468 140724911946048 140540523834464 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7276] ppid=7253 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7256/task/7276/stat : 7276 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194125 27968053248 31064 33554432000 4194304 4196468 140724911946048 140541785218096 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124256 KiB

[startup+0.310666 s]*
/proc/loadavg: 8.63 8.84 8.24 2/201 7276
/proc/meminfo: memFree=17429852/32770624 swapFree=67108796/67108860
[pid=7256] ppid=7253 vsize=27312552 memory=127892 CPUtime=0.39 cores=0-7
/proc/7256/stat : 7256 (java) S 7253 7256 7035 0 -1 1077944320 10821 0 0 0 36 3 0 0 20 0 20 0 80194116 27968053248 31973 33554432000 4194304 4196468 140724911946048 140724911928592 140543739657975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
/proc/7256/statm: 6828138 31973 2975 1 0 6790598 0
[pid=7256/tid=7258] ppid=7253 vsize=27312552 memory=8112282956445269571 CPUtime=0.27 cores=0-7
/proc/7256/task/7258/stat : 7258 (java) R 7253 7256 7035 0 -1 4202560 8582 0 0 0 24 3 0 0 20 0 20 0 80194117 27968053248 31973 33554432000 4194304 4196468 140724911946048 140543711462128 140543723738462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7259] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7259/stat : 7259 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31973 33554432000 4194304 4196468 140724911946048 140543743900816 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7260] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7260/stat : 7260 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31973 33554432000 4194304 4196468 140724911946048 140543558056976 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7261] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7261/stat : 7261 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31973 33554432000 4194304 4196468 140724911946048 140543557004176 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7262] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7262/stat : 7262 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31973 33554432000 4194304 4196468 140724911946048 140543555951376 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7263] ppid=7253 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/7256/task/7263/stat : 7263 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31973 33554432000 4194304 4196468 140724911946048 140543554898576 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7264] ppid=7253 vsize=27312552 memory=140004391220143 CPUtime=0 cores=0-7
/proc/7256/task/7264/stat : 7264 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31973 33554432000 4194304 4196468 140724911946048 140543553845776 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7265] ppid=7253 vsize=27312552 memory=140004391222448 CPUtime=0 cores=0-7
/proc/7256/task/7265/stat : 7265 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31973 33554432000 4194304 4196468 140724911946048 140543552792976 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7266] ppid=7253 vsize=27312552 memory=140004391224752 CPUtime=0 cores=0-7
/proc/7256/task/7266/stat : 7266 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27968053248 31973 33554432000 4194304 4196468 140724911946048 140543551740176 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7267] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7267/stat : 7267 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194121 27968053248 31973 33554432000 4194304 4196468 140724911946048 140541790481264 140543739669122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7268] ppid=7253 vsize=27312552 memory=280008782456464 CPUtime=0 cores=0-7
/proc/7256/task/7268/stat : 7268 (java) S 7253 7256 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194121 27968053248 31973 33554432000 4194304 4196468 140724911946048 140541664683552 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7269] ppid=7253 vsize=27312552 memory=280008782463376 CPUtime=0 cores=0-7
/proc/7256/task/7269/stat : 7269 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194121 27968053248 31973 33554432000 4194304 4196468 140724911946048 140541396247920 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7270] ppid=7253 vsize=27312552 memory=280008782404656 CPUtime=0 cores=0-7
/proc/7256/task/7270/stat : 7270 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194124 27968053248 31973 33554432000 4194304 4196468 140724911946048 140541021739344 140543739676571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7271] ppid=7253 vsize=27312552 memory=280008782477200 CPUtime=0.01 cores=0-7
/proc/7256/task/7271/stat : 7271 (java) S 7253 7256 7035 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 20 0 80194124 27968053248 31973 33554432000 4194304 4196468 140724911946048 140541789428080 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7272] ppid=7253 vsize=27312552 memory=280008782484112 CPUtime=0.01 cores=0-7
/proc/7256/task/7272/stat : 7272 (java) S 7253 7256 7035 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 20 0 80194124 27968053248 31973 33554432000 4194304 4196468 140724911946048 140541788375280 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7273] ppid=7253 vsize=27312552 memory=280008782481808 CPUtime=0.01 cores=0-7
/proc/7256/task/7273/stat : 7273 (java) S 7253 7256 7035 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 80194124 27968053248 31973 33554432000 4194304 4196468 140724911946048 140541787322480 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7274] ppid=7253 vsize=27312552 memory=280008782498416 CPUtime=0.07 cores=0-7
/proc/7256/task/7274/stat : 7274 (java) S 7253 7256 7035 0 -1 1077944384 289 0 0 0 7 0 0 0 20 0 20 0 80194124 27968053248 31973 33554432000 4194304 4196468 140724911946048 140541786269680 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7275] ppid=7253 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7275/stat : 7275 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194125 27968053248 31973 33554432000 4194304 4196468 140724911946048 140540523834464 140543739668181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7276] ppid=7253 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7256/task/7276/stat : 7276 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194125 27968053248 31973 33554432000 4194304 4196468 140724911946048 140541785218096 140543739669122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127892 KiB

[startup+0.700896 s]
/proc/loadavg: 8.63 8.84 8.24 3/201 7276
/proc/meminfo: memFree=17405564/32770624 swapFree=67108796/67108860
[pid=7256] ppid=7253 vsize=27318824 memory=164508 CPUtime=0.94 cores=0-7
/proc/7256/stat : 7256 (java) S 7253 7256 7035 0 -1 1077944320 17693 0 0 0 88 6 0 0 20 0 20 0 80194116 27974475776 41127 33554432000 4194304 4196468 140724911946048 140724911928592 140543739657975 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
/proc/7256/statm: 6829706 41127 3136 1 0 6791110 0
[pid=7256/tid=7258] ppid=7253 vsize=27318824 memory=0 CPUtime=0.64 cores=0-7
/proc/7256/task/7258/stat : 7258 (java) R 7253 7256 7035 0 -1 4202560 15037 0 0 0 60 4 0 0 20 0 20 0 80194117 27974475776 41127 33554432000 4194304 4196468 140724911946048 140543711494256 140543739669910 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7259] ppid=7253 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7259/stat : 7259 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27974475776 41127 33554432000 4194304 4196468 140724911946048 140543743900816 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7260] ppid=7253 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7260/stat : 7260 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194119 27974475776 41127 33554432000 4194304 4196468 140724911946048 140543558056976 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7261] ppid=7253 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7261/stat : 7261 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27974475776 41127 33554432000 4194304 4196468 140724911946048 140543557004176 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7262] ppid=7253 vsize=27318824 memory=1284 CPUtime=0 cores=0-7
/proc/7256/task/7262/stat : 7262 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27974475776 41127 33554432000 4194304 4196468 140724911946048 140543555951376 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7263] ppid=7253 vsize=27318824 memory=1088 CPUtime=0 cores=0-7
/proc/7256/task/7263/stat : 7263 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27974475776 41127 33554432000 4194304 4196468 140724911946048 140543554898576 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7264] ppid=7253 vsize=27318824 memory=1800 CPUtime=0 cores=0-7
/proc/7256/task/7264/stat : 7264 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27974475776 41127 33554432000 4194304 4196468 140724911946048 140543553845776 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7265] ppid=7253 vsize=27318824 memory=7024 CPUtime=0 cores=0-7
/proc/7256/task/7265/stat : 7265 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27974475776 41127 33554432000 4194304 4196468 140724911946048 140543552792976 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7266] ppid=7253 vsize=27318824 memory=15044 CPUtime=0 cores=0-7
/proc/7256/task/7266/stat : 7266 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27974475776 41127 33554432000 4194304 4196468 140724911946048 140543551740176 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7267] ppid=7253 vsize=27318824 memory=18572 CPUtime=0 cores=0-7
/proc/7256/task/7267/stat : 7267 (java) S 7253 7256 7035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80194121 27974475776 41127 33554432000 4194304 4196468 140724911946048 140541790481264 140543739669122 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0

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

[pid=7256/tid=7275] ppid=7253 vsize=27318824 memory=832 CPUtime=0 cores=0-7
/proc/7256/task/7275/stat : 7275 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194125 27974475776 41127 33554432000 4194304 4196468 140724911946048 140540523834464 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7276] ppid=7253 vsize=27318824 memory=1608 CPUtime=0 cores=0-7
/proc/7256/task/7276/stat : 7276 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194125 27974475776 41127 33554432000 4194304 4196468 140724911946048 140541785218096 140543739669122 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 27318824 KiB
Current children cumulated memory: 164508 KiB

[startup+1.50092 s]
/proc/loadavg: 8.63 8.84 8.24 3/201 7276
/proc/meminfo: memFree=17379120/32770624 swapFree=67108796/67108860
[pid=7256] ppid=7253 vsize=27325044 memory=222668 CPUtime=2.89 cores=0-7
/proc/7256/stat : 7256 (java) S 7253 7256 7035 0 -1 1077944320 21979 0 0 0 280 9 0 0 20 0 20 0 80194116 27980845056 55667 33554432000 4194304 4196468 140724911946048 140724911928592 140543739657975 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
/proc/7256/statm: 6831261 55667 3201 1 0 6792646 0
[pid=7256/tid=7258] ppid=7253 vsize=27325044 memory=0 CPUtime=1.44 cores=0-7
/proc/7256/task/7258/stat : 7258 (java) R 7253 7256 7035 0 -1 4202560 16387 0 0 0 138 6 0 0 20 0 20 0 80194117 27980845056 55667 33554432000 4194304 4196468 140724911946048 140543711496240 140543723738462 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7259] ppid=7253 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7259/stat : 7259 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27980845056 55667 33554432000 4194304 4196468 140724911946048 140543743900816 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7260] ppid=7253 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7260/stat : 7260 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194119 27980845056 55667 33554432000 4194304 4196468 140724911946048 140543558056976 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7261] ppid=7253 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7261/stat : 7261 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27980845056 55667 33554432000 4194304 4196468 140724911946048 140543557004176 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7262] ppid=7253 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7262/stat : 7262 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27980845056 55667 33554432000 4194304 4196468 140724911946048 140543555951376 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7263] ppid=7253 vsize=27325044 memory=280008783013040 CPUtime=0 cores=0-7
/proc/7256/task/7263/stat : 7263 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27980845056 55667 33554432000 4194304 4196468 140724911946048 140543554898576 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7264] ppid=7253 vsize=27325044 memory=33337536152554 CPUtime=0 cores=0-7
/proc/7256/task/7264/stat : 7264 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27980845056 55667 33554432000 4194304 4196468 140724911946048 140543553845776 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7265] ppid=7253 vsize=27325044 memory=33337536152554 CPUtime=0 cores=0-7
/proc/7256/task/7265/stat : 7265 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27980845056 55667 33554432000 4194304 4196468 140724911946048 140543552792976 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7266] ppid=7253 vsize=27325044 memory=280008783036224 CPUtime=0 cores=0-7
/proc/7256/task/7266/stat : 7266 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27980845056 55667 33554432000 4194304 4196468 140724911946048 140543551740176 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7267] ppid=7253 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7267/stat : 7267 (java) S 7253 7256 7035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80194121 27980845056 55667 33554432000 4194304 4196468 140724911946048 140541790481264 140543739669122 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7268] ppid=7253 vsize=27325044 memory=1284 CPUtime=0 cores=0-7
/proc/7256/task/7268/stat : 7268 (java) S 7253 7256 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194121 27980845056 55667 33554432000 4194304 4196468 140724911946048 140541664683552 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7269] ppid=7253 vsize=27325044 memory=1088 CPUtime=0 cores=0-7
/proc/7256/task/7269/stat : 7269 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194121 27980845056 55667 33554432000 4194304 4196468 140724911946048 140541396247920 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7270] ppid=7253 vsize=27325044 memory=1800 CPUtime=0 cores=0-7
/proc/7256/task/7270/stat : 7270 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194124 27980845056 55667 33554432000 4194304 4196468 140724911946048 140541021739344 140543739676571 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7271] ppid=7253 vsize=27325044 memory=7024 CPUtime=0.27 cores=0-7
/proc/7256/task/7271/stat : 7271 (java) R 7253 7256 7035 0 -1 4202560 609 0 0 0 26 1 0 0 20 0 20 0 80194124 27980845056 55667 33554432000 4194304 4196468 140724911946048 140541789414880 140543724765580 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7272] ppid=7253 vsize=27325044 memory=15044 CPUtime=0.23 cores=0-7
/proc/7256/task/7272/stat : 7272 (java) R 7253 7256 7035 0 -1 4202560 713 0 0 0 23 0 0 0 20 0 20 0 80194124 27980845056 55667 33554432000 4194304 4196468 140724911946048 140541788375280 140543739679322 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7273] ppid=7253 vsize=27325044 memory=18572 CPUtime=0.25 cores=0-7
/proc/7256/task/7273/stat : 7273 (java) R 7253 7256 7035 0 -1 4202560 469 0 0 0 25 0 0 0 20 0 20 0 80194124 27980845056 55667 33554432000 4194304 4196468 140724911946048 140541787302992 140543723563808 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7274] ppid=7253 vsize=27325044 memory=17804 CPUtime=0.66 cores=0-7
/proc/7256/task/7274/stat : 7274 (java) S 7253 7256 7035 0 -1 1077944384 2459 0 0 0 66 0 0 0 20 0 20 0 80194124 27980845056 55667 33554432000 4194304 4196468 140724911946048 140541786269680 140543739669122 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7275] ppid=7253 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7275/stat : 7275 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194125 27980845056 55667 33554432000 4194304 4196468 140724911946048 140540523834464 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7276] ppid=7253 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7276/stat : 7276 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194125 27980845056 55667 33554432000 4194304 4196468 140724911946048 140541785218096 140543739669122 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 222668 KiB

[startup+1.82083 s]
# the end of solver process 7256 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.87372 s, system=0.13879 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60149 s]
/proc/loadavg: 8.63 8.84 8.24 3/201 7276
/proc/meminfo: memFree=17379120/32770624 swapFree=67108796/67108860
[pid=7256] ppid=7253 vsize=27327160 memory=228044 CPUtime=3.15 cores=0-7
/proc/7256/stat : 7256 (java) S 7253 7256 7035 0 -1 1077944320 22371 0 0 0 305 10 0 0 20 0 20 0 80194116 27983011840 57011 33554432000 4194304 4196468 140724911946048 140724911928592 140543739657975 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
/proc/7256/statm: 6831790 57011 3213 1 0 6792646 0
[pid=7256/tid=7258] ppid=7253 vsize=27327160 memory=0 CPUtime=1.52 cores=0-7
/proc/7256/task/7258/stat : 7258 (java) R 7253 7256 7035 0 -1 4202560 16584 0 0 0 146 6 0 0 20 0 20 0 80194117 27983011840 57011 33554432000 4194304 4196468 140724911946048 140543711490544 140543225004108 0 4 0 25189583 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7259] ppid=7253 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7259/stat : 7259 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27983011840 57011 33554432000 4194304 4196468 140724911946048 140543743900816 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7260] ppid=7253 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7260/stat : 7260 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194119 27983011840 57011 33554432000 4194304 4196468 140724911946048 140543558056976 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7261] ppid=7253 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/7256/task/7261/stat : 7261 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27983011840 57011 33554432000 4194304 4196468 140724911946048 140543557004176 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7262] ppid=7253 vsize=27327160 memory=3708 CPUtime=0 cores=0-7
/proc/7256/task/7262/stat : 7262 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27983011840 57011 33554432000 4194304 4196468 140724911946048 140543555951376 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7263] ppid=7253 vsize=27327160 memory=23596 CPUtime=0 cores=0-7
/proc/7256/task/7263/stat : 7263 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27983011840 57011 33554432000 4194304 4196468 140724911946048 140543554898576 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7264] ppid=7253 vsize=27327160 memory=6476810683591 CPUtime=0 cores=0-7
/proc/7256/task/7264/stat : 7264 (java) S 7253 7256 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194119 27983011840 57011 33554432000 4194304 4196468 140724911946048 140543553845776 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7265] ppid=7253 vsize=27327160 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/7256/task/7265/stat : 7265 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27983011840 57011 33554432000 4194304 4196468 140724911946048 140543552792976 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7266] ppid=7253 vsize=27327160 memory=14417003460954453 CPUtime=0 cores=0-7
/proc/7256/task/7266/stat : 7266 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194119 27983011840 57011 33554432000 4194304 4196468 140724911946048 140543551740176 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7267] ppid=7253 vsize=27327160 memory=832 CPUtime=0 cores=0-7
/proc/7256/task/7267/stat : 7267 (java) S 7253 7256 7035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80194121 27983011840 57011 33554432000 4194304 4196468 140724911946048 140541790481264 140543739669122 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7268] ppid=7253 vsize=27327160 memory=1608 CPUtime=0 cores=0-7
/proc/7256/task/7268/stat : 7268 (java) S 7253 7256 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194121 27983011840 57011 33554432000 4194304 4196468 140724911946048 140541664683552 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7269] ppid=7253 vsize=27327160 memory=5024 CPUtime=0 cores=0-7
/proc/7256/task/7269/stat : 7269 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194121 27983011840 57011 33554432000 4194304 4196468 140724911946048 140541396247920 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7270] ppid=7253 vsize=27327160 memory=4032 CPUtime=0 cores=0-7
/proc/7256/task/7270/stat : 7270 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194124 27983011840 57011 33554432000 4194304 4196468 140724911946048 140541021739344 140543739676571 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7271] ppid=7253 vsize=27327160 memory=20036 CPUtime=0.31 cores=0-7
/proc/7256/task/7271/stat : 7271 (java) R 7253 7256 7035 0 -1 4202560 622 0 0 0 30 1 0 0 20 0 20 0 80194124 27983011840 57011 33554432000 4194304 4196468 140724911946048 140541789418672 140543723143983 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7272] ppid=7253 vsize=27327160 memory=6943526294502006880 CPUtime=0.26 cores=0-7
/proc/7256/task/7272/stat : 7272 (java) R 7253 7256 7035 0 -1 4202560 742 0 0 0 26 0 0 0 20 0 20 0 80194124 27983011840 57011 33554432000 4194304 4196468 140724911946048 140541788375280 140543739669910 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7273] ppid=7253 vsize=27327160 memory=6944656592455359580 CPUtime=0.29 cores=0-7
/proc/7256/task/7273/stat : 7273 (java) R 7253 7256 7035 0 -1 4202560 483 0 0 0 29 0 0 0 20 0 20 0 80194124 27983011840 57011 33554432000 4194304 4196468 140724911946048 140541787307312 140543739669910 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7274] ppid=7253 vsize=27327160 memory=6944656592455360604 CPUtime=0.72 cores=0-7
/proc/7256/task/7274/stat : 7274 (java) R 7253 7256 7035 0 -1 4202560 2596 0 0 0 72 0 0 0 20 0 20 0 80194124 27983011840 57011 33554432000 4194304 4196468 140724911946048 140541786265408 140543739679322 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7275] ppid=7253 vsize=27327160 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/7256/task/7275/stat : 7275 (java) S 7253 7256 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194125 27983011840 57011 33554432000 4194304 4196468 140724911946048 140540523834464 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7276] ppid=7253 vsize=27327160 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/7256/task/7276/stat : 7276 (java) S 7253 7256 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194125 27983011840 57011 33554432000 4194304 4196468 140724911946048 140541785218096 140543739669122 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 27327160 KiB
Current children cumulated memory: 228044 KiB

[startup+1.80085 s]
/proc/loadavg: 8.63 8.84 8.24 3/201 7276
/proc/meminfo: memFree=17379120/32770624 swapFree=67108796/67108860
[pid=7256] ppid=7253 vsize=27851684 memory=273876 CPUtime=3.98 cores=0-7
/proc/7256/stat : 7256 (java) S 7253 7256 7035 0 -1 1077944320 23610 2659 0 3 381 12 4 1 20 0 22 0 80194116 28520124416 68469 33554432000 4194304 4196468 140724911946048 140724911928592 140543739657975 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
/proc/7256/statm: 6962921 68469 3225 1 0 6923777 0
[pid=7256/tid=7258] ppid=7253 vsize=27851684 memory=8112282956445269571 CPUtime=1.76 cores=0-7
/proc/7256/task/7258/stat : 7258 (java) R 7253 7256 7035 0 -1 4202560 16994 2659 0 3 164 7 4 1 20 0 22 0 80194117 28520124416 68469 33554432000 4194304 4196468 140724911946048 140543711496240 140543739669910 0 4 0 25189583 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7259] ppid=7253 vsize=27851684 memory=0 CPUtime=0.05 cores=0-7
/proc/7256/task/7259/stat : 7259 (java) S 7253 7256 7035 0 -1 1077944384 2 2659 0 3 0 0 4 1 20 0 22 0 80194119 28520124416 68469 33554432000 4194304 4196468 140724911946048 140543743900816 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7260] ppid=7253 vsize=27851684 memory=4580 CPUtime=0.05 cores=0-7
/proc/7256/task/7260/stat : 7260 (java) S 7253 7256 7035 0 -1 1077944384 3 2659 0 3 0 0 4 1 20 0 22 0 80194119 28520124416 68469 33554432000 4194304 4196468 140724911946048 140543558056976 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7261] ppid=7253 vsize=27851684 memory=0 CPUtime=0.05 cores=0-7
/proc/7256/task/7261/stat : 7261 (java) S 7253 7256 7035 0 -1 1077944384 1 2659 0 3 0 0 4 1 20 0 22 0 80194119 28520124416 68469 33554432000 4194304 4196468 140724911946048 140543557004176 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7262] ppid=7253 vsize=27851684 memory=6656426216303648864 CPUtime=0.05 cores=0-7
/proc/7256/task/7262/stat : 7262 (java) S 7253 7256 7035 0 -1 1077944384 1 2659 0 3 0 0 4 1 20 0 22 0 80194119 28520124416 68469 33554432000 4194304 4196468 140724911946048 140543555951376 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7263] ppid=7253 vsize=27851684 memory=6656426216303648864 CPUtime=0.05 cores=0-7
/proc/7256/task/7263/stat : 7263 (java) S 7253 7256 7035 0 -1 1077944384 1 2659 0 3 0 0 4 1 20 0 22 0 80194119 28520124416 68469 33554432000 4194304 4196468 140724911946048 140543554898576 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7264] ppid=7253 vsize=27851684 memory=0 CPUtime=0.05 cores=0-7
/proc/7256/task/7264/stat : 7264 (java) S 7253 7256 7035 0 -1 1077944384 2 2659 0 3 0 0 4 1 20 0 22 0 80194119 28520124416 68469 33554432000 4194304 4196468 140724911946048 140543553845776 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7265] ppid=7253 vsize=27851684 memory=0 CPUtime=0.05 cores=0-7
/proc/7256/task/7265/stat : 7265 (java) S 7253 7256 7035 0 -1 1077944384 1 2659 0 3 0 0 4 1 20 0 22 0 80194119 28520124416 68469 33554432000 4194304 4196468 140724911946048 140543552792976 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7266] ppid=7253 vsize=27851684 memory=6656426216303648864 CPUtime=0.05 cores=0-7
/proc/7256/task/7266/stat : 7266 (java) S 7253 7256 7035 0 -1 1077944384 1 2659 0 3 0 0 4 1 20 0 22 0 80194119 28520124416 68469 33554432000 4194304 4196468 140724911946048 140543551740176 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7267] ppid=7253 vsize=27851684 memory=8330969454845486047 CPUtime=0.05 cores=0-7
/proc/7256/task/7267/stat : 7267 (java) S 7253 7256 7035 0 -1 1077944384 5 2659 0 3 0 0 4 1 20 0 22 0 80194121 28520124416 68469 33554432000 4194304 4196468 140724911946048 140541790481264 140543739669122 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7268] ppid=7253 vsize=27851684 memory=6656426216303648864 CPUtime=0.05 cores=0-7
/proc/7256/task/7268/stat : 7268 (java) S 7253 7256 7035 0 -1 1077944384 13 2659 0 3 0 0 4 1 20 0 22 0 80194121 28520124416 68469 33554432000 4194304 4196468 140724911946048 140541664683552 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7269] ppid=7253 vsize=27851684 memory=6944652177228980320 CPUtime=0.05 cores=0-7
/proc/7256/task/7269/stat : 7269 (java) S 7253 7256 7035 0 -1 1077944384 1 2659 0 3 0 0 4 1 20 0 22 0 80194121 28520124416 68469 33554432000 4194304 4196468 140724911946048 140541396247920 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7270] ppid=7253 vsize=27851684 memory=6944656592387989600 CPUtime=0.05 cores=0-7
/proc/7256/task/7270/stat : 7270 (java) S 7253 7256 7035 0 -1 1077944384 1 2659 0 3 0 0 4 1 20 0 22 0 80194124 28520124416 68469 33554432000 4194304 4196468 140724911946048 140541021739344 140543739676571 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7271] ppid=7253 vsize=27851684 memory=-7812193691855998918 CPUtime=0.5 cores=0-7
/proc/7256/task/7271/stat : 7271 (java) S 7253 7256 7035 0 -1 1077944384 678 2659 0 3 44 1 4 1 20 0 22 0 80194124 28520124416 68469 33554432000 4194304 4196468 140724911946048 140541789428080 140543739669122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7272] ppid=7253 vsize=27851684 memory=6944656592452807320 CPUtime=0.45 cores=0-7
/proc/7256/task/7272/stat : 7272 (java) S 7253 7256 7035 0 -1 1077944384 832 2659 0 3 40 0 4 1 20 0 22 0 80194124 28520124416 68469 33554432000 4194304 4196468 140724911946048 140541788375280 140543739669122 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7273] ppid=7253 vsize=27851684 memory=-7173504570860347296 CPUtime=0.53 cores=0-7
/proc/7256/task/7273/stat : 7273 (java) R 7253 7256 7035 0 -1 4202560 948 2659 0 3 48 0 4 1 20 0 22 0 80194124 28520124416 68469 33554432000 4194304 4196468 140724911946048 140541787302824 140543723154759 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7274] ppid=7253 vsize=27851684 memory=-9178176116494409632 CPUtime=0.86 cores=0-7
/proc/7256/task/7274/stat : 7274 (java) R 7253 7256 7035 0 -1 4202560 2718 2659 0 3 80 1 4 1 20 0 22 0 80194124 28520124416 68469 33554432000 4194304 4196468 140724911946048 140541786269680 140543739679322 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7275] ppid=7253 vsize=27851684 memory=6944656591801717918 CPUtime=0.05 cores=0-7
/proc/7256/task/7275/stat : 7275 (java) S 7253 7256 7035 0 -1 1077944384 3 2659 0 3 0 0 4 1 20 0 22 0 80194125 28520124416 68469 33554432000 4194304 4196468 140724911946048 140540523834464 140543739668181 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
[pid=7256/tid=7276] ppid=7253 vsize=27851684 memory=4016 CPUtime=0.05 cores=0-7
/proc/7256/task/7276/stat : 7276 (java) S 7253 7256 7035 0 -1 1077944384 1 2659 0 3 0 0 4 1 20 0 22 0 80194125 28520124416 68469 33554432000 4194304 4196468 140724911946048 140541785218096 140543739669122 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8159232 140724911948761 140724911949061 140724911949061 140724911951823 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 27851684 KiB
Current children cumulated memory: 273876 KiB

Child status: 0
Real time (s): 1.82087
CPU time (s): 4.01251
CPU user time (s): 3.87372
CPU system time (s): 0.13879
CPU usage (%): 220.362
Max. virtual memory (cumulated for all children) (KiB): 27851684
Max. memory (cumulated for all children) (KiB): 273876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.87372
system time used= 0.13879
maximum resident set size= 276552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26279
page faults= 3
swaps= 0
block input operations= 896
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5226
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 7256
#   total CPU time (s): 4.01251
#   total CPU user time (s): 3.87372
#   total CPU system time (s): 0.13879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03977 second user time and 0.059656 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-26 19:31:49
IDJOB=4296914
IDBENCH=141018
IDSOLVER=2758
FILE ID=node138/4296914-1532626309
RUNJOBID= node138-1532623784-7062
PBS_JOBID= 21022023
Free space on /tmp= 53804 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-07_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296914-1532626309/watcher-4296914-1532626309 -o /tmp/evaluation-result-4296914-1532626309/solver-4296914-1532626309 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532623784-7062 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4296914-1532626309.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 968c6e40c1de71b17fca4670fe54f327
RANDOM SEED=1915547437

node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:        17546896 kB
MemAvailable:   31923648 kB
Buffers:          198528 kB
Cached:         14321972 kB
SwapCached:           44 kB
Active:          2382320 kB
Inactive:       12197384 kB
Active(anon):       9736 kB
Inactive(anon):    77300 kB
Active(file):    2372584 kB
Inactive(file): 12120084 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              8216 kB
Writeback:            32 kB
AnonPages:         65748 kB
Mapped:            35856 kB
Shmem:             25164 kB
Slab:             340208 kB
SReclaimable:     312544 kB
SUnreclaim:        27664 kB
KernelStack:        3200 kB
PageTables:         4376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53792 MiB
End job on node138 at 2018-07-26 19:31:51