Trace number 4297150

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 both+glucose-syrup (2018-07-07)SAT 4.13966 1.84842

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.56	scop both+glucose-syrup (2018-07-07)
0.63/0.56	
0.63/0.59	c BEGIN-Prog: Thu Jul 26 19:31:50 CEST 2018
0.63/0.59	c PID: 1667
0.63/0.59	c IP: 172.20.3.137
0.63/0.59	c HOST: node137.alineos.net
0.63/0.59	c (0,0) Parsing Begin
1.11/0.88	c (0,0) Parsing End
1.11/0.89	c (0,0) CSP: 49 int (0 aux), 0 bool (0 aux), 36 ctr, max domain size 7
1.11/0.89	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.11/0.89	c (0,0) Constraint Name Generate Begin
1.11/0.89	c (0,0) Ctr:HOME/instance-4297150-1532626310.xml,AllDifferent:IntVar
1.11/0.89	c (0,0) Constraint Name Generate End
1.11/0.89	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.11/0.89	c (0,0) CSP to CSPinCNF Begin
1.48/1.08	c (0,0) translated 4 (10%) constraints
1.70/1.12	c (0,0) translated 8 (20%) constraints
1.70/1.15	c (0,0) translated 11 (30%) constraints
1.70/1.17	c (0,0) translated 15 (40%) constraints
1.70/1.19	c (0,0) translated 18 (50%) constraints
2.04/1.20	c (0,0) translated 22 (60%) constraints
2.04/1.21	c (0,0) translated 26 (70%) constraints
2.04/1.22	c (0,0) translated 29 (80%) constraints
2.04/1.24	c (0,0) translated 33 (90%) constraints
2.04/1.25	c (0,0) translated 36 (100%) constraints
2.29/1.30	c (0,0) STATISTICS1:HOME/instance-4297150-1532626310.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.29/1.30	c (0,0) ===========================================
2.29/1.30	c (0,0) Both Encoding selects:
2.29/1.30	c (0,0) Order
2.29/1.30	c (0,0) ===========================================
2.29/1.33	c (0,0) translated 55 (10%) constraints
2.29/1.34	c (0,0) translated 110 (20%) constraints
2.29/1.35	c (0,0) translated 165 (30%) constraints
2.29/1.36	c (0,0) translated 220 (40%) constraints
2.29/1.37	c (0,0) translated 274 (50%) constraints
2.29/1.37	c (0,0) translated 329 (60%) constraints
2.29/1.38	c (0,0) translated 384 (70%) constraints
2.29/1.39	c (0,0) translated 439 (80%) constraints
2.29/1.39	c (0,0) translated 494 (90%) constraints
2.60/1.40	c (0,0) translated 548 (100%) constraints
2.60/1.40	c (0,0) CSP to CSPinCNF End
2.60/1.40	c (0,0) CSP: 49 int (0 aux), 0 bool (0 aux), 548 ctr, max domain size 7
2.60/1.40	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.60/1.40	c (0,0) CSPinCNF Propagation Begin
2.60/1.42	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.60/1.42	c (0,0) CSPinCNF Propagation End
2.60/1.42	c (0,0) CSP: 49 int (0 aux), 0 bool (0 aux), 548 ctr, max domain size 7
2.60/1.42	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.60/1.42	c (0,0) Simplify CSPinCNF Begin
2.88/1.52	c (0,0) Simplify CSPinCNF End
2.88/1.53	c (0,0) CSP: 49 int (0 aux), 952 bool (952 aux), 1500 ctr, max domain size 7
2.88/1.53	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.88/1.53	c (0,0) Calculate Precise Domain Begin
2.88/1.53	c (0,0) 0 values are removed by re-calculation
2.88/1.53	c (0,0) Calculate Precise Domain End
2.88/1.53	c (0,0) CSP: 49 int (0 aux), 952 bool (952 aux), 1500 ctr, max domain size 7
2.88/1.53	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.88/1.53	c (0,0) CSPinCNF to SatSolver Begin
3.21/1.62	c (1,1) 150 (10 %) CSP clauses are encoded (1246 SAT variables, 970 SAT clauses)
3.21/1.64	c (1,1) 300 (20 %) CSP clauses are encoded (1246 SAT variables, 1708 SAT clauses)
3.21/1.66	c (1,1) 450 (30 %) CSP clauses are encoded (1246 SAT variables, 2440 SAT clauses)
3.21/1.67	c (1,1) 600 (40 %) CSP clauses are encoded (1246 SAT variables, 3166 SAT clauses)
3.21/1.68	c (1,1) 750 (50 %) CSP clauses are encoded (1246 SAT variables, 3898 SAT clauses)
3.21/1.69	c (1,1) 900 (60 %) CSP clauses are encoded (1246 SAT variables, 4636 SAT clauses)
3.59/1.70	c (1,1) 1050 (70 %) CSP clauses are encoded (1246 SAT variables, 5362 SAT clauses)
3.59/1.70	c (1,1) 1200 (80 %) CSP clauses are encoded (1246 SAT variables, 6052 SAT clauses)
3.59/1.71	c (1,1) 1350 (90 %) CSP clauses are encoded (1246 SAT variables, 6748 SAT clauses)
3.59/1.72	c (1,1) 1500 (100 %) CSP clauses are encoded (1246 SAT variables, 7456 SAT clauses)
3.59/1.72	c (1,1) CSPinCNF to SatSolver End
3.59/1.72	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.59/1.75	c (1,1) STATISTICS2:HOME/instance-4297150-1532626310.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.59/1.75	c (1,1) SatSolver.solve Begin
3.59/1.75	c (1,1) 1246 bool, 7457 clause
3.59/1.75	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297150-1532626310.xml-scop-1667.cnf HOME/instance-4297150-1532626310.xml-scop-1667.cnf.out
3.59/1.79	c (1,0) c
3.59/1.79	c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
3.59/1.79	c (1,0) c
3.59/1.79	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
3.59/1.79	c (1,0) c 8 solvers engines and 1 companion as a blackboard created.
3.59/1.79	c (1,0) c ========================================[ Problem Statistics ]===========================================
3.59/1.79	c (1,0) c |                                                                                                       |
3.59/1.79	c (1,0) c |  Number of variables:          1246                                                                   |
3.59/1.79	c (1,0) c |  Number of clauses:            7457                                                                   |
3.59/1.79	c (1,0) c |  Parse time:                   0.00 s                                                                 |
3.59/1.79	c (1,0) c |                                                                                                       |
3.59/1.79	c (1,0) c |  Eliminated clauses:           0.01 Mb                                                                |
3.59/1.79	c (1,0) c |  Simplification time:          0.00 s                                                                 |
3.59/1.79	c (1,0) c |                                                                                                       |
3.59/1.79	c (1,0) c |  Generating clones                                                                                    |
3.59/1.79	c (1,0) c |  all clones generated. Memory =  30.83Mb.                                                             |
3.59/1.79	c (1,0) c ========================================================================================================|
3.59/1.79	c (1,0) c last restart ## conflicts  :  223 19 
3.59/1.79	c (1,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
3.59/1.79	c (1,0) c last restart ## conflicts  :  223 19 
3.59/1.79	c (1,0) c Total Memory so far : 542.86Mb
3.59/1.79	c (1,0) c
3.59/1.79	c (1,0) c real time : 0.0205338 s
3.59/1.79	c (1,0) c cpu time  : 0.053013 s
3.59/1.79	c (1,0) c
3.59/1.79	c (1,0) c
3.59/1.79	c (1,0) c
3.59/1.79	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
3.59/1.79	c (1,0) c
3.59/1.79	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.59/1.79	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3.59/1.79	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.59/1.79	c (1,0) c | Conflicts     |            2042 |        334 |        345 |          0 |        350 |        327 |        350 |        336 |          0 |
3.59/1.79	c (1,0) c | Decisions     |            3018 |        463 |        521 |         20 |        525 |        468 |        525 |        496 |          0 |
3.59/1.79	c (1,0) c | Propagations  |          185394 |      32318 |      30266 |        114 |      31070 |      31119 |      31070 |      29437 |          0 |
3.59/1.79	c (1,0) c | Avg_Trail     |                 |        557 |        490 |          0 |        492 |        475 |        492 |        488 |          0 |
3.59/1.79	c (1,0) c | Avg_DL        |                 |         21 |         21 |          0 |         21 |         22 |         21 |         21 |          0 |
3.59/1.79	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.59/1.79	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.59/1.79	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.59/1.79	c (1,0) c | Exported      |              16 |          2 |          3 |          0 |          3 |          2 |          3 |          3 |          0 |
3.59/1.79	c (1,0) c | Imported      |               9 |          0 |          1 |          0 |          1 |          2 |          1 |          4 |          0 |
3.59/1.79	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.59/1.79	c (1,0) c | Purge         |               9 |          0 |          1 |          0 |          1 |          2 |          1 |          4 |          0 |
3.59/1.79	c (1,0) c | Promoted      |               1 |          0 |          0 |          0 |          0 |          0 |          0 |          1 |          0 |
3.59/1.79	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.59/1.79	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.59/1.79	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.59/1.79	c (1,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.59/1.79	c (1,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
3.59/1.79	c (1,0) c | Glues         |                 |          2 |          3 |          0 |          3 |          2 |          3 |          3 |          0 |
3.59/1.79	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.59/1.79	c (1,0) c | Orig_Seen     |            21 % |       1849 |       2214 |          0 |       2265 |       2287 |       2265 |       2127 |          0 |
3.59/1.79	c (1,0) c | Diff Orig seen|                 | -      416 | -       51 | -     2265 |      X     |         22 | -        0 | -      138 | -     2265 |
3.59/1.79	c (1,0) c | Hamming       |            19 % |        348 |         92 |        390 |      X     |        309 |          0 |        155 |        390 |
3.59/1.79	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.59/1.79	c (1,0) 
3.59/1.79	c (1,0) s SATISFIABLE
4.03/1.81	c (1,1) SatSolver.solve End
4.03/1.81	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.03/1.81	c (1,1) Show results Begin
4.03/1.82	c (1,1) x[0][0] = 4
4.03/1.82	c (1,1) x[0][1] = 0
4.03/1.82	c (1,1) x[0][2] = 5
4.03/1.82	c (1,1) x[0][3] = 3
4.03/1.82	c (1,1) x[0][4] = 6
4.03/1.82	c (1,1) x[0][5] = 2
4.03/1.82	c (1,1) x[0][6] = 1
4.03/1.82	c (1,1) x[1][0] = 2
4.03/1.82	c (1,1) x[1][1] = 1
4.03/1.82	c (1,1) x[1][2] = 4
4.03/1.82	c (1,1) x[1][3] = 0
4.03/1.82	c (1,1) x[1][4] = 5
4.03/1.82	c (1,1) x[1][5] = 3
4.03/1.82	c (1,1) x[1][6] = 6
4.03/1.82	c (1,1) x[2][0] = 3
4.03/1.82	c (1,1) x[2][1] = 6
4.03/1.82	c (1,1) x[2][2] = 2
4.03/1.82	c (1,1) x[2][3] = 1
4.03/1.82	c (1,1) x[2][4] = 4
4.03/1.82	c (1,1) x[2][5] = 0
4.03/1.82	c (1,1) x[2][6] = 5
4.03/1.82	c (1,1) x[3][0] = 0
4.03/1.82	c (1,1) x[3][1] = 5
4.03/1.82	c (1,1) x[3][2] = 3
4.03/1.82	c (1,1) x[3][3] = 6
4.03/1.82	c (1,1) x[3][4] = 2
4.03/1.82	c (1,1) x[3][5] = 1
4.03/1.82	c (1,1) x[3][6] = 4
4.03/1.82	c (1,1) x[4][0] = 1
4.03/1.82	c (1,1) x[4][1] = 4
4.03/1.82	c (1,1) x[4][2] = 0
4.03/1.82	c (1,1) x[4][3] = 5
4.03/1.82	c (1,1) x[4][4] = 3
4.03/1.82	c (1,1) x[4][5] = 6
4.03/1.82	c (1,1) x[4][6] = 2
4.03/1.82	c (1,1) x[5][0] = 6
4.03/1.82	c (1,1) x[5][1] = 2
4.03/1.82	c (1,1) x[5][2] = 1
4.03/1.82	c (1,1) x[5][3] = 4
4.03/1.82	c (1,1) x[5][4] = 0
4.03/1.82	c (1,1) x[5][5] = 5
4.03/1.82	c (1,1) x[5][6] = 3
4.03/1.82	c (1,1) x[6][0] = 5
4.03/1.82	c (1,1) x[6][1] = 3
4.03/1.82	c (1,1) x[6][2] = 6
4.03/1.82	c (1,1) x[6][3] = 2
4.03/1.82	c (1,1) x[6][4] = 1
4.03/1.82	c (1,1) x[6][5] = 4
4.03/1.82	c (1,1) x[6][6] = 0
4.03/1.82	s SATISFIABLE
4.03/1.82	v <instantiation>
4.03/1.82	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>
4.03/1.82	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>
4.03/1.82	v </instantiation>
4.03/1.82	c (1,1) Show results End
4.03/1.82	c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.03/1.82	c (1,1) 0,0,0,0,0,0,1,1,1,STOP-AFTER(ALL)
4.03/1.82	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 (4936 MiB free)
  memory of node 1: 16384 MiB (4667 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297150-1532626310/watcher-4297150-1532626310 -o /tmp/evaluation-result-4297150-1532626310/solver-4297150-1532626310 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532623785-1469 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297150-1532626310.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
Current StackSize limit: 8192 KiB

solver pid=1667, runsolver pid=1664

[startup+0.100161 s]*
/proc/loadavg: 8.25 8.64 8.12 2/199 1686
/proc/meminfo: memFree=9746392/32770624 swapFree=67108860/67108860
[pid=1667] ppid=1664 vsize=27312552 memory=100856 CPUtime=0.08 cores=0-7
/proc/1667/stat : 1667 (java) S 1664 1667 1442 0 -1 1077944320 6220 0 0 0 6 2 0 0 20 0 20 0 80194131 27968053248 25214 33554432000 4194304 4196468 140725719326672 140725719309216 140513172750071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
/proc/1667/statm: 6828138 25214 2680 1 0 6790598 0
[pid=1667/tid=1669] ppid=1664 vsize=27312228 memory=1399051139730258233 CPUtime=0.06 cores=0-7
/proc/1667/task/1669/stat : 1669 (java) R 1664 1667 1442 0 -1 4202560 4328 0 0 0 5 1 0 0 20 0 20 0 80194132 27967721472 25175 33554432000 4194304 4196468 140725719326672 140513144581968 140513165428085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1670] ppid=1664 vsize=27312228 memory=3677534773662714415 CPUtime=0 cores=0-7
/proc/1667/task/1670/stat : 1670 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27967721472 25175 33554432000 4194304 4196468 140725719326672 140513176992528 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1671] ppid=1664 vsize=27312228 memory=140169018160768 CPUtime=0 cores=0-7
/proc/1667/task/1671/stat : 1671 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27967721472 25175 33554432000 4194304 4196468 140725719326672 140513010371472 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1672] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1672/stat : 1672 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27967721472 25175 33554432000 4194304 4196468 140725719326672 140512594308112 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1673] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1673/stat : 1673 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194135 27967721472 25175 33554432000 4194304 4196468 140725719326672 140512593255568 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1674] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1674/stat : 1674 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27967721472 25175 33554432000 4194304 4196468 140725719326672 140512592202000 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1675] ppid=1664 vsize=27312228 memory=-1 CPUtime=0 cores=0-7
/proc/1667/task/1675/stat : 1675 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27967721472 25175 33554432000 4194304 4196468 140725719326672 140512591149456 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1676] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1676/stat : 1676 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27967721472 25175 33554432000 4194304 4196468 140725719326672 140512590096912 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1677] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1677/stat : 1677 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27967721472 25175 33554432000 4194304 4196468 140725719326672 140512589044368 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1678] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1678/stat : 1678 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194137 27967721472 25175 33554432000 4194304 4196468 140725719326672 140511695383024 140513172761218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1679] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1679/stat : 1679 (java) S 1664 1667 1442 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194138 27967721472 25175 33554432000 4194304 4196468 140725719326672 140510794605984 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1680] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1680/stat : 1680 (java) S 1664 1667 1442 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80194138 27967721472 25175 33554432000 4194304 4196468 140725719326672 140510660384240 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1681] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1681/stat : 1681 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194140 27967721472 25175 33554432000 4194304 4196468 140725719326672 140510285880016 140513172768667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1682] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1682/stat : 1682 (java) S 1664 1667 1442 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 80194140 27967721472 25175 33554432000 4194304 4196468 140725719326672 140511694329840 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1683] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1683/stat : 1683 (java) R 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194140 27967721472 25175 33554432000 4194304 4196468 140725719326672 140511693277296 140513172761218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1684] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1684/stat : 1684 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194140 27967721472 25175 33554432000 4194304 4196468 140725719326672 140511692224752 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1685] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1685/stat : 1685 (java) R 1664 1667 1442 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 20 0 80194140 27967721472 25175 33554432000 4194304 4196468 140725719326672 140511691172208 140513152464836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1686] ppid=1664 vsize=27312228 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1686/stat : 1686 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194141 27967721472 25175 33554432000 4194304 4196468 140725719326672 140509787974368 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1687] ppid=1664 vsize=27312228 memory=-1 CPUtime=0 cores=0-7
/proc/1667/task/1687/stat : 1687 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194141 27967721472 25175 33554432000 4194304 4196468 140725719326672 140511690120112 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 100856 KiB

[startup+0.21031 s]*
/proc/loadavg: 8.25 8.64 8.12 2/200 1687
/proc/meminfo: memFree=9727816/32770624 swapFree=67108860/67108860
[pid=1667] ppid=1664 vsize=27312552 memory=120324 CPUtime=0.21 cores=0-7
/proc/1667/stat : 1667 (java) S 1664 1667 1442 0 -1 1077944320 10334 0 0 0 18 3 0 0 20 0 20 0 80194131 27968053248 30081 33554432000 4194304 4196468 140725719326672 140725719309216 140513172750071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
/proc/1667/statm: 6828138 30081 2848 1 0 6790598 0
[pid=1667/tid=1669] ppid=1664 vsize=27312552 memory=32758254098972862 CPUtime=0.16 cores=0-7
/proc/1667/task/1669/stat : 1669 (java) R 1664 1667 1442 0 -1 4202560 8214 0 0 0 14 2 0 0 20 0 20 0 80194132 27968053248 30081 33554432000 4194304 4196468 140725719326672 140513144540736 140513156830558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1670] ppid=1664 vsize=27312552 memory=288230613264367639 CPUtime=0 cores=0-7
/proc/1667/task/1670/stat : 1670 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 30081 33554432000 4194304 4196468 140725719326672 140513176992528 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1671] ppid=1664 vsize=27312552 memory=13990923990808216 CPUtime=0 cores=0-7
/proc/1667/task/1671/stat : 1671 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 30081 33554432000 4194304 4196468 140725719326672 140513010371472 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1672] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1672/stat : 1672 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 30081 33554432000 4194304 4196468 140725719326672 140512594308112 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1673] ppid=1664 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/1667/task/1673/stat : 1673 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 30081 33554432000 4194304 4196468 140725719326672 140512593255568 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1674] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1674/stat : 1674 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 30081 33554432000 4194304 4196468 140725719326672 140512592202000 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1675] ppid=1664 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/1667/task/1675/stat : 1675 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 30081 33554432000 4194304 4196468 140725719326672 140512591149456 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1676] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1676/stat : 1676 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 30081 33554432000 4194304 4196468 140725719326672 140512590096912 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1677] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1677/stat : 1677 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 30081 33554432000 4194304 4196468 140725719326672 140512589044368 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1678] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1678/stat : 1678 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194137 27968053248 30081 33554432000 4194304 4196468 140725719326672 140511695383024 140513172761218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1679] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1679/stat : 1679 (java) S 1664 1667 1442 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194138 27968053248 30081 33554432000 4194304 4196468 140725719326672 140510794605984 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1680] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1680/stat : 1680 (java) S 1664 1667 1442 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80194138 27968053248 30081 33554432000 4194304 4196468 140725719326672 140510660384240 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1681] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1681/stat : 1681 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194140 27968053248 30081 33554432000 4194304 4196468 140725719326672 140510285880016 140513172768667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1682] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1682/stat : 1682 (java) S 1664 1667 1442 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 80194140 27968053248 30081 33554432000 4194304 4196468 140725719326672 140511694329840 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1683] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1683/stat : 1683 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194140 27968053248 30081 33554432000 4194304 4196468 140725719326672 140511693277296 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1684] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1684/stat : 1684 (java) S 1664 1667 1442 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 80194140 27968053248 30081 33554432000 4194304 4196468 140725719326672 140511692224752 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1685] ppid=1664 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/1667/task/1685/stat : 1685 (java) S 1664 1667 1442 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 20 0 80194140 27968053248 30081 33554432000 4194304 4196468 140725719326672 140511691172208 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1686] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1686/stat : 1686 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194141 27968053248 30081 33554432000 4194304 4196468 140725719326672 140509787974368 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1687] ppid=1664 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/1667/task/1687/stat : 1687 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194141 27968053248 30081 33554432000 4194304 4196468 140725719326672 140511690120112 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 120324 KiB

[startup+0.311465 s]*
/proc/loadavg: 8.25 8.64 8.12 4/200 1687
/proc/meminfo: memFree=9721524/32770624 swapFree=67108860/67108860
[pid=1667] ppid=1664 vsize=27312552 memory=124800 CPUtime=0.4 cores=0-7
/proc/1667/stat : 1667 (java) S 1664 1667 1442 0 -1 1077944320 11090 0 0 0 36 4 0 0 20 0 20 0 80194131 27968053248 31200 33554432000 4194304 4196468 140725719326672 140725719309216 140513172750071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
/proc/1667/statm: 6828138 31200 3012 1 0 6790598 0
[pid=1667/tid=1669] ppid=1664 vsize=27312552 memory=1399051139730258233 CPUtime=0.27 cores=0-7
/proc/1667/task/1669/stat : 1669 (java) R 1664 1667 1442 0 -1 4202560 8627 0 0 0 24 3 0 0 20 0 20 0 80194132 27968053248 31200 33554432000 4194304 4196468 140725719326672 140513144554000 140513156830558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1670] ppid=1664 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1667/task/1670/stat : 1670 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 31200 33554432000 4194304 4196468 140725719326672 140513176992528 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1671] ppid=1664 vsize=27312552 memory=1200 CPUtime=0 cores=0-7
/proc/1667/task/1671/stat : 1671 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 31200 33554432000 4194304 4196468 140725719326672 140513010371472 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1672] ppid=1664 vsize=27312552 memory=15872 CPUtime=0 cores=0-7
/proc/1667/task/1672/stat : 1672 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 31200 33554432000 4194304 4196468 140725719326672 140512594308112 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1673] ppid=1664 vsize=27312552 memory=13868 CPUtime=0 cores=0-7
/proc/1667/task/1673/stat : 1673 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 31200 33554432000 4194304 4196468 140725719326672 140512593255568 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1674] ppid=1664 vsize=27312552 memory=16448 CPUtime=0 cores=0-7
/proc/1667/task/1674/stat : 1674 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 31200 33554432000 4194304 4196468 140725719326672 140512592202000 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1675] ppid=1664 vsize=27312552 memory=4008 CPUtime=0 cores=0-7
/proc/1667/task/1675/stat : 1675 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 31200 33554432000 4194304 4196468 140725719326672 140512591149456 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1676] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1676/stat : 1676 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 31200 33554432000 4194304 4196468 140725719326672 140512590096912 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1677] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1677/stat : 1677 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27968053248 31200 33554432000 4194304 4196468 140725719326672 140512589044368 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1678] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1678/stat : 1678 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194137 27968053248 31200 33554432000 4194304 4196468 140725719326672 140511695383024 140513172761218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1679] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1679/stat : 1679 (java) S 1664 1667 1442 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194138 27968053248 31200 33554432000 4194304 4196468 140725719326672 140510794605984 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1680] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1680/stat : 1680 (java) S 1664 1667 1442 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80194138 27968053248 31200 33554432000 4194304 4196468 140725719326672 140510660384240 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1681] ppid=1664 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/1667/task/1681/stat : 1681 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194140 27968053248 31200 33554432000 4194304 4196468 140725719326672 140510285880016 140513172768667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1682] ppid=1664 vsize=27312552 memory=2244 CPUtime=0.01 cores=0-7
/proc/1667/task/1682/stat : 1682 (java) S 1664 1667 1442 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 80194140 27968053248 31200 33554432000 4194304 4196468 140725719326672 140511694329840 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1683] ppid=1664 vsize=27312552 memory=2244 CPUtime=0.01 cores=0-7
/proc/1667/task/1683/stat : 1683 (java) S 1664 1667 1442 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 80194140 27968053248 31200 33554432000 4194304 4196468 140725719326672 140511693277296 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1684] ppid=1664 vsize=27312552 memory=2244 CPUtime=0.01 cores=0-7
/proc/1667/task/1684/stat : 1684 (java) S 1664 1667 1442 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 80194140 27968053248 31200 33554432000 4194304 4196468 140725719326672 140511692224752 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1685] ppid=1664 vsize=27312552 memory=2244 CPUtime=0.07 cores=0-7
/proc/1667/task/1685/stat : 1685 (java) S 1664 1667 1442 0 -1 1077944384 441 0 0 0 7 0 0 0 20 0 20 0 80194140 27968053248 31200 33554432000 4194304 4196468 140725719326672 140511691172208 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1686] ppid=1664 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1686/stat : 1686 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194141 27968053248 31200 33554432000 4194304 4196468 140725719326672 140509787974368 140513172760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1687] ppid=1664 vsize=27312552 memory=1 CPUtime=0 cores=0-7
/proc/1667/task/1687/stat : 1687 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194141 27968053248 31200 33554432000 4194304 4196468 140725719326672 140511690120112 140513172761218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124800 KiB

[startup+0.700881 s]
/proc/loadavg: 8.25 8.64 8.12 2/200 1687
/proc/meminfo: memFree=9699680/32770624 swapFree=67108860/67108860
[pid=1667] ppid=1664 vsize=27318824 memory=161368 CPUtime=0.93 cores=0-7
/proc/1667/stat : 1667 (java) S 1664 1667 1442 0 -1 1077944320 17930 0 1 0 87 6 0 0 20 0 20 0 80194131 27974475776 40342 33554432000 4194304 4196468 140725719326672 140725719309216 140513172750071 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
/proc/1667/statm: 6829706 40342 3135 1 0 6791110 0
[pid=1667/tid=1669] ppid=1664 vsize=27318824 memory=0 CPUtime=0.64 cores=0-7
/proc/1667/task/1669/stat : 1669 (java) R 1664 1667 1442 0 -1 4202560 14993 0 1 0 60 4 0 0 20 0 20 0 80194132 27974475776 40342 33554432000 4194304 4196468 140725719326672 140513144587248 140513156830558 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1670] ppid=1664 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1670/stat : 1670 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27974475776 40342 33554432000 4194304 4196468 140725719326672 140513176992528 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1671] ppid=1664 vsize=27318824 memory=2353 CPUtime=0 cores=0-7
/proc/1667/task/1671/stat : 1671 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27974475776 40342 33554432000 4194304 4196468 140725719326672 140513010371472 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1672] ppid=1664 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1672/stat : 1672 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27974475776 40342 33554432000 4194304 4196468 140725719326672 140512594308112 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1673] ppid=1664 vsize=27318824 memory=1004 CPUtime=0 cores=0-7
/proc/1667/task/1673/stat : 1673 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194135 27974475776 40342 33554432000 4194304 4196468 140725719326672 140512593255568 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1674] ppid=1664 vsize=27318824 memory=8548 CPUtime=0 cores=0-7
/proc/1667/task/1674/stat : 1674 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27974475776 40342 33554432000 4194304 4196468 140725719326672 140512592202000 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1675] ppid=1664 vsize=27318824 memory=13040 CPUtime=0 cores=0-7
/proc/1667/task/1675/stat : 1675 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27974475776 40342 33554432000 4194304 4196468 140725719326672 140512591149456 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1676] ppid=1664 vsize=27318824 memory=796 CPUtime=0 cores=0-7
/proc/1667/task/1676/stat : 1676 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27974475776 40342 33554432000 4194304 4196468 140725719326672 140512590096912 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1677] ppid=1664 vsize=27318824 memory=1424 CPUtime=0 cores=0-7
/proc/1667/task/1677/stat : 1677 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27974475776 40342 33554432000 4194304 4196468 140725719326672 140512589044368 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1678] ppid=1664 vsize=27318824 memory=1200 CPUtime=0 cores=0-7
/proc/1667/task/1678/stat : 1678 (java) S 1664 1667 1442 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80194137 27974475776 40342 33554432000 4194304 4196468 140725719326672 140511695383024 140513172761218 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0

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

[pid=1667/tid=1686] ppid=1664 vsize=27318824 memory=960 CPUtime=0 cores=0-7
/proc/1667/task/1686/stat : 1686 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194141 27974475776 40342 33554432000 4194304 4196468 140725719326672 140509787974368 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1687] ppid=1664 vsize=27318824 memory=4108 CPUtime=0 cores=0-7
/proc/1667/task/1687/stat : 1687 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194141 27974475776 40342 33554432000 4194304 4196468 140725719326672 140511690120112 140513172761218 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 27318824 KiB
Current children cumulated memory: 161368 KiB

[startup+1.50315 s]
/proc/loadavg: 8.25 8.64 8.12 2/200 1687
/proc/meminfo: memFree=9670196/32770624 swapFree=67108860/67108860
[pid=1667] ppid=1664 vsize=27325044 memory=216100 CPUtime=2.88 cores=0-7
/proc/1667/stat : 1667 (java) S 1664 1667 1442 0 -1 1077944320 22389 0 1 0 278 10 0 0 20 0 20 0 80194131 27980845056 54025 33554432000 4194304 4196468 140725719326672 140725719309216 140513172750071 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
/proc/1667/statm: 6831261 54025 3200 1 0 6792646 0
[pid=1667/tid=1669] ppid=1664 vsize=27325044 memory=0 CPUtime=1.43 cores=0-7
/proc/1667/task/1669/stat : 1669 (java) R 1664 1667 1442 0 -1 4202560 16422 0 1 0 138 5 0 0 20 0 20 0 80194132 27980845056 54025 33554432000 4194304 4196468 140725719326672 140513144588496 140513172762006 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1670] ppid=1664 vsize=27325044 memory=280337749901808 CPUtime=0 cores=0-7
/proc/1667/task/1670/stat : 1670 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27980845056 54025 33554432000 4194304 4196468 140725719326672 140513176992528 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1671] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1671/stat : 1671 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27980845056 54025 33554432000 4194304 4196468 140725719326672 140513010371472 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1672] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1672/stat : 1672 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27980845056 54025 33554432000 4194304 4196468 140725719326672 140512594308112 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1673] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1673/stat : 1673 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194135 27980845056 54025 33554432000 4194304 4196468 140725719326672 140512593255568 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1674] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1674/stat : 1674 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27980845056 54025 33554432000 4194304 4196468 140725719326672 140512592202000 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1675] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1675/stat : 1675 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27980845056 54025 33554432000 4194304 4196468 140725719326672 140512591149456 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1676] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1676/stat : 1676 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27980845056 54025 33554432000 4194304 4196468 140725719326672 140512590096912 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1677] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1677/stat : 1677 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27980845056 54025 33554432000 4194304 4196468 140725719326672 140512589044368 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1678] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1678/stat : 1678 (java) S 1664 1667 1442 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80194137 27980845056 54025 33554432000 4194304 4196468 140725719326672 140511695383024 140513172761218 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1679] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1679/stat : 1679 (java) S 1664 1667 1442 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194138 27980845056 54025 33554432000 4194304 4196468 140725719326672 140510794605984 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1680] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1680/stat : 1680 (java) S 1664 1667 1442 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80194138 27980845056 54025 33554432000 4194304 4196468 140725719326672 140510660384240 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1681] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1681/stat : 1681 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194140 27980845056 54025 33554432000 4194304 4196468 140725719326672 140510285880016 140513172768667 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1682] ppid=1664 vsize=27325044 memory=0 CPUtime=0.24 cores=0-7
/proc/1667/task/1682/stat : 1682 (java) R 1664 1667 1442 0 -1 4202560 828 0 0 0 23 1 0 0 20 0 20 0 80194140 27980845056 54025 33554432000 4194304 4196468 140725719326672 140511694319664 140513172763953 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1683] ppid=1664 vsize=27325044 memory=0 CPUtime=0.22 cores=0-7
/proc/1667/task/1683/stat : 1683 (java) R 1664 1667 1442 0 -1 4202560 312 0 0 0 22 0 0 0 20 0 20 0 80194140 27980845056 54025 33554432000 4194304 4196468 140725719326672 140511693266848 140513156250464 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1684] ppid=1664 vsize=27325044 memory=0 CPUtime=0.3 cores=0-7
/proc/1667/task/1684/stat : 1684 (java) S 1664 1667 1442 0 -1 1077944384 718 0 0 0 29 1 0 0 20 0 20 0 80194140 27980845056 54025 33554432000 4194304 4196468 140725719326672 140511692224752 140513172761218 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1685] ppid=1664 vsize=27325044 memory=0 CPUtime=0.65 cores=0-7
/proc/1667/task/1685/stat : 1685 (java) S 1664 1667 1442 0 -1 1077944384 2743 0 0 0 64 1 0 0 20 0 20 0 80194140 27980845056 54025 33554432000 4194304 4196468 140725719326672 140511691172208 140513172761218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1686] ppid=1664 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/1667/task/1686/stat : 1686 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194141 27980845056 54025 33554432000 4194304 4196468 140725719326672 140509787974368 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1687] ppid=1664 vsize=27325044 memory=140173313128063 CPUtime=0 cores=0-7
/proc/1667/task/1687/stat : 1687 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194141 27980845056 54025 33554432000 4194304 4196468 140725719326672 140511690120112 140513172761218 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 216100 KiB

[startup+1.84836 s]
# the end of solver process 1667 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.99954 s, system=0.140121 s

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

[startup+1.60252 s]
/proc/loadavg: 8.25 8.64 8.12 2/200 1687
/proc/meminfo: memFree=9670196/32770624 swapFree=67108860/67108860
[pid=1667] ppid=1664 vsize=27327160 memory=224788 CPUtime=3.21 cores=0-7
/proc/1667/stat : 1667 (java) S 1664 1667 1442 0 -1 1077944320 23084 0 1 0 311 10 0 0 20 0 20 0 80194131 27983011840 56197 33554432000 4194304 4196468 140725719326672 140725719309216 140513172750071 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
/proc/1667/statm: 6831790 56197 3216 1 0 6792646 0
[pid=1667/tid=1669] ppid=1664 vsize=27327160 memory=6655300316396806240 CPUtime=1.53 cores=0-7
/proc/1667/task/1669/stat : 1669 (java) R 1664 1667 1442 0 -1 4202560 16636 0 1 0 147 6 0 0 20 0 20 0 80194132 27983011840 56197 33554432000 4194304 4196468 140725719326672 140513144575632 140513158530619 0 4 0 25189583 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1670] ppid=1664 vsize=27327160 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/1667/task/1670/stat : 1670 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27983011840 56197 33554432000 4194304 4196468 140725719326672 140513176992528 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1671] ppid=1664 vsize=27327160 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/1667/task/1671/stat : 1671 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27983011840 56197 33554432000 4194304 4196468 140725719326672 140513010371472 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1672] ppid=1664 vsize=27327160 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/1667/task/1672/stat : 1672 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27983011840 56197 33554432000 4194304 4196468 140725719326672 140512594308112 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1673] ppid=1664 vsize=27327160 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/1667/task/1673/stat : 1673 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194135 27983011840 56197 33554432000 4194304 4196468 140725719326672 140512593255568 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1674] ppid=1664 vsize=27327160 memory=-5874771483550381248 CPUtime=0 cores=0-7
/proc/1667/task/1674/stat : 1674 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27983011840 56197 33554432000 4194304 4196468 140725719326672 140512592202000 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1675] ppid=1664 vsize=27327160 memory=1236 CPUtime=0 cores=0-7
/proc/1667/task/1675/stat : 1675 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27983011840 56197 33554432000 4194304 4196468 140725719326672 140512591149456 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1676] ppid=1664 vsize=27327160 memory=960 CPUtime=0 cores=0-7
/proc/1667/task/1676/stat : 1676 (java) S 1664 1667 1442 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80194135 27983011840 56197 33554432000 4194304 4196468 140725719326672 140512590096912 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1677] ppid=1664 vsize=27327160 memory=4108 CPUtime=0 cores=0-7
/proc/1667/task/1677/stat : 1677 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194135 27983011840 56197 33554432000 4194304 4196468 140725719326672 140512589044368 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1678] ppid=1664 vsize=27327160 memory=1800 CPUtime=0 cores=0-7
/proc/1667/task/1678/stat : 1678 (java) S 1664 1667 1442 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80194137 27983011840 56197 33554432000 4194304 4196468 140725719326672 140511695383024 140513172761218 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1679] ppid=1664 vsize=27327160 memory=920 CPUtime=0 cores=0-7
/proc/1667/task/1679/stat : 1679 (java) S 1664 1667 1442 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80194138 27983011840 56197 33554432000 4194304 4196468 140725719326672 140510794605984 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1680] ppid=1664 vsize=27327160 memory=4136 CPUtime=0 cores=0-7
/proc/1667/task/1680/stat : 1680 (java) S 1664 1667 1442 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80194138 27983011840 56197 33554432000 4194304 4196468 140725719326672 140510660384240 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1681] ppid=1664 vsize=27327160 memory=6512 CPUtime=0 cores=0-7
/proc/1667/task/1681/stat : 1681 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194140 27983011840 56197 33554432000 4194304 4196468 140725719326672 140510285880016 140513172768667 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1682] ppid=1664 vsize=27327160 memory=1412 CPUtime=0.3 cores=0-7
/proc/1667/task/1682/stat : 1682 (java) R 1664 1667 1442 0 -1 4202560 906 0 0 0 29 1 0 0 20 0 20 0 80194140 27983011840 56197 33554432000 4194304 4196468 140725719326672 140511694329840 140513152072019 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1683] ppid=1664 vsize=27327160 memory=2436 CPUtime=0.29 cores=0-7
/proc/1667/task/1683/stat : 1683 (java) R 1664 1667 1442 0 -1 4202560 588 0 0 0 29 0 0 0 20 0 20 0 80194140 27983011840 56197 33554432000 4194304 4196468 140725719326672 140511693263200 140513154297929 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1684] ppid=1664 vsize=27327160 memory=176252 CPUtime=0.35 cores=0-7
/proc/1667/task/1684/stat : 1684 (java) R 1664 1667 1442 0 -1 4202560 751 0 0 0 34 1 0 0 20 0 20 0 80194140 27983011840 56197 33554432000 4194304 4196468 140725719326672 140511692208944 140513150724804 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1685] ppid=1664 vsize=27327160 memory=1576 CPUtime=0.7 cores=0-7
/proc/1667/task/1685/stat : 1685 (java) R 1664 1667 1442 0 -1 4202560 2837 0 0 0 69 1 0 0 20 0 20 0 80194140 27983011840 56197 33554432000 4194304 4196468 140725719326672 140511691168992 140513172771418 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1686] ppid=1664 vsize=27327160 memory=932 CPUtime=0 cores=0-7
/proc/1667/task/1686/stat : 1686 (java) S 1664 1667 1442 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80194141 27983011840 56197 33554432000 4194304 4196468 140725719326672 140509787974368 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1687] ppid=1664 vsize=27327160 memory=2244 CPUtime=0 cores=0-7
/proc/1667/task/1687/stat : 1687 (java) S 1664 1667 1442 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80194141 27983011840 56197 33554432000 4194304 4196468 140725719326672 140511690120112 140513172761218 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 27327160 KiB
Current children cumulated memory: 224788 KiB

[startup+1.80079 s]
/proc/loadavg: 8.25 8.64 8.12 2/200 1687
/proc/meminfo: memFree=9670196/32770624 swapFree=67108860/67108860
[pid=1667] ppid=1664 vsize=27982760 memory=271296 CPUtime=4.03 cores=0-7
/proc/1667/stat : 1667 (java) S 1664 1667 1442 0 -1 1077944320 24056 2127 1 0 386 12 5 0 20 0 23 0 80194131 28654346240 67824 33554432000 4194304 4196468 140725719326672 140725719309216 140513172750071 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
/proc/1667/statm: 6995690 67824 3224 1 0 6956546 0
[pid=1667/tid=1669] ppid=1664 vsize=27982760 memory=0 CPUtime=1.77 cores=0-7
/proc/1667/task/1669/stat : 1669 (java) R 1664 1667 1442 0 -1 4202560 16993 2127 1 0 165 7 5 0 20 0 23 0 80194132 28654346240 67824 33554432000 4194304 4196468 140725719326672 140513144583760 140513154313552 0 4 0 25189583 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1670] ppid=1664 vsize=27982760 memory=0 CPUtime=0.05 cores=0-7
/proc/1667/task/1670/stat : 1670 (java) S 1664 1667 1442 0 -1 1077944384 2 2127 0 0 0 0 5 0 20 0 23 0 80194135 28654346240 67824 33554432000 4194304 4196468 140725719326672 140513176992528 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1671] ppid=1664 vsize=27982760 memory=8112282956445269571 CPUtime=0.05 cores=0-7
/proc/1667/task/1671/stat : 1671 (java) S 1664 1667 1442 0 -1 1077944384 1 2127 0 0 0 0 5 0 20 0 23 0 80194135 28654346240 67824 33554432000 4194304 4196468 140725719326672 140513010371472 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1672] ppid=1664 vsize=27982760 memory=636 CPUtime=0.05 cores=0-7
/proc/1667/task/1672/stat : 1672 (java) S 1664 1667 1442 0 -1 1077944384 1 2127 0 0 0 0 5 0 20 0 23 0 80194135 28654346240 67824 33554432000 4194304 4196468 140725719326672 140512594308112 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1673] ppid=1664 vsize=27982760 memory=1792 CPUtime=0.05 cores=0-7
/proc/1667/task/1673/stat : 1673 (java) S 1664 1667 1442 0 -1 1077944384 3 2127 0 0 0 0 5 0 20 0 23 0 80194135 28654346240 67824 33554432000 4194304 4196468 140725719326672 140512593255568 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1674] ppid=1664 vsize=27982760 memory=1236 CPUtime=0.05 cores=0-7
/proc/1667/task/1674/stat : 1674 (java) S 1664 1667 1442 0 -1 1077944384 2 2127 0 0 0 0 5 0 20 0 23 0 80194135 28654346240 67824 33554432000 4194304 4196468 140725719326672 140512592202000 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1675] ppid=1664 vsize=27982760 memory=960 CPUtime=0.05 cores=0-7
/proc/1667/task/1675/stat : 1675 (java) S 1664 1667 1442 0 -1 1077944384 1 2127 0 0 0 0 5 0 20 0 23 0 80194135 28654346240 67824 33554432000 4194304 4196468 140725719326672 140512591149456 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1676] ppid=1664 vsize=27982760 memory=4108 CPUtime=0.05 cores=0-7
/proc/1667/task/1676/stat : 1676 (java) S 1664 1667 1442 0 -1 1077944384 2 2127 0 0 0 0 5 0 20 0 23 0 80194135 28654346240 67824 33554432000 4194304 4196468 140725719326672 140512590096912 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1677] ppid=1664 vsize=27982760 memory=1800 CPUtime=0.05 cores=0-7
/proc/1667/task/1677/stat : 1677 (java) S 1664 1667 1442 0 -1 1077944384 1 2127 0 0 0 0 5 0 20 0 23 0 80194135 28654346240 67824 33554432000 4194304 4196468 140725719326672 140512589044368 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1678] ppid=1664 vsize=27982760 memory=920 CPUtime=0.05 cores=0-7
/proc/1667/task/1678/stat : 1678 (java) S 1664 1667 1442 0 -1 1077944384 5 2127 0 0 0 0 5 0 20 0 23 0 80194137 28654346240 67824 33554432000 4194304 4196468 140725719326672 140511695383024 140513172761218 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1679] ppid=1664 vsize=27982760 memory=4136 CPUtime=0.05 cores=0-7
/proc/1667/task/1679/stat : 1679 (java) S 1664 1667 1442 0 -1 1077944384 13 2127 0 0 0 0 5 0 20 0 23 0 80194138 28654346240 67824 33554432000 4194304 4196468 140725719326672 140510794605984 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1680] ppid=1664 vsize=27982760 memory=6512 CPUtime=0.05 cores=0-7
/proc/1667/task/1680/stat : 1680 (java) S 1664 1667 1442 0 -1 1077944384 21 2127 0 0 0 0 5 0 20 0 23 0 80194138 28654346240 67824 33554432000 4194304 4196468 140725719326672 140510660384240 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1681] ppid=1664 vsize=27982760 memory=1412 CPUtime=0.05 cores=0-7
/proc/1667/task/1681/stat : 1681 (java) S 1664 1667 1442 0 -1 1077944384 1 2127 0 0 0 0 5 0 20 0 23 0 80194140 28654346240 67824 33554432000 4194304 4196468 140725719326672 140510285880016 140513172768667 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1682] ppid=1664 vsize=27982760 memory=2340 CPUtime=0.49 cores=0-7
/proc/1667/task/1682/stat : 1682 (java) R 1664 1667 1442 0 -1 4202560 959 2127 0 0 43 1 5 0 20 0 23 0 80194140 28654346240 67824 33554432000 4194304 4196468 140725719326672 140511694329840 140513172771418 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1683] ppid=1664 vsize=27982760 memory=7014751519616881762 CPUtime=0.53 cores=0-7
/proc/1667/task/1683/stat : 1683 (java) R 1664 1667 1442 0 -1 4202560 842 2127 0 0 48 0 5 0 20 0 23 0 80194140 28654346240 67824 33554432000 4194304 4196468 140725719326672 140511693268128 140513153385981 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1684] ppid=1664 vsize=27982760 memory=7524226703528847471 CPUtime=0.54 cores=0-7
/proc/1667/task/1684/stat : 1684 (java) S 1664 1667 1442 0 -1 1077944384 803 2127 0 0 48 1 5 0 20 0 23 0 80194140 28654346240 67824 33554432000 4194304 4196468 140725719326672 140511692224752 140513172761218 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1685] ppid=1664 vsize=27982760 memory=6935655853014995024 CPUtime=0.84 cores=0-7
/proc/1667/task/1685/stat : 1685 (java) R 1664 1667 1442 0 -1 4202560 2998 2127 0 0 78 1 5 0 20 0 23 0 80194140 28654346240 67824 33554432000 4194304 4196468 140725719326672 140511691172208 140513151651109 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1686] ppid=1664 vsize=27982760 memory=5450909908396308010 CPUtime=0.05 cores=0-7
/proc/1667/task/1686/stat : 1686 (java) S 1664 1667 1442 0 -1 1077944384 3 2127 0 0 0 0 5 0 20 0 23 0 80194141 28654346240 67824 33554432000 4194304 4196468 140725719326672 140509787974368 140513172760277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
[pid=1667/tid=1687] ppid=1664 vsize=27982760 memory=1404238533774450294 CPUtime=0.05 cores=0-7
/proc/1667/task/1687/stat : 1687 (java) S 1664 1667 1442 0 -1 1077944384 1 2127 0 0 0 0 5 0 20 0 23 0 80194141 28654346240 67824 33554432000 4194304 4196468 140725719326672 140511690120112 140513172761218 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23638016 140725719327706 140725719328005 140725719328005 140725719330767 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 27982760 KiB
Current children cumulated memory: 271296 KiB

Child status: 0
Real time (s): 1.84842
CPU time (s): 4.13966
CPU user time (s): 3.99954
CPU system time (s): 0.140121
CPU usage (%): 223.957
Max. virtual memory (cumulated for all children) (KiB): 27982760
Max. memory (cumulated for all children) (KiB): 271296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.99954
system time used= 0.140121
maximum resident set size= 274756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26319
page faults= 1
swaps= 0
block input operations= 2232
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5197
involuntary context switches= 82


# summary of solver processes directly reported to runsolver:
#   pid: 1667
#   total CPU time (s): 4.13966
#   total CPU user time (s): 3.99954
#   total CPU system time (s): 0.140121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027338 second user time and 0.070986 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-26 19:31:50
IDJOB=4297150
IDBENCH=141018
IDSOLVER=2759
FILE ID=node137/4297150-1532626310
RUNJOBID= node137-1532623785-1469
PBS_JOBID= 21022024
Free space on /tmp= 48160 MiB

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

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

MD5SUM BENCH= 968c6e40c1de71b17fca4670fe54f327
RANDOM SEED=1915547437

node137.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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         9835596 kB
MemAvailable:   31926592 kB
Buffers:          225156 kB
Cached:         21798296 kB
SwapCached:            0 kB
Active:          3389864 kB
Inactive:       18690844 kB
Active(anon):       6100 kB
Inactive(anon):    78472 kB
Active(file):    3383764 kB
Inactive(file): 18612372 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8332 kB
Writeback:            32 kB
AnonPages:         64176 kB
Mapped:            41080 kB
Shmem:             25228 kB
Slab:             551360 kB
SReclaimable:     523320 kB
SUnreclaim:        28040 kB
KernelStack:        3200 kB
PageTables:         4676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48152 MiB
End job on node137 at 2018-07-26 19:31:52