Trace number 4304519

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.9.2OPT2 7.45716 4.14109

General information on the benchmark

NameTemplateDesign/
TemplateDesign-m1s-1_c18.xml
MD5SUM1aa19c04fc46d2c59e842211a2e06bfd
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.21076
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints18
Number of domains6
Minimum domain size2
Maximum domain size880
Distribution of domain sizes[{"size":2,"count":3},{"size":5,"count":9},{"size":275,"count":3},{"size":550,"count":3},{"size":801,"count":3},{"size":880,"count":3}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":21},{"degree":4,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":3},{"arity":3,"count":15}]
Number of extensional constraints3
Number of intensional constraints9
Distribution of constraint types[{"type":"extension","count":3},{"type":"intension","count":9},{"type":"sum","count":6}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.75	c Concrete v3.9.2.1532736233296 running
7.09/3.66	o 2
7.09/3.68	v <instantiation cost="2">
7.09/3.68	v       <list>
7.09/3.68	v         d[0][0] d[0][1] d[0][2] d[1][0] d[1][1] d[1][2] d[2][0] d[2][1] d[2][2] npt[0] npt[1] npt[2] u[0] u[1] u[2] nptv[0][0] nptv[0][1] nptv[0][2] nptv[1][0] nptv[1][1] nptv[1][2] nptv[2][0] nptv[2][1] nptv[2][2]
7.09/3.68	v       </list>
7.09/3.68	v       <values>
7.09/3.68	v         4 0 0 0 4 0 1 0 3 0 119 254 0 1 1 0 0 0 0 476 0 254 0 762
7.09/3.68	v       </values>
7.09/3.68	v     </instantiation>
7.09/3.68	s OPTIMUM FOUND

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304519-1534100300/watcher-4304519-1534100300 -o /tmp/evaluation-result-4304519-1534100300/solver-4304519-1534100300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534095354-25288 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=449851491 HOME/instance-4304519-1534100300.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.101409 s]*
/proc/loadavg: 1.28 1.22 1.29 2/206 26499
/proc/meminfo: memFree=27884504/32770624 swapFree=67030652/67108860
[pid=26442] ppid=26439 vsize=10005480 memory=16948 CPUtime=0.08 cores=1,3,5,7
/proc/26442/stat : 26442 (java) S 26439 26442 25256 0 -1 1077944320 4376 12827 0 0 1 0 5 2 20 0 6 0 227593221 10245611520 4237 33554432000 4194304 4196468 140734076950192 140734076932736 140585257549559 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
/proc/26442/statm: 2501370 4237 1934 1 0 2489808 0
[pid=26442/tid=26495] ppid=26439 vsize=10005480 memory=4279135704047322765 CPUtime=0.08 cores=1,3,5,7
/proc/26442/task/26495/stat : 26495 (java) R 26439 26442 25256 0 -1 4202560 2185 12827 0 0 1 0 5 2 20 0 6 0 227593230 10245611520 4237 33554432000 4194304 4196468 140734076950192 140585229386320 140585257571485 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26496] ppid=26439 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26496/stat : 26496 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 6 0 227593231 10245611520 4237 33554432000 4194304 4196468 140734076950192 140585261792144 140585257559765 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26497] ppid=26439 vsize=10005480 memory=139993062770304 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26497/stat : 26497 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 6 0 227593231 10245611520 4237 33554432000 4194304 4196468 140734076950192 140584797575952 140585257559765 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26498] ppid=26439 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26498/stat : 26498 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 6 0 227593231 10245611520 4237 33554432000 4194304 4196468 140734076950192 140584796523664 140585257559765 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26499] ppid=26439 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26499/stat : 26499 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 6 0 227593231 10245611520 4237 33554432000 4194304 4196468 140734076950192 140584795470864 140585257559765 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16948 KiB

[startup+0.209858 s]*
/proc/loadavg: 1.28 1.22 1.29 3/215 26508
/proc/meminfo: memFree=27863644/32770624 swapFree=67030652/67108860
[pid=26442] ppid=26439 vsize=10982696 memory=45100 CPUtime=0.25 cores=1,3,5,7
/proc/26442/stat : 26442 (java) S 26439 26442 25256 0 -1 1077944320 8640 12827 0 0 16 2 5 2 20 0 15 0 227593221 11246280704 11275 33554432000 4194304 4196468 140734076950192 140734076932736 140585257549559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
/proc/26442/statm: 2745674 11275 2947 1 0 2708109 0
[pid=26442/tid=26495] ppid=26439 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/26442/task/26495/stat : 26495 (java) R 26439 26442 25256 0 -1 4202560 5196 12827 0 0 10 1 5 2 20 0 15 0 227593230 11246280704 11275 33554432000 4194304 4196468 140734076950192 140585229347216 140585257571485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26496] ppid=26439 vsize=10982696 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26496/stat : 26496 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246280704 11275 33554432000 4194304 4196468 140734076950192 140585261792144 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26497] ppid=26439 vsize=10982696 memory=3763239645434545824 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26497/stat : 26497 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246280704 11275 33554432000 4194304 4196468 140734076950192 140584797575952 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26498] ppid=26439 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26498/stat : 26498 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246280704 11275 33554432000 4194304 4196468 140734076950192 140584796523664 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26499] ppid=26439 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26499/stat : 26499 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246280704 11275 33554432000 4194304 4196468 140734076950192 140584795470864 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26500] ppid=26439 vsize=10982696 memory=139993062770304 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26500/stat : 26500 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 227593233 11246280704 11275 33554432000 4194304 4196468 140734076950192 140584750655600 140585257560706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26501] ppid=26439 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26501/stat : 26501 (java) S 26439 26442 25256 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 227593233 11246280704 11275 33554432000 4194304 4196468 140734076950192 140584077484832 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26502] ppid=26439 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26502/stat : 26502 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593234 11246280704 11275 33554432000 4194304 4196468 140734076950192 140583876158576 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26503] ppid=26439 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26503/stat : 26503 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593236 11246280704 11275 33554432000 4194304 4196468 140734076950192 140583568758864 140585257568155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26504] ppid=26439 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26442/task/26504/stat : 26504 (java) S 26439 26442 25256 0 -1 1077944384 415 12827 0 0 1 0 5 2 20 0 15 0 227593236 11246280704 11275 33554432000 4194304 4196468 140734076950192 140584681466480 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26505] ppid=26439 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26442/task/26505/stat : 26505 (java) S 26439 26442 25256 0 -1 1077944384 188 12827 0 0 1 0 5 2 20 0 15 0 227593236 11246280704 11275 33554432000 4194304 4196468 140734076950192 140584680413680 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26506] ppid=26439 vsize=10982696 memory=139993062770304 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26506/stat : 26506 (java) R 26439 26442 25256 0 -1 4202560 620 12827 0 0 3 0 5 2 20 0 15 0 227593236 11246280704 11275 33554432000 4194304 4196468 140734076950192 140584679361392 140585242715145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26507] ppid=26439 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26507/stat : 26507 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593237 11246280704 11275 33554432000 4194304 4196468 140734076950192 140583137962976 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26508] ppid=26439 vsize=10982696 memory=139993062770304 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26508/stat : 26508 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593237 11246280704 11275 33554432000 4194304 4196468 140734076950192 140584678308272 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45100 KiB

[startup+0.310344 s]*
/proc/loadavg: 1.28 1.22 1.29 3/215 26508
/proc/meminfo: memFree=27851240/32770624 swapFree=67030652/67108860
[pid=26442] ppid=26439 vsize=10983192 memory=55992 CPUtime=0.37 cores=1,3,5,7
/proc/26442/stat : 26442 (java) S 26439 26442 25256 0 -1 1077944320 10575 12827 0 0 27 3 5 2 20 0 15 0 227593221 11246788608 13998 33554432000 4194304 4196468 140734076950192 140734076932736 140585257549559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
/proc/26442/statm: 2745798 13998 3079 1 0 2708109 0
[pid=26442/tid=26495] ppid=26439 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/26442/task/26495/stat : 26495 (java) R 26439 26442 25256 0 -1 4202560 7164 12827 0 0 18 2 5 2 20 0 15 0 227593230 11246788608 14064 33554432000 4194304 4196468 140734076950192 140585229361568 140585237825308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26496] ppid=26439 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26496/stat : 26496 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246788608 14064 33554432000 4194304 4196468 140734076950192 140585261792144 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26497] ppid=26439 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26497/stat : 26497 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246788608 14064 33554432000 4194304 4196468 140734076950192 140584797575952 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26498] ppid=26439 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26498/stat : 26498 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246788608 14064 33554432000 4194304 4196468 140734076950192 140584796523664 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26499] ppid=26439 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26499/stat : 26499 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246788608 14064 33554432000 4194304 4196468 140734076950192 140584795470864 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26500] ppid=26439 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26500/stat : 26500 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 227593233 11246788608 14064 33554432000 4194304 4196468 140734076950192 140584750655600 140585257560706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26501] ppid=26439 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26501/stat : 26501 (java) S 26439 26442 25256 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 227593233 11246788608 14064 33554432000 4194304 4196468 140734076950192 140584077484832 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26502] ppid=26439 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26502/stat : 26502 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593234 11246788608 14064 33554432000 4194304 4196468 140734076950192 140583876158576 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26503] ppid=26439 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26503/stat : 26503 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593236 11246788608 14064 33554432000 4194304 4196468 140734076950192 140583568758864 140585257568155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26504] ppid=26439 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26442/task/26504/stat : 26504 (java) S 26439 26442 25256 0 -1 1077944384 417 12827 0 0 1 0 5 2 20 0 15 0 227593236 11246788608 14064 33554432000 4194304 4196468 140734076950192 140584681466480 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26505] ppid=26439 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26442/task/26505/stat : 26505 (java) S 26439 26442 25256 0 -1 1077944384 188 12827 0 0 1 0 5 2 20 0 15 0 227593236 11246788608 14064 33554432000 4194304 4196468 140734076950192 140584680413680 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26506] ppid=26439 vsize=10983192 memory=139993062770304 CPUtime=0.12 cores=1,3,5,7
/proc/26442/task/26506/stat : 26506 (java) S 26439 26442 25256 0 -1 1077944384 626 12827 0 0 5 0 5 2 20 0 15 0 227593236 11246788608 14064 33554432000 4194304 4196468 140734076950192 140584679361392 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26507] ppid=26439 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26507/stat : 26507 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593237 11246788608 14064 33554432000 4194304 4196468 140734076950192 140583137962976 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26508] ppid=26439 vsize=10983192 memory=139993062770304 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26508/stat : 26508 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593237 11246788608 14064 33554432000 4194304 4196468 140734076950192 140584678308272 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55992 KiB

[startup+0.700756 s]
/proc/loadavg: 1.28 1.22 1.29 3/215 26508
/proc/meminfo: memFree=27839580/32770624 swapFree=67030652/67108860
[pid=26442] ppid=26439 vsize=10983192 memory=88712 CPUtime=0.98 cores=1,3,5,7
/proc/26442/stat : 26442 (java) S 26439 26442 25256 0 -1 1077944320 16823 12827 0 0 86 5 5 2 20 0 15 0 227593221 11246788608 22178 33554432000 4194304 4196468 140734076950192 140734076932736 140585257549559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
/proc/26442/statm: 2745798 22178 3232 1 0 2708109 0
[pid=26442/tid=26495] ppid=26439 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/26442/task/26495/stat : 26495 (java) R 26439 26442 25256 0 -1 4202560 12469 12827 0 0 55 3 5 2 20 0 15 0 227593230 11246788608 22178 33554432000 4194304 4196468 140734076950192 140585229365968 140585239113063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26496] ppid=26439 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26496/stat : 26496 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246788608 22178 33554432000 4194304 4196468 140734076950192 140585261792144 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26497] ppid=26439 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26497/stat : 26497 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246788608 22178 33554432000 4194304 4196468 140734076950192 140584797575952 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26498] ppid=26439 vsize=10983192 memory=139992915653392 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26498/stat : 26498 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246788608 22178 33554432000 4194304 4196468 140734076950192 140584796523664 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26499] ppid=26439 vsize=10983192 memory=139994459013705 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26499/stat : 26499 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 227593231 11246788608 22178 33554432000 4194304 4196468 140734076950192 140584795470864 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26500] ppid=26439 vsize=10983192 memory=752 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26500/stat : 26500 (java) S 26439 26442 25256 0 -1 1077944384 5 12827 0 0 0 0 5 2 20 0 15 0 227593233 11246788608 22178 33554432000 4194304 4196468 140734076950192 140584750655600 140585257560706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26501] ppid=26439 vsize=10983192 memory=7014751519650764113 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26501/stat : 26501 (java) S 26439 26442 25256 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 227593233 11246788608 22178 33554432000 4194304 4196468 140734076950192 140584077484832 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26502] ppid=26439 vsize=10983192 memory=6082220498109819240 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26502/stat : 26502 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593234 11246788608 22178 33554432000 4194304 4196468 140734076950192 140583876158576 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26503] ppid=26439 vsize=10983192 memory=2228 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26503/stat : 26503 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593236 11246788608 22178 33554432000 4194304 4196468 140734076950192 140583568758864 140585257568155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26504] ppid=26439 vsize=10983192 memory=30564 CPUtime=0.17 cores=1,3,5,7
/proc/26442/task/26504/stat : 26504 (java) S 26439 26442 25256 0 -1 1077944384 1008 12827 0 0 10 0 5 2 20 0 15 0 227593236 11246788608 22178 33554432000 4194304 4196468 140734076950192 140584681466480 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26505] ppid=26439 vsize=10983192 memory=11904 CPUtime=0.14 cores=1,3,5,7
/proc/26442/task/26505/stat : 26505 (java) S 26439 26442 25256 0 -1 1077944384 461 12827 0 0 7 0 5 2 20 0 15 0 227593236 11246788608 22178 33554432000 4194304 4196468 140734076950192 140584680413680 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26506] ppid=26439 vsize=10983192 memory=492 CPUtime=0.2 cores=1,3,5,7
/proc/26442/task/26506/stat : 26506 (java) S 26439 26442 25256 0 -1 1077944384 661 12827 0 0 13 0 5 2 20 0 15 0 227593236 11246788608 22178 33554432000 4194304 4196468 140734076950192 140584679361392 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26507] ppid=26439 vsize=10983192 memory=1560 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26507/stat : 26507 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593237 11246788608 22178 33554432000 4194304 4196468 140734076950192 140583137962976 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26508] ppid=26439 vsize=10983192 memory=932 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26508/stat : 26508 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593237 11246788608 22178 33554432000 4194304 4196468 140734076950192 140584678308272 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88712 KiB

[startup+1.50072 s]
/proc/loadavg: 1.28 1.22 1.29 3/215 26508
/proc/meminfo: memFree=27795924/32770624 swapFree=67030652/67108860
[pid=26442] ppid=26439 vsize=10998092 memory=179188 CPUtime=2.28 cores=1,3,5,7
/proc/26442/stat : 26442 (java) S 26439 26442 25256 0 -1 1077944320 24016 12827 0 0 212 9 5 2 20 0 15 0 227593221 11262046208 44797 33554432000 4194304 4196468 140734076950192 140734076932736 140585257549559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
/proc/26442/statm: 2749523 44797 3466 1 0 2711181 0
[pid=26442/tid=26495] ppid=26439 vsize=10998092 memory=65036 CPUtime=1.42 cores=1,3,5,7
/proc/26442/task/26495/stat : 26495 (java) R 26439 26442 25256 0 -1 4202560 18156 12827 0 0 130 5 5 2 20 0 15 0 227593230 11262046208 44797 33554432000 4194304 4196468 140734076950192 140585229381568 140585239113119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26496] ppid=26439 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/26442/task/26496/stat : 26496 (java) S 26439 26442 25256 0 -1 1077944384 52 12827 0 0 1 0 5 2 20 0 15 0 227593231 11262046208 44797 33554432000 4194304 4196468 140734076950192 140585261792144 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26497] ppid=26439 vsize=10998092 memory=279985831338144 CPUtime=0.08 cores=1,3,5,7
/proc/26442/task/26497/stat : 26497 (java) S 26439 26442 25256 0 -1 1077944384 26 12827 0 0 1 0 5 2 20 0 15 0 227593231 11262046208 44797 33554432000 4194304 4196468 140734076950192 140584797575952 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26498] ppid=26439 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26442/task/26498/stat : 26498 (java) S 26439 26442 25256 0 -1 1077944384 239 12827 0 0 1 0 5 2 20 0 15 0 227593231 11262046208 44797 33554432000 4194304 4196468 140734076950192 140584796523664 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26499] ppid=26439 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26499/stat : 26499 (java) S 26439 26442 25256 0 -1 1077944384 23 12827 0 0 0 0 5 2 20 0 15 0 227593231 11262046208 44797 33554432000 4194304 4196468 140734076950192 140584795470864 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26500] ppid=26439 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26442/task/26500/stat : 26500 (java) S 26439 26442 25256 0 -1 1077944384 63 12827 0 0 1 0 5 2 20 0 15 0 227593233 11262046208 44797 33554432000 4194304 4196468 140734076950192 140584750655600 140585257560706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26501] ppid=26439 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26501/stat : 26501 (java) S 26439 26442 25256 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 227593233 11262046208 44797 33554432000 4194304 4196468 140734076950192 140584077484896 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26502] ppid=26439 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26502/stat : 26502 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 227593234 11262046208 44797 33554432000 4194304 4196468 140734076950192 140583876158592 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26503] ppid=26439 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26503/stat : 26503 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593236 11262046208 44797 33554432000 4194304 4196468 140734076950192 140583568758864 140585257568155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26504] ppid=26439 vsize=10998092 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/26442/task/26504/stat : 26504 (java) S 26439 26442 25256 0 -1 1077944384 1484 12827 0 0 24 0 5 2 20 0 15 0 227593236 11262046208 44797 33554432000 4194304 4196468 140734076950192 140584681466480 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26505] ppid=26439 vsize=10998092 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/26442/task/26505/stat : 26505 (java) S 26439 26442 25256 0 -1 1077944384 575 12827 0 0 18 0 5 2 20 0 15 0 227593236 11262046208 44797 33554432000 4194304 4196468 140734076950192 140584680413680 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26506] ppid=26439 vsize=10998092 memory=6791534058613427641 CPUtime=0.39 cores=1,3,5,7
/proc/26442/task/26506/stat : 26506 (java) S 26439 26442 25256 0 -1 1077944384 1183 12827 0 0 32 0 5 2 20 0 15 0 227593236 11262046208 44797 33554432000 4194304 4196468 140734076950192 140584679361392 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26507] ppid=26439 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26507/stat : 26507 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593237 11262046208 44797 33554432000 4194304 4196468 140734076950192 140583137962976 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26508] ppid=26439 vsize=10998092 memory=279985831582656 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26508/stat : 26508 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593237 11262046208 44797 33554432000 4194304 4196468 140734076950192 140584678308272 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 179188 KiB

[startup+3.11034 s]
/proc/loadavg: 1.50 1.27 1.31 4/215 26508
/proc/meminfo: memFree=27646252/32770624 swapFree=67030652/67108860
[pid=26442] ppid=26439 vsize=11010400 memory=261656 CPUtime=5.89 cores=1,3,5,7
/proc/26442/stat : 26442 (java) S 26439 26442 25256 0 -1 1077944320 41318 12827 0 0 566 16 5 2 20 0 15 0 227593221 11274649600 65414 33554432000 4194304 4196468 140734076950192 140734076932736 140585257549559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
/proc/26442/statm: 2752600 65414 3491 1 0 2714253 0
[pid=26442/tid=26495] ppid=26439 vsize=11010400 memory=7 CPUtime=2.98 cores=1,3,5,7
/proc/26442/task/26495/stat : 26495 (java) R 26439 26442 25256 0 -1 4202560 28876 12827 0 0 283 8 5 2 20 0 15 0 227593230 11274649600 65414 33554432000 4194304 4196468 140734076950192 140585229368288 140585241593189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26496] ppid=26439 vsize=11010400 memory=224456 CPUtime=0.09 cores=1,3,5,7
/proc/26442/task/26496/stat : 26496 (java) S 26439 26442 25256 0 -1 1077944384 57 12827 0 0 2 0 5 2 20 0 15 0 227593231 11274649600 65414 33554432000 4194304 4196468 140734076950192 140585261792144 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26497] ppid=26439 vsize=11010400 memory=3544 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26497/stat : 26497 (java) S 26439 26442 25256 0 -1 1077944384 57 12827 0 0 3 0 5 2 20 0 15 0 227593231 11274649600 65414 33554432000 4194304 4196468 140734076950192 140584797575952 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26498] ppid=26439 vsize=11010400 memory=59812 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26498/stat : 26498 (java) S 26439 26442 25256 0 -1 1077944384 260 12827 0 0 3 0 5 2 20 0 15 0 227593231 11274649600 65414 33554432000 4194304 4196468 140734076950192 140584796523664 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26499] ppid=26439 vsize=11010400 memory=776 CPUtime=0.09 cores=1,3,5,7
/proc/26442/task/26499/stat : 26499 (java) S 26439 26442 25256 0 -1 1077944384 38 12827 0 0 2 0 5 2 20 0 15 0 227593231 11274649600 65414 33554432000 4194304 4196468 140734076950192 140584795470864 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26500] ppid=26439 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26500/stat : 26500 (java) S 26439 26442 25256 0 -1 1077944384 1084 12827 0 0 3 0 5 2 20 0 15 0 227593233 11274649600 65414 33554432000 4194304 4196468 140734076950192 140584750655600 140585257560706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26501] ppid=26439 vsize=11010400 memory=-3472574513799858009 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26501/stat : 26501 (java) S 26439 26442 25256 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 227593233 11274649600 65414 33554432000 4194304 4196468 140734076950192 140584077484896 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26502] ppid=26439 vsize=11010400 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26502/stat : 26502 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 227593234 11274649600 65414 33554432000 4194304 4196468 140734076950192 140583876158592 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26503] ppid=26439 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26503/stat : 26503 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593236 11274649600 65414 33554432000 4194304 4196468 140734076950192 140583568758864 140585257568155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26504] ppid=26439 vsize=11010400 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/26442/task/26504/stat : 26504 (java) S 26439 26442 25256 0 -1 1077944384 3885 12827 0 0 99 1 5 2 20 0 15 0 227593236 11274649600 65414 33554432000 4194304 4196468 140734076950192 140584681466480 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26505] ppid=26439 vsize=11010400 memory=3467964620795369536 CPUtime=0.71 cores=1,3,5,7
/proc/26442/task/26505/stat : 26505 (java) S 26439 26442 25256 0 -1 1077944384 1275 12827 0 0 62 2 5 2 20 0 15 0 227593236 11274649600 65414 33554432000 4194304 4196468 140734076950192 140584680413680 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26506] ppid=26439 vsize=11010400 memory=56 CPUtime=1.11 cores=1,3,5,7
/proc/26442/task/26506/stat : 26506 (java) S 26439 26442 25256 0 -1 1077944384 3572 12827 0 0 103 1 5 2 20 0 15 0 227593236 11274649600 65414 33554432000 4194304 4196468 140734076950192 140584679361392 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26507] ppid=26439 vsize=11010400 memory=3470692292451393600 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26507/stat : 26507 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593237 11274649600 65414 33554432000 4194304 4196468 140734076950192 140583137962976 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26508] ppid=26439 vsize=11010400 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26508/stat : 26508 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593237 11274649600 65414 33554432000 4194304 4196468 140734076950192 140584678308272 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 261656 KiB

[startup+4.14104 s]
# the end of solver process 26442 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.21832 s, system=0.238847 s

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

[startup+3.20105 s]
/proc/loadavg: 1.50 1.27 1.31 4/215 26508
/proc/meminfo: memFree=27646252/32770624 swapFree=67030652/67108860
[pid=26442] ppid=26439 vsize=11010400 memory=263512 CPUtime=6.05 cores=1,3,5,7
/proc/26442/stat : 26442 (java) S 26439 26442 25256 0 -1 1077944320 44307 12827 0 0 581 17 5 2 20 0 15 0 227593221 11274649600 65875 33554432000 4194304 4196468 140734076950192 140734076932736 140585257549559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
/proc/26442/statm: 2752600 65878 3496 1 0 2714253 0
[pid=26442/tid=26495] ppid=26439 vsize=11010400 memory=6525018278055845907 CPUtime=3.07 cores=1,3,5,7
/proc/26442/task/26495/stat : 26495 (java) R 26439 26442 25256 0 -1 4202560 30588 12827 0 0 292 8 5 2 20 0 15 0 227593230 11274649600 65878 33554432000 4194304 4196468 140734076950192 140585229364240 140585241656685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26496] ppid=26439 vsize=11010400 memory=4640467248192962658 CPUtime=0.09 cores=1,3,5,7
/proc/26442/task/26496/stat : 26496 (java) S 26439 26442 25256 0 -1 1077944384 57 12827 0 0 2 0 5 2 20 0 15 0 227593231 11274649600 65878 33554432000 4194304 4196468 140734076950192 140585261792144 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26497] ppid=26439 vsize=11010400 memory=2319389199166351968 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26497/stat : 26497 (java) S 26439 26442 25256 0 -1 1077944384 57 12827 0 0 3 0 5 2 20 0 15 0 227593231 11274649600 65878 33554432000 4194304 4196468 140734076950192 140584797575952 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26498] ppid=26439 vsize=11010400 memory=5795117241467496816 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26498/stat : 26498 (java) S 26439 26442 25256 0 -1 1077944384 260 12827 0 0 3 0 5 2 20 0 15 0 227593231 11274649600 65878 33554432000 4194304 4196468 140734076950192 140584796523664 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26499] ppid=26439 vsize=11010400 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26442/task/26499/stat : 26499 (java) S 26439 26442 25256 0 -1 1077944384 38 12827 0 0 2 0 5 2 20 0 15 0 227593231 11274649600 65878 33554432000 4194304 4196468 140734076950192 140584795470864 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26500] ppid=26439 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26500/stat : 26500 (java) S 26439 26442 25256 0 -1 1077944384 1084 12827 0 0 3 0 5 2 20 0 15 0 227593233 11274649600 65878 33554432000 4194304 4196468 140734076950192 140584750655600 140585257560706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26501] ppid=26439 vsize=11010400 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26501/stat : 26501 (java) S 26439 26442 25256 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 227593233 11274649600 65878 33554432000 4194304 4196468 140734076950192 140584077484896 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26502] ppid=26439 vsize=11010400 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26502/stat : 26502 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 227593234 11274649600 65878 33554432000 4194304 4196468 140734076950192 140583876158592 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26503] ppid=26439 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26503/stat : 26503 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593236 11274649600 65878 33554432000 4194304 4196468 140734076950192 140583568758864 140585257568155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26504] ppid=26439 vsize=11010400 memory=0 CPUtime=1.09 cores=1,3,5,7
/proc/26442/task/26504/stat : 26504 (java) R 26439 26442 25256 0 -1 4202560 4378 12827 0 0 101 1 5 2 20 0 15 0 227593236 11274649600 65878 33554432000 4194304 4196468 140734076950192 140584681466480 140585241445571 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26505] ppid=26439 vsize=11010400 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/26442/task/26505/stat : 26505 (java) R 26439 26442 25256 0 -1 4202560 2043 12827 0 0 65 2 5 2 20 0 15 0 227593236 11274649600 65878 33554432000 4194304 4196468 140734076950192 140584680396224 140585242431296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26506] ppid=26439 vsize=11010400 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/26442/task/26506/stat : 26506 (java) S 26439 26442 25256 0 -1 1077944384 3632 12827 0 0 105 1 5 2 20 0 15 0 227593236 11274649600 65878 33554432000 4194304 4196468 140734076950192 140584679361392 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26507] ppid=26439 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26507/stat : 26507 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593237 11274649600 65878 33554432000 4194304 4196468 140734076950192 140583137962976 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26508] ppid=26439 vsize=11010400 memory=245 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26508/stat : 26508 (java) S 26439 26442 25256 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 227593237 11274649600 65878 33554432000 4194304 4196468 140734076950192 140584678308272 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 263512 KiB

[startup+3.60149 s]
/proc/loadavg: 1.50 1.27 1.31 4/215 26508
/proc/meminfo: memFree=27646252/32770624 swapFree=67030652/67108860
[pid=26442] ppid=26439 vsize=11077984 memory=299824 CPUtime=7.09 cores=1,3,5,7
/proc/26442/stat : 26442 (java) S 26439 26442 25256 0 -1 1077944320 68652 12827 0 0 684 18 5 2 20 0 15 0 227593221 11343855616 74956 33554432000 4194304 4196468 140734076950192 140734076932736 140585257549559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
/proc/26442/statm: 2769496 74956 3497 1 0 2731149 0
[pid=26442/tid=26495] ppid=26439 vsize=11077984 memory=1876 CPUtime=3.47 cores=1,3,5,7
/proc/26442/task/26495/stat : 26495 (java) R 26439 26442 25256 0 -1 4202560 47933 12827 0 0 331 9 5 2 20 0 15 0 227593230 11343855616 74956 33554432000 4194304 4196468 140734076950192 140585229379888 140585257561494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26496] ppid=26439 vsize=11077984 memory=1396 CPUtime=0.09 cores=1,3,5,7
/proc/26442/task/26496/stat : 26496 (java) S 26439 26442 25256 0 -1 1077944384 57 12827 0 0 2 0 5 2 20 0 15 0 227593231 11343855616 74956 33554432000 4194304 4196468 140734076950192 140585261792144 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26497] ppid=26439 vsize=11077984 memory=1684 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26497/stat : 26497 (java) S 26439 26442 25256 0 -1 1077944384 57 12827 0 0 3 0 5 2 20 0 15 0 227593231 11343855616 74956 33554432000 4194304 4196468 140734076950192 140584797575952 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26498] ppid=26439 vsize=11077984 memory=768 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26498/stat : 26498 (java) S 26439 26442 25256 0 -1 1077944384 260 12827 0 0 3 0 5 2 20 0 15 0 227593231 11343855616 74956 33554432000 4194304 4196468 140734076950192 140584796523664 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26499] ppid=26439 vsize=11077984 memory=5264 CPUtime=0.09 cores=1,3,5,7
/proc/26442/task/26499/stat : 26499 (java) S 26439 26442 25256 0 -1 1077944384 38 12827 0 0 2 0 5 2 20 0 15 0 227593231 11343855616 74956 33554432000 4194304 4196468 140734076950192 140584795470864 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26500] ppid=26439 vsize=11077984 memory=11068 CPUtime=0.1 cores=1,3,5,7
/proc/26442/task/26500/stat : 26500 (java) S 26439 26442 25256 0 -1 1077944384 1127 12827 0 0 3 0 5 2 20 0 15 0 227593233 11343855616 74956 33554432000 4194304 4196468 140734076950192 140584750655600 140585257560706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26501] ppid=26439 vsize=11077984 memory=1192 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26501/stat : 26501 (java) S 26439 26442 25256 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 227593233 11343855616 74956 33554432000 4194304 4196468 140734076950192 140584077484896 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26502] ppid=26439 vsize=11077984 memory=279985831853312 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26502/stat : 26502 (java) S 26439 26442 25256 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 227593234 11343855616 74956 33554432000 4194304 4196468 140734076950192 140583876158592 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26503] ppid=26439 vsize=11077984 memory=7595440001688102255 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26503/stat : 26503 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593236 11343855616 74956 33554432000 4194304 4196468 140734076950192 140583568758864 140585257568155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26504] ppid=26439 vsize=11077984 memory=7524512692651257697 CPUtime=1.22 cores=1,3,5,7
/proc/26442/task/26504/stat : 26504 (java) S 26439 26442 25256 0 -1 1077944384 5153 12827 0 0 114 1 5 2 20 0 15 0 227593236 11343855616 74956 33554432000 4194304 4196468 140734076950192 140584681466480 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26505] ppid=26439 vsize=11077984 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/26442/task/26505/stat : 26505 (java) R 26439 26442 25256 0 -1 4202560 6090 12827 0 0 105 2 5 2 20 0 15 0 227593236 11343855616 74956 33554432000 4194304 4196468 140734076950192 140584680399416 140585242657512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26506] ppid=26439 vsize=11077984 memory=8259212075158705020 CPUtime=1.24 cores=1,3,5,7
/proc/26442/task/26506/stat : 26506 (java) R 26439 26442 25256 0 -1 1077944384 5717 12827 0 0 116 1 5 2 20 0 15 0 227593236 11343855616 74956 33554432000 4194304 4196468 140734076950192 140584679361392 140585257560706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26507] ppid=26439 vsize=11077984 memory=-8412656558948453747 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26507/stat : 26507 (java) S 26439 26442 25256 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 227593237 11343855616 74956 33554432000 4194304 4196468 140734076950192 140583137962976 140585257559765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
[pid=26442/tid=26508] ppid=26439 vsize=11077984 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/26442/task/26508/stat : 26508 (java) S 26439 26442 25256 0 -1 1077944384 6 12827 0 0 0 0 5 2 20 0 15 0 227593237 11343855616 74956 33554432000 4194304 4196468 140734076950192 140584678308272 140585257560706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140734076959341 140734076962140 140734076962140 140734076964815 0
Current children cumulated CPU time: 7.09 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 299824 KiB

[startup+4.00014 s]*
/proc/loadavg: 1.50 1.27 1.31 2/202 26509
/proc/meminfo: memFree=27882648/32770624 swapFree=67030652/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+4.10871 s]
/proc/loadavg: 1.50 1.27 1.31 2/202 26509
/proc/meminfo: memFree=27882648/32770624 swapFree=67030652/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 4.14109
CPU time (s): 7.45716
CPU user time (s): 7.21832
CPU system time (s): 0.238847
CPU usage (%): 180.077
Max. virtual memory (cumulated for all children) (KiB): 11212876
Max. memory (cumulated for all children) (KiB): 304656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.21832
system time used= 0.238847
maximum resident set size= 306100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6067
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 26442
#   total CPU time (s): 7.45716
#   total CPU user time (s): 7.21832
#   total CPU system time (s): 0.238847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055022 second user time and 0.074483 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-12 20:58:20
IDJOB=4304519
IDBENCH=141357
IDSOLVER=2780
FILE ID=node102/4304519-1534100300
RUNJOBID= node102-1534095354-25288
PBS_JOBID= 21036992
Free space on /tmp= 38448 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1s-1_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304519-1534100300/watcher-4304519-1534100300 -o /tmp/evaluation-result-4304519-1534100300/solver-4304519-1534100300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534095354-25288 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=449851491 HOME/instance-4304519-1534100300.xml

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

MD5SUM BENCH= 1aa19c04fc46d2c59e842211a2e06bfd
RANDOM SEED=449851491

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27893172 kB
MemAvailable:   30855956 kB
Buffers:          140700 kB
Cached:          3070448 kB
SwapCached:        51252 kB
Active:          2671172 kB
Inactive:        1642288 kB
Active(anon):    1027076 kB
Inactive(anon):   126912 kB
Active(file):    1644096 kB
Inactive(file):  1515376 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67030652 kB
Dirty:             26984 kB
Writeback:             0 kB
AnonPages:       1071256 kB
Mapped:            63368 kB
Shmem:             48976 kB
Slab:             260848 kB
SReclaimable:     231772 kB
SUnreclaim:        29076 kB
KernelStack:        3792 kB
PageTables:         7480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2245040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    913408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 38424 MiB
End job on node102 at 2018-08-12 20:58:25