Trace number 4294469

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+MapleCOMSPS (2018-06-13)SAT 8.08034 2.95601

General information on the benchmark

NameSocialGolfers/
SocialGolfers-4-4-5-cp_c18.xml
MD5SUM9520b1c3a7fc9338271b16f0cb9e04b3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.255241
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints1207
Number of domains1
Minimum domain size4
Maximum domain size4
Distribution of domain sizes[{"size":4,"count":80}]
Minimum variable degree62
Maximum variable degree63
Distribution of variable degrees[{"degree":62,"count":64},{"degree":63,"count":16}]
Minimum constraint arity4
Maximum constraint arity80
Distribution of constraint arities[{"arity":4,"count":1200},{"arity":16,"count":6},{"arity":80,"count":1}]
Number of extensional constraints0
Number of intensional constraints1200
Distribution of constraint types[{"type":"intension","count":1200},{"type":"lex","count":1},{"type":"cardinality","count":5},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.53	scop order+minisat_release (2018-06-13)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Mon Jul 23 16:47:39 CEST 2018
0.67/0.55	c PID: 10750
0.67/0.55	c IP: 172.20.3.105
0.67/0.55	c HOST: node105.alineos.net
0.67/0.56	c (0,0) Parsing Begin
3.02/1.35	c (0,0) Parsing End
3.02/1.36	c (0,0) CSP: 80 int (0 aux), 0 bool (0 aux), 1207 ctr, max domain size 4
3.02/1.36	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.02/1.36	c (0,0) Constraint Name Generate Begin
3.02/1.37	c (0,0) Ctr:HOME/instance-4294469-1532357258.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
3.02/1.37	c (0,0) Constraint Name Generate End
3.02/1.37	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.02/1.38	c (0,0) CSP to CSPinCNF Begin
3.58/1.51	c (0,0) translated 121 (10%) constraints
3.58/1.55	c (1,1) translated 242 (20%) constraints
3.58/1.59	c (1,1) translated 363 (30%) constraints
3.88/1.61	c (1,1) translated 483 (40%) constraints
3.88/1.63	c (1,1) translated 604 (50%) constraints
3.88/1.64	c (1,1) translated 725 (60%) constraints
3.88/1.66	c (1,1) translated 845 (70%) constraints
3.88/1.67	c (1,1) translated 966 (80%) constraints
3.88/1.68	c (1,1) translated 1087 (90%) constraints
4.44/1.87	c (1,1) translated 1207 (100%) constraints
5.15/2.07	c (1,1) STATISTICS1:HOME/instance-4294469-1532357258.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,501,2116,32768,4,4,16,32768:40;4:2118;1:541,4:4779;2:1263;1:1195,4:1301;3:339;2:421;1:55,16:40;2:2659;1:1935,
5.15/2.07	c (1,1) ===========================================
5.15/2.07	c (1,1) Order
5.15/2.07	c (1,1) ===========================================
5.15/2.10	c (1,1) translated 212 (10%) constraints
5.48/2.13	c (1,1) translated 424 (20%) constraints
5.48/2.15	c (1,1) translated 635 (30%) constraints
5.48/2.17	c (1,1) translated 847 (40%) constraints
5.48/2.19	c (1,1) translated 1058 (50%) constraints
5.76/2.23	c (1,1) translated 1270 (60%) constraints
5.76/2.27	c (1,1) translated 1482 (70%) constraints
6.10/2.30	c (1,1) translated 1693 (80%) constraints
6.10/2.33	c (1,1) translated 1905 (90%) constraints
6.10/2.35	c (1,1) translated 2116 (100%) constraints
6.10/2.35	c (1,1) CSP to CSPinCNF End
6.10/2.36	c (1,1) CSP: 140 int (60 aux), 741 bool (741 aux), 2912 ctr, max domain size 5
6.10/2.36	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.10/2.36	c (1,1) CSPinCNF Propagation Begin
6.42/2.44	c (1,1) 188 values, 1034 unsatisfiable literals, and 866 valid clauses are removed
6.42/2.44	c (1,1) CSPinCNF Propagation End
6.42/2.44	c (1,1) CSP: 280 int (200 aux), 601 bool (601 aux), 2046 ctr, max domain size 5
6.42/2.44	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.42/2.44	c (1,1) Simplify CSPinCNF Begin
6.75/2.51	c (1,1) Simplify CSPinCNF End
6.75/2.52	c (1,1) CSP: 280 int (200 aux), 1687 bool (1687 aux), 3132 ctr, max domain size 5
6.75/2.52	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.75/2.52	c (1,1) Calculate Precise Domain Begin
6.75/2.55	c (2,2) 0 values are removed by re-calculation
6.75/2.55	c (2,2) Calculate Precise Domain End
6.75/2.56	c (2,2) CSP: 280 int (200 aux), 1687 bool (1687 aux), 3132 ctr, max domain size 5
6.75/2.56	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.75/2.56	c (2,2) CSPinCNF to SatSolver Begin
7.02/2.64	c (2,2) 314 (10 %) CSP clauses are encoded (2071 SAT variables, 1212 SAT clauses)
7.02/2.67	c (2,2) 627 (20 %) CSP clauses are encoded (2071 SAT variables, 2254 SAT clauses)
7.02/2.69	c (2,2) 940 (30 %) CSP clauses are encoded (2071 SAT variables, 3221 SAT clauses)
7.33/2.70	c (2,2) 1253 (40 %) CSP clauses are encoded (2071 SAT variables, 4110 SAT clauses)
7.33/2.71	c (2,2) 1566 (50 %) CSP clauses are encoded (2071 SAT variables, 4717 SAT clauses)
7.33/2.73	c (2,2) 1880 (60 %) CSP clauses are encoded (2071 SAT variables, 5983 SAT clauses)
7.33/2.75	c (2,2) 2193 (70 %) CSP clauses are encoded (2071 SAT variables, 7248 SAT clauses)
7.33/2.77	c (2,2) 2506 (80 %) CSP clauses are encoded (2071 SAT variables, 8513 SAT clauses)
7.33/2.78	c (2,2) 2819 (90 %) CSP clauses are encoded (2071 SAT variables, 9778 SAT clauses)
7.33/2.79	c (2,2) 3132 (100 %) CSP clauses are encoded (2071 SAT variables, 10575 SAT clauses)
7.33/2.79	c (2,2) CSPinCNF to SatSolver End
7.33/2.79	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.63/2.83	c (2,2) STATISTICS2:HOME/instance-4294469-1532357258.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1967,3132,64,5,4,7,64:32;32:64;25:32;4:1158;1:35,5:192;4:3119;2:6299;1:35,4:803;3:149;2:2037;1:143,7:32;6:64;3:32;2:1193;1:6555,
7.63/2.83	c (2,2) SatSolver.solve Begin
7.63/2.83	c (2,2) 2071 bool, 10578 clause
7.63/2.83	c (2,2) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294469-1532357258.xml-scop-10750.cnf HOME/instance-4294469-1532357258.xml-scop-10750.cnf.out
7.63/2.87	c (2,0) c This is COMiniSatPS.
7.63/2.87	c (2,0) c WARNING: for repeatability, setting FPU to use double precision
7.63/2.87	c (2,0) c ============================[ Problem Statistics ]=============================
7.63/2.87	c (2,0) c |                                                                             |
7.63/2.87	c (2,0) c |  Number of variables:          2071                                         |
7.63/2.87	c (2,0) c |  Number of clauses:           10578                                         |
7.63/2.87	c (2,0) c |  Parse time:                   0.00 s                                       |
7.63/2.87	c (2,0) c |  Eliminated clauses:           0.01 Mb                                      |
7.63/2.87	c (2,0) c Reduced to 1594 vars, 9816 cls (grow=0)
7.63/2.87	c (2,0) c No iterative elimination performed. (vars=1594, c/v ratio=6.2)
7.63/2.87	c (2,0) c |  Simplification time:          0.01 s                                       |
7.63/2.87	c (2,0) c |                                                                             |
7.63/2.87	c (2,0) c ============================[ Search Statistics ]==============================
7.63/2.87	c (2,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.63/2.87	c (2,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.63/2.87	c (2,0) c ===============================================================================
7.63/2.87	c (2,0) c ===============================================================================
7.63/2.87	c (2,0) c restarts              : 3
7.63/2.87	c (2,0) c conflicts             : 246            (16563 /sec)
7.63/2.87	c (2,0) c decisions             : 878            (0.00 % random) (59117 /sec)
7.63/2.87	c (2,0) c propagations          : 17797          (1198290 /sec)
7.63/2.87	c (2,0) c conflict literals     : 3459           (4.53 % deleted)
7.63/2.87	c (2,0) c CPU time              : 0.014852 s
7.63/2.87	c (2,0) 
7.63/2.87	c (2,0) s SATISFIABLE
7.97/2.90	c (2,2) SatSolver.solve End
7.97/2.90	c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
7.97/2.90	c (2,2) Show results Begin
7.97/2.91	c (2,2) x[0][0] = 0
7.97/2.91	c (2,2) x[0][1] = 0
7.97/2.91	c (2,2) x[0][2] = 0
7.97/2.91	c (2,2) x[0][3] = 0
7.97/2.91	c (2,2) x[0][4] = 1
7.97/2.91	c (2,2) x[0][5] = 1
7.97/2.91	c (2,2) x[0][6] = 1
7.97/2.91	c (2,2) x[0][7] = 1
7.97/2.91	c (2,2) x[0][8] = 2
7.97/2.91	c (2,2) x[0][9] = 2
7.97/2.91	c (2,2) x[0][10] = 2
7.97/2.91	c (2,2) x[0][11] = 2
7.97/2.91	c (2,2) x[0][12] = 3
7.97/2.91	c (2,2) x[0][13] = 3
7.97/2.91	c (2,2) x[0][14] = 3
7.97/2.91	c (2,2) x[0][15] = 3
7.97/2.91	c (2,2) x[1][0] = 0
7.97/2.91	c (2,2) x[1][1] = 1
7.97/2.91	c (2,2) x[1][2] = 2
7.97/2.91	c (2,2) x[1][3] = 3
7.97/2.91	c (2,2) x[1][4] = 0
7.97/2.91	c (2,2) x[1][5] = 1
7.97/2.91	c (2,2) x[1][6] = 2
7.97/2.91	c (2,2) x[1][7] = 3
7.97/2.91	c (2,2) x[1][8] = 0
7.97/2.91	c (2,2) x[1][9] = 1
7.97/2.91	c (2,2) x[1][10] = 2
7.97/2.91	c (2,2) x[1][11] = 3
7.97/2.91	c (2,2) x[1][12] = 0
7.97/2.91	c (2,2) x[1][13] = 1
7.97/2.91	c (2,2) x[1][14] = 2
7.97/2.91	c (2,2) x[1][15] = 3
7.97/2.91	c (2,2) x[2][0] = 0
7.97/2.91	c (2,2) x[2][1] = 2
7.97/2.91	c (2,2) x[2][2] = 1
7.97/2.91	c (2,2) x[2][3] = 3
7.97/2.91	c (2,2) x[2][4] = 1
7.97/2.91	c (2,2) x[2][5] = 3
7.97/2.91	c (2,2) x[2][6] = 0
7.97/2.91	c (2,2) x[2][7] = 2
7.97/2.91	c (2,2) x[2][8] = 3
7.97/2.91	c (2,2) x[2][9] = 1
7.97/2.91	c (2,2) x[2][10] = 2
7.97/2.91	c (2,2) x[2][11] = 0
7.97/2.91	c (2,2) x[2][12] = 2
7.97/2.91	c (2,2) x[2][13] = 0
7.97/2.91	c (2,2) x[2][14] = 3
7.97/2.91	c (2,2) x[2][15] = 1
7.97/2.91	c (2,2) x[3][0] = 1
7.97/2.91	c (2,2) x[3][1] = 3
7.97/2.91	c (2,2) x[3][2] = 2
7.97/2.91	c (2,2) x[3][3] = 0
7.97/2.91	c (2,2) x[3][4] = 3
7.97/2.91	c (2,2) x[3][5] = 1
7.97/2.91	c (2,2) x[3][6] = 0
7.97/2.91	c (2,2) x[3][7] = 2
7.97/2.91	c (2,2) x[3][8] = 2
7.97/2.91	c (2,2) x[3][9] = 0
7.97/2.91	c (2,2) x[3][10] = 1
7.97/2.91	c (2,2) x[3][11] = 3
7.97/2.91	c (2,2) x[3][12] = 0
7.97/2.91	c (2,2) x[3][13] = 2
7.97/2.91	c (2,2) x[3][14] = 3
7.97/2.91	c (2,2) x[3][15] = 1
7.97/2.91	c (2,2) x[4][0] = 2
7.97/2.91	c (2,2) x[4][1] = 3
7.97/2.91	c (2,2) x[4][2] = 0
7.97/2.91	c (2,2) x[4][3] = 1
7.97/2.91	c (2,2) x[4][4] = 1
7.97/2.91	c (2,2) x[4][5] = 0
7.97/2.91	c (2,2) x[4][6] = 3
7.97/2.91	c (2,2) x[4][7] = 2
7.97/2.91	c (2,2) x[4][8] = 3
7.97/2.91	c (2,2) x[4][9] = 2
7.97/2.91	c (2,2) x[4][10] = 1
7.97/2.91	c (2,2) x[4][11] = 0
7.97/2.91	c (2,2) x[4][12] = 0
7.97/2.91	c (2,2) x[4][13] = 1
7.97/2.91	c (2,2) x[4][14] = 2
7.97/2.91	c (2,2) x[4][15] = 3
7.97/2.91	s SATISFIABLE
7.97/2.91	v <instantiation>
7.97/2.91	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15]</list>
7.97/2.91	v     <values>0 0 0 0 1 1 1 1 2 2 2 2 3 3 3 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 2 1 3 1 3 0 2 3 1 2 0 2 0 3 1 1 3 2 0 3 1 0 2 2 0 1 3 0 2 3 1 2 3 0 1 1 0 3 2 3 2 1 0 0 1 2 3</values>
7.97/2.91	v </instantiation>
7.97/2.91	c (2,2) Show results End
7.97/2.91	c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
7.97/2.91	c (2,2) 0,0,1,1,1,2,2,2,2,STOP-AFTER(ALL)
7.97/2.91	c END-Prog: Mon Jul 23 16:47:41 CEST 2018

Verifier Data 

OK

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294469-1532357258/watcher-4294469-1532357258 -o /tmp/evaluation-result-4294469-1532357258/solver-4294469-1532357258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294469-1532357258.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=10750, runsolver pid=10747

[startup+0.100508 s]*
/proc/loadavg: 2.32 2.17 2.11 3/220 10765
/proc/meminfo: memFree=14867824/32770624 swapFree=67108860/67108860
[pid=10750] ppid=10747 vsize=15011656 memory=71164 CPUtime=0.11 cores=0,2,4,6
/proc/10750/stat : 10750 (java) S 10747 10750 2271 0 -1 1077944320 6991 0 0 0 9 2 0 0 20 0 15 0 53288985 15371935744 17791 33554432000 4194304 4196468 140731404497248 140731404479792 140065901821687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
/proc/10750/statm: 3752914 17791 2782 1 0 3715374 0
[pid=10750/tid=10752] ppid=10747 vsize=15011656 memory=-6943317439038143312 CPUtime=0.09 cores=0,2,4,6
/proc/10750/task/10752/stat : 10752 (java) R 10747 10750 2271 0 -1 4202560 5201 0 0 0 7 2 0 0 20 0 15 0 53288986 15371935744 17923 33554432000 4194304 4196468 140731404497248 140065873633672 140065882097515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10753] ppid=10747 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10753/stat : 10753 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 17923 33554432000 4194304 4196468 140731404497248 140065906063760 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10754] ppid=10747 vsize=15011656 memory=139892818597504 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10754/stat : 10754 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 17923 33554432000 4194304 4196468 140731404497248 140065730705680 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10755] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10755/stat : 10755 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 17923 33554432000 4194304 4196468 140731404497248 140065360915088 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10756] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10756/stat : 10756 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 17923 33554432000 4194304 4196468 140731404497248 140065359862288 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10757] ppid=10747 vsize=15011656 memory=139892818597504 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10757/stat : 10757 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288989 15371935744 17923 33554432000 4194304 4196468 140731404497248 140064738867824 140065901832834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10758] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10758/stat : 10758 (java) S 10747 10750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53288989 15371935744 17923 33554432000 4194304 4196468 140731404497248 140064520660256 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10759] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10759/stat : 10759 (java) S 10747 10750 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53288990 15371935744 17989 33554432000 4194304 4196468 140731404497248 140064386438768 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10760] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10760/stat : 10760 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 17989 33554432000 4194304 4196468 140731404497248 140064011934288 140065901840283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10761] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10761/stat : 10761 (java) S 10747 10750 2271 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 17989 33554432000 4194304 4196468 140731404497248 140064737814640 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10762] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10762/stat : 10762 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 17989 33554432000 4194304 4196468 140731404497248 140064736761840 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10763] ppid=10747 vsize=15011656 memory=139892818597504 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10763/stat : 10763 (java) S 10747 10750 2271 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 53288992 15371935744 17989 33554432000 4194304 4196468 140731404497248 140064735709552 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10764] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10764/stat : 10764 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 17989 33554432000 4194304 4196468 140731404497248 140063514028512 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10765] ppid=10747 vsize=15011656 memory=139892818597504 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10765/stat : 10765 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 17989 33554432000 4194304 4196468 140731404497248 140064734657456 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71164 KiB

[startup+0.210301 s]*
/proc/loadavg: 2.32 2.17 2.11 3/220 10765
/proc/meminfo: memFree=14852120/32770624 swapFree=67108860/67108860
[pid=10750] ppid=10747 vsize=15011656 memory=86212 CPUtime=0.25 cores=0,2,4,6
/proc/10750/stat : 10750 (java) S 10747 10750 2271 0 -1 1077944320 11015 0 0 0 22 3 0 0 20 0 15 0 53288985 15371935744 21553 33554432000 4194304 4196468 140731404497248 140731404479792 140065901821687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
/proc/10750/statm: 3752914 21553 2887 1 0 3715374 0
[pid=10750/tid=10752] ppid=10747 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/10750/task/10752/stat : 10752 (java) R 10747 10750 2271 0 -1 4202560 8893 0 0 0 17 3 0 0 20 0 15 0 53288986 15371935744 21553 33554432000 4194304 4196468 140731404497248 140065873611392 140065404495332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10753] ppid=10747 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10753/stat : 10753 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 21553 33554432000 4194304 4196468 140731404497248 140065906063760 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10754] ppid=10747 vsize=15011656 memory=288370268970309248 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10754/stat : 10754 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 21553 33554432000 4194304 4196468 140731404497248 140065730705680 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10755] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10755/stat : 10755 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 21553 33554432000 4194304 4196468 140731404497248 140065360915088 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10756] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10756/stat : 10756 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 21553 33554432000 4194304 4196468 140731404497248 140065359862288 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10757] ppid=10747 vsize=15011656 memory=139892818597504 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10757/stat : 10757 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288989 15371935744 21553 33554432000 4194304 4196468 140731404497248 140064738867824 140065901832834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10758] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10758/stat : 10758 (java) S 10747 10750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53288989 15371935744 21553 33554432000 4194304 4196468 140731404497248 140064520660256 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10759] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10759/stat : 10759 (java) S 10747 10750 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53288990 15371935744 21553 33554432000 4194304 4196468 140731404497248 140064386438768 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10760] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10760/stat : 10760 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 21553 33554432000 4194304 4196468 140731404497248 140064011934288 140065901840283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10761] ppid=10747 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10761/stat : 10761 (java) S 10747 10750 2271 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 53288992 15371935744 21553 33554432000 4194304 4196468 140731404497248 140064737814640 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10762] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10762/stat : 10762 (java) S 10747 10750 2271 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 21553 33554432000 4194304 4196468 140731404497248 140064736761840 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10763] ppid=10747 vsize=15011656 memory=139892818597504 CPUtime=0.03 cores=0,2,4,6
/proc/10750/task/10763/stat : 10763 (java) S 10747 10750 2271 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 53288992 15371935744 21553 33554432000 4194304 4196468 140731404497248 140064735709552 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10764] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10764/stat : 10764 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 21553 33554432000 4194304 4196468 140731404497248 140063514028512 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10765] ppid=10747 vsize=15011656 memory=139892818597504 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10765/stat : 10765 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 21553 33554432000 4194304 4196468 140731404497248 140064734657456 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86212 KiB

[startup+0.31044 s]*
/proc/loadavg: 2.32 2.17 2.11 3/220 10765
/proc/meminfo: memFree=14848956/32770624 swapFree=67108860/67108860
[pid=10750] ppid=10747 vsize=15011656 memory=89908 CPUtime=0.43 cores=0,2,4,6
/proc/10750/stat : 10750 (java) S 10747 10750 2271 0 -1 1077944320 11550 0 0 0 39 4 0 0 20 0 15 0 53288985 15371935744 22477 33554432000 4194304 4196468 140731404497248 140731404479792 140065901821687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
/proc/10750/statm: 3752914 22477 2988 1 0 3715374 0
[pid=10750/tid=10752] ppid=10747 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/10750/task/10752/stat : 10752 (java) R 10747 10750 2271 0 -1 4202560 9247 0 0 0 26 3 0 0 20 0 15 0 53288986 15371935744 22477 33554432000 4194304 4196468 140731404497248 140065873625840 140065885902174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10753] ppid=10747 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10753/stat : 10753 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 22477 33554432000 4194304 4196468 140731404497248 140065906063760 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10754] ppid=10747 vsize=15011656 memory=288230376152071981 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10754/stat : 10754 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 22477 33554432000 4194304 4196468 140731404497248 140065730705680 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10755] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10755/stat : 10755 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 22477 33554432000 4194304 4196468 140731404497248 140065360915088 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10756] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10756/stat : 10756 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288987 15371935744 22477 33554432000 4194304 4196468 140731404497248 140065359862288 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10757] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10757/stat : 10757 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288989 15371935744 22477 33554432000 4194304 4196468 140731404497248 140064738867824 140065901832834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10758] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10758/stat : 10758 (java) S 10747 10750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53288989 15371935744 22477 33554432000 4194304 4196468 140731404497248 140064520660256 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10759] ppid=10747 vsize=15011656 memory=139892818597504 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10759/stat : 10759 (java) S 10747 10750 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53288990 15371935744 22477 33554432000 4194304 4196468 140731404497248 140064386438768 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10760] ppid=10747 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10760/stat : 10760 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 22477 33554432000 4194304 4196468 140731404497248 140064011934288 140065901840283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10761] ppid=10747 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10750/task/10761/stat : 10761 (java) R 10747 10750 2271 0 -1 4202560 568 0 0 0 3 0 0 0 20 0 15 0 53288992 15371935744 22477 33554432000 4194304 4196468 140731404497248 140064737814640 140065881483904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10762] ppid=10747 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10762/stat : 10762 (java) S 10747 10750 2271 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 53288992 15371935744 22477 33554432000 4194304 4196468 140731404497248 140064736761840 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10763] ppid=10747 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10750/task/10763/stat : 10763 (java) S 10747 10750 2271 0 -1 1077944384 340 0 0 0 7 0 0 0 20 0 15 0 53288992 15371935744 22477 33554432000 4194304 4196468 140731404497248 140064735709552 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10764] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10764/stat : 10764 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 22477 33554432000 4194304 4196468 140731404497248 140063514028512 140065901831893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10765] ppid=10747 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10765/stat : 10765 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288992 15371935744 22477 33554432000 4194304 4196468 140731404497248 140064734657456 140065901832834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89908 KiB

[startup+0.709485 s]
/proc/loadavg: 2.32 2.17 2.11 3/220 10765
/proc/meminfo: memFree=14826368/32770624 swapFree=67108860/67108860
[pid=10750] ppid=10747 vsize=15019976 memory=129636 CPUtime=1.05 cores=0,2,4,6
/proc/10750/stat : 10750 (java) S 10747 10750 2271 0 -1 1077944320 18149 0 0 0 99 6 0 0 20 0 15 0 53288985 15380455424 32409 33554432000 4194304 4196468 140731404497248 140731404479792 140065901821687 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
/proc/10750/statm: 3754994 32409 3142 1 0 3716398 0
[pid=10750/tid=10752] ppid=10747 vsize=15019976 memory=1728 CPUtime=0.68 cores=0,2,4,6
/proc/10750/task/10752/stat : 10752 (java) R 10747 10750 2271 0 -1 4202560 15337 0 0 0 63 5 0 0 20 0 15 0 53288986 15380455424 32409 33554432000 4194304 4196468 140731404497248 140065873659776 140065885865317 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10753] ppid=10747 vsize=15019976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10753/stat : 10753 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15380455424 32409 33554432000 4194304 4196468 140731404497248 140065906063760 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10754] ppid=10747 vsize=15019976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10754/stat : 10754 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15380455424 32409 33554432000 4194304 4196468 140731404497248 140065730705680 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10755] ppid=10747 vsize=15019976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10755/stat : 10755 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15380455424 32409 33554432000 4194304 4196468 140731404497248 140065360915088 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10756] ppid=10747 vsize=15019976 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10756/stat : 10756 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288987 15380455424 32409 33554432000 4194304 4196468 140731404497248 140065359862288 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10757] ppid=10747 vsize=15019976 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10757/stat : 10757 (java) S 10747 10750 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53288989 15380455424 32409 33554432000 4194304 4196468 140731404497248 140064738867824 140065901832834 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10758] ppid=10747 vsize=15019976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10758/stat : 10758 (java) S 10747 10750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53288989 15380455424 32409 33554432000 4194304 4196468 140731404497248 140064520660256 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10759] ppid=10747 vsize=15019976 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10759/stat : 10759 (java) S 10747 10750 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53288990 15380455424 32409 33554432000 4194304 4196468 140731404497248 140064386438768 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10760] ppid=10747 vsize=15019976 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10760/stat : 10760 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15380455424 32409 33554432000 4194304 4196468 140731404497248 140064011934288 140065901840283 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10761] ppid=10747 vsize=15019976 memory=8384 CPUtime=0.1 cores=0,2,4,6
/proc/10750/task/10761/stat : 10761 (java) R 10747 10750 2271 0 -1 4202560 787 0 0 0 10 0 0 0 20 0 15 0 53288992 15380455424 32409 33554432000 4194304 4196468 140731404497248 140064737806592 140065901831893 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10762] ppid=10747 vsize=15019976 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/10750/task/10762/stat : 10762 (java) R 10747 10750 2271 0 -1 4202560 162 0 0 0 7 0 0 0 20 0 15 0 53288992 15380455424 32409 33554432000 4194304 4196468 140731404497248 140064736747720 140065883366000 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10763] ppid=10747 vsize=15019976 memory=1424 CPUtime=0.18 cores=0,2,4,6
/proc/10750/task/10763/stat : 10763 (java) S 10747 10750 2271 0 -1 1077944384 505 0 0 0 18 0 0 0 20 0 15 0 53288992 15380455424 32409 33554432000 4194304 4196468 140731404497248 140064735709552 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10764] ppid=10747 vsize=15019976 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10764/stat : 10764 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15380455424 32409 33554432000 4194304 4196468 140731404497248 140063514028512 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10765] ppid=10747 vsize=15019976 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10765/stat : 10765 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288992 15380455424 32409 33554432000 4194304 4196468 140731404497248 140064734657456 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 129636 KiB

[startup+1.50249 s]
/proc/loadavg: 2.32 2.17 2.11 4/220 10765
/proc/meminfo: memFree=14785832/32770624 swapFree=67108860/67108860
[pid=10750] ppid=10747 vsize=15022100 memory=200480 CPUtime=3.58 cores=0,2,4,6
/proc/10750/stat : 10750 (java) S 10747 10750 2271 0 -1 1077944320 22020 0 0 0 349 9 0 0 20 0 15 0 53288985 15382630400 50120 33554432000 4194304 4196468 140731404497248 140731404479792 140065901821687 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
/proc/10750/statm: 3755525 50120 3208 1 0 3716910 0
[pid=10750/tid=10752] ppid=10747 vsize=15022100 memory=13570392392808141 CPUtime=1.47 cores=0,2,4,6
/proc/10750/task/10752/stat : 10752 (java) R 10747 10750 2271 0 -1 4202560 16411 0 0 0 140 7 0 0 20 0 15 0 53288986 15382630400 50120 33554432000 4194304 4196468 140731404497248 140065873654400 140065403448169 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10753] ppid=10747 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10753/stat : 10753 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15382630400 50120 33554432000 4194304 4196468 140731404497248 140065906063760 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10754] ppid=10747 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10754/stat : 10754 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15382630400 50120 33554432000 4194304 4196468 140731404497248 140065730705680 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10755] ppid=10747 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10755/stat : 10755 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15382630400 50120 33554432000 4194304 4196468 140731404497248 140065360915088 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10756] ppid=10747 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10756/stat : 10756 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288987 15382630400 50120 33554432000 4194304 4196468 140731404497248 140065359862288 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10757] ppid=10747 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10757/stat : 10757 (java) S 10747 10750 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53288989 15382630400 50120 33554432000 4194304 4196468 140731404497248 140064738867824 140065901832834 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0

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

[startup+2.95597 s]
# the end of solver process 10750 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.92545 s, system=0.154893 s

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

[startup+1.60079 s]
/proc/loadavg: 2.32 2.17 2.11 4/220 10765
/proc/meminfo: memFree=14785832/32770624 swapFree=67108860/67108860
[pid=10750] ppid=10747 vsize=15022100 memory=206220 CPUtime=3.88 cores=0,2,4,6
/proc/10750/stat : 10750 (java) S 10747 10750 2271 0 -1 1077944320 22938 0 0 0 379 9 0 0 20 0 15 0 53288985 15382630400 51555 33554432000 4194304 4196468 140731404497248 140731404479792 140065901821687 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
/proc/10750/statm: 3755525 51555 3208 1 0 3716910 0
[pid=10750/tid=10752] ppid=10747 vsize=15022100 memory=4282244239782474656 CPUtime=1.57 cores=0,2,4,6
/proc/10750/task/10752/stat : 10752 (java) R 10747 10750 2271 0 -1 4202560 16424 0 0 0 150 7 0 0 20 0 15 0 53288986 15382630400 51555 33554432000 4194304 4196468 140731404497248 140065873649696 140065901833622 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10753] ppid=10747 vsize=15022100 memory=-2971509717582823231 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10753/stat : 10753 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15382630400 51555 33554432000 4194304 4196468 140731404497248 140065906063760 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10754] ppid=10747 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10754/stat : 10754 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15382630400 51555 33554432000 4194304 4196468 140731404497248 140065730705680 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10755] ppid=10747 vsize=15022100 memory=7741798176185739619 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10755/stat : 10755 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15382630400 51555 33554432000 4194304 4196468 140731404497248 140065360915088 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10756] ppid=10747 vsize=15022100 memory=7597403712156951653 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10756/stat : 10756 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288987 15382630400 51555 33554432000 4194304 4196468 140731404497248 140065359862288 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10757] ppid=10747 vsize=15022100 memory=7377855403610231665 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10757/stat : 10757 (java) S 10747 10750 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53288989 15382630400 51555 33554432000 4194304 4196468 140731404497248 140064738867824 140065901832834 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10758] ppid=10747 vsize=15022100 memory=6081619128951586919 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10758/stat : 10758 (java) S 10747 10750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53288989 15382630400 51555 33554432000 4194304 4196468 140731404497248 140064520660256 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10759] ppid=10747 vsize=15022100 memory=7445975659075429969 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10759/stat : 10759 (java) S 10747 10750 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53288990 15382630400 51555 33554432000 4194304 4196468 140731404497248 140064386438768 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10760] ppid=10747 vsize=15022100 memory=6440537134177938537 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10760/stat : 10760 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15382630400 51555 33554432000 4194304 4196468 140731404497248 140064011934288 140065901840283 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10761] ppid=10747 vsize=15022100 memory=7522507179080117865 CPUtime=0.75 cores=0,2,4,6
/proc/10750/task/10761/stat : 10761 (java) S 10747 10750 2271 0 -1 1077944384 1444 0 0 0 75 0 0 0 20 0 15 0 53288992 15382630400 51555 33554432000 4194304 4196468 140731404497248 140064737814640 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10762] ppid=10747 vsize=15022100 memory=2209 CPUtime=0.79 cores=0,2,4,6
/proc/10750/task/10762/stat : 10762 (java) R 10747 10750 2271 0 -1 4202560 1230 0 0 0 79 0 0 0 20 0 15 0 53288992 15382630400 51555 33554432000 4194304 4196468 140731404497248 140064736761840 140065901833622 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10763] ppid=10747 vsize=15022100 memory=13898514172380 CPUtime=0.74 cores=0,2,4,6
/proc/10750/task/10763/stat : 10763 (java) S 10747 10750 2271 0 -1 1077944384 2480 0 0 0 73 1 0 0 20 0 15 0 53288992 15382630400 51555 33554432000 4194304 4196468 140731404497248 140064735709552 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10764] ppid=10747 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10764/stat : 10764 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15382630400 51555 33554432000 4194304 4196468 140731404497248 140063514028512 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10765] ppid=10747 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10765/stat : 10765 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288992 15382630400 51555 33554432000 4194304 4196468 140731404497248 140064734657456 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 206220 KiB

[startup+2.40068 s]
/proc/loadavg: 2.21 2.15 2.10 5/220 10765
/proc/meminfo: memFree=14679040/32770624 swapFree=67108860/67108860
[pid=10750] ppid=10747 vsize=15024148 memory=319340 CPUtime=6.42 cores=0,2,4,6
/proc/10750/stat : 10750 (java) S 10747 10750 2271 0 -1 1077944320 24848 0 0 0 631 11 0 0 20 0 15 0 53288985 15384727552 79835 33554432000 4194304 4196468 140731404497248 140731404479792 140065901821687 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
/proc/10750/statm: 3756037 79835 3210 1 0 3717422 0
[pid=10750/tid=10752] ppid=10747 vsize=15024148 memory=0 CPUtime=2.36 cores=0,2,4,6
/proc/10750/task/10752/stat : 10752 (java) R 10747 10750 2271 0 -1 4202560 16802 0 0 0 228 8 0 0 20 0 15 0 53288986 15384727552 79835 33554432000 4194304 4196468 140731404497248 140065873651168 140065901833622 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10753] ppid=10747 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10753/stat : 10753 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15384727552 79835 33554432000 4194304 4196468 140731404497248 140065906063760 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10754] ppid=10747 vsize=15024148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10754/stat : 10754 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15384727552 79835 33554432000 4194304 4196468 140731404497248 140065730705680 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10755] ppid=10747 vsize=15024148 memory=186093685297764 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10755/stat : 10755 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15384727552 79835 33554432000 4194304 4196468 140731404497248 140065360915088 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10756] ppid=10747 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10756/stat : 10756 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288987 15384727552 79835 33554432000 4194304 4196468 140731404497248 140065359862288 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10757] ppid=10747 vsize=15024148 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10757/stat : 10757 (java) S 10747 10750 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53288989 15384727552 79835 33554432000 4194304 4196468 140731404497248 140064738867824 140065901832834 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10758] ppid=10747 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10758/stat : 10758 (java) S 10747 10750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53288989 15384727552 79835 33554432000 4194304 4196468 140731404497248 140064520660256 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10759] ppid=10747 vsize=15024148 memory=279785443950832 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10759/stat : 10759 (java) S 10747 10750 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53288990 15384727552 79835 33554432000 4194304 4196468 140731404497248 140064386438768 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10760] ppid=10747 vsize=15024148 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10760/stat : 10760 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15384727552 79835 33554432000 4194304 4196468 140731404497248 140064011934288 140065901840283 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10761] ppid=10747 vsize=15024148 memory=-3472574513799858009 CPUtime=1.47 cores=0,2,4,6
/proc/10750/task/10761/stat : 10761 (java) R 10747 10750 2271 0 -1 4202560 2245 0 0 0 147 0 0 0 20 0 15 0 53288992 15384727552 79835 33554432000 4194304 4196468 140731404497248 140064737801392 140065894111076 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10762] ppid=10747 vsize=15024148 memory=6656426216303648864 CPUtime=1.51 cores=0,2,4,6
/proc/10750/task/10762/stat : 10762 (java) R 10747 10750 2271 0 -1 4202560 1483 0 0 0 151 0 0 0 20 0 15 0 53288992 15384727552 79835 33554432000 4194304 4196468 140731404497248 140064736741536 140065879416464 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10763] ppid=10747 vsize=15024148 memory=6944656592455360604 CPUtime=1.04 cores=0,2,4,6
/proc/10750/task/10763/stat : 10763 (java) R 10747 10750 2271 0 -1 1077944384 2958 0 0 0 103 1 0 0 20 0 15 0 53288992 15384727552 79835 33554432000 4194304 4196468 140731404497248 140064735709552 140065901832834 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10764] ppid=10747 vsize=15024148 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10764/stat : 10764 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15384727552 79835 33554432000 4194304 4196468 140731404497248 140063514028512 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10765] ppid=10747 vsize=15024148 memory=-4051592751533505334 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10765/stat : 10765 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288992 15384727552 79835 33554432000 4194304 4196468 140731404497248 140064734657456 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
Current children cumulated CPU time: 6.42 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 319340 KiB

[startup+2.80153 s]
/proc/loadavg: 2.21 2.15 2.10 5/220 10765
/proc/meminfo: memFree=14679040/32770624 swapFree=67108860/67108860
[pid=10750] ppid=10747 vsize=15026264 memory=390776 CPUtime=7.63 cores=0,2,4,6
/proc/10750/stat : 10750 (java) S 10747 10750 2271 0 -1 1077944320 26393 0 0 0 750 13 0 0 20 0 15 0 53288985 15386894336 97694 33554432000 4194304 4196468 140731404497248 140731404479792 140065901821687 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
/proc/10750/statm: 3756566 97694 3224 1 0 3717422 0
[pid=10750/tid=10752] ppid=10747 vsize=15026264 memory=288230621803970871 CPUtime=2.76 cores=0,2,4,6
/proc/10750/task/10752/stat : 10752 (java) R 10747 10750 2271 0 -1 4202560 17233 0 0 0 267 9 0 0 20 0 15 0 53288986 15386894336 97694 33554432000 4194304 4196468 140731404497248 140065873648128 140065885865317 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10753] ppid=10747 vsize=15026264 memory=16098156739823870 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10753/stat : 10753 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15386894336 97694 33554432000 4194304 4196468 140731404497248 140065906063760 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10754] ppid=10747 vsize=15026264 memory=279785444307936 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10754/stat : 10754 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15386894336 97694 33554432000 4194304 4196468 140731404497248 140065730705680 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10755] ppid=10747 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10755/stat : 10755 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288987 15386894336 97694 33554432000 4194304 4196468 140731404497248 140065360915088 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10756] ppid=10747 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10756/stat : 10756 (java) S 10747 10750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53288987 15386894336 97694 33554432000 4194304 4196468 140731404497248 140065359862288 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10757] ppid=10747 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10757/stat : 10757 (java) S 10747 10750 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53288989 15386894336 97694 33554432000 4194304 4196468 140731404497248 140064738867824 140065901832834 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10758] ppid=10747 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10758/stat : 10758 (java) S 10747 10750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53288989 15386894336 97694 33554432000 4194304 4196468 140731404497248 140064520660256 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10759] ppid=10747 vsize=15026264 memory=279785444329856 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10759/stat : 10759 (java) S 10747 10750 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53288990 15386894336 97694 33554432000 4194304 4196468 140731404497248 140064386438768 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10760] ppid=10747 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10760/stat : 10760 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15386894336 97694 33554432000 4194304 4196468 140731404497248 140064011934288 140065901840283 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10761] ppid=10747 vsize=15026264 memory=3184237812798147488 CPUtime=1.81 cores=0,2,4,6
/proc/10750/task/10761/stat : 10761 (java) R 10747 10750 2271 0 -1 4202560 2387 0 0 0 180 1 0 0 20 0 15 0 53288992 15386894336 97694 33554432000 4194304 4196468 140731404497248 140064737807832 140065887876714 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10762] ppid=10747 vsize=15026264 memory=6655300316396806240 CPUtime=1.87 cores=0,2,4,6
/proc/10750/task/10762/stat : 10762 (java) R 10747 10750 2271 0 -1 4202560 2245 0 0 0 187 0 0 0 20 0 15 0 53288992 15386894336 97694 33554432000 4194304 4196468 140731404497248 140064736747792 140065885318471 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10763] ppid=10747 vsize=15026264 memory=6944656592455359580 CPUtime=1.16 cores=0,2,4,6
/proc/10750/task/10763/stat : 10763 (java) S 10747 10750 2271 0 -1 1077944384 3168 0 0 0 115 1 0 0 20 0 15 0 53288992 15386894336 97694 33554432000 4194304 4196468 140731404497248 140064735709552 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10764] ppid=10747 vsize=15026264 memory=6944656574621848725 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10764/stat : 10764 (java) S 10747 10750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53288992 15386894336 97694 33554432000 4194304 4196468 140731404497248 140063514028512 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10765] ppid=10747 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10750/task/10765/stat : 10765 (java) S 10747 10750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53288992 15386894336 97694 33554432000 4194304 4196468 140731404497248 140064734657456 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 390776 KiB

[startup+2.90115 s]
/proc/loadavg: 2.21 2.15 2.10 5/220 10765
/proc/meminfo: memFree=14679040/32770624 swapFree=67108860/67108860
[pid=10750] ppid=10747 vsize=15552836 memory=417152 CPUtime=7.97 cores=0,2,4,6
/proc/10750/stat : 10750 (java) S 10747 10750 2271 0 -1 1077944320 27383 928 0 0 782 14 1 0 20 0 17 0 53288985 15926104064 104288 33554432000 4194304 4196468 140731404497248 140731404479792 140065901821687 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
/proc/10750/statm: 3888209 104288 3228 1 0 3849065 0
[pid=10750/tid=10752] ppid=10747 vsize=15552836 memory=7100839861500026784 CPUtime=2.86 cores=0,2,4,6
/proc/10750/task/10752/stat : 10752 (java) R 10747 10750 2271 0 -1 4202560 17584 928 0 0 275 10 1 0 20 0 17 0 53288986 15926104064 104288 33554432000 4194304 4196468 140731404497248 140065873659568 140065901833622 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10753] ppid=10747 vsize=15552836 memory=279785444431456 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10753/stat : 10753 (java) S 10747 10750 2271 0 -1 1077944384 1 928 0 0 0 0 1 0 20 0 17 0 53288987 15926104064 104288 33554432000 4194304 4196468 140731404497248 140065906063760 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10754] ppid=10747 vsize=15552836 memory=6944652177228980272 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10754/stat : 10754 (java) S 10747 10750 2271 0 -1 1077944384 1 928 0 0 0 0 1 0 20 0 17 0 53288987 15926104064 104288 33554432000 4194304 4196468 140731404497248 140065730705680 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10755] ppid=10747 vsize=15552836 memory=9051283677730746735 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10755/stat : 10755 (java) S 10747 10750 2271 0 -1 1077944384 1 928 0 0 0 0 1 0 20 0 17 0 53288987 15926104064 104288 33554432000 4194304 4196468 140731404497248 140065360915088 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10756] ppid=10747 vsize=15552836 memory=6944656591801720423 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10756/stat : 10756 (java) S 10747 10750 2271 0 -1 1077944384 2 928 0 0 0 0 1 0 20 0 17 0 53288987 15926104064 104288 33554432000 4194304 4196468 140731404497248 140065359862288 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10757] ppid=10747 vsize=15552836 memory=275472 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10757/stat : 10757 (java) S 10747 10750 2271 0 -1 1077944384 5 928 0 0 0 0 1 0 20 0 17 0 53288989 15926104064 104288 33554432000 4194304 4196468 140731404497248 140064738867824 140065901832834 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10758] ppid=10747 vsize=15552836 memory=13570392392808141 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10758/stat : 10758 (java) S 10747 10750 2271 0 -1 1077944384 13 928 0 0 0 0 1 0 20 0 17 0 53288989 15926104064 104288 33554432000 4194304 4196468 140731404497248 140064520660256 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10759] ppid=10747 vsize=15552836 memory=221924 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10759/stat : 10759 (java) S 10747 10750 2271 0 -1 1077944384 21 928 0 0 0 0 1 0 20 0 17 0 53288990 15926104064 104288 33554432000 4194304 4196468 140731404497248 140064386438768 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10760] ppid=10747 vsize=15552836 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10760/stat : 10760 (java) S 10747 10750 2271 0 -1 1077944384 3 928 0 0 0 0 1 0 20 0 17 0 53288992 15926104064 104288 33554432000 4194304 4196468 140731404497248 140064011934288 140065901840283 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10761] ppid=10747 vsize=15552836 memory=0 CPUtime=1.9 cores=0,2,4,6
/proc/10750/task/10761/stat : 10761 (java) S 10747 10750 2271 0 -1 1077944384 2409 928 0 0 188 1 1 0 20 0 17 0 53288992 15926104064 104288 33554432000 4194304 4196468 140731404497248 140064737814640 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10762] ppid=10747 vsize=15552836 memory=0 CPUtime=1.97 cores=0,2,4,6
/proc/10750/task/10762/stat : 10762 (java) R 10747 10750 2271 0 -1 4202560 2728 928 0 0 196 0 1 0 20 0 17 0 53288992 15926104064 104288 33554432000 4194304 4196468 140731404497248 140064736741728 140065881514783 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10763] ppid=10747 vsize=15552836 memory=0 CPUtime=1.2 cores=0,2,4,6
/proc/10750/task/10763/stat : 10763 (java) R 10747 10750 2271 0 -1 1077944384 3239 928 0 0 118 1 1 0 20 0 17 0 53288992 15926104064 104288 33554432000 4194304 4196468 140731404497248 140064735709552 140065901832834 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10764] ppid=10747 vsize=15552836 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10764/stat : 10764 (java) S 10747 10750 2271 0 -1 1077944384 3 928 0 0 0 0 1 0 20 0 17 0 53288992 15926104064 104288 33554432000 4194304 4196468 140731404497248 140063514028512 140065901831893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
[pid=10750/tid=10765] ppid=10747 vsize=15552836 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10750/task/10765/stat : 10765 (java) S 10747 10750 2271 0 -1 1077944384 1 928 0 0 0 0 1 0 20 0 17 0 53288992 15926104064 104288 33554432000 4194304 4196468 140731404497248 140064734657456 140065901832834 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31064064 140731404502003 140731404502281 140731404502281 140731404505039 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 417152 KiB

Child status: 0
Real time (s): 2.95601
CPU time (s): 8.08034
CPU user time (s): 7.92545
CPU system time (s): 0.154893
CPU usage (%): 273.353
Max. virtual memory (cumulated for all children) (KiB): 15552836
Max. memory (cumulated for all children) (KiB): 417152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.92545
system time used= 0.154893
maximum resident set size= 421156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3504
involuntary context switches= 26


# summary of solver processes directly reported to runsolver:
#   pid: 10750
#   total CPU time (s): 8.08034
#   total CPU user time (s): 7.92545
#   total CPU system time (s): 0.154893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042382 second user time and 0.069125 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-23 16:47:38
IDJOB=4294469
IDBENCH=141386
IDSOLVER=2756
FILE ID=node105/4294469-1532357258
RUNJOBID= node105-1532330128-2302
PBS_JOBID= 21019001
Free space on /tmp= 44844 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-4-4-5-cp_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -order -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294469-1532357258/watcher-4294469-1532357258 -o /tmp/evaluation-result-4294469-1532357258/solver-4294469-1532357258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294469-1532357258.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9520b1c3a7fc9338271b16f0cb9e04b3
RANDOM SEED=1652676302

node105.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.32
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.32
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.32
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.32
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:        14928908 kB
MemAvailable:   30578280 kB
Buffers:          199648 kB
Cached:         15423352 kB
SwapCached:            0 kB
Active:          2771188 kB
Inactive:       14264776 kB
Active(anon):    1365376 kB
Inactive(anon):    67172 kB
Active(file):    1405812 kB
Inactive(file): 14197604 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7844 kB
Writeback:             0 kB
AnonPages:       1436828 kB
Mapped:            49348 kB
Shmem:             17036 kB
Slab:             502044 kB
SReclaimable:     474416 kB
SUnreclaim:        27628 kB
KernelStack:        3968 kB
PageTables:         8292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13437084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1277952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44836 MiB
End job on node105 at 2018-07-23 16:47:41