Trace number 4396485

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.2OPT131 13.2557 5.064

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-6-3-20-1.xml
MD5SUMb4cf0cb08a05c1b083ee2f2000733b36
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark131
Best CPU time to get the best result obtained on this benchmark0.189143
Satisfiable
(Un)Satisfiability was proved
Number of variables76
Number of constraints400
Number of domains40
Minimum domain size3
Maximum domain size18
Distribution of domain sizes[{"size":3,"count":6},{"size":4,"count":9},{"size":5,"count":3},{"size":8,"count":1},{"size":10,"count":2},{"size":11,"count":4},{"size":12,"count":6},{"size":13,"count":5},{"size":14,"count":1},{"size":15,"count":1},{"size":17,"count":20},{"size":18,"count":18}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":38},{"degree":19,"count":20},{"degree":22,"count":17},{"degree":23,"count":1}]
Minimum constraint arity1
Maximum constraint arity18
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":398},{"arity":18,"count":1}]
Number of extensional constraints38
Number of intensional constraints361
Distribution of constraint types[{"type":"extension","count":38},{"type":"intension","count":361},{"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.78/0.55	c Concrete v3.12.2.1568380929293 running
10.21/4.15	o 170
10.50/4.24	o 169
11.19/4.49	o 167
11.19/4.49	o 147
11.85/4.68	o 131
13.14/5.04	v <instantiation
13.14/5.04	v         cost = '131'>
13.14/5.04	v       <list>
13.14/5.04	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] s[15] s[16] s[17] 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] d[15] d[16] d[17] 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] 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]
13.14/5.04	v       </list>
13.14/5.04	v       <values>
13.14/5.04	v         0 1 2 3 4 5 6 7 8 10 11 17 12 13 14 9 15 16 0 0 0 0 0 0 0 0 0 6 4 1 0 0 0 1 13 16 9 10 10 10 9 16 16 11 10 11 15 15 11 9 15 9 11 15 10 16 7 5 2 3 5 2 2 14 7 2 3 3 6 3 6 8 2 1 1 8
13.14/5.04	v       </values>
13.14/5.04	v     </instantiation>
13.14/5.04	s OPTIMUM FOUND

Verifier Data 

OK	131

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 (12937 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-4396485-1568399209/watcher-4396485-1568399209 -o /tmp/evaluation-result-4396485-1568399209/solver-4396485-1568399209 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568394259-25762 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=347118221 HOME/instance-4396485-1568399209.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=27367, runsolver pid=27364

[startup+0.100139 s]*
/proc/loadavg: 1.77 1.44 1.40 3/219 27424
/proc/meminfo: memFree=27688684/32770624 swapFree=67004752/67108860
[pid=27367] ppid=27364 vsize=10055356 memory=15972 CPUtime=0.09 cores=1,3,5,7
/proc/27367/stat : 27367 (java) S 27364 27367 24221 0 -1 1077944320 4712 13150 0 0 1 1 4 3 20 0 7 0 416188718 10296684544 3927 33554432000 4194304 4196468 140735496616688 140735496599232 140156859584247 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
/proc/27367/statm: 2513839 3927 1987 1 0 2502277 0
[pid=27367/tid=27420] ppid=27364 vsize=10055356 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/27367/task/27420/stat : 27420 (java) R 27364 27367 24221 0 -1 4202560 2523 13150 0 0 1 0 4 3 20 0 7 0 416188726 10296684544 3993 33554432000 4194304 4196468 140735496616688 140156831427344 140156843664734 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27421] ppid=27364 vsize=10055356 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27421/stat : 27421 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 7 0 416188727 10296684544 3993 33554432000 4194304 4196468 140735496616688 140156863826192 140156859594453 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27422] ppid=27364 vsize=10055356 memory=140687795635840 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27422/stat : 27422 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 7 0 416188727 10296684544 3993 33554432000 4194304 4196468 140735496616688 140156432943504 140156859594453 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27423] ppid=27364 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27423/stat : 27423 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 7 0 416188727 10296684544 3993 33554432000 4194304 4196468 140735496616688 140156431890960 140156859594453 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27424] ppid=27364 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27424/stat : 27424 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 7 0 416188727 10296684544 3993 33554432000 4194304 4196468 140735496616688 140156430838416 140156859594453 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27425] ppid=27364 vsize=10055356 memory=140687795635840 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27425/stat : 27425 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 7 0 416188729 10296684544 3993 33554432000 4194304 4196468 140735496616688 140156319136240 140156859595394 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 15972 KiB

[startup+0.210299 s]*
/proc/loadavg: 1.77 1.44 1.40 3/228 27433
/proc/meminfo: memFree=27671092/32770624 swapFree=67004752/67108860
[pid=27367] ppid=27364 vsize=10819664 memory=38804 CPUtime=0.25 cores=1,3,5,7
/proc/27367/stat : 27367 (java) S 27364 27367 24221 0 -1 1077944320 7534 13150 0 0 16 2 4 3 20 0 15 0 416188718 11079335936 9701 33554432000 4194304 4196468 140735496616688 140735496599232 140156859584247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
/proc/27367/statm: 2704916 9701 3182 1 0 2667149 0
[pid=27367/tid=27420] ppid=27364 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/27367/task/27420/stat : 27420 (java) R 27364 27367 24221 0 -1 4202560 3928 13150 0 0 11 1 4 3 20 0 15 0 416188726 11079335936 9701 33554432000 4194304 4196468 140735496616688 140156831399088 140156859606173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27421] ppid=27364 vsize=10819664 memory=339 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27421/stat : 27421 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188727 11079335936 9701 33554432000 4194304 4196468 140735496616688 140156863826192 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27422] ppid=27364 vsize=10819664 memory=3619124065464829600 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27422/stat : 27422 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188727 11079335936 9701 33554432000 4194304 4196468 140735496616688 140156432943504 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27423] ppid=27364 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27423/stat : 27423 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188727 11079335936 9701 33554432000 4194304 4196468 140735496616688 140156431890960 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27424] ppid=27364 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27424/stat : 27424 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188727 11079335936 9765 33554432000 4194304 4196468 140735496616688 140156430838416 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27425] ppid=27364 vsize=10819664 memory=140687795635840 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27425/stat : 27425 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188729 11079335936 9765 33554432000 4194304 4196468 140735496616688 140156319136240 140156859595394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27426] ppid=27364 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27426/stat : 27426 (java) S 27364 27367 24221 0 -1 1077944384 33 13150 0 0 0 0 4 3 20 0 15 0 416188729 11079335936 9765 33554432000 4194304 4196468 140735496616688 140156318082464 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27427] ppid=27364 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27427/stat : 27427 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188729 11079335936 9765 33554432000 4194304 4196468 140735496616688 140155721606640 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27428] ppid=27364 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27428/stat : 27428 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11079335936 9765 33554432000 4194304 4196468 140735496616688 140155414207184 140156859602843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27429] ppid=27364 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27367/task/27429/stat : 27429 (java) S 27364 27367 24221 0 -1 1077944384 609 13150 0 0 1 0 4 3 20 0 15 0 416188732 11079335936 9765 33554432000 4194304 4196468 140735496616688 140156284524528 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27430] ppid=27364 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27430/stat : 27430 (java) S 27364 27367 24221 0 -1 1077944384 67 13150 0 0 0 0 4 3 20 0 15 0 416188732 11079335936 9765 33554432000 4194304 4196468 140735496616688 140156283471984 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27431] ppid=27364 vsize=10819664 memory=140687795635840 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27431/stat : 27431 (java) R 27364 27367 24221 0 -1 4202560 677 13150 0 0 3 0 4 3 20 0 15 0 416188732 11079335936 9765 33554432000 4194304 4196468 140735496616688 140156282419440 140156852684094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27432] ppid=27364 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27432/stat : 27432 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11079335936 9765 33554432000 4194304 4196468 140735496616688 140155380648544 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27433] ppid=27364 vsize=10819664 memory=140687795635840 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27433/stat : 27433 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188732 11079335936 9765 33554432000 4194304 4196468 140735496616688 140156281367344 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38804 KiB

[startup+0.310612 s]*
/proc/loadavg: 1.77 1.44 1.40 4/228 27433
/proc/meminfo: memFree=27658308/32770624 swapFree=67004752/67108860
[pid=27367] ppid=27364 vsize=10820148 memory=47860 CPUtime=0.4 cores=1,3,5,7
/proc/27367/stat : 27367 (java) S 27364 27367 24221 0 -1 1077944320 11252 13150 0 0 28 5 4 3 20 0 15 0 416188718 11079831552 11965 33554432000 4194304 4196468 140735496616688 140735496599232 140156859584247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
/proc/27367/statm: 2705037 11965 3314 1 0 2667149 0
[pid=27367/tid=27420] ppid=27364 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/27367/task/27420/stat : 27420 (java) R 27364 27367 24221 0 -1 4202560 7582 13150 0 0 19 3 4 3 20 0 15 0 416188726 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156831384160 140156859606173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27421] ppid=27364 vsize=10820148 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27421/stat : 27421 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188727 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156863826192 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27422] ppid=27364 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27422/stat : 27422 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188727 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156432943504 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27423] ppid=27364 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27423/stat : 27423 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188727 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156431890960 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27424] ppid=27364 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27424/stat : 27424 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188727 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156430838416 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27425] ppid=27364 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27425/stat : 27425 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188729 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156319136240 140156859595394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27426] ppid=27364 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27426/stat : 27426 (java) S 27364 27367 24221 0 -1 1077944384 33 13150 0 0 0 0 4 3 20 0 15 0 416188729 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156318082464 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27427] ppid=27364 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27427/stat : 27427 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188729 11079831552 11965 33554432000 4194304 4196468 140735496616688 140155721606640 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27428] ppid=27364 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27428/stat : 27428 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11079831552 11965 33554432000 4194304 4196468 140735496616688 140155414207184 140156859602843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27429] ppid=27364 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27367/task/27429/stat : 27429 (java) S 27364 27367 24221 0 -1 1077944384 614 13150 0 0 1 0 4 3 20 0 15 0 416188732 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156284524528 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27430] ppid=27364 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27367/task/27430/stat : 27430 (java) S 27364 27367 24221 0 -1 1077944384 86 13150 0 0 1 0 4 3 20 0 15 0 416188732 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156283471984 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27431] ppid=27364 vsize=10820148 memory=140687795635840 CPUtime=0.12 cores=1,3,5,7
/proc/27367/task/27431/stat : 27431 (java) S 27364 27367 24221 0 -1 1077944384 713 13150 0 0 5 0 4 3 20 0 15 0 416188732 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156282419440 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27432] ppid=27364 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27432/stat : 27432 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11079831552 11965 33554432000 4194304 4196468 140735496616688 140155380648544 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27433] ppid=27364 vsize=10820148 memory=140687795635840 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27433/stat : 27433 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188732 11079831552 11965 33554432000 4194304 4196468 140735496616688 140156281367344 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 47860 KiB

[startup+0.70104 s]
/proc/loadavg: 1.77 1.44 1.40 5/228 27433
/proc/meminfo: memFree=27643644/32770624 swapFree=67004752/67108860
[pid=27367] ppid=27364 vsize=10824360 memory=82544 CPUtime=1.14 cores=1,3,5,7
/proc/27367/stat : 27367 (java) S 27364 27367 24221 0 -1 1077944320 15409 13150 0 0 100 7 4 3 20 0 15 0 416188718 11084144640 20636 33554432000 4194304 4196468 140735496616688 140735496599232 140156859584247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
/proc/27367/statm: 2706090 20636 3505 1 0 2668173 0
[pid=27367/tid=27420] ppid=27364 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/27367/task/27420/stat : 27420 (java) R 27364 27367 24221 0 -1 4202560 10646 13150 0 0 55 4 4 3 20 0 15 0 416188726 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156831407824 140156839135328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27421] ppid=27364 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27421/stat : 27421 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188727 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156863826192 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27422] ppid=27364 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27422/stat : 27422 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188727 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156432943504 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27423] ppid=27364 vsize=10824360 memory=4629799972190126725 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27423/stat : 27423 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188727 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156431890960 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27424] ppid=27364 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27424/stat : 27424 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188727 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156430838416 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27425] ppid=27364 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27425/stat : 27425 (java) S 27364 27367 24221 0 -1 1077944384 5 13150 0 0 0 0 4 3 20 0 15 0 416188729 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156319136240 140156859595394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27426] ppid=27364 vsize=10824360 memory=1124 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27426/stat : 27426 (java) S 27364 27367 24221 0 -1 1077944384 33 13150 0 0 0 0 4 3 20 0 15 0 416188729 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156318082464 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27427] ppid=27364 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27427/stat : 27427 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188729 11084144640 20636 33554432000 4194304 4196468 140735496616688 140155721606640 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27428] ppid=27364 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27428/stat : 27428 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11084144640 20636 33554432000 4194304 4196468 140735496616688 140155414207184 140156859602843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27429] ppid=27364 vsize=10824360 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/27367/task/27429/stat : 27429 (java) S 27364 27367 24221 0 -1 1077944384 983 13150 0 0 15 0 4 3 20 0 15 0 416188732 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156284524528 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27430] ppid=27364 vsize=10824360 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/27367/task/27430/stat : 27430 (java) R 27364 27367 24221 0 -1 4202560 513 13150 0 0 12 0 4 3 20 0 15 0 416188732 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156283471984 140156839246465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27431] ppid=27364 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/27367/task/27431/stat : 27431 (java) S 27364 27367 24221 0 -1 1077944384 1006 13150 0 0 17 0 4 3 20 0 15 0 416188732 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156282419440 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27432] ppid=27364 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27432/stat : 27432 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11084144640 20636 33554432000 4194304 4196468 140735496616688 140155380648544 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27433] ppid=27364 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27433/stat : 27433 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188732 11084144640 20636 33554432000 4194304 4196468 140735496616688 140156281367344 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 82544 KiB

[startup+1.50065 s]
/proc/loadavg: 1.77 1.44 1.40 3/228 27433
/proc/meminfo: memFree=27598420/32770624 swapFree=67004752/67108860
[pid=27367] ppid=27364 vsize=10834676 memory=177316 CPUtime=2.61 cores=1,3,5,7
/proc/27367/stat : 27367 (java) S 27364 27367 24221 0 -1 1077944320 25304 13150 0 0 243 11 4 3 20 0 15 0 416188718 11094708224 44329 33554432000 4194304 4196468 140735496616688 140735496599232 140156859584247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
/proc/27367/statm: 2708669 44329 3585 1 0 2670733 0
[pid=27367/tid=27420] ppid=27364 vsize=10834676 memory=-7101718590825193272 CPUtime=1.43 cores=1,3,5,7
/proc/27367/task/27420/stat : 27420 (java) R 27364 27367 24221 0 -1 4202560 16294 13150 0 0 130 6 4 3 20 0 15 0 416188726 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156831404688 140156859596182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27421] ppid=27364 vsize=10834676 memory=6933690279252828305 CPUtime=0.08 cores=1,3,5,7
/proc/27367/task/27421/stat : 27421 (java) S 27364 27367 24221 0 -1 1077944384 78 13150 0 0 1 0 4 3 20 0 15 0 416188727 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156863826192 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27422] ppid=27364 vsize=10834676 memory=-7966001734603266090 CPUtime=0.08 cores=1,3,5,7
/proc/27367/task/27422/stat : 27422 (java) S 27364 27367 24221 0 -1 1077944384 45 13150 0 0 1 0 4 3 20 0 15 0 416188727 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156432943504 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27423] ppid=27364 vsize=10834676 memory=-7101718590825193272 CPUtime=0.08 cores=1,3,5,7
/proc/27367/task/27423/stat : 27423 (java) S 27364 27367 24221 0 -1 1077944384 24 13150 0 0 1 0 4 3 20 0 15 0 416188727 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156431890960 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27424] ppid=27364 vsize=10834676 memory=125136 CPUtime=0.08 cores=1,3,5,7
/proc/27367/task/27424/stat : 27424 (java) S 27364 27367 24221 0 -1 1077944384 341 13150 0 0 1 0 4 3 20 0 15 0 416188727 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156430838416 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27425] ppid=27364 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27367/task/27425/stat : 27425 (java) S 27364 27367 24221 0 -1 1077944384 1472 13150 0 0 1 0 4 3 20 0 15 0 416188729 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156319136240 140156859595394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27426] ppid=27364 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27426/stat : 27426 (java) S 27364 27367 24221 0 -1 1077944384 33 13150 0 0 0 0 4 3 20 0 15 0 416188729 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156318082528 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27427] ppid=27364 vsize=10834676 memory=281375387223200 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27427/stat : 27427 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188729 11094708224 44329 33554432000 4194304 4196468 140735496616688 140155721606640 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27428] ppid=27364 vsize=10834676 memory=281375387637696 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27428/stat : 27428 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11094708224 44329 33554432000 4194304 4196468 140735496616688 140155414207184 140156859602843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27429] ppid=27364 vsize=10834676 memory=3467965315573666032 CPUtime=0.42 cores=1,3,5,7
/proc/27367/task/27429/stat : 27429 (java) R 27364 27367 24221 0 -1 1077944384 1769 13150 0 0 35 0 4 3 20 0 15 0 416188732 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156284524528 140156859595394 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27430] ppid=27364 vsize=10834676 memory=7660742144744843625 CPUtime=0.36 cores=1,3,5,7
/proc/27367/task/27430/stat : 27430 (java) S 27364 27367 24221 0 -1 1077944384 1097 13150 0 0 29 0 4 3 20 0 15 0 416188732 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156283471984 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27431] ppid=27364 vsize=10834676 memory=952 CPUtime=0.48 cores=1,3,5,7
/proc/27367/task/27431/stat : 27431 (java) R 27364 27367 24221 0 -1 4202560 1932 13150 0 0 41 0 4 3 20 0 15 0 416188732 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156282419440 140156859605594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27432] ppid=27364 vsize=10834676 memory=14008 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27432/stat : 27432 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11094708224 44329 33554432000 4194304 4196468 140735496616688 140155380648544 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27433] ppid=27364 vsize=10834676 memory=22012 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27433/stat : 27433 (java) S 27364 27367 24221 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 416188732 11094708224 44329 33554432000 4194304 4196468 140735496616688 140156281367344 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0

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

[startup+5.06396 s]
# the end of solver process 27367 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.9859 s, system=0.269765 s

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

[startup+3.20085 s]
/proc/loadavg: 1.77 1.44 1.40 5/227 27433
/proc/meminfo: memFree=27455216/32770624 swapFree=67004752/67108860
[pid=27367] ppid=27364 vsize=10846984 memory=261680 CPUtime=7.23 cores=1,3,5,7
/proc/27367/stat : 27367 (java) S 27364 27367 24221 0 -1 1077944320 46602 13150 0 0 699 17 4 3 20 0 15 0 416188718 11107311616 65354 33554432000 4194304 4196468 140735496616688 140735496599232 140156859584247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
/proc/27367/statm: 2711746 65354 3610 1 0 2673805 0
[pid=27367/tid=27420] ppid=27364 vsize=10846984 memory=6944656592387989600 CPUtime=3.08 cores=1,3,5,7
/proc/27367/task/27420/stat : 27420 (java) R 27364 27367 24221 0 -1 4202560 24142 13150 0 0 292 9 4 3 20 0 15 0 416188726 11107311616 65420 33554432000 4194304 4196468 140735496616688 140156831416176 140156843664734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27421] ppid=27364 vsize=10846984 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27421/stat : 27421 (java) S 27364 27367 24221 0 -1 1077944384 105 13150 0 0 3 0 4 3 20 0 15 0 416188727 11107311616 65420 33554432000 4194304 4196468 140735496616688 140156863826192 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27422] ppid=27364 vsize=10846984 memory=7447094945018176106 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27422/stat : 27422 (java) S 27364 27367 24221 0 -1 1077944384 83 13150 0 0 3 0 4 3 20 0 15 0 416188727 11107311616 65420 33554432000 4194304 4196468 140735496616688 140156432943504 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27423] ppid=27364 vsize=10846984 memory=1060 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27423/stat : 27423 (java) S 27364 27367 24221 0 -1 1077944384 41 13150 0 0 3 0 4 3 20 0 15 0 416188727 11107311616 65420 33554432000 4194304 4196468 140735496616688 140156431890960 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27424] ppid=27364 vsize=10846984 memory=752 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27424/stat : 27424 (java) S 27364 27367 24221 0 -1 1077944384 460 13150 0 0 3 0 4 3 20 0 15 0 416188727 11107311616 65420 33554432000 4194304 4196468 140735496616688 140156430838416 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27425] ppid=27364 vsize=10846984 memory=1228 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27425/stat : 27425 (java) S 27364 27367 24221 0 -1 1077944384 3207 13150 0 0 3 0 4 3 20 0 15 0 416188729 11107311616 65420 33554432000 4194304 4196468 140735496616688 140156319136240 140156859595394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27426] ppid=27364 vsize=10846984 memory=9584 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27426/stat : 27426 (java) S 27364 27367 24221 0 -1 1077944384 37 13150 0 0 0 0 4 3 20 0 15 0 416188729 11107311616 65420 33554432000 4194304 4196468 140735496616688 140156318082528 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27427] ppid=27364 vsize=10846984 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27427/stat : 27427 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188729 11107311616 65420 33554432000 4194304 4196468 140735496616688 140155721606656 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27428] ppid=27364 vsize=10846984 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27428/stat : 27428 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11107311616 65420 33554432000 4194304 4196468 140735496616688 140155414207184 140156859602843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27429] ppid=27364 vsize=10846984 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/27367/task/27429/stat : 27429 (java) R 27364 27367 24221 0 -1 4202560 5316 13150 0 0 136 1 4 3 20 0 15 0 416188732 11107311616 65428 33554432000 4194304 4196468 140735496616688 140156284524528 140156852301210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27430] ppid=27364 vsize=10846984 memory=9126232286719478932 CPUtime=1.34 cores=1,3,5,7
/proc/27367/task/27430/stat : 27430 (java) R 27364 27367 24221 0 -1 4202560 5076 13150 0 0 127 0 4 3 20 0 15 0 416188732 11107311616 65428 33554432000 4194304 4196468 140735496616688 140156283457928 140156843490964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27431] ppid=27364 vsize=10846984 memory=9568 CPUtime=1.34 cores=1,3,5,7
/proc/27367/task/27431/stat : 27431 (java) S 27364 27367 24221 0 -1 1077944384 5990 13150 0 0 125 2 4 3 20 0 15 0 416188732 11107311616 65428 33554432000 4194304 4196468 140735496616688 140156282419440 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27432] ppid=27364 vsize=10846984 memory=4360477574837056544 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27432/stat : 27432 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11107311616 65428 33554432000 4194304 4196468 140735496616688 140155380648544 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27433] ppid=27364 vsize=10846984 memory=-3252517613199061085 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27433/stat : 27433 (java) S 27364 27367 24221 0 -1 1077944384 6 13150 0 0 0 0 4 3 20 0 15 0 416188732 11107311616 65428 33554432000 4194304 4196468 140735496616688 140156281367344 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
Current children cumulated CPU time: 7.23 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 261680 KiB

[startup+4.00072 s]*
/proc/loadavg: 1.77 1.44 1.40 5/227 27433
/proc/meminfo: memFree=27430564/32770624 swapFree=67004752/67108860
[pid=27367] ppid=27364 vsize=10849044 memory=289040 CPUtime=9.89 cores=1,3,5,7
/proc/27367/stat : 27367 (java) S 27364 27367 24221 0 -1 1077944320 54518 13150 0 0 962 20 4 3 20 0 15 0 416188718 11109421056 72260 33554432000 4194304 4196468 140735496616688 140735496599232 140156859584247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
/proc/27367/statm: 2712261 72260 3617 1 0 2674317 0
[pid=27367/tid=27420] ppid=27364 vsize=10849044 memory=5792865424675268695 CPUtime=3.87 cores=1,3,5,7
/proc/27367/task/27420/stat : 27420 (java) R 27364 27367 24221 0 -1 4202560 25597 13150 0 0 371 9 4 3 20 0 15 0 416188726 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156831412168 140156477959592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27421] ppid=27364 vsize=10849044 memory=3474589991728854063 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27421/stat : 27421 (java) S 27364 27367 24221 0 -1 1077944384 105 13150 0 0 3 0 4 3 20 0 15 0 416188727 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156863826192 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27422] ppid=27364 vsize=10849044 memory=3545096142331799216 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27422/stat : 27422 (java) S 27364 27367 24221 0 -1 1077944384 83 13150 0 0 3 0 4 3 20 0 15 0 416188727 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156432943504 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27423] ppid=27364 vsize=10849044 memory=7667195204275367521 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27423/stat : 27423 (java) S 27364 27367 24221 0 -1 1077944384 41 13150 0 0 3 0 4 3 20 0 15 0 416188727 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156431890960 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27424] ppid=27364 vsize=10849044 memory=3761122652855468041 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27424/stat : 27424 (java) S 27364 27367 24221 0 -1 1077944384 460 13150 0 0 3 0 4 3 20 0 15 0 416188727 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156430838416 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27425] ppid=27364 vsize=10849044 memory=281375489489648 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27425/stat : 27425 (java) S 27364 27367 24221 0 -1 1077944384 3207 13150 0 0 3 0 4 3 20 0 15 0 416188729 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156319136240 140156859595394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27426] ppid=27364 vsize=10849044 memory=739271074867650591 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27426/stat : 27426 (java) S 27364 27367 24221 0 -1 1077944384 37 13150 0 0 0 0 4 3 20 0 15 0 416188729 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156318082528 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27427] ppid=27364 vsize=10849044 memory=8390361644446492005 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27427/stat : 27427 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188729 11109421056 72260 33554432000 4194304 4196468 140735496616688 140155721606656 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27428] ppid=27364 vsize=10849044 memory=6720696446780543624 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27428/stat : 27428 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11109421056 72260 33554432000 4194304 4196468 140735496616688 140155414207184 140156859602843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27429] ppid=27364 vsize=10849044 memory=0 CPUtime=2.18 cores=1,3,5,7
/proc/27367/task/27429/stat : 27429 (java) R 27364 27367 24221 0 -1 4202560 6139 13150 0 0 210 1 4 3 20 0 15 0 416188732 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156284509968 140156839277351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27430] ppid=27364 vsize=10849044 memory=140687693980511 CPUtime=2.15 cores=1,3,5,7
/proc/27367/task/27430/stat : 27430 (java) R 27364 27367 24221 0 -1 4202560 9426 13150 0 0 207 1 4 3 20 0 15 0 416188732 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156283461776 140156839796401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27431] ppid=27364 vsize=10849044 memory=7022364594140610616 CPUtime=1.63 cores=1,3,5,7
/proc/27367/task/27431/stat : 27431 (java) R 27364 27367 24221 0 -1 1077944384 7199 13150 0 0 153 3 4 3 20 0 15 0 416188732 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156282419440 140156859595394 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27432] ppid=27364 vsize=10849044 memory=288230591823085922 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27432/stat : 27432 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11109421056 72260 33554432000 4194304 4196468 140735496616688 140155380648544 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27433] ppid=27364 vsize=10849044 memory=4409224316399648800 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27433/stat : 27433 (java) S 27364 27367 24221 0 -1 1077944384 6 13150 0 0 0 0 4 3 20 0 15 0 416188732 11109421056 72260 33554432000 4194304 4196468 140735496616688 140156281367344 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
Current children cumulated CPU time: 9.89 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 289040 KiB

[startup+4.80104 s]
/proc/loadavg: 1.77 1.44 1.40 5/227 27433
/proc/meminfo: memFree=27430564/32770624 swapFree=67004752/67108860
[pid=27367] ppid=27364 vsize=10851092 memory=337196 CPUtime=12.48 cores=1,3,5,7
/proc/27367/stat : 27367 (java) S 27364 27367 24221 0 -1 1077944320 55886 13150 0 0 1219 22 4 3 20 0 15 0 416188718 11111518208 84299 33554432000 4194304 4196468 140735496616688 140735496599232 140156859584247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
/proc/27367/statm: 2712773 84299 3620 1 0 2674829 0
[pid=27367/tid=27420] ppid=27364 vsize=10851092 memory=258 CPUtime=4.65 cores=1,3,5,7
/proc/27367/task/27420/stat : 27420 (java) R 27364 27367 24221 0 -1 4202560 25721 13150 0 0 448 10 4 3 20 0 15 0 416188726 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156831418056 140156481307359 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27421] ppid=27364 vsize=10851092 memory=254 CPUtime=0.11 cores=1,3,5,7
/proc/27367/task/27421/stat : 27421 (java) S 27364 27367 24221 0 -1 1077944384 115 13150 0 0 4 0 4 3 20 0 15 0 416188727 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156863826192 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27422] ppid=27364 vsize=10851092 memory=177 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27422/stat : 27422 (java) S 27364 27367 24221 0 -1 1077944384 86 13150 0 0 3 0 4 3 20 0 15 0 416188727 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156432943504 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27423] ppid=27364 vsize=10851092 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27367/task/27423/stat : 27423 (java) S 27364 27367 24221 0 -1 1077944384 63 13150 0 0 4 0 4 3 20 0 15 0 416188727 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156431890960 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27424] ppid=27364 vsize=10851092 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27424/stat : 27424 (java) S 27364 27367 24221 0 -1 1077944384 469 13150 0 0 3 0 4 3 20 0 15 0 416188727 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156430838416 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27425] ppid=27364 vsize=10851092 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27367/task/27425/stat : 27425 (java) S 27364 27367 24221 0 -1 1077944384 3210 13150 0 0 4 0 4 3 20 0 15 0 416188729 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156319136240 140156859595394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27426] ppid=27364 vsize=10851092 memory=1540 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27426/stat : 27426 (java) S 27364 27367 24221 0 -1 1077944384 37 13150 0 0 0 0 4 3 20 0 15 0 416188729 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156318082528 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27427] ppid=27364 vsize=10851092 memory=1720 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27427/stat : 27427 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188729 11111518208 84299 33554432000 4194304 4196468 140735496616688 140155721606656 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27428] ppid=27364 vsize=10851092 memory=5968 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27428/stat : 27428 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11111518208 84299 33554432000 4194304 4196468 140735496616688 140155414207184 140156859602843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27429] ppid=27364 vsize=10851092 memory=772 CPUtime=2.95 cores=1,3,5,7
/proc/27367/task/27429/stat : 27429 (java) R 27364 27367 24221 0 -1 4202560 6568 13150 0 0 286 2 4 3 20 0 15 0 416188732 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156284511088 140156845720162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27430] ppid=27364 vsize=10851092 memory=952 CPUtime=2.88 cores=1,3,5,7
/proc/27367/task/27430/stat : 27430 (java) R 27364 27367 24221 0 -1 4202560 9601 13150 0 0 280 1 4 3 20 0 15 0 416188732 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156283463824 140156840836285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27431] ppid=27364 vsize=10851092 memory=14008 CPUtime=1.92 cores=1,3,5,7
/proc/27367/task/27431/stat : 27431 (java) R 27364 27367 24221 0 -1 4202560 7791 13150 0 0 182 3 4 3 20 0 15 0 416188732 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156282414960 140156838602445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27432] ppid=27364 vsize=10851092 memory=22012 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27432/stat : 27432 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11111518208 84299 33554432000 4194304 4196468 140735496616688 140155380648544 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27433] ppid=27364 vsize=10851092 memory=2116 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27433/stat : 27433 (java) S 27364 27367 24221 0 -1 1077944384 7 13150 0 0 0 0 4 3 20 0 15 0 416188732 11111518208 84299 33554432000 4194304 4196468 140735496616688 140156281367344 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 337196 KiB

[startup+5.00103 s]*
/proc/loadavg: 1.77 1.44 1.40 5/227 27433
/proc/meminfo: memFree=27377880/32770624 swapFree=67004752/67108860
[pid=27367] ppid=27364 vsize=10851092 memory=337868 CPUtime=13.14 cores=1,3,5,7
/proc/27367/stat : 27367 (java) S 27364 27367 24221 0 -1 1077944320 56065 13150 0 0 1285 22 4 3 20 0 15 0 416188718 11111518208 84467 33554432000 4194304 4196468 140735496616688 140735496599232 140156859584247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
/proc/27367/statm: 2712773 84467 3620 1 0 2674829 0
[pid=27367/tid=27420] ppid=27364 vsize=10851092 memory=576460756333027507 CPUtime=4.85 cores=1,3,5,7
/proc/27367/task/27420/stat : 27420 (java) R 27364 27367 24221 0 -1 4202560 25721 13150 0 0 468 10 4 3 20 0 15 0 416188726 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156831416408 140156859596182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27421] ppid=27364 vsize=10851092 memory=301741382115262487 CPUtime=0.11 cores=1,3,5,7
/proc/27367/task/27421/stat : 27421 (java) S 27364 27367 24221 0 -1 1077944384 115 13150 0 0 4 0 4 3 20 0 15 0 416188727 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156863826192 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27422] ppid=27364 vsize=10851092 memory=140687798731520 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27422/stat : 27422 (java) S 27364 27367 24221 0 -1 1077944384 86 13150 0 0 3 0 4 3 20 0 15 0 416188727 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156432943504 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27423] ppid=27364 vsize=10851092 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/27367/task/27423/stat : 27423 (java) S 27364 27367 24221 0 -1 1077944384 63 13150 0 0 4 0 4 3 20 0 15 0 416188727 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156431890960 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27424] ppid=27364 vsize=10851092 memory=3472328296227680303 CPUtime=0.1 cores=1,3,5,7
/proc/27367/task/27424/stat : 27424 (java) S 27364 27367 24221 0 -1 1077944384 469 13150 0 0 3 0 4 3 20 0 15 0 416188727 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156430838416 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27425] ppid=27364 vsize=10851092 memory=3472468983956207280 CPUtime=0.11 cores=1,3,5,7
/proc/27367/task/27425/stat : 27425 (java) S 27364 27367 24221 0 -1 1077944384 3210 13150 0 0 4 0 4 3 20 0 15 0 416188729 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156319136240 140156859595394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27426] ppid=27364 vsize=10851092 memory=3472328279047811119 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27426/stat : 27426 (java) S 27364 27367 24221 0 -1 1077944384 37 13150 0 0 0 0 4 3 20 0 15 0 416188729 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156318082528 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27427] ppid=27364 vsize=10851092 memory=281375387156720 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27427/stat : 27427 (java) S 27364 27367 24221 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 416188729 11111518208 84467 33554432000 4194304 4196468 140735496616688 140155721606656 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27428] ppid=27364 vsize=10851092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27428/stat : 27428 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11111518208 84467 33554432000 4194304 4196468 140735496616688 140155414207184 140156859602843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27429] ppid=27364 vsize=10851092 memory=0 CPUtime=3.15 cores=1,3,5,7
/proc/27367/task/27429/stat : 27429 (java) R 27364 27367 24221 0 -1 4202560 6613 13150 0 0 306 2 4 3 20 0 15 0 416188732 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156284509568 140156844327776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27430] ppid=27364 vsize=10851092 memory=4048795671504892703 CPUtime=3.08 cores=1,3,5,7
/proc/27367/task/27430/stat : 27430 (java) R 27364 27367 24221 0 -1 4202560 9630 13150 0 0 300 1 4 3 20 0 15 0 416188732 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156283471984 140156837586752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27431] ppid=27364 vsize=10851092 memory=3472464585976805040 CPUtime=1.97 cores=1,3,5,7
/proc/27367/task/27431/stat : 27431 (java) R 27364 27367 24221 0 -1 1077944384 7897 13150 0 0 187 3 4 3 20 0 15 0 416188732 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156282419440 140156859595394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27432] ppid=27364 vsize=10851092 memory=140687693701087 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27432/stat : 27432 (java) S 27364 27367 24221 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 416188732 11111518208 84467 33554432000 4194304 4196468 140735496616688 140155380648544 140156859594453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
[pid=27367/tid=27433] ppid=27364 vsize=10851092 memory=281375489279626 CPUtime=0.07 cores=1,3,5,7
/proc/27367/task/27433/stat : 27433 (java) S 27364 27367 24221 0 -1 1077944384 7 13150 0 0 0 0 4 3 20 0 15 0 416188732 11111518208 84467 33554432000 4194304 4196468 140735496616688 140156281367344 140156859595394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34717696 140735496620784 140735496623301 140735496623301 140735496626127 0
Current children cumulated CPU time: 13.14 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 337868 KiB

Child status: 0
Real time (s): 5.064
CPU time (s): 13.2557
CPU user time (s): 12.9859
CPU system time (s): 0.269765
CPU usage (%): 261.763
Max. virtual memory (cumulated for all children) (KiB): 10851668
Max. memory (cumulated for all children) (KiB): 337868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.9859
system time used= 0.269765
maximum resident set size= 340076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69270
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= 6564
involuntary context switches= 57


# summary of solver processes directly reported to runsolver:
#   pid: 27367
#   total CPU time (s): 13.2557
#   total CPU user time (s): 12.9859
#   total CPU system time (s): 0.269765

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058439 second user time and 0.091833 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-13 20:26:11
IDJOB=4396485
IDBENCH=126833
IDSOLVER=2847
FILE ID=node126/4396485-1568399209
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-6-3-20-1.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396485-1568399209/watcher-4396485-1568399209 -o /tmp/evaluation-result-4396485-1568399209/solver-4396485-1568399209 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568394259-25762 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=347118221 HOME/instance-4396485-1568399209.xml

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

MD5SUM BENCH= b4cf0cb08a05c1b083ee2f2000733b36
RANDOM SEED=347118221

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:        27696044 kB
MemAvailable:   30963864 kB
Buffers:          163964 kB
Cached:          3348772 kB
SwapCached:         2860 kB
Active:          2642228 kB
Inactive:        1772224 kB
Active(anon):     899352 kB
Inactive(anon):    43540 kB
Active(file):    1742876 kB
Inactive(file):  1728684 kB
Unevictable:      108840 kB
Mlocked:          108840 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             35048 kB
Writeback:             0 kB
AnonPages:       1049744 kB
Mapped:            58228 kB
Shmem:             32816 kB
Slab:             254996 kB
SReclaimable:     224188 kB
SUnreclaim:        30808 kB
KernelStack:        4048 kB
PageTables:         7312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2160372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    874496 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:17