Trace number 4297343

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)UNSAT 17.7829 6.40061

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f07_c18.xml
MD5SUMb54c09f82090ba1b7a5e810a9fcb813b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark17.7829
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size37
Distribution of domain sizes[{"size":6,"count":2},{"size":20,"count":4},{"size":22,"count":10},{"size":30,"count":336},{"size":37,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints0
Number of intensional constraints4103
Distribution of constraint types[{"type":"intension","count":4103}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.54	
0.66/0.55	scop both+glucose-syrup (2018-07-07)
0.66/0.55	
0.66/0.57	c BEGIN-Prog: Thu Jul 26 23:04:00 CEST 2018
0.66/0.57	c PID: 9206
0.66/0.57	c IP: 172.20.3.138
0.66/0.57	c HOST: node138.alineos.net
0.66/0.58	c (0,0) Parsing Begin
5.73/1.97	c (1,1) Parsing End
5.73/1.98	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 37
5.73/1.98	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.73/1.98	c (1,1) Constraint Name Generate Begin
6.19/2.01	c (1,1) Ctr:HOME/instance-4297343-1532639039.xml,Dist:Eq:IntVar:Le:Num
6.19/2.01	c (1,1) Constraint Name Generate End
6.19/2.01	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.19/2.01	c (1,1) CSP to CSPinCNF Begin
6.90/2.29	c (1,1) translated 411 (10%) constraints
7.21/2.35	c (1,1) translated 821 (20%) constraints
7.60/2.40	c (1,1) translated 1231 (30%) constraints
7.60/2.44	c (1,1) translated 1642 (40%) constraints
7.60/2.48	c (1,1) translated 2052 (50%) constraints
7.99/2.52	c (1,1) translated 2462 (60%) constraints
7.99/2.55	c (2,1) translated 2873 (70%) constraints
7.99/2.59	c (2,2) translated 3283 (80%) constraints
8.39/2.62	c (2,2) translated 3693 (90%) constraints
8.85/2.75	c (2,2) translated 4103 (100%) constraints
9.22/2.85	c (2,2) STATISTICS1:HOME/instance-4297343-1532639039.xml,Dist:Eq:IntVar:Le:Num,680,4783,37,37,2,2,37:3314;30:5144;22:344;20:24;6:60,37:9348;30:7956;22:364;20:40;6:64,2:4103;1:680,2:8886,
9.22/2.85	c (2,2) ===========================================
9.22/2.86	c (2,2) Both Encoding selects:
9.22/2.86	c (2,2) Order
9.22/2.86	c (2,2) ===========================================
9.22/2.89	c (2,2) translated 479 (10%) constraints
9.61/2.91	c (2,2) translated 957 (20%) constraints
9.61/2.92	c (2,2) translated 1435 (30%) constraints
9.61/2.94	c (2,2) translated 1914 (40%) constraints
9.61/2.95	c (2,2) translated 2392 (50%) constraints
9.61/2.97	c (2,2) translated 2870 (60%) constraints
9.61/2.98	c (2,2) translated 3349 (70%) constraints
9.61/2.99	c (2,2) translated 3827 (80%) constraints
9.61/3.00	c (2,2) translated 4305 (90%) constraints
10.04/3.01	c (2,2) translated 4783 (100%) constraints
10.04/3.02	c (2,2) CSP to CSPinCNF End
10.04/3.02	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 37
10.04/3.02	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.04/3.02	c (2,2) CSPinCNF Propagation Begin
11.95/4.33	c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.95/4.33	c (3,3) CSPinCNF Propagation End
11.95/4.33	c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 37
11.95/4.33	c (3,3) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.95/4.33	c (3,3) Simplify CSPinCNF Begin
12.46/4.58	c (4,4) Simplify CSPinCNF End
12.46/4.58	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 37
12.46/4.58	c (4,4) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
12.46/4.58	c (4,4) Calculate Precise Domain Begin
12.46/4.58	c (4,4) 0 values are removed by re-calculation
12.46/4.58	c (4,4) Calculate Precise Domain End
12.46/4.59	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 37
12.46/4.59	c (4,4) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
12.46/4.59	c (4,4) CSPinCNF to SatSolver Begin
13.72/4.88	c (4,4) 1299 (10 %) CSP clauses are encoded (30054 SAT variables, 48052 SAT clauses)
14.12/5.00	c (4,4) 2598 (20 %) CSP clauses are encoded (30054 SAT variables, 74580 SAT clauses)
14.56/5.09	c (4,4) 3897 (30 %) CSP clauses are encoded (30054 SAT variables, 99009 SAT clauses)
14.86/5.18	c (4,4) 5196 (40 %) CSP clauses are encoded (30054 SAT variables, 125607 SAT clauses)
15.04/5.28	c (4,4) 6495 (50 %) CSP clauses are encoded (30054 SAT variables, 153157 SAT clauses)
15.27/5.37	c (4,4) 7794 (60 %) CSP clauses are encoded (30054 SAT variables, 181033 SAT clauses)
15.48/5.46	c (4,4) 9093 (70 %) CSP clauses are encoded (30054 SAT variables, 208554 SAT clauses)
15.68/5.53	c (4,4) 10392 (80 %) CSP clauses are encoded (30054 SAT variables, 236186 SAT clauses)
15.81/5.61	c (5,5) 11691 (90 %) CSP clauses are encoded (30054 SAT variables, 262698 SAT clauses)
15.81/5.67	c (5,5) 12989 (100 %) CSP clauses are encoded (30054 SAT variables, 286601 SAT clauses)
15.81/5.67	c (5,5) CSPinCNF to SatSolver End
15.81/5.67	c (5,5) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 37 MiB used (max 0 MiB)
16.05/5.75	c (5,5) STATISTICS2:HOME/instance-4297343-1532639039.xml,Dist:Eq:IntVar:Le:Num,8886,12989,37,37,2,2,37:3314;30:5144;22:344;20:24;6:60,37:9348;30:7956;22:364;20:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
16.05/5.75	c (5,5) SatSolver.solve Begin
16.05/5.75	c (5,5) 30054 bool, 286613 clause
16.05/5.75	c (5,5) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297343-1532639039.xml-scop-9206.cnf HOME/instance-4297343-1532639039.xml-scop-9206.cnf.out
17.28/6.36	c (5,0) c
17.28/6.36	c (5,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
17.28/6.36	c (5,0) c
17.28/6.36	c (5,0) c WARNING: for repeatability, setting FPU to use double precision
17.28/6.36	c (5,0) c 8 solvers engines and 1 companion as a blackboard created.
17.28/6.36	c (5,0) c ========================================[ Problem Statistics ]===========================================
17.28/6.36	c (5,0) c |                                                                                                       |
17.28/6.36	c (5,0) c |  Number of variables:         30054                                                                   |
17.28/6.36	c (5,0) c |  Number of clauses:          286613                                                                   |
17.28/6.36	c (5,0) c |  Parse time:                   0.12 s                                                                 |
17.28/6.36	c (5,0) c |                                                                                                       |
17.28/6.36	c (5,0) c |  Eliminated clauses:           0.08 Mb                                                                |
17.28/6.36	c (5,0) c |  Simplification time:          0.28 s                                                                 |
17.28/6.36	c (5,0) c |                                                                                                       |
17.28/6.36	c (5,0) c |  Generating clones                                                                                    |
17.28/6.36	c (5,0) c |  all clones generated. Memory = 202.48Mb.                                                             |
17.28/6.36	c (5,0) c ========================================================================================================|
17.28/6.36	c (5,0) c Thread 5 is 100% pure glucose! First thread to finish! (UNSAT answer).
17.28/6.36	c (5,0) c Total Memory so far : 778.52Mb
17.28/6.36	c (5,0) c
17.28/6.36	c (5,0) c real time : 0.586965 s
17.28/6.36	c (5,0) c cpu time  : 0.89663 s
17.28/6.36	c (5,0) c
17.28/6.36	c (5,0) c
17.28/6.36	c (5,0) c
17.28/6.36	c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.28/6.36	c (5,0) c
17.28/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.28/6.36	c (5,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.28/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.28/6.36	c (5,0) c | Conflicts     |            6878 |        776 |        841 |        840 |        912 |        829 |        934 |        843 |        903 |
17.28/6.36	c (5,0) c | Decisions     |           11845 |       1554 |       1434 |       1433 |       1519 |       1427 |       1537 |       1433 |       1508 |
17.28/6.36	c (5,0) c | Propagations  |         1375030 |     145381 |     168811 |     168483 |     190102 |     168414 |     178963 |     166165 |     188711 |
17.28/6.36	c (5,0) c | Avg_Trail     |                 |       2333 |       1774 |       1775 |       1680 |       1777 |       1644 |       1763 |       1690 |
17.28/6.36	c (5,0) c | Avg_DL        |                 |         86 |         49 |         49 |         46 |         50 |         44 |         49 |         46 |
17.28/6.36	c (5,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.28/6.36	c (5,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.28/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.28/6.36	c (5,0) c | Exported      |             381 |         45 |         46 |         46 |         39 |         51 |         63 |         52 |         39 |
17.28/6.36	c (5,0) c | Imported      |            1981 |        321 |        210 |        220 |        177 |        328 |        318 |        225 |        182 |
17.28/6.36	c (5,0) c | Good          |             109 |         15 |          9 |          9 |          6 |         28 |         26 |          9 |          7 |
17.28/6.36	c (5,0) c | Purge         |            1872 |        306 |        201 |        211 |        171 |        300 |        292 |        216 |        175 |
17.28/6.36	c (5,0) c | Promoted      |              26 |         13 |          1 |          1 |          1 |          3 |          4 |          2 |          1 |
17.28/6.36	c (5,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.28/6.36	c (5,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.28/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.28/6.36	c (5,0) c | Unaries       |                 |          5 |          1 |          1 |          1 |          2 |          7 |          1 |          1 |
17.28/6.36	c (5,0) c | Binaries      |                 |         16 |          2 |          2 |          0 |          3 |          6 |          3 |          0 |
17.28/6.36	c (5,0) c | Glues         |                 |         45 |         46 |         46 |         39 |         51 |         63 |         52 |         39 |
17.28/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.28/6.36	c (5,0) c | Orig_Seen     |             1 % |       4228 |       4165 |       4163 |       4285 |       4124 |       4351 |       4136 |       4272 |
17.28/6.36	c (5,0) c | Diff Orig seen|                 | -      123 | -      186 | -      188 | -       66 | -      227 |      X     | -      215 | -       79 |
17.28/6.36	c (5,0) c | Hamming       |             3 % |       3984 |        462 |        456 |        274 |        443 |      X     |        425 |        306 |
17.28/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.28/6.36	c (5,0) 
17.28/6.36	c (5,0) s UNSATISFIABLE
17.28/6.37	c (5,5) SatSolver.solve End
17.28/6.37	c (5,5) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
17.28/6.37	c (5,5) Show results Begin
17.28/6.37	s UNSATISFIABLE
17.28/6.37	c (5,5) Show results End
17.28/6.37	c (5,5) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
17.28/6.37	c (5,5) 1,1,2,3,4,4,5,5,5,STOP-AFTER(ALL)
17.28/6.37	c END-Prog: Thu Jul 26 23:04:06 CEST 2018

Verifier Data


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 (6673 MiB free)
  memory of node 1: 16384 MiB (10453 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297343-1532639039/watcher-4297343-1532639039 -o /tmp/evaluation-result-4297343-1532639039/solver-4297343-1532639039 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532633938-8345 --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-4297343-1532639039.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=9206, runsolver pid=9203
Current StackSize limit: 8192 KiB


[startup+0.100764 s]*
/proc/loadavg: 7.08 8.05 8.31 2/201 9226
/proc/meminfo: memFree=17443840/32770624 swapFree=67108796/67108860
[pid=9206] ppid=9203 vsize=27312552 memory=107464 CPUtime=0.11 cores=0-7
/proc/9206/stat : 9206 (java) S 9203 9206 8318 0 -1 1077944320 6388 0 0 0 8 3 0 0 20 0 20 0 81467118 27968053248 26866 33554432000 4194304 4196468 140723243368672 140723243351216 139651815587575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
/proc/9206/statm: 6828138 26866 2749 1 0 6790598 0
[pid=9206/tid=9208] ppid=9203 vsize=27312552 memory=4137855273311302557 CPUtime=0.08 cores=0-7
/proc/9206/task/9208/stat : 9208 (java) R 9203 9206 8318 0 -1 4202560 4485 0 0 0 6 2 0 0 20 0 20 0 81467118 27968053248 26866 33554432000 4194304 4196468 140723243368672 139651787422704 139651799668062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9209] ppid=9203 vsize=27312552 memory=732370143388359653 CPUtime=0 cores=0-7
/proc/9206/task/9209/stat : 9209 (java) S 9203 9206 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 26866 33554432000 4194304 4196468 140723243368672 139651819829648 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9210] ppid=9203 vsize=27312552 memory=140005050906240 CPUtime=0 cores=0-7
/proc/9206/task/9210/stat : 9210 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 26866 33554432000 4194304 4196468 140723243368672 139651603224848 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9211] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9211/stat : 9211 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 26866 33554432000 4194304 4196468 140723243368672 139651602172560 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9212] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9212/stat : 9212 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 26866 33554432000 4194304 4196468 140723243368672 139651601119760 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9213] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9213/stat : 9213 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 26866 33554432000 4194304 4196468 140723243368672 139651234913168 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9214] ppid=9203 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9206/task/9214/stat : 9214 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 26866 33554432000 4194304 4196468 140723243368672 139651233860368 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9215] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9215/stat : 9215 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 26866 33554432000 4194304 4196468 140723243368672 139651232808080 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9216] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9216/stat : 9216 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 26866 33554432000 4194304 4196468 140723243368672 139651231755280 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9217] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9217/stat : 9217 (java) S 9203 9206 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81467122 27968053248 26866 33554432000 4194304 4196468 140723243368672 139650875226224 139651815598722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9218] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9218/stat : 9218 (java) S 9203 9206 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81467123 27968053248 26866 33554432000 4194304 4196468 140723243368672 139649720771360 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9219] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9219/stat : 9219 (java) S 9203 9206 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81467123 27968053248 26866 33554432000 4194304 4196468 140723243368672 139649586549872 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9220] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9220/stat : 9220 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 26866 33554432000 4194304 4196468 140723243368672 139649212045392 139651815606171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9221] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9221/stat : 9221 (java) S 9203 9206 8318 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 26866 33554432000 4194304 4196468 140723243368672 139650874174064 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9222] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9222/stat : 9222 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 26866 33554432000 4194304 4196468 140723243368672 139650873121264 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9223] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9223/stat : 9223 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 26866 33554432000 4194304 4196468 140723243368672 139650872068976 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9224] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9224/stat : 9224 (java) S 9203 9206 8318 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 26866 33554432000 4194304 4196468 140723243368672 139650871016176 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9225] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9225/stat : 9225 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 26866 33554432000 4194304 4196468 140723243368672 139648714140000 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9226] ppid=9203 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9206/task/9226/stat : 9226 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 26866 33554432000 4194304 4196468 140723243368672 139650869963056 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 107464 KiB

[startup+0.210619 s]*
/proc/loadavg: 7.08 8.05 8.31 2/201 9226
/proc/meminfo: memFree=17427592/32770624 swapFree=67108796/67108860
[pid=9206] ppid=9203 vsize=27312552 memory=121876 CPUtime=0.25 cores=0-7
/proc/9206/stat : 9206 (java) S 9203 9206 8318 0 -1 1077944320 10237 0 0 0 21 4 0 0 20 0 20 0 81467118 27968053248 30469 33554432000 4194304 4196468 140723243368672 140723243351216 139651815587575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
/proc/9206/statm: 6828138 30469 2910 1 0 6790598 0
[pid=9206/tid=9208] ppid=9203 vsize=27312552 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/9206/task/9208/stat : 9208 (java) R 9203 9206 8318 0 -1 4202560 8133 0 0 0 16 3 0 0 20 0 20 0 81467118 27968053248 30469 33554432000 4194304 4196468 140723243368672 139651787416096 139651801313278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9209] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9209/stat : 9209 (java) S 9203 9206 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 30469 33554432000 4194304 4196468 140723243368672 139651819829648 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9210] ppid=9203 vsize=27312552 memory=140005051370910 CPUtime=0 cores=0-7
/proc/9206/task/9210/stat : 9210 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 30469 33554432000 4194304 4196468 140723243368672 139651603224848 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9211] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9211/stat : 9211 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 30469 33554432000 4194304 4196468 140723243368672 139651602172560 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9212] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9212/stat : 9212 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 30469 33554432000 4194304 4196468 140723243368672 139651601119760 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9213] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9213/stat : 9213 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 30469 33554432000 4194304 4196468 140723243368672 139651234913168 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9214] ppid=9203 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9206/task/9214/stat : 9214 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 30469 33554432000 4194304 4196468 140723243368672 139651233860368 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9215] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9215/stat : 9215 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 30469 33554432000 4194304 4196468 140723243368672 139651232808080 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9216] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9216/stat : 9216 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 30469 33554432000 4194304 4196468 140723243368672 139651231755280 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9217] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9217/stat : 9217 (java) S 9203 9206 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81467122 27968053248 30469 33554432000 4194304 4196468 140723243368672 139650875226224 139651815598722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9218] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9218/stat : 9218 (java) S 9203 9206 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81467123 27968053248 30469 33554432000 4194304 4196468 140723243368672 139649720771360 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9219] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9219/stat : 9219 (java) S 9203 9206 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81467123 27968053248 30469 33554432000 4194304 4196468 140723243368672 139649586549872 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9220] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9220/stat : 9220 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 30469 33554432000 4194304 4196468 140723243368672 139649212045392 139651815606171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9221] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9221/stat : 9221 (java) S 9203 9206 8318 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 30469 33554432000 4194304 4196468 140723243368672 139650874174064 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9222] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9222/stat : 9222 (java) S 9203 9206 8318 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 30469 33554432000 4194304 4196468 140723243368672 139650873121264 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9223] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9223/stat : 9223 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 30469 33554432000 4194304 4196468 140723243368672 139650872068976 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9224] ppid=9203 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/9206/task/9224/stat : 9224 (java) S 9203 9206 8318 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 20 0 81467126 27968053248 30469 33554432000 4194304 4196468 140723243368672 139650871016176 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9225] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9225/stat : 9225 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 30469 33554432000 4194304 4196468 140723243368672 139648714140000 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9226] ppid=9203 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9206/task/9226/stat : 9226 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 30469 33554432000 4194304 4196468 140723243368672 139650869963056 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 121876 KiB

[startup+0.310521 s]*
/proc/loadavg: 7.08 8.05 8.31 2/201 9226
/proc/meminfo: memFree=17424552/32770624 swapFree=67108796/67108860
[pid=9206] ppid=9203 vsize=27312552 memory=125872 CPUtime=0.41 cores=0-7
/proc/9206/stat : 9206 (java) S 9203 9206 8318 0 -1 1077944320 10808 0 0 0 37 4 0 0 20 0 20 0 81467118 27968053248 31468 33554432000 4194304 4196468 140723243368672 140723243351216 139651815587575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
/proc/9206/statm: 6828138 31468 3011 1 0 6790598 0
[pid=9206/tid=9208] ppid=9203 vsize=27312552 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/9206/task/9208/stat : 9208 (java) R 9203 9206 8318 0 -1 4202560 8517 0 0 0 26 4 0 0 20 0 20 0 81467118 27968053248 31468 33554432000 4194304 4196468 140723243368672 139651787393256 139651797151135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9209] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9209/stat : 9209 (java) S 9203 9206 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 31468 33554432000 4194304 4196468 140723243368672 139651819829648 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9210] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9210/stat : 9210 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 31468 33554432000 4194304 4196468 140723243368672 139651603224848 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9211] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9211/stat : 9211 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 31468 33554432000 4194304 4196468 140723243368672 139651602172560 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9212] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9212/stat : 9212 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 31468 33554432000 4194304 4196468 140723243368672 139651601119760 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9213] ppid=9203 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/9206/task/9213/stat : 9213 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 31468 33554432000 4194304 4196468 140723243368672 139651234913168 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9214] ppid=9203 vsize=27312552 memory=140004928091055 CPUtime=0 cores=0-7
/proc/9206/task/9214/stat : 9214 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 31468 33554432000 4194304 4196468 140723243368672 139651233860368 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9215] ppid=9203 vsize=27312552 memory=140004928093360 CPUtime=0 cores=0-7
/proc/9206/task/9215/stat : 9215 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 31468 33554432000 4194304 4196468 140723243368672 139651232808080 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9216] ppid=9203 vsize=27312552 memory=140004928095664 CPUtime=0 cores=0-7
/proc/9206/task/9216/stat : 9216 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467121 27968053248 31468 33554432000 4194304 4196468 140723243368672 139651231755280 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9217] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9217/stat : 9217 (java) S 9203 9206 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81467122 27968053248 31468 33554432000 4194304 4196468 140723243368672 139650875226224 139651815598722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9218] ppid=9203 vsize=27312552 memory=280009856198288 CPUtime=0 cores=0-7
/proc/9206/task/9218/stat : 9218 (java) S 9203 9206 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81467123 27968053248 31468 33554432000 4194304 4196468 140723243368672 139649720771360 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9219] ppid=9203 vsize=27312552 memory=280009856205200 CPUtime=0 cores=0-7
/proc/9206/task/9219/stat : 9219 (java) S 9203 9206 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81467123 27968053248 31468 33554432000 4194304 4196468 140723243368672 139649586549872 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9220] ppid=9203 vsize=27312552 memory=280009856146480 CPUtime=0 cores=0-7
/proc/9206/task/9220/stat : 9220 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 31468 33554432000 4194304 4196468 140723243368672 139649212045392 139651815606171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9221] ppid=9203 vsize=27312552 memory=280009856219024 CPUtime=0.01 cores=0-7
/proc/9206/task/9221/stat : 9221 (java) S 9203 9206 8318 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 81467126 27968053248 31468 33554432000 4194304 4196468 140723243368672 139650874174064 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9222] ppid=9203 vsize=27312552 memory=280009856225936 CPUtime=0.01 cores=0-7
/proc/9206/task/9222/stat : 9222 (java) S 9203 9206 8318 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 81467126 27968053248 31468 33554432000 4194304 4196468 140723243368672 139650873121264 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9223] ppid=9203 vsize=27312552 memory=280009856223632 CPUtime=0.01 cores=0-7
/proc/9206/task/9223/stat : 9223 (java) S 9203 9206 8318 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 81467126 27968053248 31468 33554432000 4194304 4196468 140723243368672 139650872068976 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9224] ppid=9203 vsize=27312552 memory=280009856240192 CPUtime=0.07 cores=0-7
/proc/9206/task/9224/stat : 9224 (java) S 9203 9206 8318 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 20 0 81467126 27968053248 31468 33554432000 4194304 4196468 140723243368672 139650871016176 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9225] ppid=9203 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9225/stat : 9225 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 31468 33554432000 4194304 4196468 140723243368672 139648714140000 139651815597781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9226] ppid=9203 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9206/task/9226/stat : 9226 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467126 27968053248 31468 33554432000 4194304 4196468 140723243368672 139650869963056 139651815598722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125872 KiB

[startup+0.700956 s]
/proc/loadavg: 7.08 8.05 8.31 2/201 9226
/proc/meminfo: memFree=17400656/32770624 swapFree=67108796/67108860
[pid=9206] ppid=9203 vsize=27318824 memory=162576 CPUtime=0.99 cores=0-7
/proc/9206/stat : 9206 (java) S 9203 9206 8318 0 -1 1077944320 17664 0 0 0 92 7 0 0 20 0 20 0 81467118 27974475776 40644 33554432000 4194304 4196468 140723243368672 140723243351216 139651815587575 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
/proc/9206/statm: 6829706 40644 3126 1 0 6791110 0
[pid=9206/tid=9208] ppid=9203 vsize=27318824 memory=7444840787232711508 CPUtime=0.66 cores=0-7
/proc/9206/task/9208/stat : 9208 (java) R 9203 9206 8318 0 -1 4202560 14947 0 0 0 61 5 0 0 20 0 20 0 81467118 27974475776 40644 33554432000 4194304 4196468 140723243368672 139651787424816 139651815599510 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9209] ppid=9203 vsize=27318824 memory=39621073324050 CPUtime=0 cores=0-7
/proc/9206/task/9209/stat : 9209 (java) S 9203 9206 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81467121 27974475776 40644 33554432000 4194304 4196468 140723243368672 139651819829648 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9210] ppid=9203 vsize=27318824 memory=140004928102447 CPUtime=0 cores=0-7
/proc/9206/task/9210/stat : 9210 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27974475776 40644 33554432000 4194304 4196468 140723243368672 139651603224848 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9211] ppid=9203 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9211/stat : 9211 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27974475776 40644 33554432000 4194304 4196468 140723243368672 139651602172560 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9212] ppid=9203 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9212/stat : 9212 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27974475776 40644 33554432000 4194304 4196468 140723243368672 139651601119760 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9213] ppid=9203 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9213/stat : 9213 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27974475776 40644 33554432000 4194304 4196468 140723243368672 139651234913168 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9214] ppid=9203 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9214/stat : 9214 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27974475776 40644 33554432000 4194304 4196468 140723243368672 139651233860368 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9215] ppid=9203 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9215/stat : 9215 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27974475776 40644 33554432000 4194304 4196468 140723243368672 139651232808080 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9216] ppid=9203 vsize=27318824 memory=1628 CPUtime=0 cores=0-7
/proc/9206/task/9216/stat : 9216 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467121 27974475776 40644 33554432000 4194304 4196468 140723243368672 139651231755280 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9217] ppid=9203 vsize=27318824 memory=8876 CPUtime=0 cores=0-7
/proc/9206/task/9217/stat : 9217 (java) S 9203 9206 8318 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81467122 27974475776 40644 33554432000 4194304 4196468 140723243368672 139650875226224 139651815598722 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0

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

[pid=9206/tid=9212] ppid=9203 vsize=27325044 memory=2241 CPUtime=0 cores=0-7
/proc/9206/task/9212/stat : 9212 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27980845056 193555 33554432000 4194304 4196468 140723243368672 139651601119760 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9213] ppid=9203 vsize=27325044 memory=2244 CPUtime=0 cores=0-7
/proc/9206/task/9213/stat : 9213 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27980845056 193555 33554432000 4194304 4196468 140723243368672 139651234913168 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9214] ppid=9203 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9214/stat : 9214 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27980845056 193555 33554432000 4194304 4196468 140723243368672 139651233860368 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9215] ppid=9203 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9215/stat : 9215 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467121 27980845056 193555 33554432000 4194304 4196468 140723243368672 139651232808080 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9216] ppid=9203 vsize=27325044 memory=280007977272938 CPUtime=0 cores=0-7
/proc/9206/task/9216/stat : 9216 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467121 27980845056 193555 33554432000 4194304 4196468 140723243368672 139651231755280 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9217] ppid=9203 vsize=27325044 memory=1108 CPUtime=0 cores=0-7
/proc/9206/task/9217/stat : 9217 (java) S 9203 9206 8318 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81467122 27980845056 193555 33554432000 4194304 4196468 140723243368672 139650875226224 139651815598722 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9218] ppid=9203 vsize=27325044 memory=288230587427455269 CPUtime=0 cores=0-7
/proc/9206/task/9218/stat : 9218 (java) S 9203 9206 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81467123 27980845056 193555 33554432000 4194304 4196468 140723243368672 139649720771360 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9219] ppid=9203 vsize=27325044 memory=14975559646053779 CPUtime=0 cores=0-7
/proc/9206/task/9219/stat : 9219 (java) S 9203 9206 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81467123 27980845056 193555 33554432000 4194304 4196468 140723243368672 139649586549872 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9220] ppid=9203 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9220/stat : 9220 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467126 27980845056 193555 33554432000 4194304 4196468 140723243368672 139649212045392 139651815606171 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9221] ppid=9203 vsize=27325044 memory=182184 CPUtime=2.07 cores=0-7
/proc/9206/task/9221/stat : 9221 (java) R 9203 9206 8318 0 -1 4202560 2855 0 0 0 206 1 0 0 20 0 20 0 81467126 27980845056 193555 33554432000 4194304 4196468 140723243368672 139650874160248 139651794831338 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9222] ppid=9203 vsize=27325044 memory=15044 CPUtime=2.04 cores=0-7
/proc/9206/task/9222/stat : 9222 (java) R 9203 9206 8318 0 -1 4202560 2265 0 0 0 203 1 0 0 20 0 20 0 81467126 27980845056 193555 33554432000 4194304 4196468 140723243368672 139650873099024 139651794834069 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9223] ppid=9203 vsize=27325044 memory=18732 CPUtime=1.98 cores=0-7
/proc/9206/task/9223/stat : 9223 (java) R 9203 9206 8318 0 -1 4202560 2461 0 0 0 197 1 0 0 20 0 20 0 81467126 27980845056 193555 33554432000 4194304 4196468 140723243368672 139650872068976 139651794834536 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9224] ppid=9203 vsize=27325044 memory=17804 CPUtime=1.24 cores=0-7
/proc/9206/task/9224/stat : 9224 (java) S 9203 9206 8318 0 -1 1077944384 3983 0 0 0 123 1 0 0 20 0 20 0 81467126 27980845056 193555 33554432000 4194304 4196468 140723243368672 139650871016176 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9225] ppid=9203 vsize=27325044 memory=4016 CPUtime=0 cores=0-7
/proc/9206/task/9225/stat : 9225 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81467126 27980845056 193555 33554432000 4194304 4196468 140723243368672 139648714140000 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9226] ppid=9203 vsize=27325044 memory=644 CPUtime=0 cores=0-7
/proc/9206/task/9226/stat : 9226 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81467126 27980845056 193555 33554432000 4194304 4196468 140723243368672 139650869963056 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
Current children cumulated CPU time: 10.44 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 774220 KiB

[startup+6.30101 s]
/proc/loadavg: 6.83 7.98 8.29 2/206 9232
/proc/meminfo: memFree=14596044/32770624 swapFree=67108796/67108860
[pid=9206] ppid=9203 vsize=27984808 memory=2915652 CPUtime=16.76 cores=0-7
/proc/9206/stat : 9206 (java) S 9203 9206 8318 0 -1 1077944320 38805 0 0 0 1620 56 0 0 20 0 24 0 81467118 28656443392 728913 33554432000 4194304 4196468 140723243368672 140723243351216 139651815587575 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
/proc/9206/statm: 6996202 728913 3236 1 0 6957058 0
[pid=9227] ppid=9206 vsize=202692 memory=185128 CPUtime=0.52 cores=0-7
/proc/9227/stat : 9227 (glucose-syrup) R 9206 9206 8318 0 -1 4202496 33796 0 0 0 47 5 0 0 20 0 1 0 81467695 207556608 46282 33554432000 4194304 4373367 140725618484224 140725618481320 140586135526373 0 4 0 8388610 0 0 0 17 6 0 0 0 0 0 6470912 6472264 13049856 140725618488241 140725618488492 140725618488492 140725618491335 0
/proc/9227/statm: 50673 46282 366 44 0 46361 0
[pid=9206/tid=9208] ppid=9203 vsize=27984808 memory=-7745171288851715203 CPUtime=5.79 cores=0-7
/proc/9206/task/9208/stat : 9208 (java) S 9203 9206 8318 0 -1 1077944384 18548 0 0 0 531 48 0 0 20 0 24 0 81467118 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651787426816 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9209] ppid=9203 vsize=27984808 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9206/task/9209/stat : 9209 (java) S 9203 9206 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651819829648 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9210] ppid=9203 vsize=27984808 memory=5495740422247797458 CPUtime=0 cores=0-7
/proc/9206/task/9210/stat : 9210 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651603224848 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9211] ppid=9203 vsize=27984808 memory=-3255422371651459150 CPUtime=0 cores=0-7
/proc/9206/task/9211/stat : 9211 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651602172560 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9212] ppid=9203 vsize=27984808 memory=2292588 CPUtime=0 cores=0-7
/proc/9206/task/9212/stat : 9212 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651601119760 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9213] ppid=9203 vsize=27984808 memory=2130416 CPUtime=0 cores=0-7
/proc/9206/task/9213/stat : 9213 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651234913168 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9214] ppid=9203 vsize=27984808 memory=7451034422249613930 CPUtime=0 cores=0-7
/proc/9206/task/9214/stat : 9214 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651233860368 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9215] ppid=9203 vsize=27984808 memory=5937503940875796577 CPUtime=0 cores=0-7
/proc/9206/task/9215/stat : 9215 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651232808080 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9216] ppid=9203 vsize=27984808 memory=301741373374332954 CPUtime=0 cores=0-7
/proc/9206/task/9216/stat : 9216 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651231755280 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9217] ppid=9203 vsize=27984808 memory=316378119475036471 CPUtime=0 cores=0-7
/proc/9206/task/9217/stat : 9217 (java) S 9203 9206 8318 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 81467122 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650875226224 139651815598722 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9218] ppid=9203 vsize=27984808 memory=13852958290872887 CPUtime=0 cores=0-7
/proc/9206/task/9218/stat : 9218 (java) S 9203 9206 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81467123 28656443392 728913 33554432000 4194304 4196468 140723243368672 139649720771360 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9219] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9219/stat : 9219 (java) S 9203 9206 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81467123 28656443392 728913 33554432000 4194304 4196468 140723243368672 139649586549872 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9220] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9220/stat : 9220 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139649212045392 139651815606171 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9221] ppid=9203 vsize=27984808 memory=55 CPUtime=3.45 cores=0-7
/proc/9206/task/9221/stat : 9221 (java) S 9203 9206 8318 0 -1 1077944384 7869 0 0 0 343 2 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650874174064 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9222] ppid=9203 vsize=27984808 memory=6933690279252828305 CPUtime=3.03 cores=0-7
/proc/9206/task/9222/stat : 9222 (java) S 9203 9206 8318 0 -1 1077944384 3277 0 0 0 302 1 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650873121264 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9223] ppid=9203 vsize=27984808 memory=2908996 CPUtime=2.98 cores=0-7
/proc/9206/task/9223/stat : 9223 (java) S 9203 9206 8318 0 -1 1077944384 3249 0 0 0 296 2 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650872068976 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9224] ppid=9203 vsize=27984808 memory=-8990767739041718176 CPUtime=1.47 cores=0-7
/proc/9206/task/9224/stat : 9224 (java) S 9203 9206 8318 0 -1 1077944384 4441 0 0 0 146 1 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650871016176 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9225] ppid=9203 vsize=27984808 memory=6944656591801717405 CPUtime=0 cores=0-7
/proc/9206/task/9225/stat : 9225 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139648714140000 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9226] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9226/stat : 9226 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650869963056 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9228] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9228/stat : 9228 (java) S 9203 9206 8318 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81467696 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651600065856 139651815612185 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9230] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9230/stat : 9230 (java) S 9203 9206 8318 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 81467696 28656443392 728913 33554432000 4194304 4196468 140723243368672 139648043040560 139651815609501 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9231] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9231/stat : 9231 (java) S 9203 9206 8318 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 81467696 28656443392 728913 33554432000 4194304 4196468 140723243368672 139648311475888 139651815609501 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9232] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9232/stat : 9232 (java) S 9203 9206 8318 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 81467699 28656443392 728913 33554432000 4194304 4196468 140723243368672 139647774613280 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
Current children cumulated CPU time: 17.28 s
Current children cumulated vsize: 28187500 KiB
Current children cumulated memory: 3100780 KiB

[startup+6.40055 s]
# the end of solver process 9206 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=17.1121 s, system=0.670827 s

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

[startup+6.30101 s]
/proc/loadavg: 6.83 7.98 8.29 2/206 9232
/proc/meminfo: memFree=14596044/32770624 swapFree=67108796/67108860
[pid=9206] ppid=9203 vsize=27984808 memory=2915652 CPUtime=16.76 cores=0-7
/proc/9206/stat : 9206 (java) S 9203 9206 8318 0 -1 1077944320 38805 0 0 0 1620 56 0 0 20 0 24 0 81467118 28656443392 728913 33554432000 4194304 4196468 140723243368672 140723243351216 139651815587575 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
/proc/9206/statm: 6996202 728913 3236 1 0 6957058 0
[pid=9227] ppid=9206 vsize=202692 memory=185128 CPUtime=0.52 cores=0-7
/proc/9227/stat : 9227 (glucose-syrup) R 9206 9206 8318 0 -1 4202496 33796 0 0 0 47 5 0 0 20 0 1 0 81467695 207556608 46282 33554432000 4194304 4373367 140725618484224 140725618481320 140586135526373 0 4 0 8388610 0 0 0 17 6 0 0 0 0 0 6470912 6472264 13049856 140725618488241 140725618488492 140725618488492 140725618491335 0
/proc/9227/statm: 50673 46282 366 44 0 46361 0
[pid=9206/tid=9208] ppid=9203 vsize=27984808 memory=-7745171288851715203 CPUtime=5.79 cores=0-7
/proc/9206/task/9208/stat : 9208 (java) S 9203 9206 8318 0 -1 1077944384 18548 0 0 0 531 48 0 0 20 0 24 0 81467118 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651787426816 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9209] ppid=9203 vsize=27984808 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9206/task/9209/stat : 9209 (java) S 9203 9206 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651819829648 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9210] ppid=9203 vsize=27984808 memory=5495740422247797458 CPUtime=0 cores=0-7
/proc/9206/task/9210/stat : 9210 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651603224848 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9211] ppid=9203 vsize=27984808 memory=-3255422371651459150 CPUtime=0 cores=0-7
/proc/9206/task/9211/stat : 9211 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651602172560 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9212] ppid=9203 vsize=27984808 memory=2292588 CPUtime=0 cores=0-7
/proc/9206/task/9212/stat : 9212 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651601119760 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9213] ppid=9203 vsize=27984808 memory=2130416 CPUtime=0 cores=0-7
/proc/9206/task/9213/stat : 9213 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651234913168 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9214] ppid=9203 vsize=27984808 memory=7451034422249613930 CPUtime=0 cores=0-7
/proc/9206/task/9214/stat : 9214 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651233860368 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9215] ppid=9203 vsize=27984808 memory=5937503940875796577 CPUtime=0 cores=0-7
/proc/9206/task/9215/stat : 9215 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651232808080 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9216] ppid=9203 vsize=27984808 memory=301741373374332954 CPUtime=0 cores=0-7
/proc/9206/task/9216/stat : 9216 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81467121 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651231755280 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9217] ppid=9203 vsize=27984808 memory=316378119475036471 CPUtime=0 cores=0-7
/proc/9206/task/9217/stat : 9217 (java) S 9203 9206 8318 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 81467122 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650875226224 139651815598722 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9218] ppid=9203 vsize=27984808 memory=13852958290872887 CPUtime=0 cores=0-7
/proc/9206/task/9218/stat : 9218 (java) S 9203 9206 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81467123 28656443392 728913 33554432000 4194304 4196468 140723243368672 139649720771360 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9219] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9219/stat : 9219 (java) S 9203 9206 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81467123 28656443392 728913 33554432000 4194304 4196468 140723243368672 139649586549872 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9220] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9220/stat : 9220 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139649212045392 139651815606171 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9221] ppid=9203 vsize=27984808 memory=55 CPUtime=3.45 cores=0-7
/proc/9206/task/9221/stat : 9221 (java) S 9203 9206 8318 0 -1 1077944384 7869 0 0 0 343 2 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650874174064 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9222] ppid=9203 vsize=27984808 memory=6933690279252828305 CPUtime=3.03 cores=0-7
/proc/9206/task/9222/stat : 9222 (java) S 9203 9206 8318 0 -1 1077944384 3277 0 0 0 302 1 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650873121264 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9223] ppid=9203 vsize=27984808 memory=2908996 CPUtime=2.98 cores=0-7
/proc/9206/task/9223/stat : 9223 (java) S 9203 9206 8318 0 -1 1077944384 3249 0 0 0 296 2 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650872068976 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9224] ppid=9203 vsize=27984808 memory=-8990767739041718176 CPUtime=1.47 cores=0-7
/proc/9206/task/9224/stat : 9224 (java) S 9203 9206 8318 0 -1 1077944384 4441 0 0 0 146 1 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650871016176 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9225] ppid=9203 vsize=27984808 memory=6944656591801717405 CPUtime=0 cores=0-7
/proc/9206/task/9225/stat : 9225 (java) S 9203 9206 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139648714140000 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9226] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9226/stat : 9226 (java) S 9203 9206 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81467126 28656443392 728913 33554432000 4194304 4196468 140723243368672 139650869963056 139651815598722 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9228] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9228/stat : 9228 (java) S 9203 9206 8318 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81467696 28656443392 728913 33554432000 4194304 4196468 140723243368672 139651600065856 139651815612185 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9230] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9230/stat : 9230 (java) S 9203 9206 8318 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 81467696 28656443392 728913 33554432000 4194304 4196468 140723243368672 139648043040560 139651815609501 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9231] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9231/stat : 9231 (java) S 9203 9206 8318 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 81467696 28656443392 728913 33554432000 4194304 4196468 140723243368672 139648311475888 139651815609501 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
[pid=9206/tid=9232] ppid=9203 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9206/task/9232/stat : 9232 (java) S 9203 9206 8318 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 81467699 28656443392 728913 33554432000 4194304 4196468 140723243368672 139647774613280 139651815597781 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140723243373530 140723243373829 140723243373829 140723243376591 0
Current children cumulated CPU time: 17.28 s
Current children cumulated vsize: 28187500 KiB
Current children cumulated memory: 3100780 KiB

Child status: 0
Real time (s): 6.40061
CPU time (s): 17.7829
CPU user time (s): 17.1121
CPU system time (s): 0.670827
CPU usage (%): 277.832
Max. virtual memory (cumulated for all children) (KiB): 28187500
Max. memory (cumulated for all children) (KiB): 3100780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1121
system time used= 0.670827
maximum resident set size= 2918700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76140
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7534
involuntary context switches= 27


# summary of solver processes directly reported to runsolver:
#   pid: 9206
#   total CPU time (s): 17.7829
#   total CPU user time (s): 17.1121
#   total CPU system time (s): 0.670827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054583 second user time and 0.127361 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-26 23:03:59
IDJOB=4297343
IDBENCH=141180
IDSOLVER=2759
FILE ID=node138/4297343-1532639039
RUNJOBID= node138-1532633938-8345
PBS_JOBID= 21022187
Free space on /tmp= 53800 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f07_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-4297343-1532639039/watcher-4297343-1532639039 -o /tmp/evaluation-result-4297343-1532639039/solver-4297343-1532639039 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532633938-8345 --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-4297343-1532639039.xml

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

MD5SUM BENCH= b54c09f82090ba1b7a5e810a9fcb813b
RANDOM SEED=366895587

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:        17538652 kB
MemAvailable:   31921720 kB
Buffers:          202716 kB
Cached:         14323792 kB
SwapCached:           44 kB
Active:          2430380 kB
Inactive:       12155868 kB
Active(anon):      10168 kB
Inactive(anon):    77300 kB
Active(file):    2420212 kB
Inactive(file): 12078568 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              8472 kB
Writeback:             0 kB
AnonPages:         66428 kB
Mapped:            36160 kB
Shmem:             25164 kB
Slab:             340560 kB
SReclaimable:     312748 kB
SUnreclaim:        27812 kB
KernelStack:        3264 kB
PageTables:         3992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324520 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 23:04:06