2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	OPT	46	30.2699	13.5237
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 (10486 MiB free)
  memory of node 1: 16384 MiB (10274 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302548-1532895788/watcher-4302548-1532895788 -o /tmp/evaluation-result-4302548-1532895788/solver-4302548-1532895788 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1817900846 HOME/instance-4302548-1532895788.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=17654, runsolver pid=17651
Current StackSize limit: 8192 KiB


[startup+0.100126 s]*
/proc/loadavg: 1.37 1.87 1.92 3/207 17711
/proc/meminfo: memFree=21253532/32770624 swapFree=67108860/67108860
[pid=17654] ppid=17651 vsize=10005480 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/17654/stat : 17654 (java) S 17651 17654 12183 0 -1 1077944320 4364 12847 0 0 1 0 5 3 20 0 6 0 107142011 10245611520 4204 33554432000 4194304 4196468 140732410447712 140732410430256 139644404866807 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
/proc/17654/statm: 2501370 4204 1935 1 0 2489808 0
[pid=17654/tid=17707] ppid=17651 vsize=10005480 memory=4279135704013571469 CPUtime=0.09 cores=0,2,4,6
/proc/17654/task/17707/stat : 17707 (java) R 17651 17654 12183 0 -1 4202560 2183 12847 0 0 1 0 5 3 20 0 6 0 107142020 10245611520 4716 33554432000 4194304 4196468 140732410447712 139644376703568 139644386260541 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17708] ppid=17651 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17708/stat : 17708 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 6 0 107142021 10245611520 4716 33554432000 4194304 4196468 140732410447712 139644409108880 139644404877013 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17709] ppid=17651 vsize=10005480 memory=140486894589568 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17709/stat : 17709 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 6 0 107142021 10245611520 4716 33554432000 4194304 4196468 140732410447712 139644290373904 139644404877013 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17710] ppid=17651 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17710/stat : 17710 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 6 0 107142021 10245611520 4716 33554432000 4194304 4196468 140732410447712 139644289321616 139644404877013 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17711] ppid=17651 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17711/stat : 17711 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 6 0 107142021 10245611520 4716 33554432000 4194304 4196468 140732410447712 139644288268816 139644404877013 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB

[startup+0.210251 s]*
/proc/loadavg: 1.37 1.87 1.92 3/216 17720
/proc/meminfo: memFree=21229968/32770624 swapFree=67108860/67108860
[pid=17654] ppid=17651 vsize=10982744 memory=44752 CPUtime=0.26 cores=0,2,4,6
/proc/17654/stat : 17654 (java) S 17651 17654 12183 0 -1 1077944320 7870 12847 0 0 17 1 5 3 20 0 15 0 107142011 11246329856 11188 33554432000 4194304 4196468 140732410447712 140732410430256 139644404866807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
/proc/17654/statm: 2745686 11188 2954 1 0 2708109 0
[pid=17654/tid=17707] ppid=17651 vsize=10982744 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/17654/task/17707/stat : 17707 (java) R 17651 17654 12183 0 -1 4202560 4473 12847 0 0 11 1 5 3 20 0 15 0 107142020 11246329856 11188 33554432000 4194304 4196468 140732410447712 139644376659208 139644404878742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17708] ppid=17651 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17708/stat : 17708 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246329856 11188 33554432000 4194304 4196468 140732410447712 139644409108880 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17709] ppid=17651 vsize=10982744 memory=140486894589568 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17709/stat : 17709 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246329856 11188 33554432000 4194304 4196468 140732410447712 139644290373904 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17710] ppid=17651 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17710/stat : 17710 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246329856 11188 33554432000 4194304 4196468 140732410447712 139644289321616 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17711] ppid=17651 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17711/stat : 17711 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246329856 11188 33554432000 4194304 4196468 140732410447712 139644288268816 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17712] ppid=17651 vsize=10982744 memory=140486894589568 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17712/stat : 17712 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142022 11246329856 11188 33554432000 4194304 4196468 140732410447712 139643897977456 139644404877954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17713] ppid=17651 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17713/stat : 17713 (java) S 17651 17654 12183 0 -1 1077944384 13 12847 0 0 0 0 5 3 20 0 15 0 107142023 11246329856 11188 33554432000 4194304 4196468 140732410447712 139643211212064 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17714] ppid=17651 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17714/stat : 17714 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142023 11246329856 11188 33554432000 4194304 4196468 140732410447712 139643009885808 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17715] ppid=17651 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17715/stat : 17715 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142025 11246329856 11188 33554432000 4194304 4196468 140732410447712 139642702486096 139644404885403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17716] ppid=17651 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17654/task/17716/stat : 17716 (java) S 17651 17654 12183 0 -1 1077944384 419 12847 0 0 1 0 5 3 20 0 15 0 107142025 11246329856 11188 33554432000 4194304 4196468 140732410447712 139643896924272 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17717] ppid=17651 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17654/task/17717/stat : 17717 (java) S 17651 17654 12183 0 -1 1077944384 191 12847 0 0 1 0 5 3 20 0 15 0 107142025 11246329856 11188 33554432000 4194304 4196468 140732410447712 139643895871472 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17718] ppid=17651 vsize=10982744 memory=140486894589568 CPUtime=0.11 cores=0,2,4,6
/proc/17654/task/17718/stat : 17718 (java) R 17651 17654 12183 0 -1 4202560 621 12847 0 0 3 0 5 3 20 0 15 0 107142026 11246329856 11188 33554432000 4194304 4196468 140732410447712 139643894819184 139644383796306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17719] ppid=17651 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17719/stat : 17719 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142026 11246329856 11188 33554432000 4194304 4196468 140732410447712 139642271689184 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17720] ppid=17651 vsize=10982744 memory=140486894589568 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17720/stat : 17720 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142026 11246329856 11188 33554432000 4194304 4196468 140732410447712 139643893767088 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44752 KiB

[startup+0.310435 s]*
/proc/loadavg: 1.37 1.87 1.92 3/216 17720
/proc/meminfo: memFree=21218556/32770624 swapFree=67108860/67108860
[pid=17654] ppid=17651 vsize=10983192 memory=55424 CPUtime=0.39 cores=0,2,4,6
/proc/17654/stat : 17654 (java) S 17651 17654 12183 0 -1 1077944320 10413 12847 0 0 29 2 5 3 20 0 15 0 107142011 11246788608 13856 33554432000 4194304 4196468 140732410447712 140732410430256 139644404866807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
/proc/17654/statm: 2745798 13856 3073 1 0 2708109 0
[pid=17654/tid=17707] ppid=17651 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17654/task/17707/stat : 17707 (java) R 17651 17654 12183 0 -1 4202560 6965 12847 0 0 20 1 5 3 20 0 15 0 107142020 11246788608 13856 33554432000 4194304 4196468 140732410447712 139644376678816 139644404888733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17708] ppid=17651 vsize=10983192 memory=7012755875661107280 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17708/stat : 17708 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246788608 13856 33554432000 4194304 4196468 140732410447712 139644409108880 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17709] ppid=17651 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17709/stat : 17709 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246788608 13856 33554432000 4194304 4196468 140732410447712 139644290373904 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17710] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17710/stat : 17710 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246788608 13856 33554432000 4194304 4196468 140732410447712 139644289321616 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17711] ppid=17651 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17711/stat : 17711 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246788608 13856 33554432000 4194304 4196468 140732410447712 139644288268816 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17712] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17712/stat : 17712 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142022 11246788608 13856 33554432000 4194304 4196468 140732410447712 139643897977456 139644404877954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17713] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17713/stat : 17713 (java) S 17651 17654 12183 0 -1 1077944384 13 12847 0 0 0 0 5 3 20 0 15 0 107142023 11246788608 13856 33554432000 4194304 4196468 140732410447712 139643211212064 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17714] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17714/stat : 17714 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142023 11246788608 13856 33554432000 4194304 4196468 140732410447712 139643009885808 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17715] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17715/stat : 17715 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142025 11246788608 13856 33554432000 4194304 4196468 140732410447712 139642702486096 139644404885403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17716] ppid=17651 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17654/task/17716/stat : 17716 (java) S 17651 17654 12183 0 -1 1077944384 421 12847 0 0 1 0 5 3 20 0 15 0 107142025 11246788608 13856 33554432000 4194304 4196468 140732410447712 139643896924272 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17717] ppid=17651 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17654/task/17717/stat : 17717 (java) S 17651 17654 12183 0 -1 1077944384 191 12847 0 0 1 0 5 3 20 0 15 0 107142025 11246788608 13856 33554432000 4194304 4196468 140732410447712 139643895871472 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17718] ppid=17651 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17654/task/17718/stat : 17718 (java) S 17651 17654 12183 0 -1 1077944384 627 12847 0 0 5 0 5 3 20 0 15 0 107142026 11246788608 13856 33554432000 4194304 4196468 140732410447712 139643894819184 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17719] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17719/stat : 17719 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142026 11246788608 13856 33554432000 4194304 4196468 140732410447712 139642271689184 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17720] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17720/stat : 17720 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142026 11246788608 13856 33554432000 4194304 4196468 140732410447712 139643893767088 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55424 KiB

[startup+0.700814 s]
/proc/loadavg: 1.37 1.87 1.92 4/216 17720
/proc/meminfo: memFree=21207144/32770624 swapFree=67108860/67108860
[pid=17654] ppid=17651 vsize=10983192 memory=88364 CPUtime=1 cores=0,2,4,6
/proc/17654/stat : 17654 (java) S 17651 17654 12183 0 -1 1077944320 16764 12847 0 0 88 4 5 3 20 0 15 0 107142011 11246788608 22091 33554432000 4194304 4196468 140732410447712 140732410430256 139644404866807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
/proc/17654/statm: 2745798 22091 3238 1 0 2708109 0
[pid=17654/tid=17707] ppid=17651 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/17654/task/17707/stat : 17707 (java) R 17651 17654 12183 0 -1 4202560 12189 12847 0 0 56 3 5 3 20 0 15 0 107142020 11246788608 22091 33554432000 4194304 4196468 140732410447712 139644376687632 139644390032364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17708] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17708/stat : 17708 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246788608 22091 33554432000 4194304 4196468 140732410447712 139644409108880 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17709] ppid=17651 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17709/stat : 17709 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246788608 22091 33554432000 4194304 4196468 140732410447712 139644290373904 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17710] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17710/stat : 17710 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246788608 22091 33554432000 4194304 4196468 140732410447712 139644289321616 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17711] ppid=17651 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17711/stat : 17711 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142021 11246788608 22091 33554432000 4194304 4196468 140732410447712 139644288268816 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17712] ppid=17651 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17712/stat : 17712 (java) S 17651 17654 12183 0 -1 1077944384 5 12847 0 0 0 0 5 3 20 0 15 0 107142022 11246788608 22091 33554432000 4194304 4196468 140732410447712 139643897977456 139644404877954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17713] ppid=17651 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17713/stat : 17713 (java) S 17651 17654 12183 0 -1 1077944384 13 12847 0 0 0 0 5 3 20 0 15 0 107142023 11246788608 22091 33554432000 4194304 4196468 140732410447712 139643211212064 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17714] ppid=17651 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17714/stat : 17714 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142023 11246788608 22091 33554432000 4194304 4196468 140732410447712 139643009885808 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17715] ppid=17651 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17715/stat : 17715 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142025 11246788608 22091 33554432000 4194304 4196468 140732410447712 139642702486096 139644404885403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17716] ppid=17651 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/17654/task/17716/stat : 17716 (java) S 17651 17654 12183 0 -1 1077944384 1045 12847 0 0 9 0 5 3 20 0 15 0 107142025 11246788608 22091 33554432000 4194304 4196468 140732410447712 139643896924272 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17717] ppid=17651 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/17654/task/17717/stat : 17717 (java) S 17651 17654 12183 0 -1 1077944384 590 12847 0 0 7 0 5 3 20 0 15 0 107142025 11246788608 22091 33554432000 4194304 4196468 140732410447712 139643895871472 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17718] ppid=17651 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/17654/task/17718/stat : 17718 (java) S 17651 17654 12183 0 -1 1077944384 720 12847 0 0 13 0 5 3 20 0 15 0 107142026 11246788608 22091 33554432000 4194304 4196468 140732410447712 139643894819184 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17719] ppid=17651 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17719/stat : 17719 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142026 11246788608 22091 33554432000 4194304 4196468 140732410447712 139642271689184 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17720] ppid=17651 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17720/stat : 17720 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142026 11246788608 22091 33554432000 4194304 4196468 140732410447712 139643893767088 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88364 KiB

[startup+1.5008 s]
/proc/loadavg: 1.37 1.87 1.92 3/216 17720
/proc/meminfo: memFree=21160892/32770624 swapFree=67108860/67108860
[pid=17654] ppid=17651 vsize=10996044 memory=172232 CPUtime=2.9 cores=0,2,4,6
/proc/17654/stat : 17654 (java) S 17651 17654 12183 0 -1 1077944320 24801 12847 0 0 274 8 5 3 20 0 15 0 107142011 11259949056 43058 33554432000 4194304 4196468 140732410447712 140732410430256 139644404866807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
/proc/17654/statm: 2749011 43058 3451 1 0 2710669 0
[pid=17654/tid=17707] ppid=17651 vsize=10996044 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/17654/task/17707/stat : 17707 (java) R 17651 17654 12183 0 -1 4202560 17226 12847 0 0 133 6 5 3 20 0 15 0 107142020 11259949056 43058 33554432000 4194304 4196468 140732410447712 139644376698320 139644404888733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17708] ppid=17651 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17708/stat : 17708 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142021 11259949056 43058 33554432000 4194304 4196468 140732410447712 139644409108880 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17709] ppid=17651 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17709/stat : 17709 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142021 11259949056 43058 33554432000 4194304 4196468 140732410447712 139644290373904 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17710] ppid=17651 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17710/stat : 17710 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142021 11259949056 43058 33554432000 4194304 4196468 140732410447712 139644289321616 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17711] ppid=17651 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17711/stat : 17711 (java) S 17651 17654 12183 0 -1 1077944384 2 12847 0 0 0 0 5 3 20 0 15 0 107142021 11259949056 43058 33554432000 4194304 4196468 140732410447712 139644288268816 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17712] ppid=17651 vsize=10996044 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17712/stat : 17712 (java) S 17651 17654 12183 0 -1 1077944384 13 12847 0 0 0 0 5 3 20 0 15 0 107142022 11259949056 43058 33554432000 4194304 4196468 140732410447712 139643897977456 139644404877954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17713] ppid=17651 vsize=10996044 memory=280973539354880 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17713/stat : 17713 (java) S 17651 17654 12183 0 -1 1077944384 13 12847 0 0 0 0 5 3 20 0 15 0 107142023 11259949056 43058 33554432000 4194304 4196468 140732410447712 139643211212064 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17714] ppid=17651 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17714/stat : 17714 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142023 11259949056 43058 33554432000 4194304 4196468 140732410447712 139643009885808 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17715] ppid=17651 vsize=10996044 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17715/stat : 17715 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142025 11259949056 43058 33554432000 4194304 4196468 140732410447712 139642702486096 139644404885403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17716] ppid=17651 vsize=10996044 memory=1232 CPUtime=0.54 cores=0,2,4,6
/proc/17654/task/17716/stat : 17716 (java) S 17651 17654 12183 0 -1 1077944384 2101 12847 0 0 46 0 5 3 20 0 15 0 107142025 11259949056 43058 33554432000 4194304 4196468 140732410447712 139643896924272 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17717] ppid=17651 vsize=10996044 memory=8560 CPUtime=0.58 cores=0,2,4,6
/proc/17654/task/17717/stat : 17717 (java) S 17651 17654 12183 0 -1 1077944384 1643 12847 0 0 50 0 5 3 20 0 15 0 107142025 11259949056 43058 33554432000 4194304 4196468 140732410447712 139643895871472 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17718] ppid=17651 vsize=10996044 memory=1712 CPUtime=0.51 cores=0,2,4,6
/proc/17654/task/17718/stat : 17718 (java) S 17651 17654 12183 0 -1 1077944384 1603 12847 0 0 43 0 5 3 20 0 15 0 107142026 11259949056 43058 33554432000 4194304 4196468 140732410447712 139643894819184 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17719] ppid=17651 vsize=10996044 memory=5412 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17719/stat : 17719 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142026 11259949056 43058 33554432000 4194304 4196468 140732410447712 139642271689184 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17720] ppid=17651 vsize=10996044 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17720/stat : 17720 (java) S 17651 17654 12183 0 -1 1077944384 1 12847 0 0 0 0 5 3 20 0 15 0 107142026 11259949056 43058 33554432000 4194304 4196468 140732410447712 139643893767088 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 10996044 KiB

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

Current children cumulated memory: 1064792 KiB

[startup+13.5236 s]
# the end of solver process 17654 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=29.734 s, system=0.535924 s

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

[startup+12.8009 s]
/proc/loadavg: 1.54 1.89 1.93 5/216 17720
/proc/meminfo: memFree=20239092/32770624 swapFree=67108860/67108860
[pid=17654] ppid=17651 vsize=11080840 memory=1064960 CPUtime=28.22 cores=0,2,4,6
/proc/17654/stat : 17654 (java) S 17651 17654 12183 0 -1 1077944320 79512 12847 0 0 2768 46 5 3 20 0 15 0 107142011 11346780160 266240 33554432000 4194304 4196468 140732410447712 140732410430256 139644404866807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
/proc/17654/statm: 2770210 266240 3527 1 0 2731863 0
[pid=17654/tid=17707] ppid=17651 vsize=11080840 memory=6791534058613427641 CPUtime=12.42 cores=0,2,4,6
/proc/17654/task/17707/stat : 17707 (java) R 17651 17654 12183 0 -1 4202560 45533 12847 0 0 1215 19 5 3 20 0 15 0 107142020 11346780160 266240 33554432000 4194304 4196468 140732410447712 139644376699520 139643966328900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17708] ppid=17651 vsize=11080840 memory=303711719770030395 CPUtime=0.28 cores=0,2,4,6
/proc/17654/task/17708/stat : 17708 (java) S 17651 17654 12183 0 -1 1077944384 370 12847 0 0 17 3 5 3 20 0 15 0 107142021 11346780160 266240 33554432000 4194304 4196468 140732410447712 139644409108880 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17709] ppid=17651 vsize=11080840 memory=14133333755955767 CPUtime=0.28 cores=0,2,4,6
/proc/17654/task/17709/stat : 17709 (java) S 17651 17654 12183 0 -1 1077944384 255 12847 0 0 17 3 5 3 20 0 15 0 107142021 11346780160 266240 33554432000 4194304 4196468 140732410447712 139644290373904 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17710] ppid=17651 vsize=11080840 memory=-8458152057954430348 CPUtime=0.3 cores=0,2,4,6
/proc/17654/task/17710/stat : 17710 (java) S 17651 17654 12183 0 -1 1077944384 191 12847 0 0 19 3 5 3 20 0 15 0 107142021 11346780160 266240 33554432000 4194304 4196468 140732410447712 139644289321616 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17711] ppid=17651 vsize=11080840 memory=-9062862659931694204 CPUtime=0.3 cores=0,2,4,6
/proc/17654/task/17711/stat : 17711 (java) S 17651 17654 12183 0 -1 1077944384 225 12847 0 0 18 4 5 3 20 0 15 0 107142021 11346780160 266240 33554432000 4194304 4196468 140732410447712 139644288268816 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17712] ppid=17651 vsize=11080840 memory=4196912344889787449 CPUtime=0.14 cores=0,2,4,6
/proc/17654/task/17712/stat : 17712 (java) S 17651 17654 12183 0 -1 1077944384 2530 12847 0 0 6 0 5 3 20 0 15 0 107142022 11346780160 266240 33554432000 4194304 4196468 140732410447712 139643897977456 139644404877954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17713] ppid=17651 vsize=11080840 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17713/stat : 17713 (java) S 17651 17654 12183 0 -1 1077944384 17 12847 0 0 0 0 5 3 20 0 15 0 107142023 11346780160 266240 33554432000 4194304 4196468 140732410447712 139643211212128 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17714] ppid=17651 vsize=11080840 memory=6872598998417432672 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17714/stat : 17714 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142023 11346780160 266240 33554432000 4194304 4196468 140732410447712 139643009885824 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17715] ppid=17651 vsize=11080840 memory=6872598998417432672 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17715/stat : 17715 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142025 11346780160 266240 33554432000 4194304 4196468 140732410447712 139642702486096 139644404885403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17716] ppid=17651 vsize=11080840 memory=0 CPUtime=6.2 cores=0,2,4,6
/proc/17654/task/17716/stat : 17716 (java) R 17651 17654 12183 0 -1 4202560 14104 12847 0 0 607 5 5 3 20 0 15 0 107142025 11346780160 266240 33554432000 4194304 4196468 140732410447712 139643896910288 139644389747069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17717] ppid=17651 vsize=11080840 memory=0 CPUtime=6.24 cores=0,2,4,6
/proc/17654/task/17717/stat : 17717 (java) R 17651 17654 12183 0 -1 4202560 5804 12847 0 0 615 1 5 3 20 0 15 0 107142025 11346780160 266240 33554432000 4194304 4196468 140732410447712 139643895859280 139644389610336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17718] ppid=17651 vsize=11080840 memory=-3472574513799858007 CPUtime=2.59 cores=0,2,4,6
/proc/17654/task/17718/stat : 17718 (java) R 17651 17654 12183 0 -1 1077944384 8249 12847 0 0 248 3 5 3 20 0 15 0 107142026 11346780160 266240 33554432000 4194304 4196468 140732410447712 139643894819184 139644404877954 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17719] ppid=17651 vsize=11080840 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17719/stat : 17719 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142026 11346780160 266240 33554432000 4194304 4196468 140732410447712 139642271689184 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17720] ppid=17651 vsize=11080840 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17720/stat : 17720 (java) S 17651 17654 12183 0 -1 1077944384 37 12847 0 0 0 0 5 3 20 0 15 0 107142026 11346780160 266240 33554432000 4194304 4196468 140732410447712 139643893767088 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
Current children cumulated CPU time: 28.22 s
Current children cumulated vsize: 11080840 KiB
Current children cumulated memory: 1064960 KiB

[startup+13.2007 s]
/proc/loadavg: 1.54 1.89 1.93 5/216 17720
/proc/meminfo: memFree=20174000/32770624 swapFree=67108860/67108860
[pid=17654] ppid=17651 vsize=11080032 memory=1065064 CPUtime=29.52 cores=0,2,4,6
/proc/17654/stat : 17654 (java) S 17651 17654 12183 0 -1 1077944320 83074 12847 0 0 2897 47 5 3 20 0 15 0 107142011 11345952768 266266 33554432000 4194304 4196468 140732410447712 140732410430256 139644404866807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
/proc/17654/statm: 2770008 266266 3530 1 0 2731661 0
[pid=17654/tid=17707] ppid=17651 vsize=11080032 memory=288230596050944315 CPUtime=12.83 cores=0,2,4,6
/proc/17654/task/17707/stat : 17707 (java) R 17651 17654 12183 0 -1 4202560 47301 12847 0 0 1255 20 5 3 20 0 15 0 107142020 11345952768 266266 33554432000 4194304 4196468 140732410447712 139644376701008 139643978279691 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17708] ppid=17651 vsize=11080032 memory=14133333755955767 CPUtime=0.28 cores=0,2,4,6
/proc/17654/task/17708/stat : 17708 (java) S 17651 17654 12183 0 -1 1077944384 370 12847 0 0 17 3 5 3 20 0 15 0 107142021 11345952768 266266 33554432000 4194304 4196468 140732410447712 139644409108880 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17709] ppid=17651 vsize=11080032 memory=5791750506882427495 CPUtime=0.28 cores=0,2,4,6
/proc/17654/task/17709/stat : 17709 (java) S 17651 17654 12183 0 -1 1077944384 255 12847 0 0 17 3 5 3 20 0 15 0 107142021 11345952768 266266 33554432000 4194304 4196468 140732410447712 139644290373904 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17710] ppid=17651 vsize=11080032 memory=31857 CPUtime=0.3 cores=0,2,4,6
/proc/17654/task/17710/stat : 17710 (java) S 17651 17654 12183 0 -1 1077944384 191 12847 0 0 19 3 5 3 20 0 15 0 107142021 11345952768 266266 33554432000 4194304 4196468 140732410447712 139644289321616 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17711] ppid=17651 vsize=11080032 memory=140486769827222 CPUtime=0.3 cores=0,2,4,6
/proc/17654/task/17711/stat : 17711 (java) S 17651 17654 12183 0 -1 1077944384 225 12847 0 0 18 4 5 3 20 0 15 0 107142021 11345952768 266266 33554432000 4194304 4196468 140732410447712 139644288268816 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17712] ppid=17651 vsize=11080032 memory=140486769828119 CPUtime=0.14 cores=0,2,4,6
/proc/17654/task/17712/stat : 17712 (java) S 17651 17654 12183 0 -1 1077944384 2530 12847 0 0 6 0 5 3 20 0 15 0 107142022 11345952768 266266 33554432000 4194304 4196468 140732410447712 139643897977456 139644404877954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17713] ppid=17651 vsize=11080032 memory=280973539904560 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17713/stat : 17713 (java) S 17651 17654 12183 0 -1 1077944384 17 12847 0 0 0 0 5 3 20 0 15 0 107142023 11345952768 266266 33554432000 4194304 4196468 140732410447712 139643211212128 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17714] ppid=17651 vsize=11080032 memory=280973539467000 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17714/stat : 17714 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142023 11345952768 266266 33554432000 4194304 4196468 140732410447712 139643009885824 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17715] ppid=17651 vsize=11080032 memory=140488380253048 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17715/stat : 17715 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142025 11345952768 266266 33554432000 4194304 4196468 140732410447712 139642702486096 139644404885403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17716] ppid=17651 vsize=11080032 memory=18448 CPUtime=6.6 cores=0,2,4,6
/proc/17654/task/17716/stat : 17716 (java) R 17651 17654 12183 0 -1 4202560 14732 12847 0 0 647 5 5 3 20 0 15 0 107142025 11345952768 266266 33554432000 4194304 4196468 140732410447712 139643896924400 139644383280582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17717] ppid=17651 vsize=11080032 memory=7305218370954094169 CPUtime=6.63 cores=0,2,4,6
/proc/17654/task/17717/stat : 17717 (java) R 17651 17654 12183 0 -1 4202560 6482 12847 0 0 654 1 5 3 20 0 15 0 107142025 11345952768 266266 33554432000 4194304 4196468 140732410447712 139643895858256 139644384558593 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17718] ppid=17651 vsize=11080032 memory=7019257425709197167 CPUtime=2.69 cores=0,2,4,6
/proc/17654/task/17718/stat : 17718 (java) S 17651 17654 12183 0 -1 1077944384 8737 12847 0 0 258 3 5 3 20 0 15 0 107142026 11345952768 266266 33554432000 4194304 4196468 140732410447712 139643894819184 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17719] ppid=17651 vsize=11080032 memory=7739276948478388840 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17719/stat : 17719 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142026 11345952768 266266 33554432000 4194304 4196468 140732410447712 139642271689184 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17720] ppid=17651 vsize=11080032 memory=8761640388318109335 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17720/stat : 17720 (java) S 17651 17654 12183 0 -1 1077944384 37 12847 0 0 0 0 5 3 20 0 15 0 107142026 11345952768 266266 33554432000 4194304 4196468 140732410447712 139643893767088 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
Current children cumulated CPU time: 29.52 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1065064 KiB

[startup+13.4007 s]
/proc/loadavg: 1.54 1.89 1.93 5/216 17720
/proc/meminfo: memFree=20174000/32770624 swapFree=67108860/67108860
[pid=17654] ppid=17651 vsize=11080032 memory=1066036 CPUtime=30.11 cores=0,2,4,6
/proc/17654/stat : 17654 (java) S 17651 17654 12183 0 -1 1077944320 85679 12847 0 0 2955 48 5 3 20 0 15 0 107142011 11345952768 266509 33554432000 4194304 4196468 140732410447712 140732410430256 139644404866807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
/proc/17654/statm: 2770008 266509 3533 1 0 2731661 0
[pid=17654/tid=17707] ppid=17651 vsize=11080032 memory=8761640388318109335 CPUtime=13.02 cores=0,2,4,6
/proc/17654/task/17707/stat : 17707 (java) R 17651 17654 12183 0 -1 4202560 48053 12847 0 0 1274 20 5 3 20 0 15 0 107142020 11345952768 266509 33554432000 4194304 4196468 140732410447712 139644376697904 139643972074014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17708] ppid=17651 vsize=11080032 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/17654/task/17708/stat : 17708 (java) S 17651 17654 12183 0 -1 1077944384 370 12847 0 0 17 3 5 3 20 0 15 0 107142021 11345952768 266509 33554432000 4194304 4196468 140732410447712 139644409108880 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17709] ppid=17651 vsize=11080032 memory=140486769941297 CPUtime=0.28 cores=0,2,4,6
/proc/17654/task/17709/stat : 17709 (java) S 17651 17654 12183 0 -1 1077944384 255 12847 0 0 17 3 5 3 20 0 15 0 107142021 11345952768 266509 33554432000 4194304 4196468 140732410447712 139644290373904 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17710] ppid=17651 vsize=11080032 memory=140486769943425 CPUtime=0.3 cores=0,2,4,6
/proc/17654/task/17710/stat : 17710 (java) S 17651 17654 12183 0 -1 1077944384 191 12847 0 0 19 3 5 3 20 0 15 0 107142021 11345952768 266509 33554432000 4194304 4196468 140732410447712 139644289321616 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17711] ppid=17651 vsize=11080032 memory=-8634980985311628903 CPUtime=0.3 cores=0,2,4,6
/proc/17654/task/17711/stat : 17711 (java) S 17651 17654 12183 0 -1 1077944384 225 12847 0 0 18 4 5 3 20 0 15 0 107142021 11345952768 266509 33554432000 4194304 4196468 140732410447712 139644288268816 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17712] ppid=17651 vsize=11080032 memory=-7522837415797432224 CPUtime=0.15 cores=0,2,4,6
/proc/17654/task/17712/stat : 17712 (java) S 17651 17654 12183 0 -1 1077944384 4039 12847 0 0 6 1 5 3 20 0 15 0 107142022 11345952768 266509 33554432000 4194304 4196468 140732410447712 139643897977456 139644404877954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17713] ppid=17651 vsize=11080032 memory=-3761410806829453664 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17713/stat : 17713 (java) S 17651 17654 12183 0 -1 1077944384 17 12847 0 0 0 0 5 3 20 0 15 0 107142023 11345952768 266509 33554432000 4194304 4196468 140732410447712 139643211212128 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17714] ppid=17651 vsize=11080032 memory=8761640388971749472 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17714/stat : 17714 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142023 11345952768 266509 33554432000 4194304 4196468 140732410447712 139643009885824 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17715] ppid=17651 vsize=11080032 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17715/stat : 17715 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142025 11345952768 266509 33554432000 4194304 4196468 140732410447712 139642702486096 139644404885403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17716] ppid=17651 vsize=11080032 memory=7450757413635122790 CPUtime=6.8 cores=0,2,4,6
/proc/17654/task/17716/stat : 17716 (java) S 17651 17654 12183 0 -1 1077944384 14825 12847 0 0 666 6 5 3 20 0 15 0 107142025 11345952768 266509 33554432000 4194304 4196468 140732410447712 139643896924272 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17717] ppid=17651 vsize=11080032 memory=7882818217556075603 CPUtime=6.79 cores=0,2,4,6
/proc/17654/task/17717/stat : 17717 (java) S 17651 17654 12183 0 -1 1077944384 6628 12847 0 0 670 1 5 3 20 0 15 0 107142025 11345952768 266509 33554432000 4194304 4196468 140732410447712 139643895871472 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17718] ppid=17651 vsize=11080032 memory=5792280449777166957 CPUtime=2.72 cores=0,2,4,6
/proc/17654/task/17718/stat : 17718 (java) S 17651 17654 12183 0 -1 1077944384 8842 12847 0 0 261 3 5 3 20 0 15 0 107142026 11345952768 266509 33554432000 4194304 4196468 140732410447712 139643894819184 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17719] ppid=17651 vsize=11080032 memory=4642204537399498852 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17719/stat : 17719 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 15 0 107142026 11345952768 266509 33554432000 4194304 4196468 140732410447712 139642271689184 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17720] ppid=17651 vsize=11080032 memory=6444209515849148006 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17720/stat : 17720 (java) S 17651 17654 12183 0 -1 1077944384 37 12847 0 0 0 0 5 3 20 0 15 0 107142026 11345952768 266509 33554432000 4194304 4196468 140732410447712 139643893767088 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
Current children cumulated CPU time: 30.11 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1066036 KiB

[startup+13.5007 s]
/proc/loadavg: 1.54 1.89 1.93 5/216 17720
/proc/meminfo: memFree=20174000/32770624 swapFree=67108860/67108860
[pid=17654] ppid=17651 vsize=11145568 memory=1066216 CPUtime=30.24 cores=0,2,4,6
/proc/17654/stat : 17654 (java) S 17651 17654 12183 0 -1 1077944320 85885 12847 0 0 2968 48 5 3 20 0 14 0 107142011 11413061632 266554 33554432000 4194304 4196468 140732410447712 140732410430256 139644404866807 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
/proc/17654/statm: 2786392 266554 3535 1 0 2748045 0
[pid=17654/tid=17707] ppid=17651 vsize=11145568 memory=1065696 CPUtime=13.11 cores=0,2,4,6
/proc/17654/task/17707/stat : 17707 (java) S 17651 17654 12183 0 -1 1077944384 48193 12847 0 0 1283 20 5 3 20 0 14 0 107142020 11413061632 266554 33554432000 4194304 4196468 140732410447712 139644376710288 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17708] ppid=17651 vsize=11145568 memory=56 CPUtime=0.28 cores=0,2,4,6
/proc/17654/task/17708/stat : 17708 (java) S 17651 17654 12183 0 -1 1077944384 370 12847 0 0 17 3 5 3 20 0 14 0 107142021 11413061632 266554 33554432000 4194304 4196468 140732410447712 139644409108880 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17709] ppid=17651 vsize=11145568 memory=1064968 CPUtime=0.28 cores=0,2,4,6
/proc/17654/task/17709/stat : 17709 (java) S 17651 17654 12183 0 -1 1077944384 255 12847 0 0 17 3 5 3 20 0 14 0 107142021 11413061632 266554 33554432000 4194304 4196468 140732410447712 139644290373904 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17710] ppid=17651 vsize=11145568 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/17654/task/17710/stat : 17710 (java) S 17651 17654 12183 0 -1 1077944384 191 12847 0 0 19 3 5 3 20 0 14 0 107142021 11413061632 266554 33554432000 4194304 4196468 140732410447712 139644289321616 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17711] ppid=17651 vsize=11145568 memory=8761640388318109335 CPUtime=0.3 cores=0,2,4,6
/proc/17654/task/17711/stat : 17711 (java) S 17651 17654 12183 0 -1 1077944384 225 12847 0 0 18 4 5 3 20 0 14 0 107142021 11413061632 266554 33554432000 4194304 4196468 140732410447712 139644288268816 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17712] ppid=17651 vsize=11145568 memory=33 CPUtime=0.15 cores=0,2,4,6
/proc/17654/task/17712/stat : 17712 (java) S 17651 17654 12183 0 -1 1077944384 4042 12847 0 0 6 1 5 3 20 0 14 0 107142022 11413061632 266554 33554432000 4194304 4196468 140732410447712 139643897977664 139644404877954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17713] ppid=17651 vsize=11145568 memory=576460756337521186 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17713/stat : 17713 (java) S 17651 17654 12183 0 -1 1077944384 17 12847 0 0 0 0 5 3 20 0 14 0 107142023 11413061632 266554 33554432000 4194304 4196468 140732410447712 139643211212128 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17714] ppid=17651 vsize=11145568 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17714/stat : 17714 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 14 0 107142023 11413061632 266554 33554432000 4194304 4196468 140732410447712 139643009885824 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17715] ppid=17651 vsize=11145568 memory=582 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17715/stat : 17715 (java) S 17651 17654 12183 0 -1 1077944384 5 12847 0 0 0 0 5 3 20 0 14 0 107142025 11413061632 266554 33554432000 4194304 4196468 140732410447712 139642702485744 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17716] ppid=17651 vsize=11145568 memory=8 CPUtime=6.81 cores=0,2,4,6
/proc/17654/task/17716/stat : 17716 (java) S 17651 17654 12183 0 -1 1077944384 14837 12847 0 0 667 6 5 3 20 0 14 0 107142025 11413061632 266554 33554432000 4194304 4196468 140732410447712 139643896917008 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17717] ppid=17651 vsize=11145568 memory=8 CPUtime=6.82 cores=0,2,4,6
/proc/17654/task/17717/stat : 17717 (java) S 17651 17654 12183 0 -1 1077944384 6630 12847 0 0 672 2 5 3 20 0 14 0 107142025 11413061632 266554 33554432000 4194304 4196468 140732410447712 139643895851408 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17718] ppid=17651 vsize=11145568 memory=280973539802528 CPUtime=2.73 cores=0,2,4,6
/proc/17654/task/17718/stat : 17718 (java) S 17651 17654 12183 0 -1 1077944384 8861 12847 0 0 262 3 5 3 20 0 14 0 107142026 11413061632 266554 33554432000 4194304 4196468 140732410447712 139643894819184 139644404877954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
[pid=17654/tid=17719] ppid=17651 vsize=11145568 memory=5788348613576451160 CPUtime=0.08 cores=0,2,4,6
/proc/17654/task/17719/stat : 17719 (java) S 17651 17654 12183 0 -1 1077944384 3 12847 0 0 0 0 5 3 20 0 14 0 107142026 11413061632 266554 33554432000 4194304 4196468 140732410447712 139642271689184 139644404877013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18124800 140732410452593 140732410455393 140732410455393 140732410458063 0
Current children cumulated CPU time: 30.24 s
Current children cumulated vsize: 11145568 KiB
Current children cumulated memory: 1066216 KiB

Child status: 0
Real time (s): 13.5237
CPU time (s): 30.2699
CPU user time (s): 29.734
CPU system time (s): 0.535924
CPU usage (%): 223.829
Max. virtual memory (cumulated for all children) (KiB): 11145568
Max. memory (cumulated for all children) (KiB): 1066216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.734
system time used= 0.535924
maximum resident set size= 1068232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98763
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= 9179
involuntary context switches= 132


# summary of solver processes directly reported to runsolver:
#   pid: 17654
#   total CPU time (s): 30.2699
#   total CPU user time (s): 29.734
#   total CPU system time (s): 0.535924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.119271 second user time and 0.15597 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
MD5SUM	78811932529a67bdc61c23a432ac663c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	2.14553
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3968
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	3
Maximum variable degree	64
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	280
Distribution of constraint arities	[{"arity":2,"count":3967},{"arity":280,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3967
Distribution of constraint types	[{"type":"intension","count":3967},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4302548

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
