Trace number 4396461

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.2OPT171 13.8174 5.46202

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-3-5-30-1.xml
MD5SUMe91753cc37d5672b16b54feba0c5cd89
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark171
Best CPU time to get the best result obtained on this benchmark0.215432
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints497
Number of domains47
Minimum domain size2
Maximum domain size15
Distribution of domain sizes[{"size":2,"count":1},{"size":3,"count":3},{"size":4,"count":8},{"size":5,"count":4},{"size":8,"count":2},{"size":9,"count":5},{"size":10,"count":9},{"size":11,"count":11},{"size":12,"count":2},{"size":14,"count":30},{"size":15,"count":15}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":45},{"degree":16,"count":30},{"degree":32,"count":14},{"degree":33,"count":1}]
Minimum constraint arity1
Maximum constraint arity15
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":495},{"arity":15,"count":1}]
Number of extensional constraints45
Number of intensional constraints451
Distribution of constraint types[{"type":"extension","count":45},{"type":"intension","count":451},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.79/0.55	c Concrete v3.12.2.1568380929293 running
9.94/4.11	o 263
10.29/4.14	o 259
10.29/4.15	o 255
10.29/4.19	o 244
10.93/4.34	o 243
10.93/4.35	o 240
10.93/4.36	o 239
10.93/4.38	o 231
11.25/4.43	o 230
11.25/4.45	o 228
11.25/4.48	o 217
11.56/4.51	o 214
11.56/4.54	o 213
11.56/4.56	o 210
11.56/4.57	o 208
11.86/4.60	o 207
11.86/4.63	o 196
12.04/4.70	o 192
12.04/4.73	o 187
12.04/4.74	o 185
12.34/4.80	o 183
12.34/4.81	o 182
12.34/4.83	o 180
12.34/4.83	o 179
12.34/4.87	o 177
12.34/4.87	o 176
12.34/4.90	o 171
13.71/5.45	v <instantiation
13.71/5.45	v         cost = '171'>
13.71/5.45	v       <list>
13.71/5.45	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29]
13.71/5.45	v       </list>
13.71/5.45	v       <values>
13.71/5.45	v         0 1 2 3 4 5 9 6 7 10 13 8 12 14 11 0 0 0 0 0 0 17 13 20 3 1 4 0 1 18 6 8 7 7 9 11 8 13 10 6 9 9 11 13 8 8 6 7 7 8 13 13 8 6 9 11 11 10 13 7 1 4 2 3 4 2 2 5 4 1 4 4 10 9 4 2 2 3 1 5 1 1 2 3 1 4 5 1 2 2
13.71/5.45	v       </values>
13.71/5.45	v     </instantiation>
13.71/5.45	s OPTIMUM FOUND

Verifier Data 

OK	171

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396461-1568399215/watcher-4396461-1568399215 -o /tmp/evaluation-result-4396461-1568399215/solver-4396461-1568399215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568394259-25762 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1334358428 HOME/instance-4396461-1568399215.xml 

running on 4 cores: 1,3,5,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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=27497, runsolver pid=27494

[startup+0.100157 s]*
/proc/loadavg: 1.95 1.48 1.42 3/218 27554
/proc/meminfo: memFree=27697036/32770624 swapFree=67004752/67108860
[pid=27497] ppid=27494 vsize=9972712 memory=17344 CPUtime=0.09 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27494 27497 24221 0 -1 1077944320 4550 13306 0 0 1 0 5 3 20 0 6 0 416189333 10212057088 4270 33554432000 4194304 4196468 140735813741520 140735813724064 139924292910839 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
/proc/27497/statm: 2493178 4336 1958 1 0 2481616 0
[pid=27497/tid=27550] ppid=27494 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27550/stat : 27550 (java) R 27494 27497 24221 0 -1 4202560 2348 13306 0 0 1 0 5 3 20 0 6 0 416189342 10212057088 4336 33554432000 4194304 4196468 140735813741520 139924264747600 139924276991326 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27551] ppid=27494 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27551/stat : 27551 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 6 0 416189342 10212057088 4336 33554432000 4194304 4196468 140735813741520 139924297153552 139924292921045 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27552] ppid=27494 vsize=9972712 memory=140362175534720 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27552/stat : 27552 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 6 0 416189342 10212057088 4336 33554432000 4194304 4196468 140735813741520 139923866643600 139924292921045 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27553] ppid=27494 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27553/stat : 27553 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 6 0 416189342 10212057088 4336 33554432000 4194304 4196468 140735813741520 139923865590544 139924292921045 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27554] ppid=27494 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27554/stat : 27554 (java) S 27494 27497 24221 0 -1 1077944384 2 13306 0 0 0 0 5 3 20 0 6 0 416189342 10212057088 4336 33554432000 4194304 4196468 140735813741520 139923864538000 139924292921045 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17344 KiB

[startup+0.210031 s]*
/proc/loadavg: 1.95 1.48 1.42 5/227 27563
/proc/meminfo: memFree=27678528/32770624 swapFree=67004752/67108860
[pid=27497] ppid=27494 vsize=10819664 memory=41304 CPUtime=0.27 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27494 27497 24221 0 -1 1077944320 7224 13306 0 0 17 2 5 3 20 0 15 0 416189333 11079335936 10326 33554432000 4194304 4196468 140735813741520 140735813724064 139924292910839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
/proc/27497/statm: 2704916 10326 3142 1 0 2667149 0
[pid=27497/tid=27550] ppid=27494 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/27497/task/27550/stat : 27550 (java) R 27494 27497 24221 0 -1 4202560 3720 13306 0 0 10 1 5 3 20 0 15 0 416189342 11079335936 10326 33554432000 4194304 4196468 140735813741520 139924264734720 139924276991326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27551] ppid=27494 vsize=10819664 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27551/stat : 27551 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189342 11079335936 10326 33554432000 4194304 4196468 140735813741520 139924297153552 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27552] ppid=27494 vsize=10819664 memory=3619123739844728480 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27552/stat : 27552 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189342 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923866643600 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27553] ppid=27494 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27553/stat : 27553 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189342 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923865590544 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27554] ppid=27494 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27554/stat : 27554 (java) S 27494 27497 24221 0 -1 1077944384 2 13306 0 0 0 0 5 3 20 0 15 0 416189342 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923864538000 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27555] ppid=27494 vsize=10819664 memory=140362175534720 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27555/stat : 27555 (java) S 27494 27497 24221 0 -1 1077944384 2 13306 0 0 0 0 5 3 20 0 15 0 416189344 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923752405232 139924292921986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27556] ppid=27494 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27556/stat : 27556 (java) S 27494 27497 24221 0 -1 1077944384 13 13306 0 0 0 0 5 3 20 0 15 0 416189344 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923323610272 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27557] ppid=27494 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27557/stat : 27557 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189345 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923055174384 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27558] ppid=27494 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27558/stat : 27558 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11079335936 10326 33554432000 4194304 4196468 140735813741520 139922814883792 139924292929435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27559] ppid=27494 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27559/stat : 27559 (java) S 27494 27497 24221 0 -1 1077944384 588 13306 0 0 1 0 5 3 20 0 15 0 416189347 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923751353072 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27560] ppid=27494 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27560/stat : 27560 (java) S 27494 27497 24221 0 -1 1077944384 61 13306 0 0 0 0 5 3 20 0 15 0 416189347 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923750300528 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27561] ppid=27494 vsize=10819664 memory=140362175534720 CPUtime=0.11 cores=1,3,5,7
/proc/27497/task/27561/stat : 27561 (java) R 27494 27497 24221 0 -1 4202560 626 13306 0 0 3 0 5 3 20 0 15 0 416189347 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923749247472 139924271635316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27562] ppid=27494 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27562/stat : 27562 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11079335936 10326 33554432000 4194304 4196468 140735813741520 139922781326176 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27563] ppid=27494 vsize=10819664 memory=140362175534720 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27563/stat : 27563 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189348 11079335936 10326 33554432000 4194304 4196468 140735813741520 139923748194864 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41304 KiB

[startup+0.31076 s]*
/proc/loadavg: 1.95 1.48 1.42 3/227 27563
/proc/meminfo: memFree=27665708/32770624 swapFree=67004752/67108860
[pid=27497] ppid=27494 vsize=10820148 memory=50440 CPUtime=0.4 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27494 27497 24221 0 -1 1077944320 10867 13306 0 0 29 3 5 3 20 0 15 0 416189333 11079831552 12610 33554432000 4194304 4196468 140735813741520 140735813724064 139924292910839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
/proc/27497/statm: 2705037 12610 3297 1 0 2667149 0
[pid=27497/tid=27550] ppid=27494 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/27497/task/27550/stat : 27550 (java) R 27494 27497 24221 0 -1 4202560 7336 13306 0 0 19 2 5 3 20 0 15 0 416189342 11079831552 12610 33554432000 4194304 4196468 140735813741520 139924264710752 139924274317138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27551] ppid=27494 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27551/stat : 27551 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189342 11079831552 12610 33554432000 4194304 4196468 140735813741520 139924297153552 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27552] ppid=27494 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27552/stat : 27552 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189342 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923866643600 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27553] ppid=27494 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27553/stat : 27553 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189342 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923865590544 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27554] ppid=27494 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27554/stat : 27554 (java) S 27494 27497 24221 0 -1 1077944384 2 13306 0 0 0 0 5 3 20 0 15 0 416189342 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923864538000 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27555] ppid=27494 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27555/stat : 27555 (java) S 27494 27497 24221 0 -1 1077944384 2 13306 0 0 0 0 5 3 20 0 15 0 416189344 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923752405232 139924292921986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27556] ppid=27494 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27556/stat : 27556 (java) S 27494 27497 24221 0 -1 1077944384 13 13306 0 0 0 0 5 3 20 0 15 0 416189344 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923323610272 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27557] ppid=27494 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27557/stat : 27557 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189345 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923055174384 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27558] ppid=27494 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27558/stat : 27558 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11079831552 12610 33554432000 4194304 4196468 140735813741520 139922814883792 139924292929435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27559] ppid=27494 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27497/task/27559/stat : 27559 (java) S 27494 27497 24221 0 -1 1077944384 589 13306 0 0 2 0 5 3 20 0 15 0 416189347 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923751353072 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27560] ppid=27494 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27560/stat : 27560 (java) S 27494 27497 24221 0 -1 1077944384 70 13306 0 0 1 0 5 3 20 0 15 0 416189347 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923750300528 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27561] ppid=27494 vsize=10820148 memory=140362175534720 CPUtime=0.13 cores=1,3,5,7
/proc/27497/task/27561/stat : 27561 (java) S 27494 27497 24221 0 -1 1077944384 635 13306 0 0 5 0 5 3 20 0 15 0 416189347 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923749247472 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27562] ppid=27494 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27562/stat : 27562 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11079831552 12610 33554432000 4194304 4196468 140735813741520 139922781326176 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27563] ppid=27494 vsize=10820148 memory=140362175534720 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27563/stat : 27563 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189348 11079831552 12610 33554432000 4194304 4196468 140735813741520 139923748194864 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50440 KiB

[startup+0.704777 s]
/proc/loadavg: 1.95 1.48 1.42 3/227 27563
/proc/meminfo: memFree=27651860/32770624 swapFree=67004752/67108860
[pid=27497] ppid=27494 vsize=10824360 memory=84012 CPUtime=1.14 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27494 27497 24221 0 -1 1077944320 15156 13306 0 0 100 6 5 3 20 0 15 0 416189333 11084144640 21003 33554432000 4194304 4196468 140735813741520 140735813724064 139924292910839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
/proc/27497/statm: 2706346 21003 3513 1 0 2668429 0
[pid=27497/tid=27550] ppid=27494 vsize=10825384 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/27497/task/27550/stat : 27550 (java) R 27494 27497 24221 0 -1 4202560 10404 13306 0 0 56 4 5 3 20 0 15 0 416189342 11085193216 21003 33554432000 4194304 4196468 140735813741520 139924264728768 139924285650829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27551] ppid=27494 vsize=10825384 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27551/stat : 27551 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189342 11085193216 21024 33554432000 4194304 4196468 140735813741520 139924297153552 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27552] ppid=27494 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27552/stat : 27552 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189342 11084144640 21024 33554432000 4194304 4196468 140735813741520 139923866643600 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27553] ppid=27494 vsize=10825384 memory=280724028793792 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27553/stat : 27553 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189342 11085193216 21024 33554432000 4194304 4196468 140735813741520 139923865590544 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27554] ppid=27494 vsize=10825384 memory=120274452220393 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27554/stat : 27554 (java) S 27494 27497 24221 0 -1 1077944384 2 13306 0 0 0 0 5 3 20 0 15 0 416189342 11085193216 21024 33554432000 4194304 4196468 140735813741520 139923864538000 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27555] ppid=27494 vsize=10825384 memory=11496139678 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27555/stat : 27555 (java) S 27494 27497 24221 0 -1 1077944384 5 13306 0 0 0 0 5 3 20 0 15 0 416189344 11085193216 21024 33554432000 4194304 4196468 140735813741520 139923752405232 139924292921986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27556] ppid=27494 vsize=10825384 memory=68 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27556/stat : 27556 (java) S 27494 27497 24221 0 -1 1077944384 13 13306 0 0 0 0 5 3 20 0 15 0 416189344 11085193216 21024 33554432000 4194304 4196468 140735813741520 139923323610272 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27557] ppid=27494 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27557/stat : 27557 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189345 11084144640 21024 33554432000 4194304 4196468 140735813741520 139923055174384 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27558] ppid=27494 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27558/stat : 27558 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11084144640 21024 33554432000 4194304 4196468 140735813741520 139922814883792 139924292929435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27559] ppid=27494 vsize=10824360 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/27497/task/27559/stat : 27559 (java) S 27494 27497 24221 0 -1 1077944384 1052 13306 0 0 11 0 5 3 20 0 15 0 416189347 11084144640 21024 33554432000 4194304 4196468 140735813741520 139923751353072 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27560] ppid=27494 vsize=10825384 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/27497/task/27560/stat : 27560 (java) R 27494 27497 24221 0 -1 4202560 598 13306 0 0 14 0 5 3 20 0 15 0 416189347 11085193216 21024 33554432000 4194304 4196468 140735813741520 139923750287072 139924272627975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27561] ppid=27494 vsize=10825384 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/27497/task/27561/stat : 27561 (java) S 27494 27497 24221 0 -1 1077944384 894 13306 0 0 17 0 5 3 20 0 15 0 416189347 11085193216 21024 33554432000 4194304 4196468 140735813741520 139923749247472 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27562] ppid=27494 vsize=10825384 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27562/stat : 27562 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11085193216 21024 33554432000 4194304 4196468 140735813741520 139922781326176 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27563] ppid=27494 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27563/stat : 27563 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189348 11084144640 21024 33554432000 4194304 4196468 140735813741520 139923748194864 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 84012 KiB

[startup+1.50066 s]
/proc/loadavg: 1.95 1.48 1.42 3/227 27563
/proc/meminfo: memFree=27608684/32770624 swapFree=67004752/67108860
[pid=27497] ppid=27494 vsize=10834676 memory=179876 CPUtime=2.62 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27494 27497 24221 0 -1 1077944320 22954 13306 0 0 244 10 5 3 20 0 15 0 416189333 11094708224 44969 33554432000 4194304 4196468 140735813741520 140735813724064 139924292910839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
/proc/27497/statm: 2708669 44969 3581 1 0 2670733 0
[pid=27497/tid=27550] ppid=27494 vsize=10834676 memory=-5153075247754915999 CPUtime=1.44 cores=1,3,5,7
/proc/27497/task/27550/stat : 27550 (java) R 27494 27497 24221 0 -1 4202560 15272 13306 0 0 130 6 5 3 20 0 15 0 416189342 11094708224 44969 33554432000 4194304 4196468 140735813741520 139924264735584 139924292922774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27551] ppid=27494 vsize=10834676 memory=-7522520787150677652 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27551/stat : 27551 (java) S 27494 27497 24221 0 -1 1077944384 49 13306 0 0 1 0 5 3 20 0 15 0 416189342 11094708224 44969 33554432000 4194304 4196468 140735813741520 139924297153552 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27552] ppid=27494 vsize=10834676 memory=6720696446780543624 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27552/stat : 27552 (java) S 27494 27497 24221 0 -1 1077944384 36 13306 0 0 1 0 5 3 20 0 15 0 416189342 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923866643600 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27553] ppid=27494 vsize=10834676 memory=-5153075247754915967 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27553/stat : 27553 (java) S 27494 27497 24221 0 -1 1077944384 58 13306 0 0 1 0 5 3 20 0 15 0 416189342 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923865590544 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27554] ppid=27494 vsize=10834676 memory=125380 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27554/stat : 27554 (java) S 27494 27497 24221 0 -1 1077944384 331 13306 0 0 1 0 5 3 20 0 15 0 416189342 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923864538000 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27555] ppid=27494 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27497/task/27555/stat : 27555 (java) S 27494 27497 24221 0 -1 1077944384 117 13306 0 0 1 0 5 3 20 0 15 0 416189344 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923752405232 139924292921986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27556] ppid=27494 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27556/stat : 27556 (java) S 27494 27497 24221 0 -1 1077944384 14 13306 0 0 0 0 5 3 20 0 15 0 416189344 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923323610336 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27557] ppid=27494 vsize=10834676 memory=280724028588128 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27557/stat : 27557 (java) S 27494 27497 24221 0 -1 1077944384 2 13306 0 0 0 0 5 3 20 0 15 0 416189345 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923055174400 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27558] ppid=27494 vsize=10834676 memory=280724029003168 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27558/stat : 27558 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11094708224 44969 33554432000 4194304 4196468 140735813741520 139922814883792 139924292929435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27559] ppid=27494 vsize=10834676 memory=140362014303776 CPUtime=0.39 cores=1,3,5,7
/proc/27497/task/27559/stat : 27559 (java) S 27494 27497 24221 0 -1 1077944384 1591 13306 0 0 31 0 5 3 20 0 15 0 416189347 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923751353072 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27560] ppid=27494 vsize=10834676 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/27497/task/27560/stat : 27560 (java) R 27494 27497 24221 0 -1 1077944384 1435 13306 0 0 32 0 5 3 20 0 15 0 416189347 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923750300528 139924292921986 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27561] ppid=27494 vsize=10834676 memory=952 CPUtime=0.5 cores=1,3,5,7
/proc/27497/task/27561/stat : 27561 (java) R 27494 27497 24221 0 -1 4202560 1833 13306 0 0 42 0 5 3 20 0 15 0 416189347 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923749247472 139924276991326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27562] ppid=27494 vsize=10834676 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27562/stat : 27562 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11094708224 44969 33554432000 4194304 4196468 140735813741520 139922781326176 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27563] ppid=27494 vsize=10834676 memory=22012 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27563/stat : 27563 (java) S 27494 27497 24221 0 -1 1077944384 1 13306 0 0 0 0 5 3 20 0 15 0 416189348 11094708224 44969 33554432000 4194304 4196468 140735813741520 139923748194864 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 10834676 KiB

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

[startup+5.46196 s]
# the end of solver process 27497 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=13.5238 s, system=0.293632 s

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

[startup+3.20118 s]
/proc/loadavg: 1.95 1.48 1.42 4/227 27563
/proc/meminfo: memFree=27469344/32770624 swapFree=67004752/67108860
[pid=27497] ppid=27494 vsize=10846984 memory=260796 CPUtime=7.27 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27494 27497 24221 0 -1 1077944320 39644 13306 0 0 702 17 5 3 20 0 15 0 416189333 11107311616 65199 33554432000 4194304 4196468 140735813741520 140735813724064 139924292910839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
/proc/27497/statm: 2711746 65199 3613 1 0 2673805 0
[pid=27497/tid=27550] ppid=27494 vsize=10846984 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/27497/task/27550/stat : 27550 (java) R 27494 27497 24221 0 -1 4202560 21356 13306 0 0 291 8 5 3 20 0 15 0 416189342 11107311616 65199 33554432000 4194304 4196468 140735813741520 139924264741848 139924276087419 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27551] ppid=27494 vsize=10846984 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27497/task/27551/stat : 27551 (java) S 27494 27497 24221 0 -1 1077944384 74 13306 0 0 3 0 5 3 20 0 15 0 416189342 11107311616 65199 33554432000 4194304 4196468 140735813741520 139924297153552 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27552] ppid=27494 vsize=10846984 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27497/task/27552/stat : 27552 (java) S 27494 27497 24221 0 -1 1077944384 74 13306 0 0 3 0 5 3 20 0 15 0 416189342 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923866643600 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27553] ppid=27494 vsize=10846984 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27497/task/27553/stat : 27553 (java) S 27494 27497 24221 0 -1 1077944384 78 13306 0 0 3 0 5 3 20 0 15 0 416189342 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923865590544 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27554] ppid=27494 vsize=10846984 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27497/task/27554/stat : 27554 (java) S 27494 27497 24221 0 -1 1077944384 334 13306 0 0 3 0 5 3 20 0 15 0 416189342 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923864538000 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27555] ppid=27494 vsize=10846984 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27497/task/27555/stat : 27555 (java) S 27494 27497 24221 0 -1 1077944384 1497 13306 0 0 3 0 5 3 20 0 15 0 416189344 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923752405232 139924292921986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27556] ppid=27494 vsize=10846984 memory=15 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27556/stat : 27556 (java) S 27494 27497 24221 0 -1 1077944384 14 13306 0 0 0 0 5 3 20 0 15 0 416189344 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923323610400 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27557] ppid=27494 vsize=10846984 memory=280724029023424 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27557/stat : 27557 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189345 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923055174400 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27558] ppid=27494 vsize=10846984 memory=9214 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27558/stat : 27558 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11107311616 65199 33554432000 4194304 4196468 140735813741520 139922814883792 139924292929435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27559] ppid=27494 vsize=10846984 memory=21811 CPUtime=1.36 cores=1,3,5,7
/proc/27497/task/27559/stat : 27559 (java) R 27494 27497 24221 0 -1 4202560 3710 13306 0 0 127 1 5 3 20 0 15 0 416189347 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923751353072 139924274432230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27560] ppid=27494 vsize=10846984 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/27497/task/27560/stat : 27560 (java) R 27494 27497 24221 0 -1 4202560 4317 13306 0 0 135 1 5 3 20 0 15 0 416189347 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923750279168 139924276407710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27561] ppid=27494 vsize=10846984 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/27497/task/27561/stat : 27561 (java) S 27494 27497 24221 0 -1 1077944384 6031 13306 0 0 129 2 5 3 20 0 15 0 416189347 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923749247472 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27562] ppid=27494 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27562/stat : 27562 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11107311616 65199 33554432000 4194304 4196468 140735813741520 139922781326176 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27563] ppid=27494 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27563/stat : 27563 (java) S 27494 27497 24221 0 -1 1077944384 2 13306 0 0 0 0 5 3 20 0 15 0 416189348 11107311616 65199 33554432000 4194304 4196468 140735813741520 139923748194864 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 260796 KiB

[startup+4.80636 s]
/proc/loadavg: 2.20 1.54 1.44 5/227 27563
/proc/meminfo: memFree=27434768/32770624 swapFree=67004752/67108860
[pid=27497] ppid=27494 vsize=10849044 memory=344304 CPUtime=12.34 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27494 27497 24221 0 -1 1077944320 56744 13306 0 0 1203 23 5 3 20 0 15 0 416189333 11109421056 86076 33554432000 4194304 4196468 140735813741520 140735813724064 139924292910839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
/proc/27497/statm: 2712261 86076 3624 1 0 2674317 0
[pid=27497/tid=27550] ppid=27494 vsize=10849044 memory=7228679159133332843 CPUtime=4.66 cores=1,3,5,7
/proc/27497/task/27550/stat : 27550 (java) R 27494 27497 24221 0 -1 4202560 26426 13306 0 0 448 10 5 3 20 0 15 0 416189342 11109421056 86076 33554432000 4194304 4196468 140735813741520 139924264742288 139923892032157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27551] ppid=27494 vsize=10849044 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/27497/task/27551/stat : 27551 (java) S 27494 27497 24221 0 -1 1077944384 77 13306 0 0 3 0 5 3 20 0 15 0 416189342 11109421056 86076 33554432000 4194304 4196468 140735813741520 139924297153552 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27552] ppid=27494 vsize=10849044 memory=7649399362823730994 CPUtime=0.11 cores=1,3,5,7
/proc/27497/task/27552/stat : 27552 (java) S 27494 27497 24221 0 -1 1077944384 92 13306 0 0 3 0 5 3 20 0 15 0 416189342 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923866643600 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27553] ppid=27494 vsize=10849044 memory=6935649255759569489 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27553/stat : 27553 (java) S 27494 27497 24221 0 -1 1077944384 100 13306 0 0 4 0 5 3 20 0 15 0 416189342 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923865590544 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27554] ppid=27494 vsize=10849044 memory=7523071198212214892 CPUtime=0.11 cores=1,3,5,7
/proc/27497/task/27554/stat : 27554 (java) S 27494 27497 24221 0 -1 1077944384 497 13306 0 0 3 0 5 3 20 0 15 0 416189342 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923864538000 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27555] ppid=27494 vsize=10849044 memory=4638778402627731557 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27555/stat : 27555 (java) S 27494 27497 24221 0 -1 1077944384 2527 13306 0 0 4 0 5 3 20 0 15 0 416189344 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923752405232 139924292921986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27556] ppid=27494 vsize=10849044 memory=7019257425709197167 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27556/stat : 27556 (java) S 27494 27497 24221 0 -1 1077944384 15 13306 0 0 0 0 5 3 20 0 15 0 416189344 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923323610400 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27557] ppid=27494 vsize=10849044 memory=5787214926558357860 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27557/stat : 27557 (java) S 27494 27497 24221 0 -1 1077944384 6 13306 0 0 0 0 5 3 20 0 15 0 416189345 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923055174400 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27558] ppid=27494 vsize=10849044 memory=7518026621751088993 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27558/stat : 27558 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11109421056 86076 33554432000 4194304 4196468 140735813741520 139922814883792 139924292929435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27559] ppid=27494 vsize=10849044 memory=8242257093008308021 CPUtime=2.77 cores=1,3,5,7
/proc/27497/task/27559/stat : 27559 (java) R 27494 27497 24221 0 -1 4202560 5979 13306 0 0 267 2 5 3 20 0 15 0 416189347 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923751353072 139924278940785 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27560] ppid=27494 vsize=10849044 memory=33 CPUtime=2.89 cores=1,3,5,7
/proc/27497/task/27560/stat : 27560 (java) R 27494 27497 24221 0 -1 4202560 10240 13306 0 0 279 2 5 3 20 0 15 0 416189347 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923750300448 139924276410007 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27561] ppid=27494 vsize=10849044 memory=7594589872890341479 CPUtime=1.97 cores=1,3,5,7
/proc/27497/task/27561/stat : 27561 (java) S 27494 27497 24221 0 -1 1077944384 8562 13306 0 0 186 3 5 3 20 0 15 0 416189347 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923749247472 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27562] ppid=27494 vsize=10849044 memory=6442232563878279484 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27562/stat : 27562 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11109421056 86076 33554432000 4194304 4196468 140735813741520 139922781326176 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27563] ppid=27494 vsize=10849044 memory=6442232563878292579 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27563/stat : 27563 (java) S 27494 27497 24221 0 -1 1077944384 7 13306 0 0 0 0 5 3 20 0 15 0 416189348 11109421056 86076 33554432000 4194304 4196468 140735813741520 139923748194864 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
Current children cumulated CPU time: 12.34 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 344304 KiB

[startup+5.20074 s]
/proc/loadavg: 2.20 1.54 1.44 5/227 27563
/proc/meminfo: memFree=27348980/32770624 swapFree=67004752/67108860
[pid=27497] ppid=27494 vsize=10849044 memory=420480 CPUtime=13.38 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27494 27497 24221 0 -1 1077944320 56987 13306 0 0 1306 24 5 3 20 0 15 0 416189333 11109421056 105120 33554432000 4194304 4196468 140735813741520 140735813724064 139924292910839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
/proc/27497/statm: 2712261 105120 3624 1 0 2674317 0
[pid=27497/tid=27550] ppid=27494 vsize=10849044 memory=0 CPUtime=5.05 cores=1,3,5,7
/proc/27497/task/27550/stat : 27550 (java) R 27494 27497 24221 0 -1 4202560 26508 13306 0 0 486 11 5 3 20 0 15 0 416189342 11109421056 105120 33554432000 4194304 4196468 140735813741520 139924264745968 139923886622855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27551] ppid=27494 vsize=10849044 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27551/stat : 27551 (java) S 27494 27497 24221 0 -1 1077944384 81 13306 0 0 3 1 5 3 20 0 15 0 416189342 11109421056 105120 33554432000 4194304 4196468 140735813741520 139924297153552 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27552] ppid=27494 vsize=10849044 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27552/stat : 27552 (java) S 27494 27497 24221 0 -1 1077944384 96 13306 0 0 3 1 5 3 20 0 15 0 416189342 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923866643600 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27553] ppid=27494 vsize=10849044 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27553/stat : 27553 (java) S 27494 27497 24221 0 -1 1077944384 103 13306 0 0 4 0 5 3 20 0 15 0 416189342 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923865590544 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27554] ppid=27494 vsize=10849044 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27554/stat : 27554 (java) S 27494 27497 24221 0 -1 1077944384 504 13306 0 0 4 0 5 3 20 0 15 0 416189342 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923864538000 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27555] ppid=27494 vsize=10849044 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27555/stat : 27555 (java) S 27494 27497 24221 0 -1 1077944384 2608 13306 0 0 4 0 5 3 20 0 15 0 416189344 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923752405232 139924292921986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27556] ppid=27494 vsize=10849044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27556/stat : 27556 (java) S 27494 27497 24221 0 -1 1077944384 15 13306 0 0 0 0 5 3 20 0 15 0 416189344 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923323610400 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27557] ppid=27494 vsize=10849044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27557/stat : 27557 (java) S 27494 27497 24221 0 -1 1077944384 6 13306 0 0 0 0 5 3 20 0 15 0 416189345 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923055174400 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27558] ppid=27494 vsize=10849044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27558/stat : 27558 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11109421056 105120 33554432000 4194304 4196468 140735813741520 139922814883792 139924292929435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27559] ppid=27494 vsize=10849044 memory=0 CPUtime=3.09 cores=1,3,5,7
/proc/27497/task/27559/stat : 27559 (java) S 27494 27497 24221 0 -1 1077944384 5984 13306 0 0 299 2 5 3 20 0 15 0 416189347 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923751353072 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27560] ppid=27494 vsize=10849044 memory=0 CPUtime=3.16 cores=1,3,5,7
/proc/27497/task/27560/stat : 27560 (java) S 27494 27497 24221 0 -1 1077944384 10253 13306 0 0 306 2 5 3 20 0 15 0 416189347 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923750300528 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27561] ppid=27494 vsize=10849044 memory=0 CPUtime=2.02 cores=1,3,5,7
/proc/27497/task/27561/stat : 27561 (java) S 27494 27497 24221 0 -1 1077944384 8602 13306 0 0 191 3 5 3 20 0 15 0 416189347 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923749247472 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27562] ppid=27494 vsize=10849044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27562/stat : 27562 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11109421056 105120 33554432000 4194304 4196468 140735813741520 139922781326176 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27563] ppid=27494 vsize=10849044 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27563/stat : 27563 (java) S 27494 27497 24221 0 -1 1077944384 11 13306 0 0 0 0 5 3 20 0 15 0 416189348 11109421056 105120 33554432000 4194304 4196468 140735813741520 139923748194864 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
Current children cumulated CPU time: 13.38 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 420480 KiB

[startup+5.40065 s]
/proc/loadavg: 2.20 1.54 1.44 5/227 27563
/proc/meminfo: memFree=27348980/32770624 swapFree=67004752/67108860
[pid=27497] ppid=27494 vsize=10849044 memory=420584 CPUtime=13.71 cores=1,3,5,7
/proc/27497/stat : 27497 (java) S 27494 27497 24221 0 -1 1077944320 57027 13306 0 0 1338 25 5 3 20 0 15 0 416189333 11109421056 105146 33554432000 4194304 4196468 140735813741520 140735813724064 139924292910839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
/proc/27497/statm: 2712261 105146 3624 1 0 2674317 0
[pid=27497/tid=27550] ppid=27494 vsize=10849044 memory=6153433744107202660 CPUtime=5.25 cores=1,3,5,7
/proc/27497/task/27550/stat : 27550 (java) R 27494 27497 24221 0 -1 4202560 26508 13306 0 0 506 11 5 3 20 0 15 0 416189342 11109421056 105146 33554432000 4194304 4196468 140735813741520 139924264746312 139924292922774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27551] ppid=27494 vsize=10849044 memory=7374509426337295000 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27551/stat : 27551 (java) S 27494 27497 24221 0 -1 1077944384 81 13306 0 0 3 1 5 3 20 0 15 0 416189342 11109421056 105146 33554432000 4194304 4196468 140735813741520 139924297153552 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27552] ppid=27494 vsize=10849044 memory=7374509426337295000 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27552/stat : 27552 (java) S 27494 27497 24221 0 -1 1077944384 96 13306 0 0 3 1 5 3 20 0 15 0 416189342 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923866643600 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27553] ppid=27494 vsize=10849044 memory=11521403808 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27553/stat : 27553 (java) S 27494 27497 24221 0 -1 1077944384 103 13306 0 0 4 0 5 3 20 0 15 0 416189342 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923865590544 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27554] ppid=27494 vsize=10849044 memory=11521403808 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27554/stat : 27554 (java) S 27494 27497 24221 0 -1 1077944384 504 13306 0 0 4 0 5 3 20 0 15 0 416189342 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923864538000 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27555] ppid=27494 vsize=10849044 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27497/task/27555/stat : 27555 (java) S 27494 27497 24221 0 -1 1077944384 2608 13306 0 0 4 0 5 3 20 0 15 0 416189344 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923752405232 139924292921986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27556] ppid=27494 vsize=10849044 memory=280724028769680 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27556/stat : 27556 (java) S 27494 27497 24221 0 -1 1077944384 15 13306 0 0 0 0 5 3 20 0 15 0 416189344 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923323610400 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27557] ppid=27494 vsize=10849044 memory=140362014488486 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27557/stat : 27557 (java) S 27494 27497 24221 0 -1 1077944384 6 13306 0 0 0 0 5 3 20 0 15 0 416189345 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923055174400 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27558] ppid=27494 vsize=10849044 memory=734518722901276165 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27558/stat : 27558 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11109421056 105146 33554432000 4194304 4196468 140735813741520 139922814883792 139924292929435 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27559] ppid=27494 vsize=10849044 memory=7451718723698906912 CPUtime=3.14 cores=1,3,5,7
/proc/27497/task/27559/stat : 27559 (java) S 27494 27497 24221 0 -1 1077944384 5984 13306 0 0 304 2 5 3 20 0 15 0 416189347 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923751353072 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27560] ppid=27494 vsize=10849044 memory=7234576917979478634 CPUtime=3.21 cores=1,3,5,7
/proc/27497/task/27560/stat : 27560 (java) S 27494 27497 24221 0 -1 1077944384 10259 13306 0 0 311 2 5 3 20 0 15 0 416189347 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923750300528 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27561] ppid=27494 vsize=10849044 memory=6944656592455360569 CPUtime=2.04 cores=1,3,5,7
/proc/27497/task/27561/stat : 27561 (java) S 27494 27497 24221 0 -1 1077944384 8636 13306 0 0 193 3 5 3 20 0 15 0 416189347 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923749247472 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27562] ppid=27494 vsize=10849044 memory=-7812736537705029536 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27562/stat : 27562 (java) S 27494 27497 24221 0 -1 1077944384 3 13306 0 0 0 0 5 3 20 0 15 0 416189347 11109421056 105146 33554432000 4194304 4196468 140735813741520 139922781326176 139924292921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
[pid=27497/tid=27563] ppid=27494 vsize=10849044 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27497/task/27563/stat : 27563 (java) S 27494 27497 24221 0 -1 1077944384 11 13306 0 0 0 0 5 3 20 0 15 0 416189348 11109421056 105146 33554432000 4194304 4196468 140735813741520 139923748194864 139924292921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13045760 140735813749487 140735813752005 140735813752005 140735813754831 0
Current children cumulated CPU time: 13.71 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 420584 KiB

Child status: 0
Real time (s): 5.46202
CPU time (s): 13.8174
CPU user time (s): 13.5238
CPU system time (s): 0.293632
CPU usage (%): 252.973
Max. virtual memory (cumulated for all children) (KiB): 10851668
Max. memory (cumulated for all children) (KiB): 420584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5238
system time used= 0.293632
maximum resident set size= 422724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70424
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= 7165
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 27497
#   total CPU time (s): 13.8174
#   total CPU user time (s): 13.5238
#   total CPU system time (s): 0.293632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061937 second user time and 0.091835 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-13 20:26:18
IDJOB=4396461
IDBENCH=126835
IDSOLVER=2847
FILE ID=node126/4396461-1568399215
RUNJOBID= node126-1568394259-25762
PBS_JOBID= 21701858
Free space on /tmp= 55740 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-3-5-30-1.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396461-1568399215/watcher-4396461-1568399215 -o /tmp/evaluation-result-4396461-1568399215/solver-4396461-1568399215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568394259-25762 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1334358428 HOME/instance-4396461-1568399215.xml

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

MD5SUM BENCH= e91753cc37d5672b16b54feba0c5cd89
RANDOM SEED=1334358428

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27706364 kB
MemAvailable:   30974472 kB
Buffers:          164072 kB
Cached:          3349096 kB
SwapCached:         2860 kB
Active:          2631804 kB
Inactive:        1772304 kB
Active(anon):     888708 kB
Inactive(anon):    43540 kB
Active(file):    1743096 kB
Inactive(file):  1728764 kB
Unevictable:      108840 kB
Mlocked:          108840 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             35308 kB
Writeback:             0 kB
AnonPages:       1014372 kB
Mapped:            58228 kB
Shmem:             32816 kB
Slab:             255020 kB
SReclaimable:     224168 kB
SUnreclaim:        30852 kB
KernelStack:        3984 kB
PageTables:         7592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2149568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    839680 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= 55704 MiB
End job on node126 at 2019-09-13 20:26:23