Trace number 4297116

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+glucose-syrup (2018-07-07)UNSAT 20.1292 6.88309

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
MD5SUMf8050e8ddc741b4fb4a45c7e8cfb7628
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 benchmark19.7903
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size39
Distribution of domain sizes[{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"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.53	
0.66/0.53	scop order+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Jul 26 23:07:53 CEST 2018
0.66/0.55	c PID: 6075
0.66/0.55	c IP: 172.20.3.133
0.66/0.55	c HOST: node133.alineos.net
0.66/0.56	c (0,0) Parsing Begin
5.77/1.99	c (1,1) Parsing End
5.77/2.00	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 39
5.77/2.00	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.77/2.00	c (1,1) Constraint Name Generate Begin
6.20/2.03	c (1,1) Ctr:HOME/instance-4297116-1532639273.xml,Dist:Eq:IntVar:Le:Num
6.20/2.03	c (1,1) Constraint Name Generate End
6.20/2.03	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.20/2.03	c (1,1) CSP to CSPinCNF Begin
7.19/2.30	c (1,1) translated 411 (10%) constraints
7.19/2.37	c (1,1) translated 821 (20%) constraints
7.58/2.42	c (1,1) translated 1231 (30%) constraints
7.58/2.46	c (1,1) translated 1642 (40%) constraints
7.98/2.50	c (1,1) translated 2052 (50%) constraints
7.98/2.54	c (2,2) translated 2462 (60%) constraints
7.98/2.59	c (2,2) translated 2873 (70%) constraints
8.38/2.62	c (2,2) translated 3283 (80%) constraints
8.38/2.65	c (2,2) translated 3693 (90%) constraints
8.81/2.79	c (2,2) translated 4103 (100%) constraints
9.29/2.87	c (2,2) STATISTICS1:HOME/instance-4297116-1532639273.xml,Dist:Eq:IntVar:Le:Num,680,4783,39,39,2,2,39:3314;32:5144;22:344;21:24;6:60,39:9348;32:7956;22:364;21:40;6:64,2:4103;1:680,2:8886,
9.29/2.87	c (2,2) ===========================================
9.29/2.87	c (2,2) Order
9.29/2.87	c (2,2) ===========================================
9.74/2.90	c (2,2) translated 479 (10%) constraints
9.74/2.92	c (2,2) translated 957 (20%) constraints
9.74/2.94	c (2,2) translated 1435 (30%) constraints
9.74/2.95	c (2,2) translated 1914 (40%) constraints
9.74/2.97	c (2,2) translated 2392 (50%) constraints
9.74/2.98	c (2,2) translated 2870 (60%) constraints
9.74/2.99	c (2,2) translated 3349 (70%) constraints
10.17/3.01	c (2,2) translated 3827 (80%) constraints
10.17/3.02	c (2,2) translated 4305 (90%) constraints
10.17/3.04	c (2,2) translated 4783 (100%) constraints
10.17/3.04	c (2,2) CSP to CSPinCNF End
10.17/3.04	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
10.17/3.04	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.17/3.04	c (2,2) CSPinCNF Propagation Begin
13.04/4.45	c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
13.04/4.45	c (3,3) CSPinCNF Propagation End
13.04/4.45	c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
13.04/4.45	c (3,3) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
13.04/4.45	c (3,3) Simplify CSPinCNF Begin
13.83/4.71	c (4,4) Simplify CSPinCNF End
13.83/4.71	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
13.83/4.71	c (4,4) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.83/4.71	c (4,4) Calculate Precise Domain Begin
13.83/4.72	c (4,4) 0 values are removed by re-calculation
13.83/4.72	c (4,4) Calculate Precise Domain End
13.83/4.72	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
13.83/4.72	c (4,4) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.83/4.72	c (4,4) CSPinCNF to SatSolver Begin
14.97/5.08	c (4,4) 1299 (10 %) CSP clauses are encoded (31386 SAT variables, 50505 SAT clauses)
15.61/5.21	c (4,4) 2598 (20 %) CSP clauses are encoded (31386 SAT variables, 78073 SAT clauses)
15.94/5.31	c (4,4) 3897 (30 %) CSP clauses are encoded (31386 SAT variables, 103483 SAT clauses)
16.19/5.41	c (4,4) 5196 (40 %) CSP clauses are encoded (31386 SAT variables, 131265 SAT clauses)
16.42/5.52	c (4,4) 6495 (50 %) CSP clauses are encoded (31386 SAT variables, 160135 SAT clauses)
16.56/5.60	c (5,5) 7794 (60 %) CSP clauses are encoded (31386 SAT variables, 189589 SAT clauses)
16.56/5.68	c (5,5) 9093 (70 %) CSP clauses are encoded (31386 SAT variables, 218811 SAT clauses)
16.67/5.76	c (5,5) 10392 (80 %) CSP clauses are encoded (31386 SAT variables, 248167 SAT clauses)
16.78/5.84	c (5,5) 11691 (90 %) CSP clauses are encoded (31386 SAT variables, 276483 SAT clauses)
16.98/5.92	c (5,5) 12989 (100 %) CSP clauses are encoded (31386 SAT variables, 302440 SAT clauses)
16.98/5.92	c (5,5) CSPinCNF to SatSolver End
16.98/5.92	c (5,5) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.41/6.01	c (5,5) STATISTICS2:HOME/instance-4297116-1532639273.xml,Dist:Eq:IntVar:Le:Num,8886,12989,39,39,2,2,39:3314;32:5144;22:344;21:24;6:60,39:9348;32:7956;22:364;21:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
17.41/6.01	c (5,5) SatSolver.solve Begin
17.41/6.01	c (5,5) 31386 bool, 302452 clause
17.41/6.01	c (5,5) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297116-1532639273.xml-scop-6075.cnf HOME/instance-4297116-1532639273.xml-scop-6075.cnf.out
17.84/6.83	c (6,0) c
17.84/6.83	c (6,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
17.84/6.83	c (6,0) c
17.84/6.83	c (6,0) c WARNING: for repeatability, setting FPU to use double precision
17.84/6.83	c (6,0) c 8 solvers engines and 1 companion as a blackboard created.
17.84/6.83	c (6,0) c ========================================[ Problem Statistics ]===========================================
17.84/6.83	c (6,0) c |                                                                                                       |
17.84/6.83	c (6,0) c |  Number of variables:         31386                                                                   |
17.84/6.83	c (6,0) c |  Number of clauses:          302452                                                                   |
17.84/6.83	c (6,0) c |  Parse time:                   0.12 s                                                                 |
17.84/6.83	c (6,0) c |                                                                                                       |
17.84/6.83	c (6,0) c |  Eliminated clauses:           0.08 Mb                                                                |
17.84/6.83	c (6,0) c |  Simplification time:          0.29 s                                                                 |
17.84/6.83	c (6,0) c |                                                                                                       |
17.84/6.83	c (6,0) c |  Generating clones                                                                                    |
17.84/6.84	c (6,0) c |  all clones generated. Memory = 214.42Mb.                                                             |
17.84/6.84	c (6,0) c ========================================================================================================|
17.84/6.84	c (6,0) c Thread 2 is 100% pure glucose! First thread to finish! (UNSAT answer).
17.84/6.84	c (6,0) c Total Memory so far : 790.71Mb
17.84/6.84	c (6,0) c
17.84/6.84	c (6,0) c real time : 0.805657 s
17.84/6.84	c (6,0) c cpu time  : 2.13502 s
17.84/6.84	c (6,0) c
17.84/6.84	c (6,0) c
17.84/6.84	c (6,0) c
17.84/6.84	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.84/6.84	c (6,0) c
17.84/6.84	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.84/6.84	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.84/6.84	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.84/6.84	c (6,0) c | Conflicts     |           29473 |       3233 |       3760 |       3664 |       4013 |       3676 |       3653 |       3531 |       3943 |
17.84/6.84	c (6,0) c | Decisions     |           42597 |       4598 |       5426 |       5284 |       5817 |       5336 |       5311 |       5119 |       5706 |
17.84/6.84	c (6,0) c | Propagations  |         5774694 |     692925 |     746589 |     706635 |     764019 |     708572 |     705625 |     667998 |     782331 |
17.84/6.84	c (6,0) c | Avg_Trail     |                 |       1848 |       1705 |       1755 |       1655 |       1739 |       1759 |       1752 |       1689 |
17.84/6.84	c (6,0) c | Avg_DL        |                 |         59 |         44 |         45 |         42 |         44 |         45 |         45 |         42 |
17.84/6.84	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.84/6.84	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.84/6.84	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.84/6.84	c (6,0) c | Exported      |            1048 |         86 |        104 |        146 |        156 |        140 |        136 |        138 |        142 |
17.84/6.84	c (6,0) c | Imported      |            5740 |        461 |        653 |        902 |        562 |        908 |        774 |        831 |        649 |
17.84/6.84	c (6,0) c | Good          |             346 |         24 |         35 |         61 |         31 |         73 |         41 |         50 |         31 |
17.84/6.84	c (6,0) c | Purge         |            5394 |        437 |        618 |        841 |        531 |        835 |        733 |        781 |        618 |
17.84/6.84	c (6,0) c | Promoted      |             517 |         52 |         58 |         72 |         54 |         94 |         76 |         43 |         68 |
17.84/6.84	c (6,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.84/6.84	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.84/6.84	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.84/6.84	c (6,0) c | Unaries       |                 |          0 |          0 |          4 |          0 |          3 |          1 |          1 |          1 |
17.84/6.84	c (6,0) c | Binaries      |                 |          2 |          6 |         20 |          8 |          8 |         11 |         16 |         10 |
17.84/6.84	c (6,0) c | Glues         |                 |         86 |        104 |        146 |        156 |        140 |        136 |        138 |        142 |
17.84/6.84	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.84/6.84	c (6,0) c | Orig_Seen     |             2 % |       8684 |       8877 |       9014 |       9253 |       8837 |       8969 |       8536 |       9273 |
17.84/6.84	c (6,0) c | Diff Orig seen|                 | -      330 | -      137 |      X     |        239 | -      177 | -       45 | -      478 |        259 |
17.84/6.84	c (6,0) c | Hamming       |             3 % |       3893 |        510 |      X     |        534 |        400 |        414 |        419 |        499 |
17.84/6.84	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.84/6.84	c (6,0) 
17.84/6.84	c (6,0) s UNSATISFIABLE
17.84/6.85	c (6,5) SatSolver.solve End
17.84/6.85	c (6,5) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.84/6.85	c (6,5) Show results Begin
17.84/6.85	s UNSATISFIABLE
17.84/6.85	c (6,5) Show results End
17.84/6.85	c (6,5) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.84/6.85	c (6,5) 1,1,2,3,4,4,5,6,6,STOP-AFTER(ALL)
17.84/6.85	c END-Prog: Thu Jul 26 23:08:00 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 (10727 MiB free)
  memory of node 1: 16384 MiB (12117 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297116-1532639273/watcher-4297116-1532639273 -o /tmp/evaluation-result-4297116-1532639273/solver-4297116-1532639273 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532633883-5328 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297116-1532639273.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=6075, runsolver pid=6072

[startup+0.100159 s]*
/proc/loadavg: 8.08 8.24 7.88 3/203 6095
/proc/meminfo: memFree=23296696/32770624 swapFree=67108860/67108860
[pid=6075] ppid=6072 vsize=27312552 memory=109736 CPUtime=0.11 cores=0-7
/proc/6075/stat : 6075 (java) S 6072 6075 5301 0 -1 1077944320 6451 0 0 0 9 2 0 0 20 0 20 0 81490426 27968053248 27434 33554432000 4194304 4196468 140728805065072 140728805047616 140373372763895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
/proc/6075/statm: 6828138 27434 2742 1 0 6790598 0
[pid=6075/tid=6077] ppid=6072 vsize=27312552 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/6075/task/6077/stat : 6077 (java) R 6072 6075 5301 0 -1 4202560 4567 0 0 0 7 1 0 0 20 0 20 0 81490426 27968053248 27434 33554432000 4194304 4196468 140728805065072 140373344548960 140373356844382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6078] ppid=6072 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6075/task/6078/stat : 6078 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 27434 33554432000 4194304 4196468 140728805065072 140373377006352 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6079] ppid=6072 vsize=27312552 memory=140502312679040 CPUtime=0 cores=0-7
/proc/6075/task/6079/stat : 6079 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 27434 33554432000 4194304 4196468 140728805065072 140373160401808 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6080] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6080/stat : 6080 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 27434 33554432000 4194304 4196468 140728805065072 140373159349264 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6081] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6081/stat : 6081 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 27434 33554432000 4194304 4196468 140728805065072 140373158296720 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6082] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6082/stat : 6082 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 27434 33554432000 4194304 4196468 140728805065072 140373157243152 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6083] ppid=6072 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6075/task/6083/stat : 6083 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 27434 33554432000 4194304 4196468 140728805065072 140373156190608 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6084] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6084/stat : 6084 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 27434 33554432000 4194304 4196468 140728805065072 140372789418512 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6085] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6085/stat : 6085 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 27434 33554432000 4194304 4196468 140728805065072 140372788365968 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6086] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6086/stat : 6086 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490430 27968053248 27434 33554432000 4194304 4196468 140728805065072 140372364728816 140373372775042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6087] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6087/stat : 6087 (java) S 6072 6075 5301 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81490430 27968053248 27434 33554432000 4194304 4196468 140728805065072 140371342386592 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6088] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6088/stat : 6088 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490431 27968053248 27434 33554432000 4194304 4196468 140728805065072 140371073951216 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6089] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6089/stat : 6089 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 27434 33554432000 4194304 4196468 140728805065072 140370699442896 140373372782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6090] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6090/stat : 6090 (java) S 6072 6075 5301 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 27434 33554432000 4194304 4196468 140728805065072 140372363675632 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6091] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6091/stat : 6091 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 27434 33554432000 4194304 4196468 140728805065072 140372362623088 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6092] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6092/stat : 6092 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 27434 33554432000 4194304 4196468 140728805065072 140372361570544 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6093] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6093/stat : 6093 (java) S 6072 6075 5301 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 27434 33554432000 4194304 4196468 140728805065072 140372360518000 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6094] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6094/stat : 6094 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 27434 33554432000 4194304 4196468 140728805065072 140370201537248 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6095] ppid=6072 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6075/task/6095/stat : 6095 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490434 27968053248 27434 33554432000 4194304 4196468 140728805065072 140372359465904 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109736 KiB

[startup+0.210555 s]*
/proc/loadavg: 8.08 8.24 7.88 2/203 6095
/proc/meminfo: memFree=23280004/32770624 swapFree=67108860/67108860
[pid=6075] ppid=6072 vsize=27312552 memory=124184 CPUtime=0.25 cores=0-7
/proc/6075/stat : 6075 (java) S 6072 6075 5301 0 -1 1077944320 10247 0 0 0 22 3 0 0 20 0 20 0 81490426 27968053248 31046 33554432000 4194304 4196468 140728805065072 140728805047616 140373372763895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
/proc/6075/statm: 6828138 31046 2910 1 0 6790598 0
[pid=6075/tid=6077] ppid=6072 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/6075/task/6077/stat : 6077 (java) R 6072 6075 5301 0 -1 4202560 8155 0 0 0 17 2 0 0 20 0 20 0 81490426 27968053248 31046 33554432000 4194304 4196468 140728805065072 140373344562640 140373372785821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6078] ppid=6072 vsize=27312552 memory=9259 CPUtime=0 cores=0-7
/proc/6075/task/6078/stat : 6078 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31046 33554432000 4194304 4196468 140728805065072 140373377006352 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6079] ppid=6072 vsize=27312552 memory=140502312685250 CPUtime=0 cores=0-7
/proc/6075/task/6079/stat : 6079 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31046 33554432000 4194304 4196468 140728805065072 140373160401808 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6080] ppid=6072 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6075/task/6080/stat : 6080 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31046 33554432000 4194304 4196468 140728805065072 140373159349264 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6081] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6081/stat : 6081 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31046 33554432000 4194304 4196468 140728805065072 140373158296720 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6082] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6082/stat : 6082 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31046 33554432000 4194304 4196468 140728805065072 140373157243152 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6083] ppid=6072 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6075/task/6083/stat : 6083 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31046 33554432000 4194304 4196468 140728805065072 140373156190608 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6084] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6084/stat : 6084 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31046 33554432000 4194304 4196468 140728805065072 140372789418512 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6085] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6085/stat : 6085 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31046 33554432000 4194304 4196468 140728805065072 140372788365968 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6086] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6086/stat : 6086 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490430 27968053248 31046 33554432000 4194304 4196468 140728805065072 140372364728816 140373372775042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6087] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6087/stat : 6087 (java) S 6072 6075 5301 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81490430 27968053248 31046 33554432000 4194304 4196468 140728805065072 140371342386592 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6088] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6088/stat : 6088 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490431 27968053248 31046 33554432000 4194304 4196468 140728805065072 140371073951216 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6089] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6089/stat : 6089 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 31046 33554432000 4194304 4196468 140728805065072 140370699442896 140373372782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6090] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6090/stat : 6090 (java) S 6072 6075 5301 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 31046 33554432000 4194304 4196468 140728805065072 140372363675632 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6091] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6091/stat : 6091 (java) S 6072 6075 5301 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 31046 33554432000 4194304 4196468 140728805065072 140372362623088 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6092] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6092/stat : 6092 (java) S 6072 6075 5301 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 31046 33554432000 4194304 4196468 140728805065072 140372361570544 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6093] ppid=6072 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/6075/task/6093/stat : 6093 (java) S 6072 6075 5301 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 20 0 81490433 27968053248 31046 33554432000 4194304 4196468 140728805065072 140372360518000 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6094] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6094/stat : 6094 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 31046 33554432000 4194304 4196468 140728805065072 140370201537248 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6095] ppid=6072 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6075/task/6095/stat : 6095 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490434 27968053248 31046 33554432000 4194304 4196468 140728805065072 140372359465904 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124184 KiB

[startup+0.310424 s]*
/proc/loadavg: 8.08 8.24 7.88 2/203 6095
/proc/meminfo: memFree=23276716/32770624 swapFree=67108860/67108860
[pid=6075] ppid=6072 vsize=27312552 memory=127656 CPUtime=0.43 cores=0-7
/proc/6075/stat : 6075 (java) S 6072 6075 5301 0 -1 1077944320 10778 0 0 0 39 4 0 0 20 0 20 0 81490426 27968053248 31914 33554432000 4194304 4196468 140728805065072 140728805047616 140373372763895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
/proc/6075/statm: 6828138 31914 3001 1 0 6790598 0
[pid=6075/tid=6077] ppid=6072 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6075/task/6077/stat : 6077 (java) R 6072 6075 5301 0 -1 4202560 8525 0 0 0 27 2 0 0 20 0 20 0 81490426 27968053248 31914 33554432000 4194304 4196468 140728805065072 140373344568016 140373356843875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6078] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6078/stat : 6078 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31914 33554432000 4194304 4196468 140728805065072 140373377006352 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6079] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6079/stat : 6079 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31914 33554432000 4194304 4196468 140728805065072 140373160401808 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6080] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6080/stat : 6080 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31914 33554432000 4194304 4196468 140728805065072 140373159349264 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6081] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6081/stat : 6081 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31914 33554432000 4194304 4196468 140728805065072 140373158296720 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6082] ppid=6072 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/6075/task/6082/stat : 6082 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31914 33554432000 4194304 4196468 140728805065072 140373157243152 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6083] ppid=6072 vsize=27312552 memory=140502204773295 CPUtime=0 cores=0-7
/proc/6075/task/6083/stat : 6083 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31914 33554432000 4194304 4196468 140728805065072 140373156190608 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6084] ppid=6072 vsize=27312552 memory=140502204775600 CPUtime=0 cores=0-7
/proc/6075/task/6084/stat : 6084 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31914 33554432000 4194304 4196468 140728805065072 140372789418512 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6085] ppid=6072 vsize=27312552 memory=140502204777904 CPUtime=0 cores=0-7
/proc/6075/task/6085/stat : 6085 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27968053248 31914 33554432000 4194304 4196468 140728805065072 140372788365968 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6086] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6086/stat : 6086 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490430 27968053248 31914 33554432000 4194304 4196468 140728805065072 140372364728816 140373372775042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6087] ppid=6072 vsize=27312552 memory=281004409562768 CPUtime=0 cores=0-7
/proc/6075/task/6087/stat : 6087 (java) S 6072 6075 5301 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81490430 27968053248 31914 33554432000 4194304 4196468 140728805065072 140371342386592 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6088] ppid=6072 vsize=27312552 memory=281004409569680 CPUtime=0 cores=0-7
/proc/6075/task/6088/stat : 6088 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490431 27968053248 31914 33554432000 4194304 4196468 140728805065072 140371073951216 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6089] ppid=6072 vsize=27312552 memory=281004409510960 CPUtime=0 cores=0-7
/proc/6075/task/6089/stat : 6089 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 31914 33554432000 4194304 4196468 140728805065072 140370699442896 140373372782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6090] ppid=6072 vsize=27312552 memory=281004409583504 CPUtime=0 cores=0-7
/proc/6075/task/6090/stat : 6090 (java) S 6072 6075 5301 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 31914 33554432000 4194304 4196468 140728805065072 140372363675632 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6091] ppid=6072 vsize=27312552 memory=281004409590416 CPUtime=0.01 cores=0-7
/proc/6075/task/6091/stat : 6091 (java) S 6072 6075 5301 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 81490433 27968053248 31914 33554432000 4194304 4196468 140728805065072 140372362623088 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6092] ppid=6072 vsize=27312552 memory=281004409588112 CPUtime=0.02 cores=0-7
/proc/6075/task/6092/stat : 6092 (java) S 6072 6075 5301 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 20 0 81490433 27968053248 31914 33554432000 4194304 4196468 140728805065072 140372361570544 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6093] ppid=6072 vsize=27312552 memory=281004409604720 CPUtime=0.07 cores=0-7
/proc/6075/task/6093/stat : 6093 (java) S 6072 6075 5301 0 -1 1077944384 296 0 0 0 7 0 0 0 20 0 20 0 81490433 27968053248 31914 33554432000 4194304 4196468 140728805065072 140372360518000 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6094] ppid=6072 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6094/stat : 6094 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490433 27968053248 31914 33554432000 4194304 4196468 140728805065072 140370201537248 140373372774101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6095] ppid=6072 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6075/task/6095/stat : 6095 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490434 27968053248 31914 33554432000 4194304 4196468 140728805065072 140372359465904 140373372775042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127656 KiB

[startup+0.700949 s]
/proc/loadavg: 8.08 8.24 7.88 2/203 6095
/proc/meminfo: memFree=23252812/32770624 swapFree=67108860/67108860
[pid=6075] ppid=6072 vsize=27318824 memory=164628 CPUtime=1 cores=0-7
/proc/6075/stat : 6075 (java) S 6072 6075 5301 0 -1 1077944320 17708 0 0 0 94 6 0 0 20 0 20 0 81490426 27974475776 41157 33554432000 4194304 4196468 140728805065072 140728805047616 140373372763895 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
/proc/6075/statm: 6829706 41157 3135 1 0 6791110 0
[pid=6075/tid=6077] ppid=6072 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7
/proc/6075/task/6077/stat : 6077 (java) R 6072 6075 5301 0 -1 4202560 14958 0 0 0 62 5 0 0 20 0 20 0 81490426 27974475776 41157 33554432000 4194304 4196468 140728805065072 140373344599616 140373372785821 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6078] ppid=6072 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6078/stat : 6078 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27974475776 41157 33554432000 4194304 4196468 140728805065072 140373377006352 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6079] ppid=6072 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6079/stat : 6079 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490429 27974475776 41157 33554432000 4194304 4196468 140728805065072 140373160401808 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6080] ppid=6072 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6080/stat : 6080 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27974475776 41157 33554432000 4194304 4196468 140728805065072 140373159349264 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6081] ppid=6072 vsize=27318824 memory=1012 CPUtime=0 cores=0-7
/proc/6075/task/6081/stat : 6081 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27974475776 41157 33554432000 4194304 4196468 140728805065072 140373158296720 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6082] ppid=6072 vsize=27318824 memory=1948 CPUtime=0 cores=0-7
/proc/6075/task/6082/stat : 6082 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490429 27974475776 41157 33554432000 4194304 4196468 140728805065072 140373157243152 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6083] ppid=6072 vsize=27318824 memory=1188 CPUtime=0 cores=0-7
/proc/6075/task/6083/stat : 6083 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27974475776 41157 33554432000 4194304 4196468 140728805065072 140373156190608 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6084] ppid=6072 vsize=27318824 memory=8436 CPUtime=0 cores=0-7
/proc/6075/task/6084/stat : 6084 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490429 27974475776 41157 33554432000 4194304 4196468 140728805065072 140372789418512 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6085] ppid=6072 vsize=27318824 memory=15252 CPUtime=0 cores=0-7
/proc/6075/task/6085/stat : 6085 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81490429 27974475776 41157 33554432000 4194304 4196468 140728805065072 140372788365968 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6086] ppid=6072 vsize=27318824 memory=16244 CPUtime=0 cores=0-7
/proc/6075/task/6086/stat : 6086 (java) S 6072 6075 5301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81490430 27974475776 41157 33554432000 4194304 4196468 140728805065072 140372364728816 140373372775042 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0

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

[pid=6075/tid=6094] ppid=6072 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6094/stat : 6094 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81490433 27980845056 189289 33554432000 4194304 4196468 140728805065072 140370201537248 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6095] ppid=6072 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6095/stat : 6095 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81490434 27980845056 189289 33554432000 4194304 4196468 140728805065072 140372359465904 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
Current children cumulated CPU time: 10.61 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 757156 KiB

[startup+6.30096 s]
/proc/loadavg: 7.51 8.12 7.84 5/203 6095
/proc/meminfo: memFree=20394108/32770624 swapFree=67108860/67108860
[pid=6075] ppid=6072 vsize=27984808 memory=3028368 CPUtime=17.84 cores=0-7
/proc/6075/stat : 6075 (java) S 6072 6075 5301 0 -1 1077944320 38372 0 0 0 1726 58 0 0 20 0 24 0 81490426 28656443392 757092 33554432000 4194304 4196468 140728805065072 140728805047616 140373372763895 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
/proc/6075/statm: 6996202 757092 3234 1 0 6957058 0
[pid=6075/tid=6077] ppid=6072 vsize=27984808 memory=0 CPUtime=6.01 cores=0-7
/proc/6075/task/6077/stat : 6077 (java) S 6072 6075 5301 0 -1 1077944384 18606 0 0 0 550 51 0 0 20 0 24 0 81490426 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373344603136 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6078] ppid=6072 vsize=27984808 memory=9192 CPUtime=0 cores=0-7
/proc/6075/task/6078/stat : 6078 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373377006352 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6079] ppid=6072 vsize=27984808 memory=26151 CPUtime=0 cores=0-7
/proc/6075/task/6079/stat : 6079 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373160401808 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6080] ppid=6072 vsize=27984808 memory=4036 CPUtime=0 cores=0-7
/proc/6075/task/6080/stat : 6080 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373159349264 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6081] ppid=6072 vsize=27984808 memory=24328 CPUtime=0 cores=0-7
/proc/6075/task/6081/stat : 6081 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373158296720 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6082] ppid=6072 vsize=27984808 memory=1244 CPUtime=0 cores=0-7
/proc/6075/task/6082/stat : 6082 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373157243152 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6083] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6083/stat : 6083 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373156190608 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6084] ppid=6072 vsize=27984808 memory=-4049636988374952755 CPUtime=0 cores=0-7
/proc/6075/task/6084/stat : 6084 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372789418512 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6085] ppid=6072 vsize=27984808 memory=-7384994778349281184 CPUtime=0 cores=0-7
/proc/6075/task/6085/stat : 6085 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372788365968 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6086] ppid=6072 vsize=27984808 memory=8761640388318109335 CPUtime=0 cores=0-7
/proc/6075/task/6086/stat : 6086 (java) S 6072 6075 5301 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81490430 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372364728816 140373372775042 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6087] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6087/stat : 6087 (java) S 6072 6075 5301 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81490430 28656443392 757092 33554432000 4194304 4196468 140728805065072 140371342386592 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6088] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6088/stat : 6088 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490431 28656443392 757092 33554432000 4194304 4196468 140728805065072 140371073951216 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6089] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6089/stat : 6089 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140370699442896 140373372782491 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6090] ppid=6072 vsize=27984808 memory=0 CPUtime=3.42 cores=0-7
/proc/6075/task/6090/stat : 6090 (java) S 6072 6075 5301 0 -1 1077944384 5610 0 0 0 341 1 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372363675632 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6091] ppid=6072 vsize=27984808 memory=0 CPUtime=3.32 cores=0-7
/proc/6075/task/6091/stat : 6091 (java) S 6072 6075 5301 0 -1 1077944384 3958 0 0 0 331 1 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372362623088 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6092] ppid=6072 vsize=27984808 memory=0 CPUtime=3.57 cores=0-7
/proc/6075/task/6092/stat : 6092 (java) S 6072 6075 5301 0 -1 1077944384 3437 0 0 0 357 0 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372361570544 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6093] ppid=6072 vsize=27984808 memory=0 CPUtime=1.46 cores=0-7
/proc/6075/task/6093/stat : 6093 (java) S 6072 6075 5301 0 -1 1077944384 5351 0 0 0 144 2 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372360518000 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6094] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6094/stat : 6094 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140370201537248 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6095] ppid=6072 vsize=27984808 memory=1028240 CPUtime=0 cores=0-7
/proc/6075/task/6095/stat : 6095 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81490434 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372359465904 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
Current children cumulated CPU time: 17.84 s
Current children cumulated vsize: 27984808 KiB
Current children cumulated memory: 3028368 KiB

[startup+6.88304 s]
# the end of solver process 6075 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19.4074 s, system=0.72184 s

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

[startup+6.40111 s]
/proc/loadavg: 7.51 8.12 7.84 5/203 6095
/proc/meminfo: memFree=20394108/32770624 swapFree=67108860/67108860
[pid=6075] ppid=6072 vsize=27984808 memory=3028368 CPUtime=17.84 cores=0-7
/proc/6075/stat : 6075 (java) S 6072 6075 5301 0 -1 1077944320 38372 0 0 0 1726 58 0 0 20 0 24 0 81490426 28656443392 757092 33554432000 4194304 4196468 140728805065072 140728805047616 140373372763895 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
/proc/6075/statm: 6996202 757092 3234 1 0 6957058 0
[pid=6075/tid=6077] ppid=6072 vsize=27984808 memory=0 CPUtime=6.01 cores=0-7
/proc/6075/task/6077/stat : 6077 (java) S 6072 6075 5301 0 -1 1077944384 18606 0 0 0 550 51 0 0 20 0 24 0 81490426 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373344603136 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6078] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6078/stat : 6078 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373377006352 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6079] ppid=6072 vsize=27984808 memory=2268 CPUtime=0 cores=0-7
/proc/6075/task/6079/stat : 6079 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373160401808 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6080] ppid=6072 vsize=27984808 memory=1804 CPUtime=0 cores=0-7
/proc/6075/task/6080/stat : 6080 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373159349264 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6081] ppid=6072 vsize=27984808 memory=796 CPUtime=0 cores=0-7
/proc/6075/task/6081/stat : 6081 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373158296720 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6082] ppid=6072 vsize=27984808 memory=1704 CPUtime=0 cores=0-7
/proc/6075/task/6082/stat : 6082 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373157243152 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6083] ppid=6072 vsize=27984808 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6075/task/6083/stat : 6083 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373156190608 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6084] ppid=6072 vsize=27984808 memory=62372 CPUtime=0 cores=0-7
/proc/6075/task/6084/stat : 6084 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372789418512 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6085] ppid=6072 vsize=27984808 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/6075/task/6085/stat : 6085 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372788365968 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6086] ppid=6072 vsize=27984808 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/6075/task/6086/stat : 6086 (java) S 6072 6075 5301 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81490430 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372364728816 140373372775042 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6087] ppid=6072 vsize=27984808 memory=-5587046532246807594 CPUtime=0 cores=0-7
/proc/6075/task/6087/stat : 6087 (java) S 6072 6075 5301 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81490430 28656443392 757092 33554432000 4194304 4196468 140728805065072 140371342386592 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6088] ppid=6072 vsize=27984808 memory=6944920329522682742 CPUtime=0 cores=0-7
/proc/6075/task/6088/stat : 6088 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490431 28656443392 757092 33554432000 4194304 4196468 140728805065072 140371073951216 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6089] ppid=6072 vsize=27984808 memory=7016714186490735262 CPUtime=0 cores=0-7
/proc/6075/task/6089/stat : 6089 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140370699442896 140373372782491 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6090] ppid=6072 vsize=27984808 memory=-7522837583045875833 CPUtime=3.42 cores=0-7
/proc/6075/task/6090/stat : 6090 (java) S 6072 6075 5301 0 -1 1077944384 5610 0 0 0 341 1 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372363675632 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6091] ppid=6072 vsize=27984808 memory=-7465405268641471099 CPUtime=3.32 cores=0-7
/proc/6075/task/6091/stat : 6091 (java) S 6072 6075 5301 0 -1 1077944384 3958 0 0 0 331 1 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372362623088 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6092] ppid=6072 vsize=27984808 memory=281004409637808 CPUtime=3.57 cores=0-7
/proc/6075/task/6092/stat : 6092 (java) S 6072 6075 5301 0 -1 1077944384 3437 0 0 0 357 0 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372361570544 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6093] ppid=6072 vsize=27984808 memory=0 CPUtime=1.46 cores=0-7
/proc/6075/task/6093/stat : 6093 (java) S 6072 6075 5301 0 -1 1077944384 5351 0 0 0 144 2 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372360518000 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6094] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6094/stat : 6094 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140370201537248 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6095] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6095/stat : 6095 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81490434 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372359465904 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
Current children cumulated CPU time: 17.84 s
Current children cumulated vsize: 27984808 KiB
Current children cumulated memory: 3028368 KiB

[startup+6.80122 s]
/proc/loadavg: 7.51 8.12 7.84 5/203 6095
/proc/meminfo: memFree=20394108/32770624 swapFree=67108860/67108860
[pid=6075] ppid=6072 vsize=27984808 memory=3028368 CPUtime=17.84 cores=0-7
/proc/6075/stat : 6075 (java) S 6072 6075 5301 0 -1 1077944320 38372 0 0 0 1726 58 0 0 20 0 24 0 81490426 28656443392 757092 33554432000 4194304 4196468 140728805065072 140728805047616 140373372763895 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
/proc/6075/statm: 6996202 757092 3234 1 0 6957058 0
[pid=6075/tid=6077] ppid=6072 vsize=27984808 memory=1388 CPUtime=6.01 cores=0-7
/proc/6075/task/6077/stat : 6077 (java) S 6072 6075 5301 0 -1 1077944384 18606 0 0 0 550 51 0 0 20 0 24 0 81490426 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373344603136 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6078] ppid=6072 vsize=27984808 memory=1232 CPUtime=0 cores=0-7
/proc/6075/task/6078/stat : 6078 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373377006352 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6079] ppid=6072 vsize=27984808 memory=1012 CPUtime=0 cores=0-7
/proc/6075/task/6079/stat : 6079 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373160401808 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6080] ppid=6072 vsize=27984808 memory=1948 CPUtime=0 cores=0-7
/proc/6075/task/6080/stat : 6080 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373159349264 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6081] ppid=6072 vsize=27984808 memory=1188 CPUtime=0 cores=0-7
/proc/6075/task/6081/stat : 6081 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373158296720 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6082] ppid=6072 vsize=27984808 memory=8436 CPUtime=0 cores=0-7
/proc/6075/task/6082/stat : 6082 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373157243152 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6083] ppid=6072 vsize=27984808 memory=15252 CPUtime=0 cores=0-7
/proc/6075/task/6083/stat : 6083 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140373156190608 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6084] ppid=6072 vsize=27984808 memory=16244 CPUtime=0 cores=0-7
/proc/6075/task/6084/stat : 6084 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372789418512 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6085] ppid=6072 vsize=27984808 memory=4048 CPUtime=0 cores=0-7
/proc/6075/task/6085/stat : 6085 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490429 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372788365968 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6086] ppid=6072 vsize=27984808 memory=1236 CPUtime=0 cores=0-7
/proc/6075/task/6086/stat : 6086 (java) S 6072 6075 5301 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81490430 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372364728816 140373372775042 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6087] ppid=6072 vsize=27984808 memory=55 CPUtime=0 cores=0-7
/proc/6075/task/6087/stat : 6087 (java) S 6072 6075 5301 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81490430 28656443392 757092 33554432000 4194304 4196468 140728805065072 140371342386592 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6088] ppid=6072 vsize=27984808 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/6075/task/6088/stat : 6088 (java) S 6072 6075 5301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81490431 28656443392 757092 33554432000 4194304 4196468 140728805065072 140371073951216 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6089] ppid=6072 vsize=27984808 memory=13855174477220093 CPUtime=0 cores=0-7
/proc/6075/task/6089/stat : 6089 (java) S 6072 6075 5301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140370699442896 140373372782491 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6090] ppid=6072 vsize=27984808 memory=0 CPUtime=3.42 cores=0-7
/proc/6075/task/6090/stat : 6090 (java) S 6072 6075 5301 0 -1 1077944384 5610 0 0 0 341 1 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372363675632 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6091] ppid=6072 vsize=27984808 memory=0 CPUtime=3.32 cores=0-7
/proc/6075/task/6091/stat : 6091 (java) S 6072 6075 5301 0 -1 1077944384 3958 0 0 0 331 1 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372362623088 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6092] ppid=6072 vsize=27984808 memory=0 CPUtime=3.57 cores=0-7
/proc/6075/task/6092/stat : 6092 (java) S 6072 6075 5301 0 -1 1077944384 3437 0 0 0 357 0 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372361570544 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6093] ppid=6072 vsize=27984808 memory=9665 CPUtime=1.46 cores=0-7
/proc/6075/task/6093/stat : 6093 (java) S 6072 6075 5301 0 -1 1077944384 5351 0 0 0 144 2 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372360518000 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6094] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6094/stat : 6094 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81490433 28656443392 757092 33554432000 4194304 4196468 140728805065072 140370201537248 140373372774101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
[pid=6075/tid=6095] ppid=6072 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/6075/task/6095/stat : 6095 (java) S 6072 6075 5301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81490434 28656443392 757092 33554432000 4194304 4196468 140728805065072 140372359465904 140373372775042 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 23879680 140728805073881 140728805074181 140728805074181 140728805076943 0
Current children cumulated CPU time: 17.84 s
Current children cumulated vsize: 27984808 KiB
Current children cumulated memory: 3028368 KiB

Child status: 0
Real time (s): 6.88309
CPU time (s): 20.1292
CPU user time (s): 19.4074
CPU system time (s): 0.72184
CPU usage (%): 292.444
Max. virtual memory (cumulated for all children) (KiB): 27984808
Max. memory (cumulated for all children) (KiB): 3028368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.4074
system time used= 0.72184
maximum resident set size= 3031368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10752
involuntary context switches= 45


# summary of solver processes directly reported to runsolver:
#   pid: 6075
#   total CPU time (s): 20.1292
#   total CPU user time (s): 19.4074
#   total CPU system time (s): 0.72184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077805 second user time and 0.108244 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-26 23:07:53
IDJOB=4297116
IDBENCH=141185
IDSOLVER=2758
FILE ID=node133/4297116-1532639273
RUNJOBID= node133-1532633883-5328
PBS_JOBID= 21022180
Free space on /tmp= 48252 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f05_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297116-1532639273/watcher-4297116-1532639273 -o /tmp/evaluation-result-4297116-1532639273/solver-4297116-1532639273 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532633883-5328 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297116-1532639273.xml

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

MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628
RANDOM SEED=320876088

node133.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.24
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.24
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.24
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.24
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:        23393972 kB
MemAvailable:   31931216 kB
Buffers:          169252 kB
Cached:          8595692 kB
SwapCached:            0 kB
Active:          2781028 kB
Inactive:        6036304 kB
Active(anon):       2032 kB
Inactive(anon):    78040 kB
Active(file):    2778996 kB
Inactive(file):  5958264 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8308 kB
Writeback:             0 kB
AnonPages:         59068 kB
Mapped:            38844 kB
Shmem:             25248 kB
Slab:             255668 kB
SReclaimable:     228444 kB
SUnreclaim:        27224 kB
KernelStack:        3296 kB
PageTables:         4740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48244 MiB
End job on node133 at 2018-07-26 23:08:00