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 (5985 MiB free)
memory of node 1: 16384 MiB (5068 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304388-1534076664/watcher-4304388-1534076664 -o /tmp/evaluation-result-4304388-1534076664/solver-4304388-1534076664 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=769080817 -superng HOME/instance-4304388-1534076664.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=23669, runsolver pid=23666
Current StackSize limit: 8192 KiB
[startup+0.100118 s]*
/proc/loadavg: 1.62 1.69 1.73 3/207 23726
/proc/meminfo: memFree=11311212/32770624 swapFree=67108404/67108860
[pid=23669] ppid=23666 vsize=10088124 memory=19472 CPUtime=0.09 cores=1,3,5,7
/proc/23669/stat : 23669 (java) S 23666 23669 21340 0 -1 1077944320 4510 12907 0 0 1 1 4 3 20 0 7 0 225229554 10330238976 4868 33554432000 4194304 4196468 140724297573888 140724297556432 139631711092471 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
/proc/23669/statm: 2522031 4868 2003 1 0 2510469 0
[pid=23669/tid=23722] ppid=23666 vsize=10088124 memory=4279135703946854800 CPUtime=0.08 cores=1,3,5,7
/proc/23669/task/23722/stat : 23722 (java) R 23666 23669 21340 0 -1 4202560 2332 12907 0 0 1 0 4 3 20 0 7 0 225229563 10330238976 4868 33554432000 4194304 4196468 140724297573888 139631682935568 139631691919792 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23723] ppid=23666 vsize=10088124 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23723/stat : 23723 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 7 0 225229564 10330238976 4868 33554432000 4194304 4196468 140724297573888 139631715334672 139631711102677 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23724] ppid=23666 vsize=10088124 memory=139965172057728 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23724/stat : 23724 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 7 0 225229564 10330238976 4868 33554432000 4194304 4196468 140724297573888 139631602739856 139631711102677 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23725] ppid=23666 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23725/stat : 23725 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 7 0 225229564 10330238976 4868 33554432000 4194304 4196468 140724297573888 139631249926416 139631711102677 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23726] ppid=23666 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23726/stat : 23726 (java) S 23666 23669 21340 0 -1 1077944384 2 12907 0 0 0 0 4 3 20 0 7 0 225229564 10330238976 4868 33554432000 4194304 4196468 140724297573888 139631248873872 139631711102677 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23727] ppid=23666 vsize=10088124 memory=139965172057728 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23727/stat : 23727 (java) S 23666 23669 21340 0 -1 1077944384 2 12907 0 0 0 0 4 3 20 0 7 0 225229565 10330238976 4868 33554432000 4194304 4196468 140724297573888 139631204195056 139631711103618 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 19472 KiB
[startup+0.212692 s]*
/proc/loadavg: 1.62 1.69 1.73 3/216 23735
/proc/meminfo: memFree=11287832/32770624 swapFree=67108404/67108860
[pid=23669] ppid=23666 vsize=10982696 memory=45684 CPUtime=0.26 cores=1,3,5,7
/proc/23669/stat : 23669 (java) S 23666 23669 21340 0 -1 1077944320 8822 12907 0 0 17 2 4 3 20 0 15 0 225229554 11246280704 11355 33554432000 4194304 4196468 140724297573888 140724297556432 139631711092471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
/proc/23669/statm: 2745674 11421 2934 1 0 2708109 0
[pid=23669/tid=23722] ppid=23666 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/23669/task/23722/stat : 23722 (java) R 23666 23669 21340 0 -1 4202560 5391 12907 0 0 11 1 4 3 20 0 15 0 225229563 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631682890128 139631691359884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23723] ppid=23666 vsize=10982696 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23723/stat : 23723 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631715334672 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23724] ppid=23666 vsize=10982696 memory=139965172079356 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23724/stat : 23724 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631602739856 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23725] ppid=23666 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23725/stat : 23725 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631249926416 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23726] ppid=23666 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23726/stat : 23726 (java) S 23666 23669 21340 0 -1 1077944384 2 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631248873872 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23727] ppid=23666 vsize=10982696 memory=139965172057728 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23727/stat : 23727 (java) S 23666 23669 21340 0 -1 1077944384 2 12907 0 0 0 0 4 3 20 0 15 0 225229565 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631204195056 139631711103618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23728] ppid=23666 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23728/stat : 23728 (java) S 23666 23669 21340 0 -1 1077944384 13 12907 0 0 0 0 4 3 20 0 15 0 225229565 11246280704 11421 33554432000 4194304 4196468 140724297573888 139630474159776 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23729] ppid=23666 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23729/stat : 23729 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229566 11246280704 11421 33554432000 4194304 4196468 140724297573888 139630326310128 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23730] ppid=23666 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23730/stat : 23730 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229568 11246280704 11421 33554432000 4194304 4196468 140724297573888 139630018910672 139631711111067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23731] ppid=23666 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23669/task/23731/stat : 23731 (java) S 23666 23669 21340 0 -1 1077944384 425 12907 0 0 1 0 4 3 20 0 15 0 225229568 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631203141872 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23732] ppid=23666 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23669/task/23732/stat : 23732 (java) S 23666 23669 21340 0 -1 1077944384 190 12907 0 0 1 0 4 3 20 0 15 0 225229568 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631202089328 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23733] ppid=23666 vsize=10982696 memory=139965172057728 CPUtime=0.1 cores=1,3,5,7
/proc/23669/task/23733/stat : 23733 (java) S 23666 23669 21340 0 -1 1077944384 648 12907 0 0 3 0 4 3 20 0 15 0 225229568 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631201036272 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23734] ppid=23666 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23734/stat : 23734 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229569 11246280704 11421 33554432000 4194304 4196468 140724297573888 139629588113760 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23735] ppid=23666 vsize=10982696 memory=139965172057728 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23735/stat : 23735 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229569 11246280704 11421 33554432000 4194304 4196468 140724297573888 139631199984688 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45684 KiB
[startup+0.310406 s]*
/proc/loadavg: 1.62 1.69 1.73 3/216 23735
/proc/meminfo: memFree=11277660/32770624 swapFree=67108404/67108860
[pid=23669] ppid=23666 vsize=10983192 memory=55456 CPUtime=0.38 cores=1,3,5,7
/proc/23669/stat : 23669 (java) S 23666 23669 21340 0 -1 1077944320 10434 12907 0 0 28 3 4 3 20 0 15 0 225229554 11246788608 13864 33554432000 4194304 4196468 140724297573888 140724297556432 139631711092471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
/proc/23669/statm: 2745798 13864 3080 1 0 2708109 0
[pid=23669/tid=23722] ppid=23666 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23669/task/23722/stat : 23722 (java) R 23666 23669 21340 0 -1 4202560 6931 12907 0 0 20 2 4 3 20 0 15 0 225229563 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631682904256 139631692656000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23723] ppid=23666 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23723/stat : 23723 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631715334672 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23724] ppid=23666 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23724/stat : 23724 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631602739856 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23725] ppid=23666 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23725/stat : 23725 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631249926416 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23726] ppid=23666 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23726/stat : 23726 (java) S 23666 23669 21340 0 -1 1077944384 2 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631248873872 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23727] ppid=23666 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23727/stat : 23727 (java) S 23666 23669 21340 0 -1 1077944384 2 12907 0 0 0 0 4 3 20 0 15 0 225229565 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631204195056 139631711103618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23728] ppid=23666 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23728/stat : 23728 (java) S 23666 23669 21340 0 -1 1077944384 13 12907 0 0 0 0 4 3 20 0 15 0 225229565 11246788608 13864 33554432000 4194304 4196468 140724297573888 139630474159776 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23729] ppid=23666 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23729/stat : 23729 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229566 11246788608 13864 33554432000 4194304 4196468 140724297573888 139630326310128 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23730] ppid=23666 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23730/stat : 23730 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229568 11246788608 13864 33554432000 4194304 4196468 140724297573888 139630018910672 139631711111067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23731] ppid=23666 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23669/task/23731/stat : 23731 (java) S 23666 23669 21340 0 -1 1077944384 427 12907 0 0 1 0 4 3 20 0 15 0 225229568 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631203141872 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23732] ppid=23666 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23669/task/23732/stat : 23732 (java) S 23666 23669 21340 0 -1 1077944384 190 12907 0 0 1 0 4 3 20 0 15 0 225229568 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631202089328 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23733] ppid=23666 vsize=10983192 memory=139965172057728 CPUtime=0.12 cores=1,3,5,7
/proc/23669/task/23733/stat : 23733 (java) R 23666 23669 21340 0 -1 4202560 663 12907 0 0 5 0 4 3 20 0 15 0 225229568 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631201036272 139631703329598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23734] ppid=23666 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23734/stat : 23734 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229569 11246788608 13864 33554432000 4194304 4196468 140724297573888 139629588113760 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23735] ppid=23666 vsize=10983192 memory=139965172057728 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23735/stat : 23735 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229569 11246788608 13864 33554432000 4194304 4196468 140724297573888 139631199984688 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55456 KiB
[startup+0.700778 s]
/proc/loadavg: 1.62 1.69 1.73 3/216 23735
/proc/meminfo: memFree=11267364/32770624 swapFree=67108404/67108860
[pid=23669] ppid=23666 vsize=10983192 memory=88784 CPUtime=0.97 cores=1,3,5,7
/proc/23669/stat : 23669 (java) S 23666 23669 21340 0 -1 1077944320 16833 12907 0 0 86 4 4 3 20 0 15 0 225229554 11246788608 22196 33554432000 4194304 4196468 140724297573888 140724297556432 139631711092471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
/proc/23669/statm: 2745798 22196 3237 1 0 2708109 0
[pid=23669/tid=23722] ppid=23666 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/23669/task/23722/stat : 23722 (java) R 23666 23669 21340 0 -1 4202560 12393 12907 0 0 56 3 4 3 20 0 15 0 225229563 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631682913296 139631691368323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23723] ppid=23666 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23723/stat : 23723 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631715334672 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23724] ppid=23666 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23724/stat : 23724 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631602739856 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23725] ppid=23666 vsize=10983192 memory=139965065478768 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23725/stat : 23725 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631249926416 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23726] ppid=23666 vsize=10983192 memory=139968689209934 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23726/stat : 23726 (java) S 23666 23669 21340 0 -1 1077944384 2 12907 0 0 0 0 4 3 20 0 15 0 225229564 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631248873872 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23727] ppid=23666 vsize=10983192 memory=1156 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23727/stat : 23727 (java) S 23666 23669 21340 0 -1 1077944384 5 12907 0 0 0 0 4 3 20 0 15 0 225229565 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631204195056 139631711103618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23728] ppid=23666 vsize=10983192 memory=7014751519734519121 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23728/stat : 23728 (java) S 23666 23669 21340 0 -1 1077944384 13 12907 0 0 0 0 4 3 20 0 15 0 225229565 11246788608 22196 33554432000 4194304 4196468 140724297573888 139630474159776 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23729] ppid=23666 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23729/stat : 23729 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229566 11246788608 22196 33554432000 4194304 4196468 140724297573888 139630326310128 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23730] ppid=23666 vsize=10983192 memory=33808 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23730/stat : 23730 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229568 11246788608 22196 33554432000 4194304 4196468 140724297573888 139630018910672 139631711111067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23731] ppid=23666 vsize=10983192 memory=14644 CPUtime=0.13 cores=1,3,5,7
/proc/23669/task/23731/stat : 23731 (java) S 23666 23669 21340 0 -1 1077944384 694 12907 0 0 6 0 4 3 20 0 15 0 225229568 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631203141872 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23732] ppid=23666 vsize=10983192 memory=1720 CPUtime=0.17 cores=1,3,5,7
/proc/23669/task/23732/stat : 23732 (java) S 23666 23669 21340 0 -1 1077944384 788 12907 0 0 10 0 4 3 20 0 15 0 225229568 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631202089328 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23733] ppid=23666 vsize=10983192 memory=508 CPUtime=0.19 cores=1,3,5,7
/proc/23669/task/23733/stat : 23733 (java) S 23666 23669 21340 0 -1 1077944384 731 12907 0 0 12 0 4 3 20 0 15 0 225229568 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631201036272 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23734] ppid=23666 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23734/stat : 23734 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229569 11246788608 22196 33554432000 4194304 4196468 140724297573888 139629588113760 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23735] ppid=23666 vsize=10983192 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23735/stat : 23735 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229569 11246788608 22196 33554432000 4194304 4196468 140724297573888 139631199984688 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88784 KiB
[startup+1.5044 s]
/proc/loadavg: 1.62 1.69 1.73 3/216 23735
/proc/meminfo: memFree=11220288/32770624 swapFree=67108404/67108860
[pid=23669] ppid=23666 vsize=10996044 memory=196464 CPUtime=3.14 cores=1,3,5,7
/proc/23669/stat : 23669 (java) S 23666 23669 21340 0 -1 1077944320 27681 12907 0 0 298 9 4 3 20 0 15 0 225229554 11259949056 49116 33554432000 4194304 4196468 140724297573888 140724297556432 139631711092471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
/proc/23669/statm: 2749011 49116 3450 1 0 2710669 0
[pid=23669/tid=23722] ppid=23666 vsize=10996044 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/23669/task/23722/stat : 23722 (java) S 23666 23669 21340 0 -1 1077944384 17339 12907 0 0 132 6 4 3 20 0 15 0 225229563 11259949056 49116 33554432000 4194304 4196468 140724297573888 139631682907616 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23723] ppid=23666 vsize=10996044 memory=279930131005888 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23723/stat : 23723 (java) D 23666 23669 21340 0 -1 4202560 70 12907 0 0 0 0 4 3 20 0 15 0 225229564 11259949056 49116 33554432000 4194304 4196468 140724297573888 139631715334872 139631695790105 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23724] ppid=23666 vsize=10996044 memory=279930131015200 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23724/stat : 23724 (java) D 23666 23669 21340 0 -1 4202560 134 12907 0 0 0 0 4 3 20 0 15 0 225229564 11259949056 49628 33554432000 4194304 4196468 140724297573888 139631602740056 139631695790220 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23725] ppid=23666 vsize=10996044 memory=139965065513456 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23725/stat : 23725 (java) D 23666 23669 21340 0 -1 4202560 5 12907 0 0 0 0 4 3 20 0 15 0 225229564 11259949056 49628 33554432000 4194304 4196468 140724297573888 139631249926304 139631695790105 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23726] ppid=23666 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23726/stat : 23726 (java) R 23666 23669 21340 0 -1 4202560 25 12907 0 0 0 0 4 3 20 0 15 0 225229564 11259949056 49628 33554432000 4194304 4196468 140724297573888 139631248874072 139631695790105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23727] ppid=23666 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23727/stat : 23727 (java) S 23666 23669 21340 0 -1 1077944384 31 12907 0 0 0 0 4 3 20 0 15 0 225229565 11259949056 49628 33554432000 4194304 4196468 140724297573888 139631204193344 139631711102677 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23728] ppid=23666 vsize=10996044 memory=12966506269086 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23728/stat : 23728 (java) S 23666 23669 21340 0 -1 1077944384 13 12907 0 0 0 0 4 3 20 0 15 0 225229565 11259949056 49628 33554432000 4194304 4196468 140724297573888 139630474159776 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23729] ppid=23666 vsize=10996044 memory=7308045214707363890 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23729/stat : 23729 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229566 11259949056 49628 33554432000 4194304 4196468 140724297573888 139630326310128 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23730] ppid=23666 vsize=10996044 memory=7308045215650173030 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23730/stat : 23730 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229568 11259949056 49628 33554432000 4194304 4196468 140724297573888 139630018910672 139631711111067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23731] ppid=23666 vsize=10996044 memory=-6812210783619891858 CPUtime=0.64 cores=1,3,5,7
/proc/23669/task/23731/stat : 23731 (java) D 23666 23669 21340 0 -1 4202560 3035 12907 0 0 57 0 4 3 20 0 15 0 225229568 11259949056 49628 33554432000 4194304 4196468 140724297573888 139631203126536 139631703809623 0 4 0 16800975 18446744071582151463 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23732] ppid=23666 vsize=10996044 memory=7086533235037922666 CPUtime=0.68 cores=1,3,5,7
/proc/23669/task/23732/stat : 23732 (java) R 23666 23669 21340 0 -1 4202560 3111 12907 0 0 61 0 4 3 20 0 15 0 225229568 11259949056 49628 33554432000 4194304 4196468 140724297573888 139631202074792 139631696016818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23733] ppid=23666 vsize=10996044 memory=6655300316396806240 CPUtime=0.51 cores=1,3,5,7
/proc/23669/task/23733/stat : 23733 (java) S 23666 23669 21340 0 -1 1077944384 1718 12907 0 0 44 0 4 3 20 0 15 0 225229568 11259949056 49628 33554432000 4194304 4196468 140724297573888 139631201036272 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23734] ppid=23666 vsize=10996044 memory=7594029293792291136 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23734/stat : 23734 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229569 11259949056 49628 33554432000 4194304 4196468 140724297573888 139629588113760 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23735] ppid=23666 vsize=10996044 memory=7445417111681917796 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23735/stat : 23735 (java) S 23666 23669 21340 0 -1 1077944384 1 12907 0 0 0 0 4 3 20 0 15 0 225229569 11259949056 49628 33554432000 4194304 4196468 140724297573888 139631199984688 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
################
# More data... #
################
/proc/23669/task/23722/stat : 23722 (java) R 23666 23669 21340 0 -1 4202560 230540 12907 0 0 237099 59 4 3 20 0 15 0 225229563 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631682927024 139631300582047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23723] ppid=23666 vsize=11080032 memory=3815220 CPUtime=10.07 cores=1,3,5,7
/proc/23669/task/23723/stat : 23723 (java) S 23666 23669 21340 0 -1 1077944384 24653 12907 0 0 920 80 4 3 20 0 15 0 225229564 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631715334672 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23724] ppid=23666 vsize=11080032 memory=3815220 CPUtime=10.12 cores=1,3,5,7
/proc/23669/task/23724/stat : 23724 (java) S 23666 23669 21340 0 -1 1077944384 23595 12907 0 0 926 79 4 3 20 0 15 0 225229564 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631602739856 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23725] ppid=23666 vsize=11080032 memory=3815220 CPUtime=10.09 cores=1,3,5,7
/proc/23669/task/23725/stat : 23725 (java) S 23666 23669 21340 0 -1 1077944384 25092 12907 0 0 923 79 4 3 20 0 15 0 225229564 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631249926416 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23726] ppid=23666 vsize=11080032 memory=3815220 CPUtime=10.13 cores=1,3,5,7
/proc/23669/task/23726/stat : 23726 (java) S 23666 23669 21340 0 -1 1077944384 27585 12907 0 0 924 82 4 3 20 0 15 0 225229564 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631248873872 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23727] ppid=23666 vsize=11080032 memory=3815224 CPUtime=0.45 cores=1,3,5,7
/proc/23669/task/23727/stat : 23727 (java) S 23666 23669 21340 0 -1 1077944384 36752 12907 0 0 31 7 4 3 20 0 15 0 225229565 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631204195056 139631711103618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23728] ppid=23666 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23728/stat : 23728 (java) S 23666 23669 21340 0 -1 1077944384 28 12907 0 0 0 0 4 3 20 0 15 0 225229565 11345952768 953806 33554432000 4194304 4196468 140724297573888 139630474159904 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23729] ppid=23666 vsize=11080032 memory=3815224 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23729/stat : 23729 (java) S 23666 23669 21340 0 -1 1077944384 15 12907 0 0 0 0 4 3 20 0 15 0 225229566 11345952768 953806 33554432000 4194304 4196468 140724297573888 139630326310144 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23730] ppid=23666 vsize=11080032 memory=3815224 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23730/stat : 23730 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229568 11345952768 953806 33554432000 4194304 4196468 140724297573888 139630018910672 139631711111067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23731] ppid=23666 vsize=11080032 memory=33 CPUtime=7.65 cores=1,3,5,7
/proc/23669/task/23731/stat : 23731 (java) S 23666 23669 21340 0 -1 1077944384 83450 12907 0 0 751 7 4 3 20 0 15 0 225229568 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631203141872 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23732] ppid=23666 vsize=11080032 memory=3815224 CPUtime=7.13 cores=1,3,5,7
/proc/23669/task/23732/stat : 23732 (java) S 23666 23669 21340 0 -1 1077944384 66572 12907 0 0 700 6 4 3 20 0 15 0 225229568 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631202089328 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23733] ppid=23666 vsize=11080032 memory=3815220 CPUtime=2.88 cores=1,3,5,7
/proc/23669/task/23733/stat : 23733 (java) S 23666 23669 21340 0 -1 1077944384 53564 12907 0 0 274 7 4 3 20 0 15 0 225229568 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631201036272 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23734] ppid=23666 vsize=11080032 memory=1002 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23734/stat : 23734 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229569 11345952768 953806 33554432000 4194304 4196468 140724297573888 139629588113760 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23735] ppid=23666 vsize=11080032 memory=38 CPUtime=1.29 cores=1,3,5,7
/proc/23669/task/23735/stat : 23735 (java) S 23666 23669 21340 0 -1 1077944384 2467 12907 0 0 53 69 4 3 20 0 15 0 225229569 11345952768 953806 33554432000 4194304 4196468 140724297573888 139631199984688 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
Current children cumulated CPU time: 2430.94 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3815224 KiB
[startup+2442.3 s]
/proc/loadavg: 1.98 1.86 1.77 3/217 23966
/proc/meminfo: memFree=7409060/32770624 swapFree=67108404/67108860
[pid=23669] ppid=23666 vsize=11080032 memory=3845952 CPUtime=2491.16 cores=1,3,5,7
/proc/23669/stat : 23669 (java) S 23666 23669 21340 0 -1 1077944320 585633 12907 0 0 248638 471 4 3 20 0 15 0 225229554 11345952768 961488 33554432000 4194304 4196468 140724297573888 140724297556432 139631711092471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
/proc/23669/statm: 2770008 961488 3533 1 0 2731661 0
[pid=23669/tid=23722] ppid=23666 vsize=11080032 memory=3845948 CPUtime=2431.59 cores=1,3,5,7
/proc/23669/task/23722/stat : 23722 (java) R 23666 23669 21340 0 -1 4202560 234588 12907 0 0 243092 60 4 3 20 0 15 0 225229563 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631682922144 139631300582823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23723] ppid=23666 vsize=11080032 memory=3845948 CPUtime=10.12 cores=1,3,5,7
/proc/23669/task/23723/stat : 23723 (java) S 23666 23669 21340 0 -1 1077944384 25471 12907 0 0 924 81 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631715334672 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23724] ppid=23666 vsize=11080032 memory=3845948 CPUtime=10.18 cores=1,3,5,7
/proc/23669/task/23724/stat : 23724 (java) S 23666 23669 21340 0 -1 1077944384 24000 12907 0 0 931 80 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631602739856 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23725] ppid=23666 vsize=11080032 memory=3845948 CPUtime=10.15 cores=1,3,5,7
/proc/23669/task/23725/stat : 23725 (java) S 23666 23669 21340 0 -1 1077944384 26567 12907 0 0 928 80 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631249926416 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23726] ppid=23666 vsize=11080032 memory=3845948 CPUtime=10.18 cores=1,3,5,7
/proc/23669/task/23726/stat : 23726 (java) S 23666 23669 21340 0 -1 1077944384 28032 12907 0 0 928 83 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631248873872 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23727] ppid=23666 vsize=11080032 memory=3845948 CPUtime=0.45 cores=1,3,5,7
/proc/23669/task/23727/stat : 23727 (java) S 23666 23669 21340 0 -1 1077944384 37045 12907 0 0 31 7 4 3 20 0 15 0 225229565 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631204195056 139631711103618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23728] ppid=23666 vsize=11080032 memory=3845948 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23728/stat : 23728 (java) S 23666 23669 21340 0 -1 1077944384 28 12907 0 0 0 0 4 3 20 0 15 0 225229565 11345952768 961488 33554432000 4194304 4196468 140724297573888 139630474159904 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23729] ppid=23666 vsize=11080032 memory=3843896 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23729/stat : 23729 (java) S 23666 23669 21340 0 -1 1077944384 15 12907 0 0 0 0 4 3 20 0 15 0 225229566 11345952768 961488 33554432000 4194304 4196468 140724297573888 139630326310144 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23730] ppid=23666 vsize=11080032 memory=3845948 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23730/stat : 23730 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139630018910672 139631711111067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23731] ppid=23666 vsize=11080032 memory=3845948 CPUtime=7.65 cores=1,3,5,7
/proc/23669/task/23731/stat : 23731 (java) S 23666 23669 21340 0 -1 1077944384 83453 12907 0 0 751 7 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631203141872 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23732] ppid=23666 vsize=11080032 memory=3845948 CPUtime=7.16 cores=1,3,5,7
/proc/23669/task/23732/stat : 23732 (java) S 23666 23669 21340 0 -1 1077944384 68096 12907 0 0 703 6 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631202089328 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23733] ppid=23666 vsize=11080032 memory=3684 CPUtime=2.88 cores=1,3,5,7
/proc/23669/task/23733/stat : 23733 (java) S 23666 23669 21340 0 -1 1077944384 53639 12907 0 0 274 7 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631201036272 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23734] ppid=23666 vsize=11080032 memory=1160 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23734/stat : 23734 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229569 11345952768 961488 33554432000 4194304 4196468 140724297573888 139629588113760 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23735] ppid=23666 vsize=11080032 memory=1784 CPUtime=1.32 cores=1,3,5,7
/proc/23669/task/23735/stat : 23735 (java) S 23666 23669 21340 0 -1 1077944384 2497 12907 0 0 54 71 4 3 20 0 15 0 225229569 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631199984688 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
Current children cumulated CPU time: 2491.16 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3845952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.11 s]
/proc/loadavg: 1.72 1.81 1.76 3/217 23967
/proc/meminfo: memFree=7451316/32770624 swapFree=67108404/67108860
[pid=23669] ppid=23666 vsize=11080032 memory=3845952 CPUtime=2520.02 cores=1,3,5,7
/proc/23669/stat : 23669 (java) S 23666 23669 21340 0 -1 1077944320 587671 12907 0 0 251522 473 4 3 20 0 15 0 225229554 11345952768 961488 33554432000 4194304 4196468 140724297573888 140724297556432 139631711092471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
/proc/23669/statm: 2770008 961488 3533 1 0 2731661 0
[pid=23669/tid=23722] ppid=23666 vsize=11080032 memory=2148 CPUtime=2460.39 cores=1,3,5,7
/proc/23669/task/23722/stat : 23722 (java) R 23666 23669 21340 0 -1 4202560 236132 12907 0 0 245972 60 4 3 20 0 15 0 225229563 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631682927560 139631300584632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23723] ppid=23666 vsize=11080032 memory=3845952 CPUtime=10.13 cores=1,3,5,7
/proc/23669/task/23723/stat : 23723 (java) S 23666 23669 21340 0 -1 1077944384 25471 12907 0 0 925 81 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631715334672 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23724] ppid=23666 vsize=11080032 memory=3845952 CPUtime=10.18 cores=1,3,5,7
/proc/23669/task/23724/stat : 23724 (java) S 23666 23669 21340 0 -1 1077944384 24004 12907 0 0 931 80 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631602739856 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23725] ppid=23666 vsize=11080032 memory=3684 CPUtime=10.15 cores=1,3,5,7
/proc/23669/task/23725/stat : 23725 (java) S 23666 23669 21340 0 -1 1077944384 26567 12907 0 0 928 80 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631249926416 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23726] ppid=23666 vsize=11080032 memory=3845952 CPUtime=10.18 cores=1,3,5,7
/proc/23669/task/23726/stat : 23726 (java) S 23666 23669 21340 0 -1 1077944384 28032 12907 0 0 928 83 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631248873872 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23727] ppid=23666 vsize=11080032 memory=3845952 CPUtime=0.45 cores=1,3,5,7
/proc/23669/task/23727/stat : 23727 (java) S 23666 23669 21340 0 -1 1077944384 37047 12907 0 0 31 7 4 3 20 0 15 0 225229565 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631204195056 139631711103618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23728] ppid=23666 vsize=11080032 memory=1924 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23728/stat : 23728 (java) S 23666 23669 21340 0 -1 1077944384 28 12907 0 0 0 0 4 3 20 0 15 0 225229565 11345952768 961488 33554432000 4194304 4196468 140724297573888 139630474159904 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23729] ppid=23666 vsize=11080032 memory=3845952 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23729/stat : 23729 (java) S 23666 23669 21340 0 -1 1077944384 15 12907 0 0 0 0 4 3 20 0 15 0 225229566 11345952768 961488 33554432000 4194304 4196468 140724297573888 139630326310144 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23730] ppid=23666 vsize=11080032 memory=3845952 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23730/stat : 23730 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139630018910672 139631711111067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23731] ppid=23666 vsize=11080032 memory=3845952 CPUtime=7.67 cores=1,3,5,7
/proc/23669/task/23731/stat : 23731 (java) S 23666 23669 21340 0 -1 1077944384 83920 12907 0 0 753 7 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631203141872 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23732] ppid=23666 vsize=11080032 memory=3845952 CPUtime=7.16 cores=1,3,5,7
/proc/23669/task/23732/stat : 23732 (java) S 23666 23669 21340 0 -1 1077944384 68096 12907 0 0 703 6 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631202089328 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23733] ppid=23666 vsize=11080032 memory=3684 CPUtime=2.88 cores=1,3,5,7
/proc/23669/task/23733/stat : 23733 (java) S 23666 23669 21340 0 -1 1077944384 53657 12907 0 0 274 7 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631201036272 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23734] ppid=23666 vsize=11080032 memory=3845952 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23734/stat : 23734 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229569 11345952768 961488 33554432000 4194304 4196468 140724297573888 139629588113760 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23735] ppid=23666 vsize=11080032 memory=3845952 CPUtime=1.34 cores=1,3,5,7
/proc/23669/task/23735/stat : 23735 (java) S 23666 23669 21340 0 -1 1077944384 2500 12907 0 0 55 72 4 3 20 0 15 0 225229569 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631199984688 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3845952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.17 s]
# the end of solver process 23669 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.3 s, system=4.79747 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.11 s]
/proc/loadavg: 1.72 1.81 1.76 3/217 23967
/proc/meminfo: memFree=7451316/32770624 swapFree=67108404/67108860
[pid=23669] ppid=23666 vsize=11080032 memory=3845952 CPUtime=2520.02 cores=1,3,5,7
/proc/23669/stat : 23669 (java) S 23666 23669 21340 0 -1 1077944320 587671 12907 0 0 251522 473 4 3 20 0 15 0 225229554 11345952768 961488 33554432000 4194304 4196468 140724297573888 140724297556432 139631711092471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
/proc/23669/statm: 2770008 961488 3533 1 0 2731661 0
[pid=23669/tid=23722] ppid=23666 vsize=11080032 memory=2148 CPUtime=2460.39 cores=1,3,5,7
/proc/23669/task/23722/stat : 23722 (java) R 23666 23669 21340 0 -1 4202560 236132 12907 0 0 245972 60 4 3 20 0 15 0 225229563 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631682927560 139631300584632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23723] ppid=23666 vsize=11080032 memory=3845952 CPUtime=10.13 cores=1,3,5,7
/proc/23669/task/23723/stat : 23723 (java) S 23666 23669 21340 0 -1 1077944384 25471 12907 0 0 925 81 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631715334672 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23724] ppid=23666 vsize=11080032 memory=3845952 CPUtime=10.18 cores=1,3,5,7
/proc/23669/task/23724/stat : 23724 (java) S 23666 23669 21340 0 -1 1077944384 24004 12907 0 0 931 80 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631602739856 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23725] ppid=23666 vsize=11080032 memory=3684 CPUtime=10.15 cores=1,3,5,7
/proc/23669/task/23725/stat : 23725 (java) S 23666 23669 21340 0 -1 1077944384 26567 12907 0 0 928 80 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631249926416 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23726] ppid=23666 vsize=11080032 memory=3845952 CPUtime=10.18 cores=1,3,5,7
/proc/23669/task/23726/stat : 23726 (java) S 23666 23669 21340 0 -1 1077944384 28032 12907 0 0 928 83 4 3 20 0 15 0 225229564 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631248873872 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23727] ppid=23666 vsize=11080032 memory=3845952 CPUtime=0.45 cores=1,3,5,7
/proc/23669/task/23727/stat : 23727 (java) S 23666 23669 21340 0 -1 1077944384 37047 12907 0 0 31 7 4 3 20 0 15 0 225229565 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631204195056 139631711103618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23728] ppid=23666 vsize=11080032 memory=1924 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23728/stat : 23728 (java) S 23666 23669 21340 0 -1 1077944384 28 12907 0 0 0 0 4 3 20 0 15 0 225229565 11345952768 961488 33554432000 4194304 4196468 140724297573888 139630474159904 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23729] ppid=23666 vsize=11080032 memory=3845952 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23729/stat : 23729 (java) S 23666 23669 21340 0 -1 1077944384 15 12907 0 0 0 0 4 3 20 0 15 0 225229566 11345952768 961488 33554432000 4194304 4196468 140724297573888 139630326310144 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23730] ppid=23666 vsize=11080032 memory=3845952 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23730/stat : 23730 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139630018910672 139631711111067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23731] ppid=23666 vsize=11080032 memory=3845952 CPUtime=7.67 cores=1,3,5,7
/proc/23669/task/23731/stat : 23731 (java) S 23666 23669 21340 0 -1 1077944384 83920 12907 0 0 753 7 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631203141872 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23732] ppid=23666 vsize=11080032 memory=3845952 CPUtime=7.16 cores=1,3,5,7
/proc/23669/task/23732/stat : 23732 (java) S 23666 23669 21340 0 -1 1077944384 68096 12907 0 0 703 6 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631202089328 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23733] ppid=23666 vsize=11080032 memory=3684 CPUtime=2.88 cores=1,3,5,7
/proc/23669/task/23733/stat : 23733 (java) S 23666 23669 21340 0 -1 1077944384 53657 12907 0 0 274 7 4 3 20 0 15 0 225229568 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631201036272 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23734] ppid=23666 vsize=11080032 memory=3845952 CPUtime=0.07 cores=1,3,5,7
/proc/23669/task/23734/stat : 23734 (java) S 23666 23669 21340 0 -1 1077944384 3 12907 0 0 0 0 4 3 20 0 15 0 225229569 11345952768 961488 33554432000 4194304 4196468 140724297573888 139629588113760 139631711102677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
[pid=23669/tid=23735] ppid=23666 vsize=11080032 memory=3845952 CPUtime=1.34 cores=1,3,5,7
/proc/23669/task/23735/stat : 23735 (java) S 23666 23669 21340 0 -1 1077944384 2500 12907 0 0 55 72 4 3 20 0 15 0 225229569 11345952768 961488 33554432000 4194304 4196468 140724297573888 139631199984688 139631711103618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140724297575012 140724297577820 140724297577820 140724297580495 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3845952 KiB
Child status: 143
Real time (s): 2471.17
CPU time (s): 2520.1
CPU user time (s): 2515.3
CPU system time (s): 4.79747
CPU usage (%): 101.98
Max. virtual memory (cumulated for all children) (KiB): 11082704
Max. memory (cumulated for all children) (KiB): 3845952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.3
system time used= 4.79747
maximum resident set size= 3848336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602238
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67435
involuntary context switches= 2213
# summary of solver processes directly reported to runsolver:
# pid: 23669
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.3
# total CPU system time (s): 4.79747
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.831 second user time and 23.3673 second system time
The end