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 (3602 MiB free)
memory of node 1: 16384 MiB (4626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304337-1534059696/watcher-4304337-1534059696 -o /tmp/evaluation-result-4304337-1534059696/solver-4304337-1534059696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15154 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=2022581996 HOME/instance-4304337-1534059696.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
Current StackSize limit: 8192 KiB
solver pid=18979, runsolver pid=18976
[startup+0.100096 s]*
/proc/loadavg: 1.75 1.73 1.68 3/210 19036
/proc/meminfo: memFree=8421128/32770624 swapFree=67108860/67108860
[pid=18979] ppid=18976 vsize=10005480 memory=17072 CPUtime=0.09 cores=1,3,5,7
/proc/18979/stat : 18979 (java) S 18976 18979 13534 0 -1 1077944320 4388 13219 0 0 1 0 5 3 20 0 6 0 223532762 10245611520 4268 33554432000 4194304 4196468 140724591346016 140724591328560 139864339656439 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
/proc/18979/statm: 2501370 4268 1934 1 0 2489808 0
[pid=18979/tid=19032] ppid=18976 vsize=10005480 memory=5852835220496416925 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19032/stat : 19032 (java) R 18976 18979 13534 0 -1 4202560 2200 13219 0 0 0 0 5 3 20 0 6 0 223532771 10245611520 4268 33554432000 4194304 4196468 140724591346016 139864311493200 139864321051645 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19033] ppid=18976 vsize=10005480 memory=5793855465280919993 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19033/stat : 19033 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 6 0 223532772 10245611520 4268 33554432000 4194304 4196468 140724591346016 139864343898896 139864339666645 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19034] ppid=18976 vsize=10005480 memory=140214271026816 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19034/stat : 19034 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 6 0 223532772 10245611520 4268 33554432000 4194304 4196468 140724591346016 139864209234832 139864339666645 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19035] ppid=18976 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19035/stat : 19035 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 6 0 223532772 10245611520 4268 33554432000 4194304 4196468 140724591346016 139864208182288 139864339666645 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19036] ppid=18976 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19036/stat : 19036 (java) S 18976 18979 13534 0 -1 1077944384 2 13219 0 0 0 0 5 3 20 0 6 0 223532772 10245611520 4268 33554432000 4194304 4196468 140724591346016 139864207129744 139864339666645 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17072 KiB
[startup+0.210074 s]*
/proc/loadavg: 1.75 1.73 1.68 3/219 19045
/proc/meminfo: memFree=8397176/32770624 swapFree=67108860/67108860
[pid=18979] ppid=18976 vsize=10982744 memory=45476 CPUtime=0.26 cores=1,3,5,7
/proc/18979/stat : 18979 (java) S 18976 18979 13534 0 -1 1077944320 8088 13219 0 0 16 2 5 3 20 0 15 0 223532762 11246329856 11369 33554432000 4194304 4196468 140724591346016 140724591328560 139864339656439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
/proc/18979/statm: 2745686 11369 2955 1 0 2708109 0
[pid=18979/tid=19032] ppid=18976 vsize=10982744 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/18979/task/19032/stat : 19032 (java) R 18976 18979 13534 0 -1 4202560 4670 13219 0 0 10 1 5 3 20 0 15 0 223532771 11246329856 11369 33554432000 4194304 4196468 140724591346016 139864311461744 139864323736926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19033] ppid=18976 vsize=10982744 memory=4211973940475817354 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19033/stat : 19033 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246329856 11369 33554432000 4194304 4196468 140724591346016 139864343898896 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19034] ppid=18976 vsize=10982744 memory=140214271026816 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19034/stat : 19034 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246329856 11369 33554432000 4194304 4196468 140724591346016 139864209234832 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19035] ppid=18976 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19035/stat : 19035 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246329856 11369 33554432000 4194304 4196468 140724591346016 139864208182288 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19036] ppid=18976 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19036/stat : 19036 (java) S 18976 18979 13534 0 -1 1077944384 2 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246329856 11369 33554432000 4194304 4196468 140724591346016 139864207129744 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19037] ppid=18976 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19037/stat : 19037 (java) S 18976 18979 13534 0 -1 1077944384 2 13219 0 0 0 0 5 3 20 0 15 0 223532773 11246329856 11369 33554432000 4194304 4196468 140724591346016 139863765313520 139864339667586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19038] ppid=18976 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19038/stat : 19038 (java) S 18976 18979 13534 0 -1 1077944384 13 13219 0 0 0 0 5 3 20 0 15 0 223532774 11246329856 11369 33554432000 4194304 4196468 140724591346016 139863140590496 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19039] ppid=18976 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19039/stat : 19039 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532774 11246329856 11369 33554432000 4194304 4196468 140724591346016 139862992741360 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19040] ppid=18976 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19040/stat : 19040 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532776 11246329856 11369 33554432000 4194304 4196468 140724591346016 139862685341904 139864339675035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19041] ppid=18976 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18979/task/19041/stat : 19041 (java) S 18976 18979 13534 0 -1 1077944384 360 13219 0 0 1 0 5 3 20 0 15 0 223532776 11246329856 11369 33554432000 4194304 4196468 140724591346016 139863764261360 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19042] ppid=18976 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19042/stat : 19042 (java) S 18976 18979 13534 0 -1 1077944384 244 13219 0 0 0 0 5 3 20 0 15 0 223532776 11246329856 11369 33554432000 4194304 4196468 140724591346016 139863763208816 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19043] ppid=18976 vsize=10982744 memory=140214271026816 CPUtime=0.11 cores=1,3,5,7
/proc/18979/task/19043/stat : 19043 (java) S 18976 18979 13534 0 -1 1077944384 602 13219 0 0 3 0 5 3 20 0 15 0 223532776 11246329856 11369 33554432000 4194304 4196468 140724591346016 139863762156272 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19044] ppid=18976 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19044/stat : 19044 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532777 11246362624 11369 33554432000 4194304 4196468 140724591346016 139862254546016 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19045] ppid=18976 vsize=10982776 memory=140214271026816 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19045/stat : 19045 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532777 11246362624 11435 33554432000 4194304 4196468 140724591346016 139863761103152 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45476 KiB
[startup+0.310565 s]*
/proc/loadavg: 1.75 1.73 1.68 3/219 19045
/proc/meminfo: memFree=8385764/32770624 swapFree=67108860/67108860
[pid=18979] ppid=18976 vsize=10983192 memory=56192 CPUtime=0.39 cores=1,3,5,7
/proc/18979/stat : 18979 (java) S 18976 18979 13534 0 -1 1077944320 10583 13219 0 0 28 3 5 3 20 0 15 0 223532762 11246788608 14048 33554432000 4194304 4196468 140724591346016 140724591328560 139864339656439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
/proc/18979/statm: 2745798 14048 3074 1 0 2708109 0
[pid=18979/tid=19032] ppid=18976 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18979/task/19032/stat : 19032 (java) R 18976 18979 13534 0 -1 4202560 7151 13219 0 0 19 2 5 3 20 0 15 0 223532771 11246788608 14048 33554432000 4194304 4196468 140724591346016 139864311468448 139864325349920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19033] ppid=18976 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19033/stat : 19033 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246788608 14048 33554432000 4194304 4196468 140724591346016 139864343898896 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19034] ppid=18976 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19034/stat : 19034 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246788608 14048 33554432000 4194304 4196468 140724591346016 139864209234832 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19035] ppid=18976 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19035/stat : 19035 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246788608 14048 33554432000 4194304 4196468 140724591346016 139864208182288 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19036] ppid=18976 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19036/stat : 19036 (java) S 18976 18979 13534 0 -1 1077944384 2 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246788608 14048 33554432000 4194304 4196468 140724591346016 139864207129744 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19037] ppid=18976 vsize=10983192 memory=140214271026815 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19037/stat : 19037 (java) S 18976 18979 13534 0 -1 1077944384 2 13219 0 0 0 0 5 3 20 0 15 0 223532773 11246788608 14048 33554432000 4194304 4196468 140724591346016 139863765313520 139864339667586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19038] ppid=18976 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19038/stat : 19038 (java) S 18976 18979 13534 0 -1 1077944384 13 13219 0 0 0 0 5 3 20 0 15 0 223532774 11246788608 14048 33554432000 4194304 4196468 140724591346016 139863140590496 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19039] ppid=18976 vsize=10983192 memory=140214271026816 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19039/stat : 19039 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532774 11246788608 14048 33554432000 4194304 4196468 140724591346016 139862992741360 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19040] ppid=18976 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19040/stat : 19040 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532776 11246788608 14048 33554432000 4194304 4196468 140724591346016 139862685341904 139864339675035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19041] ppid=18976 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18979/task/19041/stat : 19041 (java) S 18976 18979 13534 0 -1 1077944384 362 13219 0 0 1 0 5 3 20 0 15 0 223532776 11246788608 14048 33554432000 4194304 4196468 140724591346016 139863764261360 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19042] ppid=18976 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18979/task/19042/stat : 19042 (java) S 18976 18979 13534 0 -1 1077944384 247 13219 0 0 1 0 5 3 20 0 15 0 223532776 11246788608 14048 33554432000 4194304 4196468 140724591346016 139863763208816 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19043] ppid=18976 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/18979/task/19043/stat : 19043 (java) S 18976 18979 13534 0 -1 1077944384 608 13219 0 0 5 0 5 3 20 0 15 0 223532776 11246788608 14048 33554432000 4194304 4196468 140724591346016 139863762156272 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19044] ppid=18976 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19044/stat : 19044 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532777 11246788608 14048 33554432000 4194304 4196468 140724591346016 139862254546016 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19045] ppid=18976 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19045/stat : 19045 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532777 11246788608 14048 33554432000 4194304 4196468 140724591346016 139863761103152 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56192 KiB
[startup+0.700732 s]
/proc/loadavg: 1.75 1.73 1.68 4/219 19045
/proc/meminfo: memFree=8374352/32770624 swapFree=67108860/67108860
[pid=18979] ppid=18976 vsize=10983192 memory=88588 CPUtime=0.99 cores=1,3,5,7
/proc/18979/stat : 18979 (java) S 18976 18979 13534 0 -1 1077944320 16774 13219 0 0 87 4 5 3 20 0 15 0 223532762 11246788608 22147 33554432000 4194304 4196468 140724591346016 140724591328560 139864339656439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
/proc/18979/statm: 2745798 22147 3241 1 0 2708109 0
[pid=18979/tid=19032] ppid=18976 vsize=10983192 memory=60808 CPUtime=0.67 cores=1,3,5,7
/proc/18979/task/19032/stat : 19032 (java) R 18976 18979 13534 0 -1 4202560 12256 13219 0 0 56 3 5 3 20 0 15 0 223532771 11246788608 22147 33554432000 4194304 4196468 140724591346016 139864311479376 139864323736926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19033] ppid=18976 vsize=10983192 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19033/stat : 19033 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246788608 22147 33554432000 4194304 4196468 140724591346016 139864343898896 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19034] ppid=18976 vsize=10983192 memory=140214173737459 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19034/stat : 19034 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246788608 22147 33554432000 4194304 4196468 140724591346016 139864209234832 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19035] ppid=18976 vsize=10983192 memory=140217797313419 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19035/stat : 19035 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246788608 22147 33554432000 4194304 4196468 140724591346016 139864208182288 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19036] ppid=18976 vsize=10983192 memory=1788 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19036/stat : 19036 (java) S 18976 18979 13534 0 -1 1077944384 2 13219 0 0 0 0 5 3 20 0 15 0 223532772 11246788608 22147 33554432000 4194304 4196468 140724591346016 139864207129744 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19037] ppid=18976 vsize=10983192 memory=6296143700806424935 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19037/stat : 19037 (java) S 18976 18979 13534 0 -1 1077944384 6 13219 0 0 0 0 5 3 20 0 15 0 223532773 11246788608 22147 33554432000 4194304 4196468 140724591346016 139863765313520 139864339667586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19038] ppid=18976 vsize=10983192 memory=8099279071866868837 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19038/stat : 19038 (java) S 18976 18979 13534 0 -1 1077944384 13 13219 0 0 0 0 5 3 20 0 15 0 223532774 11246788608 22147 33554432000 4194304 4196468 140724591346016 139863140590496 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19039] ppid=18976 vsize=10983192 memory=6004820471124940137 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19039/stat : 19039 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532774 11246788608 22147 33554432000 4194304 4196468 140724591346016 139862992741360 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19040] ppid=18976 vsize=10983192 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19040/stat : 19040 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532776 11246788608 22147 33554432000 4194304 4196468 140724591346016 139862685341904 139864339675035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19041] ppid=18976 vsize=10983192 memory=8326441112149131689 CPUtime=0.16 cores=1,3,5,7
/proc/18979/task/19041/stat : 19041 (java) S 18976 18979 13534 0 -1 1077944384 759 13219 0 0 8 0 5 3 20 0 15 0 223532776 11246788608 22147 33554432000 4194304 4196468 140724591346016 139863764261360 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19042] ppid=18976 vsize=10983192 memory=-7025452035940392864 CPUtime=0.17 cores=1,3,5,7
/proc/18979/task/19042/stat : 19042 (java) S 18976 18979 13534 0 -1 1077944384 860 13219 0 0 9 0 5 3 20 0 15 0 223532776 11246788608 22147 33554432000 4194304 4196468 140724591346016 139863763208816 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19043] ppid=18976 vsize=10983192 memory=6944656592452807326 CPUtime=0.21 cores=1,3,5,7
/proc/18979/task/19043/stat : 19043 (java) S 18976 18979 13534 0 -1 1077944384 680 13219 0 0 13 0 5 3 20 0 15 0 223532776 11246788608 22147 33554432000 4194304 4196468 140724591346016 139863762156272 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19044] ppid=18976 vsize=10983192 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19044/stat : 19044 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532777 11246788608 22147 33554432000 4194304 4196468 140724591346016 139862254546016 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19045] ppid=18976 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19045/stat : 19045 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532777 11246788608 22147 33554432000 4194304 4196468 140724591346016 139863761103152 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88588 KiB
[startup+1.50242 s]
/proc/loadavg: 1.75 1.73 1.68 4/219 19045
/proc/meminfo: memFree=8328384/32770624 swapFree=67108860/67108860
[pid=18979] ppid=18976 vsize=10998092 memory=193280 CPUtime=2.97 cores=1,3,5,7
/proc/18979/stat : 18979 (java) S 18976 18979 13534 0 -1 1077944320 26881 13219 0 0 280 9 5 3 20 0 15 0 223532762 11262046208 48320 33554432000 4194304 4196468 140724591346016 140724591328560 139864339656439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
/proc/18979/statm: 2749523 48320 3471 1 0 2711181 0
[pid=18979/tid=19032] ppid=18976 vsize=10998092 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/18979/task/19032/stat : 19032 (java) R 18976 18979 13534 0 -1 4202560 17062 13219 0 0 129 6 5 3 20 0 15 0 223532771 11262046208 48320 33554432000 4194304 4196468 140724591346016 139864311488272 139864339678365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19033] ppid=18976 vsize=10998092 memory=102260 CPUtime=0.09 cores=1,3,5,7
/proc/18979/task/19033/stat : 19033 (java) S 18976 18979 13534 0 -1 1077944384 56 13219 0 0 1 0 5 3 20 0 15 0 223532772 11262046208 48320 33554432000 4194304 4196468 140724591346016 139864343898896 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19034] ppid=18976 vsize=10998092 memory=5790086053191909267 CPUtime=0.09 cores=1,3,5,7
/proc/18979/task/19034/stat : 19034 (java) S 18976 18979 13534 0 -1 1077944384 26 13219 0 0 1 0 5 3 20 0 15 0 223532772 11262046208 48320 33554432000 4194304 4196468 140724591346016 139864209234832 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19035] ppid=18976 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18979/task/19035/stat : 19035 (java) S 18976 18979 13534 0 -1 1077944384 171 13219 0 0 1 0 5 3 20 0 15 0 223532772 11262046208 48320 33554432000 4194304 4196468 140724591346016 139864208182288 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19036] ppid=18976 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19036/stat : 19036 (java) S 18976 18979 13534 0 -1 1077944384 15 13219 0 0 0 0 5 3 20 0 15 0 223532772 11262046208 48320 33554432000 4194304 4196468 140724591346016 139864207129744 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19037] ppid=18976 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18979/task/19037/stat : 19037 (java) S 18976 18979 13534 0 -1 1077944384 54 13219 0 0 1 0 5 3 20 0 15 0 223532773 11262046208 48320 33554432000 4194304 4196468 140724591346016 139863765313520 139864339667586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19038] ppid=18976 vsize=10998092 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19038/stat : 19038 (java) S 18976 18979 13534 0 -1 1077944384 13 13219 0 0 0 0 5 3 20 0 15 0 223532774 11262046208 48320 33554432000 4194304 4196468 140724591346016 139863140590496 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19039] ppid=18976 vsize=10998092 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19039/stat : 19039 (java) R 18976 18979 13534 0 -1 4202560 1 13219 0 0 0 0 5 3 20 0 15 0 223532774 11262046208 48320 33554432000 4194304 4196468 140724591346016 139862992741360 139863882029112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19040] ppid=18976 vsize=10998092 memory=2192 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19040/stat : 19040 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532776 11262046208 48320 33554432000 4194304 4196468 140724591346016 139862685341904 139864339675035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19041] ppid=18976 vsize=10998092 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/18979/task/19041/stat : 19041 (java) R 18976 18979 13534 0 -1 4202560 2350 13219 0 0 46 0 5 3 20 0 15 0 223532776 11262046208 48320 33554432000 4194304 4196468 140724591346016 139863764240608 139864324046304 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19042] ppid=18976 vsize=10998092 memory=221977465913468 CPUtime=0.6 cores=1,3,5,7
/proc/18979/task/19042/stat : 19042 (java) R 18976 18979 13534 0 -1 4202560 3190 13219 0 0 52 0 5 3 20 0 15 0 223532776 11262046208 48320 33554432000 4194304 4196468 140724591346016 139863763193808 139864323945441 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19043] ppid=18976 vsize=10998092 memory=1088950 CPUtime=0.51 cores=1,3,5,7
/proc/18979/task/19043/stat : 19043 (java) R 18976 18979 13534 0 -1 1077944384 1749 13219 0 0 43 0 5 3 20 0 15 0 223532776 11262046208 48320 33554432000 4194304 4196468 140724591346016 139863762156272 139864339667586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19044] ppid=18976 vsize=10998092 memory=4638778415513030992 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19044/stat : 19044 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532777 11262046208 48320 33554432000 4194304 4196468 140724591346016 139862254546016 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19045] ppid=18976 vsize=10998092 memory=4639059873309409382 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19045/stat : 19045 (java) S 18976 18979 13534 0 -1 1077944384 1 13219 0 0 0 0 5 3 20 0 15 0 223532777 11262046208 48320 33554432000 4194304 4196468 140724591346016 139863761103152 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/18979/task/19032/stat : 19032 (java) R 18976 18979 13534 0 -1 4202560 355048 13219 0 0 237120 104 5 3 20 0 15 0 223532771 11345952768 805916 33554432000 4194304 4196468 140724591346016 139864311491576 139863883055446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19033] ppid=18976 vsize=11080032 memory=1828 CPUtime=7.97 cores=1,3,5,7
/proc/18979/task/19033/stat : 19033 (java) S 18976 18979 13534 0 -1 1077944384 14576 13219 0 0 754 35 5 3 20 0 15 0 223532772 11345952768 805916 33554432000 4194304 4196468 140724591346016 139864343898896 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19034] ppid=18976 vsize=11080032 memory=3223620 CPUtime=7.91 cores=1,3,5,7
/proc/18979/task/19034/stat : 19034 (java) S 18976 18979 13534 0 -1 1077944384 16399 13219 0 0 748 35 5 3 20 0 15 0 223532772 11345952768 805916 33554432000 4194304 4196468 140724591346016 139864209234832 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19035] ppid=18976 vsize=11080032 memory=3223664 CPUtime=7.98 cores=1,3,5,7
/proc/18979/task/19035/stat : 19035 (java) S 18976 18979 13534 0 -1 1077944384 14877 13219 0 0 753 37 5 3 20 0 15 0 223532772 11345952768 805916 33554432000 4194304 4196468 140724591346016 139864208182288 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19036] ppid=18976 vsize=11080032 memory=3223664 CPUtime=7.97 cores=1,3,5,7
/proc/18979/task/19036/stat : 19036 (java) S 18976 18979 13534 0 -1 1077944384 15904 13219 0 0 754 35 5 3 20 0 15 0 223532772 11345952768 805916 33554432000 4194304 4196468 140724591346016 139864207129744 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19037] ppid=18976 vsize=11080032 memory=3223664 CPUtime=1.58 cores=1,3,5,7
/proc/18979/task/19037/stat : 19037 (java) S 18976 18979 13534 0 -1 1077944384 23668 13219 0 0 128 22 5 3 20 0 15 0 223532773 11345952768 805916 33554432000 4194304 4196468 140724591346016 139863765313520 139864339667586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19038] ppid=18976 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19038/stat : 19038 (java) S 18976 18979 13534 0 -1 1077944384 23 13219 0 0 0 0 5 3 20 0 15 0 223532774 11345952768 805916 33554432000 4194304 4196468 140724591346016 139863140590624 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19039] ppid=18976 vsize=11080032 memory=3223664 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19039/stat : 19039 (java) S 18976 18979 13534 0 -1 1077944384 21 13219 0 0 0 0 5 3 20 0 15 0 223532774 11345952768 805916 33554432000 4194304 4196468 140724591346016 139862992741376 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19040] ppid=18976 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19040/stat : 19040 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532776 11345952768 805916 33554432000 4194304 4196468 140724591346016 139862685341904 139864339675035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19041] ppid=18976 vsize=11080032 memory=1828 CPUtime=9.15 cores=1,3,5,7
/proc/18979/task/19041/stat : 19041 (java) S 18976 18979 13534 0 -1 1077944384 69475 13219 0 0 898 9 5 3 20 0 15 0 223532776 11345952768 805916 33554432000 4194304 4196468 140724591346016 139863764261360 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19042] ppid=18976 vsize=11080032 memory=3223664 CPUtime=8.41 cores=1,3,5,7
/proc/18979/task/19042/stat : 19042 (java) S 18976 18979 13534 0 -1 1077944384 69182 13219 0 0 825 8 5 3 20 0 15 0 223532776 11345952768 805916 33554432000 4194304 4196468 140724591346016 139863763208816 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19043] ppid=18976 vsize=11080032 memory=164 CPUtime=3.55 cores=1,3,5,7
/proc/18979/task/19043/stat : 19043 (java) S 18976 18979 13534 0 -1 1077944384 72000 13219 0 0 338 9 5 3 20 0 15 0 223532776 11345952768 805916 33554432000 4194304 4196468 140724591346016 139863762156272 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19044] ppid=18976 vsize=11080032 memory=3223664 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19044/stat : 19044 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532777 11345952768 805916 33554432000 4194304 4196468 140724591346016 139862254546016 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19045] ppid=18976 vsize=11080032 memory=3223664 CPUtime=1.45 cores=1,3,5,7
/proc/18979/task/19045/stat : 19045 (java) S 18976 18979 13534 0 -1 1077944384 2127 13219 0 0 63 74 5 3 20 0 15 0 223532777 11345952768 805916 33554432000 4194304 4196468 140724591346016 139863761103152 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
Current children cumulated CPU time: 2427.68 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3223664 KiB
[startup+2442.3 s]
/proc/loadavg: 1.30 1.45 1.49 3/219 19273
/proc/meminfo: memFree=6455260/32770624 swapFree=67108860/67108860
[pid=18979] ppid=18976 vsize=11080032 memory=3223940 CPUtime=2487.95 cores=1,3,5,7
/proc/18979/stat : 18979 (java) S 18976 18979 13534 0 -1 1077944320 668707 13219 0 0 248437 350 5 3 20 0 15 0 223532762 11345952768 805985 33554432000 4194304 4196468 140724591346016 140724591328560 139864339656439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
/proc/18979/statm: 2770008 805985 3534 1 0 2731661 0
[pid=18979/tid=19032] ppid=18976 vsize=11080032 memory=3223940 CPUtime=2432.24 cores=1,3,5,7
/proc/18979/task/19032/stat : 19032 (java) R 18976 18979 13534 0 -1 4202560 366363 13219 0 0 243111 105 5 3 20 0 15 0 223532771 11345952768 805985 33554432000 4194304 4196468 140724591346016 139864311491824 139863882278034 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19033] ppid=18976 vsize=11080032 memory=3223940 CPUtime=8.02 cores=1,3,5,7
/proc/18979/task/19033/stat : 19033 (java) S 18976 18979 13534 0 -1 1077944384 14669 13219 0 0 759 35 5 3 20 0 15 0 223532772 11345952768 805985 33554432000 4194304 4196468 140724591346016 139864343898896 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19034] ppid=18976 vsize=11080032 memory=3223940 CPUtime=7.97 cores=1,3,5,7
/proc/18979/task/19034/stat : 19034 (java) S 18976 18979 13534 0 -1 1077944384 16514 13219 0 0 754 35 5 3 20 0 15 0 223532772 11345952768 805985 33554432000 4194304 4196468 140724591346016 139864209234832 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19035] ppid=18976 vsize=11080032 memory=3223940 CPUtime=8.03 cores=1,3,5,7
/proc/18979/task/19035/stat : 19035 (java) S 18976 18979 13534 0 -1 1077944384 15218 13219 0 0 758 37 5 3 20 0 15 0 223532772 11345952768 805985 33554432000 4194304 4196468 140724591346016 139864208182288 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19036] ppid=18976 vsize=11080032 memory=3223940 CPUtime=8.02 cores=1,3,5,7
/proc/18979/task/19036/stat : 19036 (java) S 18976 18979 13534 0 -1 1077944384 16003 13219 0 0 759 35 5 3 20 0 15 0 223532772 11345952768 805985 33554432000 4194304 4196468 140724591346016 139864207129744 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19037] ppid=18976 vsize=11080032 memory=3223940 CPUtime=1.59 cores=1,3,5,7
/proc/18979/task/19037/stat : 19037 (java) S 18976 18979 13534 0 -1 1077944384 23846 13219 0 0 129 22 5 3 20 0 15 0 223532773 11345952768 805985 33554432000 4194304 4196468 140724591346016 139863765313520 139864339667586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19038] ppid=18976 vsize=11080032 memory=3223940 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19038/stat : 19038 (java) S 18976 18979 13534 0 -1 1077944384 23 13219 0 0 0 0 5 3 20 0 15 0 223532774 11345952768 805985 33554432000 4194304 4196468 140724591346016 139863140590624 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19039] ppid=18976 vsize=11080032 memory=3223664 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19039/stat : 19039 (java) S 18976 18979 13534 0 -1 1077944384 21 13219 0 0 0 0 5 3 20 0 15 0 223532774 11345952768 805985 33554432000 4194304 4196468 140724591346016 139862992741376 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19040] ppid=18976 vsize=11080032 memory=3223940 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19040/stat : 19040 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532776 11345952768 805985 33554432000 4194304 4196468 140724591346016 139862685341904 139864339675035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19041] ppid=18976 vsize=11080032 memory=3223940 CPUtime=9.19 cores=1,3,5,7
/proc/18979/task/19041/stat : 19041 (java) S 18976 18979 13534 0 -1 1077944384 69859 13219 0 0 901 10 5 3 20 0 15 0 223532776 11345952768 805985 33554432000 4194304 4196468 140724591346016 139863764261360 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19042] ppid=18976 vsize=11080032 memory=3223940 CPUtime=8.45 cores=1,3,5,7
/proc/18979/task/19042/stat : 19042 (java) S 18976 18979 13534 0 -1 1077944384 69347 13219 0 0 829 8 5 3 20 0 15 0 223532776 11345952768 805985 33554432000 4194304 4196468 140724591346016 139863763208816 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19043] ppid=18976 vsize=11080032 memory=3223940 CPUtime=3.56 cores=1,3,5,7
/proc/18979/task/19043/stat : 19043 (java) S 18976 18979 13534 0 -1 1077944384 72502 13219 0 0 339 9 5 3 20 0 15 0 223532776 11345952768 805985 33554432000 4194304 4196468 140724591346016 139863762156272 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19044] ppid=18976 vsize=11080032 memory=3223940 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19044/stat : 19044 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532777 11345952768 805985 33554432000 4194304 4196468 140724591346016 139862254546016 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19045] ppid=18976 vsize=11080032 memory=3223940 CPUtime=1.49 cores=1,3,5,7
/proc/18979/task/19045/stat : 19045 (java) S 18976 18979 13534 0 -1 1077944384 2149 13219 0 0 65 76 5 3 20 0 15 0 223532777 11345952768 805985 33554432000 4194304 4196468 140724591346016 139863761103152 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
Current children cumulated CPU time: 2487.95 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3223940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.3 s]
/proc/loadavg: 1.30 1.44 1.49 3/219 19273
/proc/meminfo: memFree=6471532/32770624 swapFree=67108860/67108860
[pid=18979] ppid=18976 vsize=11080032 memory=3223964 CPUtime=2520.07 cores=1,3,5,7
/proc/18979/stat : 18979 (java) S 18976 18979 13534 0 -1 1077944320 674021 13219 0 0 251647 352 5 3 20 0 15 0 223532762 11345952768 805991 33554432000 4194304 4196468 140724591346016 140724591328560 139864339656439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
/proc/18979/statm: 2770008 805991 3534 1 0 2731661 0
[pid=18979/tid=19032] ppid=18976 vsize=11080032 memory=3223964 CPUtime=2464.21 cores=1,3,5,7
/proc/18979/task/19032/stat : 19032 (java) R 18976 18979 13534 0 -1 4202560 370583 13219 0 0 246307 106 5 3 20 0 15 0 223532771 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864311491576 139863904661632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19033] ppid=18976 vsize=11080032 memory=3223964 CPUtime=8.04 cores=1,3,5,7
/proc/18979/task/19033/stat : 19033 (java) S 18976 18979 13534 0 -1 1077944384 14754 13219 0 0 761 35 5 3 20 0 15 0 223532772 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864343898896 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19034] ppid=18976 vsize=11080032 memory=3223964 CPUtime=7.99 cores=1,3,5,7
/proc/18979/task/19034/stat : 19034 (java) S 18976 18979 13534 0 -1 1077944384 16611 13219 0 0 756 35 5 3 20 0 15 0 223532772 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864209234832 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19035] ppid=18976 vsize=11080032 memory=6791534058613427641 CPUtime=8.06 cores=1,3,5,7
/proc/18979/task/19035/stat : 19035 (java) S 18976 18979 13534 0 -1 1077944384 15368 13219 0 0 761 37 5 3 20 0 15 0 223532772 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864208182288 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19036] ppid=18976 vsize=11080032 memory=3223964 CPUtime=8.04 cores=1,3,5,7
/proc/18979/task/19036/stat : 19036 (java) S 18976 18979 13534 0 -1 1077944384 16349 13219 0 0 761 35 5 3 20 0 15 0 223532772 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864207129744 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19037] ppid=18976 vsize=11080032 memory=3223940 CPUtime=1.6 cores=1,3,5,7
/proc/18979/task/19037/stat : 19037 (java) S 18976 18979 13534 0 -1 1077944384 24005 13219 0 0 130 22 5 3 20 0 15 0 223532773 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863765313520 139864339667586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19038] ppid=18976 vsize=11080032 memory=3223940 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19038/stat : 19038 (java) S 18976 18979 13534 0 -1 1077944384 23 13219 0 0 0 0 5 3 20 0 15 0 223532774 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863140590624 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19039] ppid=18976 vsize=11080032 memory=3223964 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19039/stat : 19039 (java) S 18976 18979 13534 0 -1 1077944384 21 13219 0 0 0 0 5 3 20 0 15 0 223532774 11345952768 805991 33554432000 4194304 4196468 140724591346016 139862992741376 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19040] ppid=18976 vsize=11080032 memory=3223964 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19040/stat : 19040 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532776 11345952768 805991 33554432000 4194304 4196468 140724591346016 139862685341904 139864339675035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19041] ppid=18976 vsize=11080032 memory=3223964 CPUtime=9.21 cores=1,3,5,7
/proc/18979/task/19041/stat : 19041 (java) S 18976 18979 13534 0 -1 1077944384 70060 13219 0 0 903 10 5 3 20 0 15 0 223532776 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863764261360 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19042] ppid=18976 vsize=11080032 memory=3223964 CPUtime=8.47 cores=1,3,5,7
/proc/18979/task/19042/stat : 19042 (java) S 18976 18979 13534 0 -1 1077944384 69354 13219 0 0 831 8 5 3 20 0 15 0 223532776 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863763208816 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19043] ppid=18976 vsize=11080032 memory=3223964 CPUtime=3.57 cores=1,3,5,7
/proc/18979/task/19043/stat : 19043 (java) S 18976 18979 13534 0 -1 1077944384 72526 13219 0 0 340 9 5 3 20 0 15 0 223532776 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863762156272 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19044] ppid=18976 vsize=11080032 memory=3223964 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19044/stat : 19044 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532777 11345952768 805991 33554432000 4194304 4196468 140724591346016 139862254546016 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19045] ppid=18976 vsize=11080032 memory=250241 CPUtime=1.51 cores=1,3,5,7
/proc/18979/task/19045/stat : 19045 (java) S 18976 18979 13534 0 -1 1077944384 2174 13219 0 0 66 77 5 3 20 0 15 0 223532777 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863761103152 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3223964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.34 s]
# the end of solver process 18979 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.54 s, system=3.57595 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.3 s]
/proc/loadavg: 1.30 1.44 1.49 3/219 19273
/proc/meminfo: memFree=6471532/32770624 swapFree=67108860/67108860
[pid=18979] ppid=18976 vsize=11080032 memory=3223964 CPUtime=2520.07 cores=1,3,5,7
/proc/18979/stat : 18979 (java) S 18976 18979 13534 0 -1 1077944320 674021 13219 0 0 251647 352 5 3 20 0 15 0 223532762 11345952768 805991 33554432000 4194304 4196468 140724591346016 140724591328560 139864339656439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
/proc/18979/statm: 2770008 805991 3534 1 0 2731661 0
[pid=18979/tid=19032] ppid=18976 vsize=11080032 memory=3223964 CPUtime=2464.21 cores=1,3,5,7
/proc/18979/task/19032/stat : 19032 (java) R 18976 18979 13534 0 -1 4202560 370583 13219 0 0 246307 106 5 3 20 0 15 0 223532771 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864311491576 139863904661632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19033] ppid=18976 vsize=11080032 memory=3223964 CPUtime=8.04 cores=1,3,5,7
/proc/18979/task/19033/stat : 19033 (java) S 18976 18979 13534 0 -1 1077944384 14754 13219 0 0 761 35 5 3 20 0 15 0 223532772 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864343898896 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19034] ppid=18976 vsize=11080032 memory=3223964 CPUtime=7.99 cores=1,3,5,7
/proc/18979/task/19034/stat : 19034 (java) S 18976 18979 13534 0 -1 1077944384 16611 13219 0 0 756 35 5 3 20 0 15 0 223532772 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864209234832 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19035] ppid=18976 vsize=11080032 memory=6791534058613427641 CPUtime=8.06 cores=1,3,5,7
/proc/18979/task/19035/stat : 19035 (java) S 18976 18979 13534 0 -1 1077944384 15368 13219 0 0 761 37 5 3 20 0 15 0 223532772 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864208182288 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19036] ppid=18976 vsize=11080032 memory=3223964 CPUtime=8.04 cores=1,3,5,7
/proc/18979/task/19036/stat : 19036 (java) S 18976 18979 13534 0 -1 1077944384 16349 13219 0 0 761 35 5 3 20 0 15 0 223532772 11345952768 805991 33554432000 4194304 4196468 140724591346016 139864207129744 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19037] ppid=18976 vsize=11080032 memory=3223940 CPUtime=1.6 cores=1,3,5,7
/proc/18979/task/19037/stat : 19037 (java) S 18976 18979 13534 0 -1 1077944384 24005 13219 0 0 130 22 5 3 20 0 15 0 223532773 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863765313520 139864339667586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19038] ppid=18976 vsize=11080032 memory=3223940 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19038/stat : 19038 (java) S 18976 18979 13534 0 -1 1077944384 23 13219 0 0 0 0 5 3 20 0 15 0 223532774 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863140590624 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19039] ppid=18976 vsize=11080032 memory=3223964 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19039/stat : 19039 (java) S 18976 18979 13534 0 -1 1077944384 21 13219 0 0 0 0 5 3 20 0 15 0 223532774 11345952768 805991 33554432000 4194304 4196468 140724591346016 139862992741376 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19040] ppid=18976 vsize=11080032 memory=3223964 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19040/stat : 19040 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532776 11345952768 805991 33554432000 4194304 4196468 140724591346016 139862685341904 139864339675035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19041] ppid=18976 vsize=11080032 memory=3223964 CPUtime=9.21 cores=1,3,5,7
/proc/18979/task/19041/stat : 19041 (java) S 18976 18979 13534 0 -1 1077944384 70060 13219 0 0 903 10 5 3 20 0 15 0 223532776 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863764261360 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19042] ppid=18976 vsize=11080032 memory=3223964 CPUtime=8.47 cores=1,3,5,7
/proc/18979/task/19042/stat : 19042 (java) S 18976 18979 13534 0 -1 1077944384 69354 13219 0 0 831 8 5 3 20 0 15 0 223532776 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863763208816 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19043] ppid=18976 vsize=11080032 memory=3223964 CPUtime=3.57 cores=1,3,5,7
/proc/18979/task/19043/stat : 19043 (java) S 18976 18979 13534 0 -1 1077944384 72526 13219 0 0 340 9 5 3 20 0 15 0 223532776 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863762156272 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19044] ppid=18976 vsize=11080032 memory=3223964 CPUtime=0.08 cores=1,3,5,7
/proc/18979/task/19044/stat : 19044 (java) S 18976 18979 13534 0 -1 1077944384 3 13219 0 0 0 0 5 3 20 0 15 0 223532777 11345952768 805991 33554432000 4194304 4196468 140724591346016 139862254546016 139864339666645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
[pid=18979/tid=19045] ppid=18976 vsize=11080032 memory=250241 CPUtime=1.51 cores=1,3,5,7
/proc/18979/task/19045/stat : 19045 (java) S 18976 18979 13534 0 -1 1077944384 2174 13219 0 0 66 77 5 3 20 0 15 0 223532777 11345952768 805991 33554432000 4194304 4196468 140724591346016 139863761103152 139864339667586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140724591348332 140724591351132 140724591351132 140724591353807 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3223964 KiB
Child status: 143
Real time (s): 2474.34
CPU time (s): 2520.12
CPU user time (s): 2516.54
CPU system time (s): 3.57595
CPU usage (%): 101.85
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 3224644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.54
system time used= 3.57595
maximum resident set size= 3226264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 687701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89500
involuntary context switches= 3789
# summary of solver processes directly reported to runsolver:
# pid: 18979
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.54
# total CPU system time (s): 3.57595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5464 second user time and 24.2114 second system time
The end