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 (8320 MiB free)
memory of node 1: 16384 MiB (12649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395992-1568413484/watcher-4395992-1568413484 -o /tmp/evaluation-result-4395992-1568413484/solver-4395992-1568413484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568410778-11187 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1303101145 HOME/instance-4395992-1568413484.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=11955, runsolver pid=11952
[startup+0.100121 s]*
/proc/loadavg: 1.47 1.59 1.53 3/220 12012
/proc/meminfo: memFree=21463036/32770624 swapFree=66999284/67108860
[pid=11955] ppid=11952 vsize=9972712 memory=18600 CPUtime=0.09 cores=1,3,5,7
/proc/11955/stat : 11955 (java) S 11952 11955 11155 0 -1 1077944320 4393 13315 0 0 2 0 4 3 20 0 6 0 417286844 10212057088 4650 33554432000 4194304 4196468 140729225014448 140729224996992 139680181997303 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
/proc/11955/statm: 2493178 4650 1935 1 0 2481616 0
[pid=11955/tid=12008] ppid=11952 vsize=9989820 memory=4279135703912842127 CPUtime=0.08 cores=1,3,5,7
/proc/11955/task/12008/stat : 12008 (java) S 11952 11955 11155 0 -1 1077944384 2235 13315 0 0 1 0 4 3 20 0 7 0 417286853 10229575680 4716 33554432000 4194304 4196468 140729225014448 139680153840256 139680182007509 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12009] ppid=11952 vsize=9989820 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12009/stat : 12009 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 7 0 417286853 10229575680 4716 33554432000 4194304 4196468 140729225014448 139680186239760 139680182007509 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12010] ppid=11952 vsize=9989820 memory=140584599754368 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12010/stat : 12010 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 7 0 417286853 10229575680 4716 33554432000 4194304 4196468 140729225014448 139680074513296 139680182007509 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12011] ppid=11952 vsize=9989820 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12011/stat : 12011 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 7 0 417286853 10229575680 4716 33554432000 4194304 4196468 140729225014448 139680073460752 139680182007509 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12012] ppid=11952 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12012/stat : 12012 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 7 0 417286853 10296684544 4716 33554432000 4194304 4196468 140729225014448 139680072408208 139680182007509 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12013] ppid=11952 vsize=10055356 memory=140584599754368 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12013/stat : 12013 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 7 0 417286855 10296684544 4716 33554432000 4194304 4196468 140729225014448 139679641581552 139680182008450 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18600 KiB
[startup+0.210232 s]*
/proc/loadavg: 1.47 1.59 1.53 3/229 12021
/proc/meminfo: memFree=21447632/32770624 swapFree=66999284/67108860
[pid=11955] ppid=11952 vsize=10819664 memory=40544 CPUtime=0.25 cores=1,3,5,7
/proc/11955/stat : 11955 (java) S 11952 11955 11155 0 -1 1077944320 6944 13315 0 0 17 1 4 3 20 0 15 0 417286844 11079335936 10136 33554432000 4194304 4196468 140729225014448 140729224996992 139680181997303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
/proc/11955/statm: 2704916 10136 3172 1 0 2667149 0
[pid=11955/tid=12008] ppid=11952 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/11955/task/12008/stat : 12008 (java) R 11952 11955 11155 0 -1 4202560 3424 13315 0 0 11 1 4 3 20 0 15 0 417286853 11079335936 10136 33554432000 4194304 4196468 140729225014448 139680153830208 139680166077790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12009] ppid=11952 vsize=10819664 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12009/stat : 12009 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 15 0 417286853 11079335936 10136 33554432000 4194304 4196468 140729225014448 139680186239760 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12010] ppid=11952 vsize=10819664 memory=140584599765978 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12010/stat : 12010 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286853 11079335936 10136 33554432000 4194304 4196468 140729225014448 139680074513296 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12011] ppid=11952 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12011/stat : 12011 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 15 0 417286853 11079335936 10136 33554432000 4194304 4196468 140729225014448 139680073460752 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12012] ppid=11952 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12012/stat : 12012 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286853 11079335936 10136 33554432000 4194304 4196468 140729225014448 139680072408208 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12013] ppid=11952 vsize=10819664 memory=140584599754368 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12013/stat : 12013 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 15 0 417286855 11079335936 10136 33554432000 4194304 4196468 140729225014448 139679641581552 139680182008450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12014] ppid=11952 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12014/stat : 12014 (java) S 11952 11955 11155 0 -1 1077944384 33 13315 0 0 0 0 4 3 20 0 15 0 417286855 11079335936 10136 33554432000 4194304 4196468 140729225014448 139679640527776 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12015] ppid=11952 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12015/stat : 12015 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286855 11079335936 10136 33554432000 4194304 4196468 140729225014448 139679047345136 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12016] ppid=11952 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12016/stat : 12016 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11079335936 10136 33554432000 4194304 4196468 140729225014448 139678739945680 139680182015899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12017] ppid=11952 vsize=10819808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11955/task/12017/stat : 12017 (java) S 11952 11955 11155 0 -1 1077944384 347 13315 0 0 1 0 4 3 20 0 15 0 417286858 11079483392 10136 33554432000 4194304 4196468 140729225014448 139679606970864 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12018] ppid=11952 vsize=10819808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11955/task/12018/stat : 12018 (java) S 11952 11955 11155 0 -1 1077944384 294 13315 0 0 1 0 4 3 20 0 15 0 417286858 11079483392 10136 33554432000 4194304 4196468 140729225014448 139679605918320 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12019] ppid=11952 vsize=10819808 memory=140584599754368 CPUtime=0.1 cores=1,3,5,7
/proc/11955/task/12019/stat : 12019 (java) R 11952 11955 11155 0 -1 4202560 630 13315 0 0 3 0 4 3 20 0 15 0 417286858 11079483392 10136 33554432000 4194304 4196468 140729225014448 139679604865776 139680182018650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12020] ppid=11952 vsize=10819808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12020/stat : 12020 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11079483392 10136 33554432000 4194304 4196468 140729225014448 139678706388064 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12021] ppid=11952 vsize=10819808 memory=140584599754368 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12021/stat : 12021 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286858 11079483392 10136 33554432000 4194304 4196468 140729225014448 139679603812656 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40544 KiB
[startup+0.311424 s]*
/proc/loadavg: 1.47 1.59 1.53 3/229 12021
/proc/meminfo: memFree=21435680/32770624 swapFree=66999284/67108860
[pid=11955] ppid=11952 vsize=10820148 memory=49308 CPUtime=0.4 cores=1,3,5,7
/proc/11955/stat : 11955 (java) S 11952 11955 11155 0 -1 1077944320 10602 13315 0 0 30 3 4 3 20 0 15 0 417286844 11079831552 12327 33554432000 4194304 4196468 140729225014448 140729224996992 139680181997303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
/proc/11955/statm: 2705037 12327 3304 1 0 2667149 0
[pid=11955/tid=12008] ppid=11952 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/11955/task/12008/stat : 12008 (java) R 11952 11955 11155 0 -1 4202560 7053 13315 0 0 19 2 4 3 20 0 15 0 417286853 11079831552 12327 33554432000 4194304 4196468 140729225014448 139680153819072 139680182019229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12009] ppid=11952 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12009/stat : 12009 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 15 0 417286853 11079831552 12327 33554432000 4194304 4196468 140729225014448 139680186239760 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12010] ppid=11952 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12010/stat : 12010 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286853 11079831552 12327 33554432000 4194304 4196468 140729225014448 139680074513296 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12011] ppid=11952 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12011/stat : 12011 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 15 0 417286853 11079831552 12327 33554432000 4194304 4196468 140729225014448 139680073460752 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12012] ppid=11952 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12012/stat : 12012 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286853 11079831552 12327 33554432000 4194304 4196468 140729225014448 139680072408208 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12013] ppid=11952 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12013/stat : 12013 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 15 0 417286855 11079831552 12327 33554432000 4194304 4196468 140729225014448 139679641581552 139680182008450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12014] ppid=11952 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12014/stat : 12014 (java) S 11952 11955 11155 0 -1 1077944384 33 13315 0 0 0 0 4 3 20 0 15 0 417286855 11079831552 12327 33554432000 4194304 4196468 140729225014448 139679640527776 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12015] ppid=11952 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12015/stat : 12015 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286855 11079831552 12327 33554432000 4194304 4196468 140729225014448 139679047345136 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12016] ppid=11952 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12016/stat : 12016 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11079831552 12327 33554432000 4194304 4196468 140729225014448 139678739945680 139680182015899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12017] ppid=11952 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11955/task/12017/stat : 12017 (java) S 11952 11955 11155 0 -1 1077944384 357 13315 0 0 2 0 4 3 20 0 15 0 417286858 11079831552 12327 33554432000 4194304 4196468 140729225014448 139679606970864 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12018] ppid=11952 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11955/task/12018/stat : 12018 (java) S 11952 11955 11155 0 -1 1077944384 294 13315 0 0 1 0 4 3 20 0 15 0 417286858 11079831552 12327 33554432000 4194304 4196468 140729225014448 139679605918320 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12019] ppid=11952 vsize=10820148 memory=140584599754368 CPUtime=0.12 cores=1,3,5,7
/proc/11955/task/12019/stat : 12019 (java) S 11952 11955 11155 0 -1 1077944384 638 13315 0 0 5 0 4 3 20 0 15 0 417286858 11079831552 12327 33554432000 4194304 4196468 140729225014448 139679604865776 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12020] ppid=11952 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12020/stat : 12020 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11079831552 12327 33554432000 4194304 4196468 140729225014448 139678706388064 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12021] ppid=11952 vsize=10820148 memory=140584599754368 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12021/stat : 12021 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286858 11079831552 12327 33554432000 4194304 4196468 140729225014448 139679603812656 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49308 KiB
[startup+0.703246 s]
/proc/loadavg: 1.47 1.59 1.53 5/229 12021
/proc/meminfo: memFree=21420792/32770624 swapFree=66999284/67108860
[pid=11955] ppid=11952 vsize=10824360 memory=82292 CPUtime=1.14 cores=1,3,5,7
/proc/11955/stat : 11955 (java) S 11952 11955 11155 0 -1 1077944320 14779 13315 0 0 101 6 4 3 20 0 15 0 417286844 11084144640 20573 33554432000 4194304 4196468 140729225014448 140729224996992 139680181997303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
/proc/11955/statm: 2706346 20573 3512 1 0 2668429 0
[pid=11955/tid=12008] ppid=11952 vsize=10825384 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/11955/task/12008/stat : 12008 (java) R 11952 11955 11155 0 -1 4202560 9963 13315 0 0 55 4 4 3 20 0 15 0 417286853 11085193216 20573 33554432000 4194304 4196468 140729225014448 139680153815232 139680174714407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12009] ppid=11952 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12009/stat : 12009 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 15 0 417286853 11084144640 20573 33554432000 4194304 4196468 140729225014448 139680186239760 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12010] ppid=11952 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12010/stat : 12010 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286853 11084144640 20573 33554432000 4194304 4196468 140729225014448 139680074513296 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12011] ppid=11952 vsize=10825384 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12011/stat : 12011 (java) S 11952 11955 11155 0 -1 1077944384 2 13315 0 0 0 0 4 3 20 0 15 0 417286853 11085193216 20573 33554432000 4194304 4196468 140729225014448 139680073460752 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12012] ppid=11952 vsize=10825384 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12012/stat : 12012 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286853 11085193216 20573 33554432000 4194304 4196468 140729225014448 139680072408208 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12013] ppid=11952 vsize=10825384 memory=140587164500568 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12013/stat : 12013 (java) S 11952 11955 11155 0 -1 1077944384 6 13315 0 0 0 0 4 3 20 0 15 0 417286855 11085193216 20573 33554432000 4194304 4196468 140729225014448 139679641581552 139680182008450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12014] ppid=11952 vsize=10825384 memory=140587164500569 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12014/stat : 12014 (java) S 11952 11955 11155 0 -1 1077944384 33 13315 0 0 0 0 4 3 20 0 15 0 417286855 11085193216 20573 33554432000 4194304 4196468 140729225014448 139679640527776 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12015] ppid=11952 vsize=10824360 memory=140587164500570 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12015/stat : 12015 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286855 11084144640 20573 33554432000 4194304 4196468 140729225014448 139679047345136 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12016] ppid=11952 vsize=10824360 memory=140587164500572 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12016/stat : 12016 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11084144640 20573 33554432000 4194304 4196468 140729225014448 139678739945680 139680182015899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12017] ppid=11952 vsize=10825384 memory=140587164500578 CPUtime=0.21 cores=1,3,5,7
/proc/11955/task/12017/stat : 12017 (java) S 11952 11955 11155 0 -1 1077944384 875 13315 0 0 14 0 4 3 20 0 15 0 417286858 11085193216 20573 33554432000 4194304 4196468 140729225014448 139679606970864 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12018] ppid=11952 vsize=10825384 memory=140587164500583 CPUtime=0.19 cores=1,3,5,7
/proc/11955/task/12018/stat : 12018 (java) S 11952 11955 11155 0 -1 1077944384 898 13315 0 0 12 0 4 3 20 0 15 0 417286858 11085193216 20573 33554432000 4194304 4196468 140729225014448 139679605918320 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12019] ppid=11952 vsize=10825384 memory=143177029780109 CPUtime=0.25 cores=1,3,5,7
/proc/11955/task/12019/stat : 12019 (java) S 11952 11955 11155 0 -1 1077944384 810 13315 0 0 18 0 4 3 20 0 15 0 417286858 11085193216 20573 33554432000 4194304 4196468 140729225014448 139679604865776 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12020] ppid=11952 vsize=10824360 memory=14060 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12020/stat : 12020 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11084144640 20573 33554432000 4194304 4196468 140729225014448 139678706388064 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12021] ppid=11952 vsize=10824360 memory=2116 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12021/stat : 12021 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286858 11084144640 20573 33554432000 4194304 4196468 140729225014448 139679603812656 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 82292 KiB
[startup+1.50072 s]
/proc/loadavg: 1.59 1.61 1.54 5/229 12021
/proc/meminfo: memFree=21371476/32770624 swapFree=66999284/67108860
[pid=11955] ppid=11952 vsize=10834676 memory=190288 CPUtime=2.78 cores=1,3,5,7
/proc/11955/stat : 11955 (java) S 11952 11955 11155 0 -1 1077944320 24375 13315 0 0 261 10 4 3 20 0 15 0 417286844 11094708224 47572 33554432000 4194304 4196468 140729225014448 140729224996992 139680181997303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
/proc/11955/statm: 2708669 47572 3575 1 0 2670733 0
[pid=11955/tid=12008] ppid=11952 vsize=10834676 memory=2129104 CPUtime=1.42 cores=1,3,5,7
/proc/11955/task/12008/stat : 12008 (java) R 11952 11955 11155 0 -1 4202560 15410 13315 0 0 129 6 4 3 20 0 15 0 417286853 11094708224 47572 33554432000 4194304 4196468 140729225014448 139680153816688 139680166077790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12009] ppid=11952 vsize=10834676 memory=2140535 CPUtime=0.08 cores=1,3,5,7
/proc/11955/task/12009/stat : 12009 (java) S 11952 11955 11155 0 -1 1077944384 52 13315 0 0 1 0 4 3 20 0 15 0 417286853 11094708224 47572 33554432000 4194304 4196468 140729225014448 139680186239760 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12010] ppid=11952 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11955/task/12010/stat : 12010 (java) S 11952 11955 11155 0 -1 1077944384 288 13315 0 0 1 0 4 3 20 0 15 0 417286853 11094708224 47572 33554432000 4194304 4196468 140729225014448 139680074513296 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12011] ppid=11952 vsize=10834676 memory=321013415753841610 CPUtime=0.08 cores=1,3,5,7
/proc/11955/task/12011/stat : 12011 (java) S 11952 11955 11155 0 -1 1077944384 62 13315 0 0 1 0 4 3 20 0 15 0 417286853 11094708224 47572 33554432000 4194304 4196468 140729225014448 139680073460752 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12012] ppid=11952 vsize=10834676 memory=288292177394836518 CPUtime=0.08 cores=1,3,5,7
/proc/11955/task/12012/stat : 12012 (java) S 11952 11955 11155 0 -1 1077944384 26 13315 0 0 1 0 4 3 20 0 15 0 417286853 11094708224 47572 33554432000 4194304 4196468 140729225014448 139680072408208 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12013] ppid=11952 vsize=10834676 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/11955/task/12013/stat : 12013 (java) S 11952 11955 11155 0 -1 1077944384 125 13315 0 0 1 0 4 3 20 0 15 0 417286855 11094708224 47572 33554432000 4194304 4196468 140729225014448 139679641581552 139680182008450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12014] ppid=11952 vsize=10834676 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12014/stat : 12014 (java) S 11952 11955 11155 0 -1 1077944384 34 13315 0 0 0 0 4 3 20 0 15 0 417286855 11094708224 47572 33554432000 4194304 4196468 140729225014448 139679640527840 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12015] ppid=11952 vsize=10834676 memory=-2672971631320983069 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12015/stat : 12015 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286855 11094708224 47572 33554432000 4194304 4196468 140729225014448 139679047345152 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12016] ppid=11952 vsize=10834676 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12016/stat : 12016 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11094708224 47572 33554432000 4194304 4196468 140729225014448 139678739945680 139680182015899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12017] ppid=11952 vsize=10834676 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/11955/task/12017/stat : 12017 (java) S 11952 11955 11155 0 -1 1077944384 2052 13315 0 0 38 1 4 3 20 0 15 0 417286858 11094708224 47572 33554432000 4194304 4196468 140729225014448 139679606970864 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12018] ppid=11952 vsize=10834676 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/11955/task/12018/stat : 12018 (java) S 11952 11955 11155 0 -1 1077944384 2155 13315 0 0 37 0 4 3 20 0 15 0 417286858 11094708224 47572 33554432000 4194304 4196468 140729225014448 139679605918320 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12019] ppid=11952 vsize=10834676 memory=7681421203011431829 CPUtime=0.52 cores=1,3,5,7
/proc/11955/task/12019/stat : 12019 (java) S 11952 11955 11155 0 -1 1077944384 1954 13315 0 0 45 0 4 3 20 0 15 0 417286858 11094708224 47572 33554432000 4194304 4196468 140729225014448 139679604865776 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12020] ppid=11952 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12020/stat : 12020 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11094708224 47572 33554432000 4194304 4196468 140729225014448 139678706388064 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12021] ppid=11952 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12021/stat : 12021 (java) S 11952 11955 11155 0 -1 1077944384 1 13315 0 0 0 0 4 3 20 0 15 0 417286858 11094708224 47572 33554432000 4194304 4196468 140729225014448 139679603812656 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
################
# More data... #
################
/proc/11955/task/12008/stat : 12008 (java) R 11952 11955 11155 0 -1 4202560 63538 13315 0 0 236733 36 4 3 20 0 15 0 417286853 11107323904 175166 33554432000 4194304 4196468 140729225014448 139680153832032 139679747659148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12009] ppid=11952 vsize=10846996 memory=700664 CPUtime=6.91 cores=1,3,5,7
/proc/11955/task/12009/stat : 12009 (java) S 11952 11955 11155 0 -1 1077944384 10915 13315 0 0 647 37 4 3 20 0 15 0 417286853 11107323904 175166 33554432000 4194304 4196468 140729225014448 139680186239760 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12010] ppid=11952 vsize=10846996 memory=700664 CPUtime=6.98 cores=1,3,5,7
/proc/11955/task/12010/stat : 12010 (java) S 11952 11955 11155 0 -1 1077944384 8980 13315 0 0 655 36 4 3 20 0 15 0 417286853 11107323904 175166 33554432000 4194304 4196468 140729225014448 139680074513296 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12011] ppid=11952 vsize=10846996 memory=700664 CPUtime=6.95 cores=1,3,5,7
/proc/11955/task/12011/stat : 12011 (java) S 11952 11955 11155 0 -1 1077944384 6999 13315 0 0 654 34 4 3 20 0 15 0 417286853 11107323904 175166 33554432000 4194304 4196468 140729225014448 139680073460752 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12012] ppid=11952 vsize=10846996 memory=700664 CPUtime=6.97 cores=1,3,5,7
/proc/11955/task/12012/stat : 12012 (java) S 11952 11955 11155 0 -1 1077944384 9717 13315 0 0 652 38 4 3 20 0 15 0 417286853 11107323904 175166 33554432000 4194304 4196468 140729225014448 139680072408208 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12013] ppid=11952 vsize=10846996 memory=700664 CPUtime=6.22 cores=1,3,5,7
/proc/11955/task/12013/stat : 12013 (java) S 11952 11955 11155 0 -1 1077944384 9397 13315 0 0 583 32 4 3 20 0 15 0 417286855 11107323904 175166 33554432000 4194304 4196468 140729225014448 139679641581552 139680182008450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12014] ppid=11952 vsize=10846996 memory=684 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12014/stat : 12014 (java) S 11952 11955 11155 0 -1 1077944384 70 13315 0 0 0 0 4 3 20 0 15 0 417286855 11107323904 175166 33554432000 4194304 4196468 140729225014448 139679640527840 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12015] ppid=11952 vsize=10846996 memory=700664 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12015/stat : 12015 (java) S 11952 11955 11155 0 -1 1077944384 27 13315 0 0 0 0 4 3 20 0 15 0 417286855 11107323904 175166 33554432000 4194304 4196468 140729225014448 139679047345152 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12016] ppid=11952 vsize=10846996 memory=698616 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12016/stat : 12016 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11107323904 175166 33554432000 4194304 4196468 140729225014448 139678739945680 139680182015899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12017] ppid=11952 vsize=10846996 memory=700664 CPUtime=5.65 cores=1,3,5,7
/proc/11955/task/12017/stat : 12017 (java) S 11952 11955 11155 0 -1 1077944384 41504 13315 0 0 551 7 4 3 20 0 15 0 417286858 11107323904 175166 33554432000 4194304 4196468 140729225014448 139679606970864 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12018] ppid=11952 vsize=10846996 memory=700664 CPUtime=4.98 cores=1,3,5,7
/proc/11955/task/12018/stat : 12018 (java) S 11952 11955 11155 0 -1 1077944384 31909 13315 0 0 484 7 4 3 20 0 15 0 417286858 11107323904 175166 33554432000 4194304 4196468 140729225014448 139679605918320 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12019] ppid=11952 vsize=10846996 memory=988 CPUtime=5.04 cores=1,3,5,7
/proc/11955/task/12019/stat : 12019 (java) S 11952 11955 11155 0 -1 1077944384 35171 13315 0 0 489 8 4 3 20 0 15 0 417286858 11107323904 175166 33554432000 4194304 4196468 140729225014448 139679604865776 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12020] ppid=11952 vsize=10846996 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12020/stat : 12020 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11107323904 175166 33554432000 4194304 4196468 140729225014448 139678706388064 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12021] ppid=11952 vsize=10846996 memory=700664 CPUtime=1.22 cores=1,3,5,7
/proc/11955/task/12021/stat : 12021 (java) S 11952 11955 11155 0 -1 1077944384 1234 13315 0 0 53 62 4 3 20 0 15 0 417286858 11107323904 175166 33554432000 4194304 4196468 140729225014448 139679603812656 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
Current children cumulated CPU time: 2418.16 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 700664 KiB
[startup+2442.3 s]
/proc/loadavg: 0.83 0.72 0.85 2/206 12318
/proc/meminfo: memFree=22497628/32770624 swapFree=66999288/67108860
[pid=11955] ppid=11952 vsize=10846996 memory=702200 CPUtime=2479.15 cores=1,3,5,7
/proc/11955/stat : 11955 (java) S 11952 11955 11155 0 -1 1077944320 222658 13315 0 0 247640 268 4 3 20 0 15 0 417286844 11107323904 175550 33554432000 4194304 4196468 140729225014448 140729224996992 139680181997303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
/proc/11955/statm: 2711749 175550 3640 1 0 2673805 0
[pid=11955/tid=12008] ppid=11952 vsize=10846996 memory=702200 CPUtime=2427.12 cores=1,3,5,7
/proc/11955/task/12008/stat : 12008 (java) R 11952 11955 11155 0 -1 4202560 64191 13315 0 0 242668 37 4 3 20 0 15 0 417286853 11107323904 175550 33554432000 4194304 4196468 140729225014448 139680153832048 139679743249518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12009] ppid=11952 vsize=10846996 memory=702200 CPUtime=7.24 cores=1,3,5,7
/proc/11955/task/12009/stat : 12009 (java) S 11952 11955 11155 0 -1 1077944384 10938 13315 0 0 679 38 4 3 20 0 15 0 417286853 11107323904 175550 33554432000 4194304 4196468 140729225014448 139680186239760 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12010] ppid=11952 vsize=10846996 memory=702200 CPUtime=7.31 cores=1,3,5,7
/proc/11955/task/12010/stat : 12010 (java) S 11952 11955 11155 0 -1 1077944384 9002 13315 0 0 687 37 4 3 20 0 15 0 417286853 11107323904 175550 33554432000 4194304 4196468 140729225014448 139680074513296 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12011] ppid=11952 vsize=10846996 memory=702200 CPUtime=7.27 cores=1,3,5,7
/proc/11955/task/12011/stat : 12011 (java) S 11952 11955 11155 0 -1 1077944384 7070 13315 0 0 686 34 4 3 20 0 15 0 417286853 11107323904 175550 33554432000 4194304 4196468 140729225014448 139680073460752 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12012] ppid=11952 vsize=10846996 memory=702200 CPUtime=7.3 cores=1,3,5,7
/proc/11955/task/12012/stat : 12012 (java) S 11952 11955 11155 0 -1 1077944384 9898 13315 0 0 684 39 4 3 20 0 15 0 417286853 11107323904 175550 33554432000 4194304 4196468 140729225014448 139680072408208 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12013] ppid=11952 vsize=10846996 memory=702200 CPUtime=6.49 cores=1,3,5,7
/proc/11955/task/12013/stat : 12013 (java) S 11952 11955 11155 0 -1 1077944384 9423 13315 0 0 609 33 4 3 20 0 15 0 417286855 11107323904 175550 33554432000 4194304 4196468 140729225014448 139679641581552 139680182008450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12014] ppid=11952 vsize=10846996 memory=702200 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12014/stat : 12014 (java) S 11952 11955 11155 0 -1 1077944384 70 13315 0 0 0 0 4 3 20 0 15 0 417286855 11107323904 175550 33554432000 4194304 4196468 140729225014448 139679640527840 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12015] ppid=11952 vsize=10846996 memory=698616 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12015/stat : 12015 (java) S 11952 11955 11155 0 -1 1077944384 27 13315 0 0 0 0 4 3 20 0 15 0 417286855 11107323904 175550 33554432000 4194304 4196468 140729225014448 139679047345152 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12016] ppid=11952 vsize=10846996 memory=702200 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12016/stat : 12016 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11107323904 175550 33554432000 4194304 4196468 140729225014448 139678739945680 139680182015899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12017] ppid=11952 vsize=10846996 memory=111636 CPUtime=5.65 cores=1,3,5,7
/proc/11955/task/12017/stat : 12017 (java) S 11952 11955 11155 0 -1 1077944384 41504 13315 0 0 551 7 4 3 20 0 15 0 417286858 11107323904 175550 33554432000 4194304 4196468 140729225014448 139679606970864 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12018] ppid=11952 vsize=10846996 memory=702200 CPUtime=4.98 cores=1,3,5,7
/proc/11955/task/12018/stat : 12018 (java) S 11952 11955 11155 0 -1 1077944384 31909 13315 0 0 484 7 4 3 20 0 15 0 417286858 11107323904 175550 33554432000 4194304 4196468 140729225014448 139679605918320 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12019] ppid=11952 vsize=10846996 memory=702200 CPUtime=5.04 cores=1,3,5,7
/proc/11955/task/12019/stat : 12019 (java) S 11952 11955 11155 0 -1 1077944384 35171 13315 0 0 489 8 4 3 20 0 15 0 417286858 11107323904 175550 33554432000 4194304 4196468 140729225014448 139679604865776 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12020] ppid=11952 vsize=10846996 memory=702200 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12020/stat : 12020 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11107323904 175550 33554432000 4194304 4196468 140729225014448 139678706388064 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12021] ppid=11952 vsize=10846996 memory=702200 CPUtime=1.26 cores=1,3,5,7
/proc/11955/task/12021/stat : 12021 (java) S 11952 11955 11155 0 -1 1077944384 1238 13315 0 0 55 64 4 3 20 0 15 0 417286858 11107323904 175550 33554432000 4194304 4196468 140729225014448 139679603812656 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
Current children cumulated CPU time: 2479.15 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 702200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2482.5 s]
/proc/loadavg: 0.74 0.70 0.84 2/206 12321
/proc/meminfo: memFree=22496328/32770624 swapFree=66999288/67108860
[pid=11955] ppid=11952 vsize=10846996 memory=703732 CPUtime=2520.01 cores=1,3,5,7
/proc/11955/stat : 11955 (java) S 11952 11955 11155 0 -1 1077944320 223542 13315 0 0 251720 274 4 3 20 0 15 0 417286844 11107323904 175933 33554432000 4194304 4196468 140729225014448 140729224996992 139680181997303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
/proc/11955/statm: 2711749 175933 3640 1 0 2673805 0
[pid=11955/tid=12008] ppid=11952 vsize=10846996 memory=703732 CPUtime=2466.9 cores=1,3,5,7
/proc/11955/task/12008/stat : 12008 (java) R 11952 11955 11155 0 -1 4202560 64618 13315 0 0 246645 38 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680153831968 139680160104588 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12009] ppid=11952 vsize=10846996 memory=701684 CPUtime=7.46 cores=1,3,5,7
/proc/11955/task/12009/stat : 12009 (java) S 11952 11955 11155 0 -1 1077944384 11063 13315 0 0 700 39 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680186239760 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12010] ppid=11952 vsize=10846996 memory=701684 CPUtime=7.53 cores=1,3,5,7
/proc/11955/task/12010/stat : 12010 (java) S 11952 11955 11155 0 -1 1077944384 9009 13315 0 0 708 38 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680074513296 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12011] ppid=11952 vsize=10846996 memory=701684 CPUtime=7.5 cores=1,3,5,7
/proc/11955/task/12011/stat : 12011 (java) S 11952 11955 11155 0 -1 1077944384 7184 13315 0 0 708 35 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680073460752 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12012] ppid=11952 vsize=10846996 memory=701684 CPUtime=7.51 cores=1,3,5,7
/proc/11955/task/12012/stat : 12012 (java) S 11952 11955 11155 0 -1 1077944384 10020 13315 0 0 704 40 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680072408208 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12013] ppid=11952 vsize=10846996 memory=701684 CPUtime=6.67 cores=1,3,5,7
/proc/11955/task/12013/stat : 12013 (java) S 11952 11955 11155 0 -1 1077944384 9490 13315 0 0 626 34 4 3 20 0 15 0 417286855 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679641581552 139680182008450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12014] ppid=11952 vsize=10846996 memory=701684 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12014/stat : 12014 (java) S 11952 11955 11155 0 -1 1077944384 70 13315 0 0 0 0 4 3 20 0 15 0 417286855 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679640527840 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12015] ppid=11952 vsize=10846996 memory=703732 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12015/stat : 12015 (java) S 11952 11955 11155 0 -1 1077944384 27 13315 0 0 0 0 4 3 20 0 15 0 417286855 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679047345152 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12016] ppid=11952 vsize=10846996 memory=703732 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12016/stat : 12016 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139678739945680 139680182015899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12017] ppid=11952 vsize=10846996 memory=703732 CPUtime=5.65 cores=1,3,5,7
/proc/11955/task/12017/stat : 12017 (java) S 11952 11955 11155 0 -1 1077944384 41507 13315 0 0 551 7 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679606970864 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12018] ppid=11952 vsize=10846996 memory=703732 CPUtime=4.98 cores=1,3,5,7
/proc/11955/task/12018/stat : 12018 (java) S 11952 11955 11155 0 -1 1077944384 31911 13315 0 0 484 7 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679605918320 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12019] ppid=11952 vsize=10846996 memory=703732 CPUtime=5.04 cores=1,3,5,7
/proc/11955/task/12019/stat : 12019 (java) S 11952 11955 11155 0 -1 1077944384 35173 13315 0 0 489 8 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679604865776 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12020] ppid=11952 vsize=10846996 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12020/stat : 12020 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139678706388064 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12021] ppid=11952 vsize=10846996 memory=288230583166042425 CPUtime=1.28 cores=1,3,5,7
/proc/11955/task/12021/stat : 12021 (java) S 11952 11955 11155 0 -1 1077944384 1253 13315 0 0 55 66 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679603812656 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 703732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2482.55 s]
# the end of solver process 11955 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.29 s, system=2.79094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2482.5 s]
/proc/loadavg: 0.74 0.70 0.84 2/206 12321
/proc/meminfo: memFree=22496328/32770624 swapFree=66999288/67108860
[pid=11955] ppid=11952 vsize=10846996 memory=703732 CPUtime=2520.01 cores=1,3,5,7
/proc/11955/stat : 11955 (java) S 11952 11955 11155 0 -1 1077944320 223542 13315 0 0 251720 274 4 3 20 0 15 0 417286844 11107323904 175933 33554432000 4194304 4196468 140729225014448 140729224996992 139680181997303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
/proc/11955/statm: 2711749 175933 3640 1 0 2673805 0
[pid=11955/tid=12008] ppid=11952 vsize=10846996 memory=703732 CPUtime=2466.9 cores=1,3,5,7
/proc/11955/task/12008/stat : 12008 (java) R 11952 11955 11155 0 -1 4202560 64618 13315 0 0 246645 38 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680153831968 139680160104588 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12009] ppid=11952 vsize=10846996 memory=701684 CPUtime=7.46 cores=1,3,5,7
/proc/11955/task/12009/stat : 12009 (java) S 11952 11955 11155 0 -1 1077944384 11063 13315 0 0 700 39 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680186239760 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12010] ppid=11952 vsize=10846996 memory=701684 CPUtime=7.53 cores=1,3,5,7
/proc/11955/task/12010/stat : 12010 (java) S 11952 11955 11155 0 -1 1077944384 9009 13315 0 0 708 38 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680074513296 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12011] ppid=11952 vsize=10846996 memory=701684 CPUtime=7.5 cores=1,3,5,7
/proc/11955/task/12011/stat : 12011 (java) S 11952 11955 11155 0 -1 1077944384 7184 13315 0 0 708 35 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680073460752 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12012] ppid=11952 vsize=10846996 memory=701684 CPUtime=7.51 cores=1,3,5,7
/proc/11955/task/12012/stat : 12012 (java) S 11952 11955 11155 0 -1 1077944384 10020 13315 0 0 704 40 4 3 20 0 15 0 417286853 11107323904 175933 33554432000 4194304 4196468 140729225014448 139680072408208 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12013] ppid=11952 vsize=10846996 memory=701684 CPUtime=6.67 cores=1,3,5,7
/proc/11955/task/12013/stat : 12013 (java) S 11952 11955 11155 0 -1 1077944384 9490 13315 0 0 626 34 4 3 20 0 15 0 417286855 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679641581552 139680182008450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12014] ppid=11952 vsize=10846996 memory=701684 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12014/stat : 12014 (java) S 11952 11955 11155 0 -1 1077944384 70 13315 0 0 0 0 4 3 20 0 15 0 417286855 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679640527840 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12015] ppid=11952 vsize=10846996 memory=703732 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12015/stat : 12015 (java) S 11952 11955 11155 0 -1 1077944384 27 13315 0 0 0 0 4 3 20 0 15 0 417286855 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679047345152 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12016] ppid=11952 vsize=10846996 memory=703732 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12016/stat : 12016 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139678739945680 139680182015899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12017] ppid=11952 vsize=10846996 memory=703732 CPUtime=5.65 cores=1,3,5,7
/proc/11955/task/12017/stat : 12017 (java) S 11952 11955 11155 0 -1 1077944384 41507 13315 0 0 551 7 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679606970864 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12018] ppid=11952 vsize=10846996 memory=703732 CPUtime=4.98 cores=1,3,5,7
/proc/11955/task/12018/stat : 12018 (java) S 11952 11955 11155 0 -1 1077944384 31911 13315 0 0 484 7 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679605918320 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12019] ppid=11952 vsize=10846996 memory=703732 CPUtime=5.04 cores=1,3,5,7
/proc/11955/task/12019/stat : 12019 (java) S 11952 11955 11155 0 -1 1077944384 35173 13315 0 0 489 8 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679604865776 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12020] ppid=11952 vsize=10846996 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/11955/task/12020/stat : 12020 (java) S 11952 11955 11155 0 -1 1077944384 3 13315 0 0 0 0 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139678706388064 139680182007509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
[pid=11955/tid=12021] ppid=11952 vsize=10846996 memory=288230583166042425 CPUtime=1.28 cores=1,3,5,7
/proc/11955/task/12021/stat : 12021 (java) S 11952 11955 11155 0 -1 1077944384 1253 13315 0 0 55 66 4 3 20 0 15 0 417286858 11107323904 175933 33554432000 4194304 4196468 140729225014448 139679603812656 139680182008450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16900096 140729225022191 140729225024709 140729225024709 140729225027535 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 703732 KiB
Child status: 143
Real time (s): 2482.55
CPU time (s): 2520.09
CPU user time (s): 2517.29
CPU system time (s): 2.79094
CPU usage (%): 101.512
Max. virtual memory (cumulated for all children) (KiB): 10846996
Max. memory (cumulated for all children) (KiB): 703732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.29
system time used= 2.79094
maximum resident set size= 707948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 215519
involuntary context switches= 6890
# summary of solver processes directly reported to runsolver:
# pid: 11955
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.29
# total CPU system time (s): 2.79094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8587 second user time and 22.8078 second system time
The end