Trace number 4401251

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 NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2OPT10 10.5034 4.44654

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-david.xml
MD5SUM8881d200d983e9a0f6a660f33978a65e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark8.31459
Satisfiable
(Un)Satisfiability was proved
Number of variables87
Number of constraints406
Number of domains1
Minimum domain size87
Maximum domain size87
Distribution of domain sizes[{"size":87,"count":87}]
Minimum variable degree2
Maximum variable degree83
Distribution of variable degrees[{"degree":2,"count":10},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":5},{"degree":6,"count":6},{"degree":7,"count":10},{"degree":8,"count":4},{"degree":9,"count":5},{"degree":10,"count":9},{"degree":11,"count":1},{"degree":12,"count":4},{"degree":13,"count":2},{"degree":15,"count":3},{"degree":16,"count":2},{"degree":17,"count":4},{"degree":18,"count":2},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":22,"count":1},{"degree":29,"count":1},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":83,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":406}]
Number of extensional constraints0
Number of intensional constraints406
Distribution of constraint types[{"type":"intension","count":406}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.75/0.60	c Concrete v3.12.2.1568631193530 running
8.72/3.85	o 86
9.02/3.95	o 85
9.72/4.17	o 84
9.72/4.17	o 83
9.72/4.17	o 82
9.72/4.17	o 81
10.03/4.21	o 80
10.03/4.24	o 79
10.03/4.27	o 78
10.30/4.30	o 77
10.30/4.31	o 76
10.30/4.32	o 75
10.30/4.34	o 10
10.30/4.35	v <instantiation
10.30/4.35	v         cost = '10'>
10.30/4.35	v       <list>
10.30/4.35	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86]
10.30/4.35	v       </list>
10.30/4.35	v       <values>
10.30/4.35	v         3 0 2 7 10 2 7 0 0 0 4 2 3 10 0 4 10 0 2 0 3 0 5 0 0 0 4 2 4 0 0 9 6 4 6 0 8 0 2 2 0 10 6 2 4 6 0 0 4 7 3 3 4 4 10 2 3 5 2 0 2 10 2 0 0 5 2 0 10 0 3 10 0 8 0 3 9 2 2 4 7 0 1 6 1 2 3
10.30/4.35	v       </values>
10.30/4.35	v     </instantiation>
10.30/4.35	s OPTIMUM FOUND

Verifier Data 

OK	10

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401251-1568675705/watcher-4401251-1568675705 -o /tmp/evaluation-result-4401251-1568675705/solver-4401251-1568675705 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568673291-31569 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=140789969 HOME/instance-4401251-1568675705.xml 

running on 4 cores: 4-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
Current StackSize limit: 8192 KiB

solver pid=32169, runsolver pid=32166

[startup+0.100132 s]*
/proc/loadavg: 1.52 1.36 1.44 2/215 32222
/proc/meminfo: memFree=29855460/32770688 swapFree=66961200/67108860
[pid=32169] ppid=32166 vsize=9972712 memory=18064 CPUtime=0.1 cores=4-7
/proc/32169/stat : 32169 (java) S 32166 32169 31537 0 -1 1077944320 4262 13332 0 0 1 1 5 3 20 0 6 0 443512174 10212057088 4516 33554432000 4194304 4196468 140734758178144 140734758160688 140347244334839 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
/proc/32169/statm: 2493178 4516 1897 1 0 2481616 0
[pid=32169/tid=32222] ppid=32166 vsize=9972712 memory=4279135703980342671 CPUtime=0.08 cores=4-7
/proc/32169/task/32222/stat : 32222 (java) R 32166 32169 31537 0 -1 4202560 2053 13332 0 0 0 0 5 3 20 0 6 0 443512184 10212057088 4516 33554432000 4194304 4196468 140734758178144 140347216171600 140347228415326 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32223] ppid=32166 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32223/stat : 32223 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 6 0 443512184 10212057088 4516 33554432000 4194304 4196468 140734758178144 140347248577552 140347244345045 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32224] ppid=32166 vsize=9972712 memory=140284959745664 CPUtime=0.08 cores=4-7
/proc/32169/task/32224/stat : 32224 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 6 0 443512184 10212057088 4516 33554432000 4194304 4196468 140734758178144 140347136851088 140347244345045 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32225] ppid=32166 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32225/stat : 32225 (java) S 32166 32169 31537 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 6 0 443512184 10212057088 4516 33554432000 4194304 4196468 140734758178144 140347135798032 140347244345045 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32226] ppid=32166 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7
/proc/32169/task/32226/stat : 32226 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 6 0 443512184 10212057088 4516 33554432000 4194304 4196468 140734758178144 140347134745488 140347244345045 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18064 KiB

[startup+0.211185 s]*
/proc/loadavg: 1.88 1.43 1.47 3/228 32235
/proc/meminfo: memFree=29834404/32770688 swapFree=66961200/67108860
[pid=32169] ppid=32166 vsize=10819712 memory=37976 CPUtime=0.26 cores=4-7
/proc/32169/stat : 32169 (java) S 32166 32169 31537 0 -1 1077944320 6864 13332 0 0 16 2 5 3 20 0 15 0 443512174 11079385088 9494 33554432000 4194304 4196468 140734758178144 140734758160688 140347244334839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
/proc/32169/statm: 2704928 9494 3183 1 0 2667149 0
[pid=32169/tid=32222] ppid=32166 vsize=10819712 memory=7022364594140610616 CPUtime=0.19 cores=4-7
/proc/32169/task/32222/stat : 32222 (java) R 32166 32169 31537 0 -1 4202560 3359 13332 0 0 10 1 5 3 20 0 15 0 443512184 11079385088 9494 33554432000 4194304 4196468 140734758178144 140347216150064 140347244356765 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32223] ppid=32166 vsize=10819712 memory=365 CPUtime=0.08 cores=4-7
/proc/32169/task/32223/stat : 32223 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512184 11079385088 9494 33554432000 4194304 4196468 140734758178144 140347248577552 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32224] ppid=32166 vsize=10819712 memory=3907355155472148128 CPUtime=0.08 cores=4-7
/proc/32169/task/32224/stat : 32224 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512184 11079385088 9494 33554432000 4194304 4196468 140734758178144 140347136851088 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32225] ppid=32166 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32225/stat : 32225 (java) S 32166 32169 31537 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 443512184 11079385088 9494 33554432000 4194304 4196468 140734758178144 140347135798032 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32226] ppid=32166 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/32169/task/32226/stat : 32226 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512184 11079385088 9494 33554432000 4194304 4196468 140734758178144 140347134745488 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32227] ppid=32166 vsize=10819712 memory=140284959745664 CPUtime=0.08 cores=4-7
/proc/32169/task/32227/stat : 32227 (java) S 32166 32169 31537 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 443512186 11079385088 9494 33554432000 4194304 4196468 140734758178144 140346703825136 140347244345986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32228] ppid=32166 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/32169/task/32228/stat : 32228 (java) S 32166 32169 31537 0 -1 1077944384 33 13332 0 0 0 0 5 3 20 0 15 0 443512186 11079385088 9494 33554432000 4194304 4196468 140734758178144 140346702771360 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32229] ppid=32166 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32229/stat : 32229 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512187 11079385088 9494 33554432000 4194304 4196468 140734758178144 140346109453040 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32230] ppid=32166 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32230/stat : 32230 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11079385088 9494 33554432000 4194304 4196468 140734758178144 140345802053584 140347244353435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32231] ppid=32166 vsize=10819712 memory=0 CPUtime=0.09 cores=4-7
/proc/32169/task/32231/stat : 32231 (java) S 32166 32169 31537 0 -1 1077944384 492 13332 0 0 1 0 5 3 20 0 15 0 443512190 11079385088 9494 33554432000 4194304 4196468 140734758178144 140346669214448 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32232] ppid=32166 vsize=10819712 memory=-1 CPUtime=0.09 cores=4-7
/proc/32169/task/32232/stat : 32232 (java) S 32166 32169 31537 0 -1 1077944384 167 13332 0 0 1 0 5 3 20 0 15 0 443512190 11079385088 9494 33554432000 4194304 4196468 140734758178144 140346668161904 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32233] ppid=32166 vsize=10819712 memory=140284959745664 CPUtime=0.11 cores=4-7
/proc/32169/task/32233/stat : 32233 (java) R 32166 32169 31537 0 -1 4202560 593 13332 0 0 3 0 5 3 20 0 15 0 443512190 11079385088 9494 33554432000 4194304 4196468 140734758178144 140346667108848 140347244356186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32234] ppid=32166 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/32169/task/32234/stat : 32234 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11079385088 9494 33554432000 4194304 4196468 140734758178144 140345768495968 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32235] ppid=32166 vsize=10819712 memory=140284959745664 CPUtime=0.08 cores=4-7
/proc/32169/task/32235/stat : 32235 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512190 11079385088 9494 33554432000 4194304 4196468 140734758178144 140346666056240 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 37976 KiB

[startup+0.311571 s]*
/proc/loadavg: 1.88 1.43 1.47 5/228 32235
/proc/meminfo: memFree=29821152/32770688 swapFree=66961200/67108860
[pid=32169] ppid=32166 vsize=10820196 memory=49164 CPUtime=0.4 cores=4-7
/proc/32169/stat : 32169 (java) S 32166 32169 31537 0 -1 1077944320 10502 13332 0 0 28 4 5 3 20 0 15 0 443512174 11079880704 12291 33554432000 4194304 4196468 140734758178144 140734758160688 140347244334839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
/proc/32169/statm: 2705049 12291 3316 1 0 2667149 0
[pid=32169/tid=32222] ppid=32166 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=4-7
/proc/32169/task/32222/stat : 32222 (java) R 32166 32169 31537 0 -1 4202560 6978 13332 0 0 18 3 5 3 20 0 15 0 443512184 11079880704 12291 33554432000 4194304 4196468 140734758178144 140347216143792 140347244346774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32223] ppid=32166 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32223/stat : 32223 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512184 11079880704 12291 33554432000 4194304 4196468 140734758178144 140347248577552 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32224] ppid=32166 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32224/stat : 32224 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512184 11079880704 12291 33554432000 4194304 4196468 140734758178144 140347136851088 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32225] ppid=32166 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32225/stat : 32225 (java) S 32166 32169 31537 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 443512184 11079880704 12291 33554432000 4194304 4196468 140734758178144 140347135798032 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32226] ppid=32166 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32226/stat : 32226 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512184 11079880704 12291 33554432000 4194304 4196468 140734758178144 140347134745488 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32227] ppid=32166 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32227/stat : 32227 (java) S 32166 32169 31537 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 443512186 11079880704 12291 33554432000 4194304 4196468 140734758178144 140346703825136 140347244345986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32228] ppid=32166 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/32169/task/32228/stat : 32228 (java) S 32166 32169 31537 0 -1 1077944384 33 13332 0 0 0 0 5 3 20 0 15 0 443512186 11079880704 12291 33554432000 4194304 4196468 140734758178144 140346702771360 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32229] ppid=32166 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32229/stat : 32229 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512187 11079880704 12291 33554432000 4194304 4196468 140734758178144 140346109453040 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32230] ppid=32166 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32230/stat : 32230 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11079880704 12291 33554432000 4194304 4196468 140734758178144 140345802053584 140347244353435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32231] ppid=32166 vsize=10820196 memory=0 CPUtime=0.1 cores=4-7
/proc/32169/task/32231/stat : 32231 (java) S 32166 32169 31537 0 -1 1077944384 493 13332 0 0 2 0 5 3 20 0 15 0 443512190 11079880704 12291 33554432000 4194304 4196468 140734758178144 140346669214448 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32232] ppid=32166 vsize=10820196 memory=-1 CPUtime=0.09 cores=4-7
/proc/32169/task/32232/stat : 32232 (java) S 32166 32169 31537 0 -1 1077944384 176 13332 0 0 1 0 5 3 20 0 15 0 443512190 11079880704 12291 33554432000 4194304 4196468 140734758178144 140346668161904 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32233] ppid=32166 vsize=10820196 memory=140284959745664 CPUtime=0.13 cores=4-7
/proc/32169/task/32233/stat : 32233 (java) R 32166 32169 31537 0 -1 4202560 602 13332 0 0 5 0 5 3 20 0 15 0 443512190 11079880704 12291 33554432000 4194304 4196468 140734758178144 140346667108848 140347222932106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32234] ppid=32166 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/32169/task/32234/stat : 32234 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11079880704 12291 33554432000 4194304 4196468 140734758178144 140345768495968 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32235] ppid=32166 vsize=10820196 memory=140284959745664 CPUtime=0.08 cores=4-7
/proc/32169/task/32235/stat : 32235 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512190 11079880704 12291 33554432000 4194304 4196468 140734758178144 140346666056240 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49164 KiB

[startup+0.700807 s]
/proc/loadavg: 1.88 1.43 1.47 3/228 32235
/proc/meminfo: memFree=29806988/32770688 swapFree=66961200/67108860
[pid=32169] ppid=32166 vsize=10822316 memory=75748 CPUtime=1.07 cores=4-7
/proc/32169/stat : 32169 (java) S 32166 32169 31537 0 -1 1077944320 14260 13332 0 0 94 5 5 3 20 0 15 0 443512174 11082051584 18937 33554432000 4194304 4196468 140734758178144 140734758160688 140347244334839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
/proc/32169/statm: 2705579 18937 3489 1 0 2667661 0
[pid=32169/tid=32222] ppid=32166 vsize=10822316 memory=0 CPUtime=0.67 cores=4-7
/proc/32169/task/32222/stat : 32222 (java) R 32166 32169 31537 0 -1 4202560 9709 13332 0 0 55 4 5 3 20 0 15 0 443512184 11082051584 18937 33554432000 4194304 4196468 140734758178144 140347216163168 140347228415326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32223] ppid=32166 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32223/stat : 32223 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512184 11082051584 18937 33554432000 4194304 4196468 140734758178144 140347248577552 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32224] ppid=32166 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32224/stat : 32224 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512184 11082051584 18937 33554432000 4194304 4196468 140734758178144 140347136851088 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32225] ppid=32166 vsize=10822316 memory=32804 CPUtime=0.08 cores=4-7
/proc/32169/task/32225/stat : 32225 (java) S 32166 32169 31537 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 443512184 11082051584 18937 33554432000 4194304 4196468 140734758178144 140347135798032 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32226] ppid=32166 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32226/stat : 32226 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512184 11082051584 18937 33554432000 4194304 4196468 140734758178144 140347134745488 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32227] ppid=32166 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32227/stat : 32227 (java) S 32166 32169 31537 0 -1 1077944384 5 13332 0 0 0 0 5 3 20 0 15 0 443512186 11082051584 18937 33554432000 4194304 4196468 140734758178144 140346703825136 140347244345986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32228] ppid=32166 vsize=10822316 memory=140284839211696 CPUtime=0.08 cores=4-7
/proc/32169/task/32228/stat : 32228 (java) S 32166 32169 31537 0 -1 1077944384 33 13332 0 0 0 0 5 3 20 0 15 0 443512186 11082051584 18937 33554432000 4194304 4196468 140734758178144 140346702771360 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32229] ppid=32166 vsize=10822316 memory=140286516789828 CPUtime=0.08 cores=4-7
/proc/32169/task/32229/stat : 32229 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512187 11082051584 18937 33554432000 4194304 4196468 140734758178144 140346109453040 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32230] ppid=32166 vsize=10822316 memory=2832 CPUtime=0.08 cores=4-7
/proc/32169/task/32230/stat : 32230 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11082051584 18937 33554432000 4194304 4196468 140734758178144 140345802053584 140347244353435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32231] ppid=32166 vsize=10822316 memory=7524764360453481792 CPUtime=0.18 cores=4-7
/proc/32169/task/32231/stat : 32231 (java) R 32166 32169 31537 0 -1 4202560 843 13332 0 0 10 0 5 3 20 0 15 0 443512190 11082051584 18937 33554432000 4194304 4196468 140734758178144 140346669204560 140347223591532 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32232] ppid=32166 vsize=10822316 memory=6082224990543179366 CPUtime=0.18 cores=4-7
/proc/32169/task/32232/stat : 32232 (java) R 32166 32169 31537 0 -1 4202560 701 13332 0 0 10 0 5 3 20 0 15 0 443512190 11082051584 18937 33554432000 4194304 4196468 140734758178144 140346668161904 140347225879015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32233] ppid=32166 vsize=10822316 memory=6076878065162868073 CPUtime=0.25 cores=4-7
/proc/32169/task/32233/stat : 32233 (java) S 32166 32169 31537 0 -1 1077944384 753 13332 0 0 17 0 5 3 20 0 15 0 443512190 11082051584 18937 33554432000 4194304 4196468 140734758178144 140346667108848 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32234] ppid=32166 vsize=10822316 memory=3612 CPUtime=0.08 cores=4-7
/proc/32169/task/32234/stat : 32234 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11082051584 18937 33554432000 4194304 4196468 140734758178144 140345768495968 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32235] ppid=32166 vsize=10822316 memory=2241 CPUtime=0.08 cores=4-7
/proc/32169/task/32235/stat : 32235 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512190 11082051584 18937 33554432000 4194304 4196468 140734758178144 140346666056240 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 75748 KiB

[startup+1.50079 s]
/proc/loadavg: 1.88 1.43 1.47 3/228 32235
/proc/meminfo: memFree=29775336/32770688 swapFree=66961200/67108860
[pid=32169] ppid=32166 vsize=10834680 memory=168776 CPUtime=2.42 cores=4-7
/proc/32169/stat : 32169 (java) S 32166 32169 31537 0 -1 1077944320 20877 13332 0 0 223 11 5 3 20 0 15 0 443512174 11094712320 42194 33554432000 4194304 4196468 140734758178144 140734758160688 140347244334839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
/proc/32169/statm: 2708670 42194 3577 1 0 2670733 0
[pid=32169/tid=32222] ppid=32166 vsize=10834680 memory=9316 CPUtime=1.43 cores=4-7
/proc/32169/task/32222/stat : 32222 (java) R 32166 32169 31537 0 -1 4202560 14492 13332 0 0 129 6 5 3 20 0 15 0 443512184 11094712320 42194 33554432000 4194304 4196468 140734758178144 140347216161504 140347244356765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32223] ppid=32166 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=4-7
/proc/32169/task/32223/stat : 32223 (java) S 32166 32169 31537 0 -1 1077944384 10 13332 0 0 0 0 5 3 20 0 15 0 443512184 11094712320 42194 33554432000 4194304 4196468 140734758178144 140347248577552 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32224] ppid=32166 vsize=10834680 memory=1408 CPUtime=0.09 cores=4-7
/proc/32169/task/32224/stat : 32224 (java) S 32166 32169 31537 0 -1 1077944384 46 13332 0 0 1 0 5 3 20 0 15 0 443512184 11094712320 42194 33554432000 4194304 4196468 140734758178144 140347136851088 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32225] ppid=32166 vsize=10834680 memory=2720 CPUtime=0.09 cores=4-7
/proc/32169/task/32225/stat : 32225 (java) S 32166 32169 31537 0 -1 1077944384 257 13332 0 0 1 0 5 3 20 0 15 0 443512184 11094712320 42194 33554432000 4194304 4196468 140734758178144 140347135798032 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32226] ppid=32166 vsize=10834680 memory=75748 CPUtime=0.09 cores=4-7
/proc/32169/task/32226/stat : 32226 (java) S 32166 32169 31537 0 -1 1077944384 49 13332 0 0 1 0 5 3 20 0 15 0 443512184 11094712320 42194 33554432000 4194304 4196468 140734758178144 140347134745488 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32227] ppid=32166 vsize=10834680 memory=0 CPUtime=0.09 cores=4-7
/proc/32169/task/32227/stat : 32227 (java) S 32166 32169 31537 0 -1 1077944384 114 13332 0 0 1 0 5 3 20 0 15 0 443512186 11094712320 42194 33554432000 4194304 4196468 140734758178144 140346703825136 140347244345986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32228] ppid=32166 vsize=10834680 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32228/stat : 32228 (java) S 32166 32169 31537 0 -1 1077944384 34 13332 0 0 0 0 5 3 20 0 15 0 443512186 11094712320 42194 33554432000 4194304 4196468 140734758178144 140346702771424 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32229] ppid=32166 vsize=10834680 memory=0 CPUtime=0.08 cores=4-7
/proc/32169/task/32229/stat : 32229 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512187 11094712320 42194 33554432000 4194304 4196468 140734758178144 140346109453040 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32230] ppid=32166 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=4-7
/proc/32169/task/32230/stat : 32230 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11094712320 42194 33554432000 4194304 4196468 140734758178144 140345802053584 140347244353435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32231] ppid=32166 vsize=10834680 memory=4638778398332698720 CPUtime=0.32 cores=4-7
/proc/32169/task/32231/stat : 32231 (java) S 32166 32169 31537 0 -1 1077944384 1124 13332 0 0 24 0 5 3 20 0 15 0 443512190 11094712320 42194 33554432000 4194304 4196468 140734758178144 140346669214448 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32232] ppid=32166 vsize=10834680 memory=280569678699392 CPUtime=0.31 cores=4-7
/proc/32169/task/32232/stat : 32232 (java) S 32166 32169 31537 0 -1 1077944384 1172 13332 0 0 23 0 5 3 20 0 15 0 443512190 11094712320 42194 33554432000 4194304 4196468 140734758178144 140346668161904 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32233] ppid=32166 vsize=10834680 memory=4137290303932963203 CPUtime=0.46 cores=4-7
/proc/32169/task/32233/stat : 32233 (java) S 32166 32169 31537 0 -1 1077944384 1366 13332 0 0 38 0 5 3 20 0 15 0 443512190 11094712320 42194 33554432000 4194304 4196468 140734758178144 140346667108848 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32234] ppid=32166 vsize=10834680 memory=6944656591801719708 CPUtime=0.08 cores=4-7
/proc/32169/task/32234/stat : 32234 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11094712320 42194 33554432000 4194304 4196468 140734758178144 140345768495968 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32235] ppid=32166 vsize=10834680 memory=6944656425123290226 CPUtime=0.08 cores=4-7
/proc/32169/task/32235/stat : 32235 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512190 11094712320 42194 33554432000 4194304 4196468 140734758178144 140346666056240 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 168776 KiB

[startup+3.11161 s]
/proc/loadavg: 1.88 1.43 1.47 3/228 32235
/proc/meminfo: memFree=29630660/32770688 swapFree=66961200/67108860
[pid=32169] ppid=32166 vsize=10844940 memory=242800 CPUtime=6.48 cores=4-7
/proc/32169/stat : 32169 (java) S 32166 32169 31537 0 -1 1077944320 34871 13332 0 0 625 15 5 3 20 0 15 0 443512174 11105218560 60700 33554432000 4194304 4196468 140734758178144 140734758160688 140347244334839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
/proc/32169/statm: 2711235 60700 3615 1 0 2673293 0
[pid=32169/tid=32222] ppid=32166 vsize=10844940 memory=8 CPUtime=2.99 cores=4-7
/proc/32169/task/32222/stat : 32222 (java) S 32166 32169 31537 0 -1 1077944384 19836 13332 0 0 283 8 5 3 20 0 15 0 443512184 11105218560 60700 33554432000 4194304 4196468 140734758178144 140347216158784 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32223] ppid=32166 vsize=10844940 memory=193764 CPUtime=0.1 cores=4-7
/proc/32169/task/32223/stat : 32223 (java) S 32166 32169 31537 0 -1 1077944384 25 13332 0 0 2 0 5 3 20 0 15 0 443512184 11105218560 60700 33554432000 4194304 4196468 140734758178144 140347248577552 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32224] ppid=32166 vsize=10844940 memory=9316 CPUtime=0.11 cores=4-7
/proc/32169/task/32224/stat : 32224 (java) S 32166 32169 31537 0 -1 1077944384 67 13332 0 0 3 0 5 3 20 0 15 0 443512184 11105218560 60700 33554432000 4194304 4196468 140734758178144 140347136851088 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32225] ppid=32166 vsize=10844940 memory=3612 CPUtime=0.11 cores=4-7
/proc/32169/task/32225/stat : 32225 (java) S 32166 32169 31537 0 -1 1077944384 264 13332 0 0 3 0 5 3 20 0 15 0 443512184 11105218560 60700 33554432000 4194304 4196468 140734758178144 140347135798032 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32226] ppid=32166 vsize=10844940 memory=46216 CPUtime=0.11 cores=4-7
/proc/32169/task/32226/stat : 32226 (java) S 32166 32169 31537 0 -1 1077944384 83 13332 0 0 3 0 5 3 20 0 15 0 443512184 11105218560 60700 33554432000 4194304 4196468 140734758178144 140347134745488 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32227] ppid=32166 vsize=10844940 memory=984 CPUtime=0.11 cores=4-7
/proc/32169/task/32227/stat : 32227 (java) S 32166 32169 31537 0 -1 1077944384 1165 13332 0 0 3 0 5 3 20 0 15 0 443512186 11105218560 60700 33554432000 4194304 4196468 140734758178144 140346703825136 140347244345986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32228] ppid=32166 vsize=10844940 memory=3612 CPUtime=0.08 cores=4-7
/proc/32169/task/32228/stat : 32228 (java) S 32166 32169 31537 0 -1 1077944384 34 13332 0 0 0 0 5 3 20 0 15 0 443512186 11105218560 60700 33554432000 4194304 4196468 140734758178144 140346702771424 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32229] ppid=32166 vsize=10844940 memory=6360846566568 CPUtime=0.08 cores=4-7
/proc/32169/task/32229/stat : 32229 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512187 11105218560 60700 33554432000 4194304 4196468 140734758178144 140346109453056 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32230] ppid=32166 vsize=10844940 memory=288230596050944315 CPUtime=0.08 cores=4-7
/proc/32169/task/32230/stat : 32230 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11105218560 60700 33554432000 4194304 4196468 140734758178144 140345802053584 140347244353435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32231] ppid=32166 vsize=10844940 memory=14698491322567293 CPUtime=1.22 cores=4-7
/proc/32169/task/32231/stat : 32231 (java) R 32166 32169 31537 0 -1 4202560 3767 13332 0 0 113 1 5 3 20 0 15 0 443512190 11105218560 60700 33554432000 4194304 4196468 140734758178144 140346669194752 140347223553486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32232] ppid=32166 vsize=10844940 memory=0 CPUtime=1 cores=4-7
/proc/32169/task/32232/stat : 32232 (java) S 32166 32169 31537 0 -1 1077944384 2477 13332 0 0 91 1 5 3 20 0 15 0 443512190 11105218560 60700 33554432000 4194304 4196468 140734758178144 140346668161904 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32233] ppid=32166 vsize=10844940 memory=0 CPUtime=1.28 cores=4-7
/proc/32169/task/32233/stat : 32233 (java) S 32166 32169 31537 0 -1 1077944384 4940 13332 0 0 118 2 5 3 20 0 15 0 443512190 11105218560 60700 33554432000 4194304 4196468 140734758178144 140346667108848 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32234] ppid=32166 vsize=10844940 memory=3836 CPUtime=0.08 cores=4-7
/proc/32169/task/32234/stat : 32234 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11105218560 60700 33554432000 4194304 4196468 140734758178144 140345768495968 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32235] ppid=32166 vsize=10844940 memory=2616 CPUtime=0.08 cores=4-7
/proc/32169/task/32235/stat : 32235 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512190 11105218560 60700 33554432000 4194304 4196468 140734758178144 140346666056240 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
Current children cumulated CPU time: 6.48 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 242800 KiB

[startup+4.44649 s]
# the end of solver process 32169 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.2753 s, system=0.22816 s

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

[startup+3.20157 s]
/proc/loadavg: 1.88 1.43 1.47 3/228 32235
/proc/meminfo: memFree=29630660/32770688 swapFree=66961200/67108860
[pid=32169] ppid=32166 vsize=10844940 memory=245872 CPUtime=6.78 cores=4-7
/proc/32169/stat : 32169 (java) S 32166 32169 31537 0 -1 1077944320 36319 13332 0 0 654 16 5 3 20 0 15 0 443512174 11105218560 61468 33554432000 4194304 4196468 140734758178144 140734758160688 140347244334839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
/proc/32169/statm: 2711235 61468 3616 1 0 2673293 0
[pid=32169/tid=32222] ppid=32166 vsize=10844940 memory=280569678666816 CPUtime=3.08 cores=4-7
/proc/32169/task/32222/stat : 32222 (java) R 32166 32169 31537 0 -1 4202560 20248 13332 0 0 292 8 5 3 20 0 15 0 443512184 11105218560 61468 33554432000 4194304 4196468 140734758178144 140347216164752 140346808447616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32223] ppid=32166 vsize=10844940 memory=3472425743939547748 CPUtime=0.1 cores=4-7
/proc/32169/task/32223/stat : 32223 (java) S 32166 32169 31537 0 -1 1077944384 25 13332 0 0 2 0 5 3 20 0 15 0 443512184 11105218560 61468 33554432000 4194304 4196468 140734758178144 140347248577552 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32224] ppid=32166 vsize=10844940 memory=6944656591801717918 CPUtime=0.11 cores=4-7
/proc/32169/task/32224/stat : 32224 (java) S 32166 32169 31537 0 -1 1077944384 67 13332 0 0 3 0 5 3 20 0 15 0 443512184 11105218560 61468 33554432000 4194304 4196468 140734758178144 140347136851088 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32225] ppid=32166 vsize=10844940 memory=6944656592455360569 CPUtime=0.11 cores=4-7
/proc/32169/task/32225/stat : 32225 (java) S 32166 32169 31537 0 -1 1077944384 264 13332 0 0 3 0 5 3 20 0 15 0 443512184 11105218560 61468 33554432000 4194304 4196468 140734758178144 140347135798032 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32226] ppid=32166 vsize=10844940 memory=6944656592455360608 CPUtime=0.11 cores=4-7
/proc/32169/task/32226/stat : 32226 (java) S 32166 32169 31537 0 -1 1077944384 83 13332 0 0 3 0 5 3 20 0 15 0 443512184 11105218560 61468 33554432000 4194304 4196468 140734758178144 140347134745488 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32227] ppid=32166 vsize=10844940 memory=280569678135536 CPUtime=0.11 cores=4-7
/proc/32169/task/32227/stat : 32227 (java) S 32166 32169 31537 0 -1 1077944384 1165 13332 0 0 3 0 5 3 20 0 15 0 443512186 11105218560 61468 33554432000 4194304 4196468 140734758178144 140346703825136 140347244345986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32228] ppid=32166 vsize=10844940 memory=56 CPUtime=0.08 cores=4-7
/proc/32169/task/32228/stat : 32228 (java) S 32166 32169 31537 0 -1 1077944384 34 13332 0 0 0 0 5 3 20 0 15 0 443512186 11105218560 61468 33554432000 4194304 4196468 140734758178144 140346702771424 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32229] ppid=32166 vsize=10844940 memory=1408 CPUtime=0.08 cores=4-7
/proc/32169/task/32229/stat : 32229 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512187 11105218560 61468 33554432000 4194304 4196468 140734758178144 140346109453056 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32230] ppid=32166 vsize=10844940 memory=2720 CPUtime=0.08 cores=4-7
/proc/32169/task/32230/stat : 32230 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11105218560 61468 33554432000 4194304 4196468 140734758178144 140345802053584 140347244353435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32231] ppid=32166 vsize=10844940 memory=773048 CPUtime=1.31 cores=4-7
/proc/32169/task/32231/stat : 32231 (java) R 32166 32169 31537 0 -1 4202560 4091 13332 0 0 122 1 5 3 20 0 15 0 443512190 11105218560 61468 33554432000 4194304 4196468 140734758178144 140346669194752 140347223602304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32232] ppid=32166 vsize=10844940 memory=1408 CPUtime=1.07 cores=4-7
/proc/32169/task/32232/stat : 32232 (java) R 32166 32169 31537 0 -1 4202560 2958 13332 0 0 98 1 5 3 20 0 15 0 443512190 11105218560 61468 33554432000 4194304 4196468 140734758178144 140346668147784 140347224027939 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32233] ppid=32166 vsize=10844940 memory=2420 CPUtime=1.32 cores=4-7
/proc/32169/task/32233/stat : 32233 (java) R 32166 32169 31537 0 -1 4202560 5346 13332 0 0 122 2 5 3 20 0 15 0 443512190 11105218560 61468 33554432000 4194304 4196468 140734758178144 140346667108848 140347222703478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32234] ppid=32166 vsize=10844940 memory=63256 CPUtime=0.08 cores=4-7
/proc/32169/task/32234/stat : 32234 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11105218560 61468 33554432000 4194304 4196468 140734758178144 140345768495968 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32235] ppid=32166 vsize=10844940 memory=6791534058613427641 CPUtime=0.08 cores=4-7
/proc/32169/task/32235/stat : 32235 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512190 11105218560 61468 33554432000 4194304 4196468 140734758178144 140346666056240 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
Current children cumulated CPU time: 6.78 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 245872 KiB

[startup+4.00095 s]*
/proc/loadavg: 1.88 1.43 1.47 6/228 32235
/proc/meminfo: memFree=29552328/32770688 swapFree=66961200/67108860
[pid=32169] ppid=32166 vsize=10844940 memory=267068 CPUtime=9.37 cores=4-7
/proc/32169/stat : 32169 (java) S 32166 32169 31537 0 -1 1077944320 48460 13332 0 0 912 17 5 3 20 0 15 0 443512174 11105218560 66767 33554432000 4194304 4196468 140734758178144 140734758160688 140347244334839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
/proc/32169/statm: 2711235 66767 3618 1 0 2673293 0
[pid=32169/tid=32222] ppid=32166 vsize=10844940 memory=734139726812938545 CPUtime=3.89 cores=4-7
/proc/32169/task/32222/stat : 32222 (java) R 32166 32169 31537 0 -1 4202560 22331 13332 0 0 373 8 5 3 20 0 15 0 443512184 11105218560 66767 33554432000 4194304 4196468 140734758178144 140347216169128 140346809972199 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32223] ppid=32166 vsize=10844940 memory=0 CPUtime=0.1 cores=4-7
/proc/32169/task/32223/stat : 32223 (java) S 32166 32169 31537 0 -1 1077944384 25 13332 0 0 2 0 5 3 20 0 15 0 443512184 11105218560 66767 33554432000 4194304 4196468 140734758178144 140347248577552 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32224] ppid=32166 vsize=10844940 memory=140284962144142 CPUtime=0.11 cores=4-7
/proc/32169/task/32224/stat : 32224 (java) S 32166 32169 31537 0 -1 1077944384 67 13332 0 0 3 0 5 3 20 0 15 0 443512184 11105218560 66767 33554432000 4194304 4196468 140734758178144 140347136851088 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32225] ppid=32166 vsize=10844940 memory=-2098775911743863648 CPUtime=0.11 cores=4-7
/proc/32169/task/32225/stat : 32225 (java) S 32166 32169 31537 0 -1 1077944384 264 13332 0 0 3 0 5 3 20 0 15 0 443512184 11105218560 66767 33554432000 4194304 4196468 140734758178144 140347135798032 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32226] ppid=32166 vsize=10844940 memory=6944652177228980320 CPUtime=0.11 cores=4-7
/proc/32169/task/32226/stat : 32226 (java) S 32166 32169 31537 0 -1 1077944384 83 13332 0 0 3 0 5 3 20 0 15 0 443512184 11105218560 66767 33554432000 4194304 4196468 140734758178144 140347134745488 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32227] ppid=32166 vsize=10844940 memory=0 CPUtime=0.11 cores=4-7
/proc/32169/task/32227/stat : 32227 (java) S 32166 32169 31537 0 -1 1077944384 1195 13332 0 0 3 0 5 3 20 0 15 0 443512186 11105218560 66767 33554432000 4194304 4196468 140734758178144 140346703825136 140347244345986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32228] ppid=32166 vsize=10844940 memory=3472328296227418159 CPUtime=0.08 cores=4-7
/proc/32169/task/32228/stat : 32228 (java) S 32166 32169 31537 0 -1 1077944384 34 13332 0 0 0 0 5 3 20 0 15 0 443512186 11105218560 66767 33554432000 4194304 4196468 140734758178144 140346702771424 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32229] ppid=32166 vsize=10844940 memory=6943526294502006880 CPUtime=0.08 cores=4-7
/proc/32169/task/32229/stat : 32229 (java) S 32166 32169 31537 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 443512187 11105218560 66767 33554432000 4194304 4196468 140734758178144 140346109453056 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32230] ppid=32166 vsize=10844940 memory=6944656592455097440 CPUtime=0.08 cores=4-7
/proc/32169/task/32230/stat : 32230 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11105218560 66767 33554432000 4194304 4196468 140734758178144 140345802053584 140347244353435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32231] ppid=32166 vsize=10844940 memory=0 CPUtime=2.12 cores=4-7
/proc/32169/task/32231/stat : 32231 (java) R 32166 32169 31537 0 -1 4202560 9989 13332 0 0 202 2 5 3 20 0 15 0 443512190 11105218560 66767 33554432000 4194304 4196468 140734758178144 140346669201232 140347223686345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32232] ppid=32166 vsize=10844940 memory=3184097920075968559 CPUtime=1.86 cores=4-7
/proc/32169/task/32232/stat : 32232 (java) R 32166 32169 31537 0 -1 4202560 4972 13332 0 0 177 1 5 3 20 0 15 0 443512190 11105218560 66767 33554432000 4194304 4196468 140734758178144 140346668148096 140347228734602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32233] ppid=32166 vsize=10844940 memory=3472468581187424944 CPUtime=1.51 cores=4-7
/proc/32169/task/32233/stat : 32233 (java) R 32166 32169 31537 0 -1 1077944384 7280 13332 0 0 141 2 5 3 20 0 15 0 443512190 11105218560 66767 33554432000 4194304 4196468 140734758178144 140346667108848 140347244345986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32234] ppid=32166 vsize=10844940 memory=3472328296227679279 CPUtime=0.08 cores=4-7
/proc/32169/task/32234/stat : 32234 (java) S 32166 32169 31537 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 443512190 11105218560 66767 33554432000 4194304 4196468 140734758178144 140345768495968 140347244345045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
[pid=32169/tid=32235] ppid=32166 vsize=10844940 memory=3472468581187424944 CPUtime=0.08 cores=4-7
/proc/32169/task/32235/stat : 32235 (java) S 32166 32169 31537 0 -1 1077944384 9 13332 0 0 0 0 5 3 20 0 15 0 443512190 11105218560 66767 33554432000 4194304 4196468 140734758178144 140346666056240 140347244345986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140734758181616 140734758184133 140734758184133 140734758186959 0
Current children cumulated CPU time: 9.37 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 267068 KiB

[startup+4.40075 s]*
/proc/loadavg: 1.88 1.43 1.47 2/215 32236
/proc/meminfo: memFree=29813968/32770688 swapFree=66961200/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 4.44654
CPU time (s): 10.5034
CPU user time (s): 10.2753
CPU system time (s): 0.22816
CPU usage (%): 236.216
Max. virtual memory (cumulated for all children) (KiB): 10847764
Max. memory (cumulated for all children) (KiB): 299132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2753
system time used= 0.22816
maximum resident set size= 307952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5998
involuntary context switches= 62


# summary of solver processes directly reported to runsolver:
#   pid: 32169
#   total CPU time (s): 10.5034
#   total CPU user time (s): 10.2753
#   total CPU system time (s): 0.22816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056997 second user time and 0.091643 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-17 01:14:24
IDJOB=4401251
IDBENCH=120637
IDSOLVER=2858
FILE ID=node116/4401251-1568675705
RUNJOBID= node116-1568673291-31569
PBS_JOBID= 21703792
Free space on /tmp= 61196 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-david.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401251-1568675705/watcher-4401251-1568675705 -o /tmp/evaluation-result-4401251-1568675705/solver-4401251-1568675705 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568673291-31569 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=140789969 HOME/instance-4401251-1568675705.xml

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

MD5SUM BENCH= 8881d200d983e9a0f6a660f33978a65e
RANDOM SEED=140789969

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        29860504 kB
MemAvailable:   31092940 kB
Buffers:          132232 kB
Cached:          1394900 kB
SwapCached:        46596 kB
Active:          1790612 kB
Inactive:         542992 kB
Active(anon):     761060 kB
Inactive(anon):    94964 kB
Active(file):    1029552 kB
Inactive(file):   448028 kB
Unevictable:      110568 kB
Mlocked:          110568 kB
SwapTotal:      67108860 kB
SwapFree:       66961200 kB
Dirty:             35728 kB
Writeback:             0 kB
AnonPages:        884512 kB
Mapped:            61344 kB
Shmem:             40284 kB
Slab:             170368 kB
SReclaimable:     141384 kB
SUnreclaim:        28984 kB
KernelStack:        4000 kB
PageTables:         7356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    2076760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    708608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61164 MiB
End job on node116 at 2019-09-17 01:14:29