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 (10020 MiB free)
memory of node 1: 16384 MiB (7027 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305064-1534109475/watcher-4305064-1534109475 -o /tmp/evaluation-result-4305064-1534109475/solver-4305064-1534109475 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534096675-9346 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=617295304 -superng HOME/instance-4305064-1534109475.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=11897, runsolver pid=11894
[startup+0.101068 s]*
/proc/loadavg: 1.33 1.36 1.41 2/210 11954
/proc/meminfo: memFree=17449244/32770624 swapFree=67108688/67108860
[pid=11897] ppid=11894 vsize=10005480 memory=16680 CPUtime=0.08 cores=1,3,5,7
/proc/11897/stat : 11897 (java) S 11894 11897 9314 0 -1 1077944320 4346 12922 0 0 1 0 5 2 20 0 6 0 228510712 10245611520 4170 33554432000 4194304 4196468 140736581056080 140736581038624 140187839090423 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
/proc/11897/statm: 2501370 4170 1932 1 0 2489808 0
[pid=11897/tid=11950] ppid=11894 vsize=10005480 memory=4279135703913366413 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11950/stat : 11950 (java) R 11894 11897 9314 0 -1 4202560 2202 12922 0 0 0 0 5 2 20 0 6 0 228510721 10245611520 4236 33554432000 4194304 4196468 140736581056080 140187810927184 140187823170910 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11951] ppid=11894 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11951/stat : 11951 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 6 0 228510721 10245611520 4236 33554432000 4194304 4196468 140736581056080 140187843333136 140187839100629 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11952] ppid=11894 vsize=10005480 memory=140679512409728 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11952/stat : 11952 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 6 0 228510721 10245611520 4236 33554432000 4194304 4196468 140736581056080 140187378883728 140187839100629 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11953] ppid=11894 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11953/stat : 11953 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 6 0 228510721 10245611520 4236 33554432000 4194304 4196468 140736581056080 140187377830672 140187839100629 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11954] ppid=11894 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11954/stat : 11954 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 6 0 228510721 10245611520 4236 33554432000 4194304 4196468 140736581056080 140187376778128 140187839100629 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16680 KiB
[startup+0.211555 s]*
/proc/loadavg: 1.33 1.36 1.41 3/219 11963
/proc/meminfo: memFree=17428464/32770624 swapFree=67108688/67108860
[pid=11897] ppid=11894 vsize=10982744 memory=42704 CPUtime=0.24 cores=1,3,5,7
/proc/11897/stat : 11897 (java) S 11894 11897 9314 0 -1 1077944320 7348 12922 0 0 16 1 5 2 20 0 15 0 228510712 11246329856 10676 33554432000 4194304 4196468 140736581056080 140736581038624 140187839090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
/proc/11897/statm: 2745686 10676 2949 1 0 2708109 0
[pid=11897/tid=11950] ppid=11894 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/11897/task/11950/stat : 11950 (java) R 11894 11897 9314 0 -1 4202560 3917 12922 0 0 10 1 5 2 20 0 15 0 228510721 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187810912328 140187820653975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11951] ppid=11894 vsize=10982744 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11951/stat : 11951 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187843333136 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11952] ppid=11894 vsize=10982744 memory=140679512421879 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11952/stat : 11952 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187378883728 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11953] ppid=11894 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11953/stat : 11953 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187377830672 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11954] ppid=11894 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11954/stat : 11954 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187376778128 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11955] ppid=11894 vsize=10982744 memory=140679512409728 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11955/stat : 11955 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 228510723 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187332200688 140187839101570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11956] ppid=11894 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11956/stat : 11956 (java) S 11894 11897 9314 0 -1 1077944384 13 12922 0 0 0 0 5 2 20 0 15 0 228510723 11246329856 10676 33554432000 4194304 4196468 140736581056080 140186672424096 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11957] ppid=11894 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11957/stat : 11957 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510724 11246329856 10676 33554432000 4194304 4196468 140736581056080 140186524574448 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11958] ppid=11894 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11958/stat : 11958 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510726 11246329856 10676 33554432000 4194304 4196468 140736581056080 140186217174992 140187839109019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11959] ppid=11894 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11897/task/11959/stat : 11959 (java) S 11894 11897 9314 0 -1 1077944384 472 12922 0 0 1 0 5 2 20 0 15 0 228510726 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187331148528 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11960] ppid=11894 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11960/stat : 11960 (java) S 11894 11897 9314 0 -1 1077944384 125 12922 0 0 0 0 5 2 20 0 15 0 228510726 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187262774128 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11961] ppid=11894 vsize=10982744 memory=140679512409728 CPUtime=0.1 cores=1,3,5,7
/proc/11897/task/11961/stat : 11961 (java) S 11894 11897 9314 0 -1 1077944384 614 12922 0 0 3 0 5 2 20 0 15 0 228510726 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187261721072 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11962] ppid=11894 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11962/stat : 11962 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510727 11246329856 10676 33554432000 4194304 4196468 140736581056080 140185786379104 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11963] ppid=11894 vsize=10982744 memory=140679512409728 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11963/stat : 11963 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510727 11246329856 10676 33554432000 4194304 4196468 140736581056080 140187260668464 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42704 KiB
[startup+0.310433 s]*
/proc/loadavg: 1.33 1.36 1.41 3/219 11963
/proc/meminfo: memFree=17415688/32770624 swapFree=67108688/67108860
[pid=11897] ppid=11894 vsize=10983192 memory=54308 CPUtime=0.37 cores=1,3,5,7
/proc/11897/stat : 11897 (java) S 11894 11897 9314 0 -1 1077944320 10131 12922 0 0 27 3 5 2 20 0 15 0 228510712 11246788608 13577 33554432000 4194304 4196468 140736581056080 140736581038624 140187839090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
/proc/11897/statm: 2745798 13577 3068 1 0 2708109 0
[pid=11897/tid=11950] ppid=11894 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/11897/task/11950/stat : 11950 (java) R 11894 11897 9314 0 -1 4202560 6933 12922 0 0 19 2 5 2 20 0 15 0 228510721 11246788608 13839 33554432000 4194304 4196468 140736581056080 140187810902432 140187819366251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11951] ppid=11894 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11951/stat : 11951 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246788608 13839 33554432000 4194304 4196468 140736581056080 140187843333136 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11952] ppid=11894 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11952/stat : 11952 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246788608 13839 33554432000 4194304 4196468 140736581056080 140187378883728 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11953] ppid=11894 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11953/stat : 11953 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246788608 13839 33554432000 4194304 4196468 140736581056080 140187377830672 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11954] ppid=11894 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11954/stat : 11954 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246788608 13839 33554432000 4194304 4196468 140736581056080 140187376778128 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11955] ppid=11894 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11955/stat : 11955 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 228510723 11246788608 13839 33554432000 4194304 4196468 140736581056080 140187332200688 140187839101570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11956] ppid=11894 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11956/stat : 11956 (java) S 11894 11897 9314 0 -1 1077944384 13 12922 0 0 0 0 5 2 20 0 15 0 228510723 11246788608 13839 33554432000 4194304 4196468 140736581056080 140186672424096 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11957] ppid=11894 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11957/stat : 11957 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510724 11246788608 13839 33554432000 4194304 4196468 140736581056080 140186524574448 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11958] ppid=11894 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11958/stat : 11958 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510726 11246788608 13839 33554432000 4194304 4196468 140736581056080 140186217174992 140187839109019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11959] ppid=11894 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11897/task/11959/stat : 11959 (java) S 11894 11897 9314 0 -1 1077944384 475 12922 0 0 2 0 5 2 20 0 15 0 228510726 11246788608 13839 33554432000 4194304 4196468 140736581056080 140187331148528 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11960] ppid=11894 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11897/task/11960/stat : 11960 (java) S 11894 11897 9314 0 -1 1077944384 129 12922 0 0 1 0 5 2 20 0 15 0 228510726 11246788608 13839 33554432000 4194304 4196468 140736581056080 140187262774128 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11961] ppid=11894 vsize=10983192 memory=140679512409728 CPUtime=0.12 cores=1,3,5,7
/proc/11897/task/11961/stat : 11961 (java) S 11894 11897 9314 0 -1 1077944384 620 12922 0 0 5 0 5 2 20 0 15 0 228510726 11246788608 13905 33554432000 4194304 4196468 140736581056080 140187261721072 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11962] ppid=11894 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11962/stat : 11962 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510727 11246788608 13905 33554432000 4194304 4196468 140736581056080 140185786379104 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11963] ppid=11894 vsize=10983192 memory=140679512409728 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11963/stat : 11963 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510727 11246788608 13905 33554432000 4194304 4196468 140736581056080 140187260668464 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54308 KiB
[startup+0.700797 s]
/proc/loadavg: 1.33 1.36 1.41 3/219 11963
/proc/meminfo: memFree=17404276/32770624 swapFree=67108688/67108860
[pid=11897] ppid=11894 vsize=10983192 memory=88532 CPUtime=0.98 cores=1,3,5,7
/proc/11897/stat : 11897 (java) S 11894 11897 9314 0 -1 1077944320 16744 12922 0 0 87 4 5 2 20 0 15 0 228510712 11246788608 22133 33554432000 4194304 4196468 140736581056080 140736581038624 140187839090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
/proc/11897/statm: 2745798 22133 3238 1 0 2708109 0
[pid=11897/tid=11950] ppid=11894 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/11897/task/11950/stat : 11950 (java) R 11894 11897 9314 0 -1 4202560 12237 12922 0 0 55 3 5 2 20 0 15 0 228510721 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187810913424 140187823170910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11951] ppid=11894 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11951/stat : 11951 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187843333136 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11952] ppid=11894 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11952/stat : 11952 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187378883728 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11953] ppid=11894 vsize=10983192 memory=140679372223248 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11953/stat : 11953 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187377830672 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11954] ppid=11894 vsize=10983192 memory=140681653781103 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11954/stat : 11954 (java) S 11894 11897 9314 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 228510721 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187376778128 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11955] ppid=11894 vsize=10983192 memory=1832 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11955/stat : 11955 (java) S 11894 11897 9314 0 -1 1077944384 5 12922 0 0 0 0 5 2 20 0 15 0 228510723 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187332200688 140187839101570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11956] ppid=11894 vsize=10983192 memory=7161944214934349376 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11956/stat : 11956 (java) S 11894 11897 9314 0 -1 1077944384 13 12922 0 0 0 0 5 2 20 0 15 0 228510723 11246788608 22133 33554432000 4194304 4196468 140736581056080 140186672424096 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11957] ppid=11894 vsize=10983192 memory=6082220498227391592 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11957/stat : 11957 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510724 11246788608 22133 33554432000 4194304 4196468 140736581056080 140186524574448 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11958] ppid=11894 vsize=10983192 memory=16348 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11958/stat : 11958 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510726 11246788608 22133 33554432000 4194304 4196468 140736581056080 140186217174992 140187839109019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11959] ppid=11894 vsize=10983192 memory=1176 CPUtime=0.14 cores=1,3,5,7
/proc/11897/task/11959/stat : 11959 (java) S 11894 11897 9314 0 -1 1077944384 842 12922 0 0 7 0 5 2 20 0 15 0 228510726 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187331148528 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11960] ppid=11894 vsize=10983192 memory=34320 CPUtime=0.16 cores=1,3,5,7
/proc/11897/task/11960/stat : 11960 (java) S 11894 11897 9314 0 -1 1077944384 780 12922 0 0 9 0 5 2 20 0 15 0 228510726 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187262774128 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11961] ppid=11894 vsize=10983192 memory=4048 CPUtime=0.2 cores=1,3,5,7
/proc/11897/task/11961/stat : 11961 (java) S 11894 11897 9314 0 -1 1077944384 662 12922 0 0 13 0 5 2 20 0 15 0 228510726 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187261721072 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11962] ppid=11894 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11962/stat : 11962 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510727 11246788608 22133 33554432000 4194304 4196468 140736581056080 140185786379104 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11963] ppid=11894 vsize=10983192 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11963/stat : 11963 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510727 11246788608 22133 33554432000 4194304 4196468 140736581056080 140187260668464 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88532 KiB
[startup+1.50161 s]
/proc/loadavg: 1.33 1.36 1.41 3/219 11963
/proc/meminfo: memFree=17360884/32770624 swapFree=67108688/67108860
[pid=11897] ppid=11894 vsize=10998092 memory=181352 CPUtime=2.38 cores=1,3,5,7
/proc/11897/stat : 11897 (java) S 11894 11897 9314 0 -1 1077944320 23965 12922 0 0 222 9 5 2 20 0 15 0 228510712 11262046208 45338 33554432000 4194304 4196468 140736581056080 140736581038624 140187839090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
/proc/11897/statm: 2749523 45338 3468 1 0 2711181 0
[pid=11897/tid=11950] ppid=11894 vsize=10998092 memory=65444 CPUtime=1.41 cores=1,3,5,7
/proc/11897/task/11950/stat : 11950 (java) R 11894 11897 9314 0 -1 4202560 17613 12922 0 0 130 4 5 2 20 0 15 0 228510721 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187810920440 140187822266999 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11951] ppid=11894 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/11897/task/11951/stat : 11951 (java) S 11894 11897 9314 0 -1 1077944384 161 12922 0 0 1 0 5 2 20 0 15 0 228510721 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187843333136 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11952] ppid=11894 vsize=10998092 memory=281358744477856 CPUtime=0.08 cores=1,3,5,7
/proc/11897/task/11952/stat : 11952 (java) S 11894 11897 9314 0 -1 1077944384 18 12922 0 0 1 0 5 2 20 0 15 0 228510721 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187378883728 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11953] ppid=11894 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11897/task/11953/stat : 11953 (java) S 11894 11897 9314 0 -1 1077944384 25 12922 0 0 1 0 5 2 20 0 15 0 228510721 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187377830672 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11954] ppid=11894 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11954/stat : 11954 (java) S 11894 11897 9314 0 -1 1077944384 64 12922 0 0 0 0 5 2 20 0 15 0 228510721 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187376778128 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11955] ppid=11894 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11897/task/11955/stat : 11955 (java) S 11894 11897 9314 0 -1 1077944384 46 12922 0 0 1 0 5 2 20 0 15 0 228510723 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187332200688 140187839101570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11956] ppid=11894 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11956/stat : 11956 (java) S 11894 11897 9314 0 -1 1077944384 14 12922 0 0 0 0 5 2 20 0 15 0 228510723 11262046208 45338 33554432000 4194304 4196468 140736581056080 140186672424160 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11957] ppid=11894 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11957/stat : 11957 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510724 11262046208 45338 33554432000 4194304 4196468 140736581056080 140186524574464 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11958] ppid=11894 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11958/stat : 11958 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510726 11262046208 45338 33554432000 4194304 4196468 140736581056080 140186217174992 140187839109019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11959] ppid=11894 vsize=10998092 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/11897/task/11959/stat : 11959 (java) S 11894 11897 9314 0 -1 1077944384 1414 12922 0 0 25 0 5 2 20 0 15 0 228510726 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187331148528 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11960] ppid=11894 vsize=10998092 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/11897/task/11960/stat : 11960 (java) S 11894 11897 9314 0 -1 1077944384 1036 12922 0 0 21 0 5 2 20 0 15 0 228510726 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187262774128 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11961] ppid=11894 vsize=10998092 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/11897/task/11961/stat : 11961 (java) S 11894 11897 9314 0 -1 1077944384 1375 12922 0 0 38 0 5 2 20 0 15 0 228510726 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187261721072 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11962] ppid=11894 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11962/stat : 11962 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510727 11262046208 45338 33554432000 4194304 4196468 140736581056080 140185786379104 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11963] ppid=11894 vsize=10998092 memory=281358744722304 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11963/stat : 11963 (java) S 11894 11897 9314 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 228510727 11262046208 45338 33554432000 4194304 4196468 140736581056080 140187260668464 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/11897/task/11950/stat : 11950 (java) R 11894 11897 9314 0 -1 4202560 94741 12922 0 0 236739 38 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187810924752 140187425426562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11951] ppid=11894 vsize=11077984 memory=820508 CPUtime=6.91 cores=1,3,5,7
/proc/11897/task/11951/stat : 11951 (java) S 11894 11897 9314 0 -1 1077944384 16475 12922 0 0 645 39 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187843333136 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11952] ppid=11894 vsize=11077984 memory=818460 CPUtime=6.91 cores=1,3,5,7
/proc/11897/task/11952/stat : 11952 (java) S 11894 11897 9314 0 -1 1077944384 12823 12922 0 0 643 41 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187378883728 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11953] ppid=11894 vsize=11077984 memory=820508 CPUtime=6.91 cores=1,3,5,7
/proc/11897/task/11953/stat : 11953 (java) S 11894 11897 9314 0 -1 1077944384 18308 12922 0 0 645 39 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187377830672 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11954] ppid=11894 vsize=11077984 memory=820508 CPUtime=6.93 cores=1,3,5,7
/proc/11897/task/11954/stat : 11954 (java) S 11894 11897 9314 0 -1 1077944384 15698 12922 0 0 646 40 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187376778128 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11955] ppid=11894 vsize=11077984 memory=820508 CPUtime=5.47 cores=1,3,5,7
/proc/11897/task/11955/stat : 11955 (java) S 11894 11897 9314 0 -1 1077944384 13411 12922 0 0 508 32 5 2 20 0 15 0 228510723 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187332200688 140187839101570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11956] ppid=11894 vsize=11077984 memory=684 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11956/stat : 11956 (java) S 11894 11897 9314 0 -1 1077944384 15 12922 0 0 0 0 5 2 20 0 15 0 228510723 11343855616 205127 33554432000 4194304 4196468 140736581056080 140186672424224 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11957] ppid=11894 vsize=11077984 memory=820508 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11957/stat : 11957 (java) S 11894 11897 9314 0 -1 1077944384 8 12922 0 0 0 0 5 2 20 0 15 0 228510724 11343855616 205127 33554432000 4194304 4196468 140736581056080 140186524574464 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11958] ppid=11894 vsize=11077984 memory=820508 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11958/stat : 11958 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510726 11343855616 205127 33554432000 4194304 4196468 140736581056080 140186217174992 140187839109019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11959] ppid=11894 vsize=11077984 memory=820508 CPUtime=3.71 cores=1,3,5,7
/proc/11897/task/11959/stat : 11959 (java) S 11894 11897 9314 0 -1 1077944384 19500 12922 0 0 361 3 5 2 20 0 15 0 228510726 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187331148528 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11960] ppid=11894 vsize=11077984 memory=0 CPUtime=4.43 cores=1,3,5,7
/proc/11897/task/11960/stat : 11960 (java) S 11894 11897 9314 0 -1 1077944384 23567 12922 0 0 433 3 5 2 20 0 15 0 228510726 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187262774128 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11961] ppid=11894 vsize=11077984 memory=820508 CPUtime=1.93 cores=1,3,5,7
/proc/11897/task/11961/stat : 11961 (java) S 11894 11897 9314 0 -1 1077944384 20400 12922 0 0 183 3 5 2 20 0 15 0 228510726 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187261721072 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11962] ppid=11894 vsize=11077984 memory=820508 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11962/stat : 11962 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510727 11343855616 205127 33554432000 4194304 4196468 140736581056080 140185786379104 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11963] ppid=11894 vsize=11077984 memory=235435 CPUtime=1.22 cores=1,3,5,7
/proc/11897/task/11963/stat : 11963 (java) S 11894 11897 9314 0 -1 1077944384 1582 12922 0 0 57 58 5 2 20 0 15 0 228510727 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187260668464 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
Current children cumulated CPU time: 2411.75 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 820508 KiB
[startup+2442.3 s]
/proc/loadavg: 1.81 1.47 1.39 3/221 12212
/proc/meminfo: memFree=16623200/32770624 swapFree=67108688/67108860
[pid=11897] ppid=11894 vsize=11077984 memory=820508 CPUtime=2472.26 cores=1,3,5,7
/proc/11897/stat : 11897 (java) S 11894 11897 9314 0 -1 1077944320 239322 12922 0 0 246957 262 5 2 20 0 15 0 228510712 11343855616 205127 33554432000 4194304 4196468 140736581056080 140736581038624 140187839090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
/proc/11897/statm: 2769496 205127 3524 1 0 2731149 0
[pid=11897/tid=11950] ppid=11894 vsize=11077984 memory=820508 CPUtime=2427.48 cores=1,3,5,7
/proc/11897/task/11950/stat : 11950 (java) S 11894 11897 9314 0 -1 1077944384 95055 12922 0 0 242702 39 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187810924320 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11951] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.09 cores=1,3,5,7
/proc/11897/task/11951/stat : 11951 (java) S 11894 11897 9314 0 -1 1077944384 16710 12922 0 0 662 40 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187843333136 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11952] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.08 cores=1,3,5,7
/proc/11897/task/11952/stat : 11952 (java) S 11894 11897 9314 0 -1 1077944384 12830 12922 0 0 660 41 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187378883728 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11953] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.09 cores=1,3,5,7
/proc/11897/task/11953/stat : 11953 (java) S 11894 11897 9314 0 -1 1077944384 18308 12922 0 0 662 40 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187377830672 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11954] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.11 cores=1,3,5,7
/proc/11897/task/11954/stat : 11954 (java) S 11894 11897 9314 0 -1 1077944384 15708 12922 0 0 663 41 5 2 20 0 15 0 228510721 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187376778128 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11955] ppid=11894 vsize=11077984 memory=281358745567664 CPUtime=5.6 cores=1,3,5,7
/proc/11897/task/11955/stat : 11955 (java) R 11894 11897 9314 0 -1 4202560 13438 12922 0 0 521 32 5 2 20 0 15 0 228510723 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187332199200 140187824781609 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11956] ppid=11894 vsize=11077984 memory=820508 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11956/stat : 11956 (java) S 11894 11897 9314 0 -1 1077944384 15 12922 0 0 0 0 5 2 20 0 15 0 228510723 11343855616 205127 33554432000 4194304 4196468 140736581056080 140186672424224 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11957] ppid=11894 vsize=11077984 memory=820508 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11957/stat : 11957 (java) S 11894 11897 9314 0 -1 1077944384 8 12922 0 0 0 0 5 2 20 0 15 0 228510724 11343855616 205127 33554432000 4194304 4196468 140736581056080 140186524574464 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11958] ppid=11894 vsize=11077984 memory=820508 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11958/stat : 11958 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510726 11343855616 205127 33554432000 4194304 4196468 140736581056080 140186217174992 140187839109019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11959] ppid=11894 vsize=11077984 memory=820508 CPUtime=3.71 cores=1,3,5,7
/proc/11897/task/11959/stat : 11959 (java) S 11894 11897 9314 0 -1 1077944384 19500 12922 0 0 361 3 5 2 20 0 15 0 228510726 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187331148528 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11960] ppid=11894 vsize=11077984 memory=820508 CPUtime=4.43 cores=1,3,5,7
/proc/11897/task/11960/stat : 11960 (java) S 11894 11897 9314 0 -1 1077944384 23567 12922 0 0 433 3 5 2 20 0 15 0 228510726 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187262774128 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11961] ppid=11894 vsize=11077984 memory=820508 CPUtime=1.94 cores=1,3,5,7
/proc/11897/task/11961/stat : 11961 (java) S 11894 11897 9314 0 -1 1077944384 20400 12922 0 0 184 3 5 2 20 0 15 0 228510726 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187261721072 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11962] ppid=11894 vsize=11077984 memory=808 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11962/stat : 11962 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510727 11343855616 205127 33554432000 4194304 4196468 140736581056080 140185786379104 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11963] ppid=11894 vsize=11077984 memory=3824 CPUtime=1.25 cores=1,3,5,7
/proc/11897/task/11963/stat : 11963 (java) S 11894 11897 9314 0 -1 1077944384 1586 12922 0 0 59 59 5 2 20 0 15 0 228510727 11343855616 205127 33554432000 4194304 4196468 140736581056080 140187260668464 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
Current children cumulated CPU time: 2472.26 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 820508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2489.7 s]
/proc/loadavg: 2.08 1.59 1.44 3/221 12213
/proc/meminfo: memFree=16626688/32770624 swapFree=67108688/67108860
[pid=11897] ppid=11894 vsize=11077984 memory=815380 CPUtime=2520.08 cores=1,3,5,7
/proc/11897/stat : 11897 (java) S 11894 11897 9314 0 -1 1077944320 240748 12922 0 0 251735 266 5 2 20 0 15 0 228510712 11343855616 203845 33554432000 4194304 4196468 140736581056080 140736581038624 140187839090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
/proc/11897/statm: 2769496 203845 3524 1 0 2731149 0
[pid=11897/tid=11950] ppid=11894 vsize=11077984 memory=816404 CPUtime=2474.58 cores=1,3,5,7
/proc/11897/task/11950/stat : 11950 (java) R 11894 11897 9314 0 -1 4202560 95858 12922 0 0 247412 39 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187810925056 140187425815772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11951] ppid=11894 vsize=11077984 memory=815892 CPUtime=7.24 cores=1,3,5,7
/proc/11897/task/11951/stat : 11951 (java) S 11894 11897 9314 0 -1 1077944384 16730 12922 0 0 676 41 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187843333136 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11952] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.23 cores=1,3,5,7
/proc/11897/task/11952/stat : 11952 (java) S 11894 11897 9314 0 -1 1077944384 12835 12922 0 0 674 42 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187378883728 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11953] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.24 cores=1,3,5,7
/proc/11897/task/11953/stat : 11953 (java) S 11894 11897 9314 0 -1 1077944384 18383 12922 0 0 676 41 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187377830672 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11954] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.26 cores=1,3,5,7
/proc/11897/task/11954/stat : 11954 (java) S 11894 11897 9314 0 -1 1077944384 15797 12922 0 0 677 42 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187376778128 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11955] ppid=11894 vsize=11077984 memory=820508 CPUtime=5.72 cores=1,3,5,7
/proc/11897/task/11955/stat : 11955 (java) S 11894 11897 9314 0 -1 1077944384 13614 12922 0 0 532 33 5 2 20 0 15 0 228510723 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187332200688 140187839101570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11956] ppid=11894 vsize=11077984 memory=820508 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11956/stat : 11956 (java) S 11894 11897 9314 0 -1 1077944384 15 12922 0 0 0 0 5 2 20 0 15 0 228510723 11343855616 203845 33554432000 4194304 4196468 140736581056080 140186672424224 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11957] ppid=11894 vsize=11077984 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11957/stat : 11957 (java) S 11894 11897 9314 0 -1 1077944384 8 12922 0 0 0 0 5 2 20 0 15 0 228510724 11343855616 203845 33554432000 4194304 4196468 140736581056080 140186524574464 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11958] ppid=11894 vsize=11077984 memory=815892 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11958/stat : 11958 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510726 11343855616 203845 33554432000 4194304 4196468 140736581056080 140186217174992 140187839109019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11959] ppid=11894 vsize=11077984 memory=0 CPUtime=3.71 cores=1,3,5,7
/proc/11897/task/11959/stat : 11959 (java) S 11894 11897 9314 0 -1 1077944384 19502 12922 0 0 361 3 5 2 20 0 15 0 228510726 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187331148528 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11960] ppid=11894 vsize=11077984 memory=1792 CPUtime=4.43 cores=1,3,5,7
/proc/11897/task/11960/stat : 11960 (java) S 11894 11897 9314 0 -1 1077944384 23569 12922 0 0 433 3 5 2 20 0 15 0 228510726 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187262774128 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11961] ppid=11894 vsize=11077984 memory=876 CPUtime=1.94 cores=1,3,5,7
/proc/11897/task/11961/stat : 11961 (java) S 11894 11897 9314 0 -1 1077944384 20638 12922 0 0 184 3 5 2 20 0 15 0 228510726 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187261721072 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11962] ppid=11894 vsize=11077984 memory=2316 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11962/stat : 11962 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510727 11343855616 203845 33554432000 4194304 4196468 140736581056080 140185786379104 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11963] ppid=11894 vsize=11077984 memory=1224 CPUtime=1.27 cores=1,3,5,7
/proc/11897/task/11963/stat : 11963 (java) S 11894 11897 9314 0 -1 1077944384 1602 12922 0 0 60 60 5 2 20 0 15 0 228510727 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187260668464 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 815380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2489.73 s]
# the end of solver process 11897 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.43 s, system=2.69827 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2489.7 s]
/proc/loadavg: 2.08 1.59 1.44 3/221 12213
/proc/meminfo: memFree=16626688/32770624 swapFree=67108688/67108860
[pid=11897] ppid=11894 vsize=11077984 memory=815380 CPUtime=2520.08 cores=1,3,5,7
/proc/11897/stat : 11897 (java) S 11894 11897 9314 0 -1 1077944320 240748 12922 0 0 251735 266 5 2 20 0 15 0 228510712 11343855616 203845 33554432000 4194304 4196468 140736581056080 140736581038624 140187839090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
/proc/11897/statm: 2769496 203845 3524 1 0 2731149 0
[pid=11897/tid=11950] ppid=11894 vsize=11077984 memory=816404 CPUtime=2474.58 cores=1,3,5,7
/proc/11897/task/11950/stat : 11950 (java) R 11894 11897 9314 0 -1 4202560 95858 12922 0 0 247412 39 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187810925056 140187425815772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11951] ppid=11894 vsize=11077984 memory=815892 CPUtime=7.24 cores=1,3,5,7
/proc/11897/task/11951/stat : 11951 (java) S 11894 11897 9314 0 -1 1077944384 16730 12922 0 0 676 41 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187843333136 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11952] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.23 cores=1,3,5,7
/proc/11897/task/11952/stat : 11952 (java) S 11894 11897 9314 0 -1 1077944384 12835 12922 0 0 674 42 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187378883728 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11953] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.24 cores=1,3,5,7
/proc/11897/task/11953/stat : 11953 (java) S 11894 11897 9314 0 -1 1077944384 18383 12922 0 0 676 41 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187377830672 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11954] ppid=11894 vsize=11077984 memory=820508 CPUtime=7.26 cores=1,3,5,7
/proc/11897/task/11954/stat : 11954 (java) S 11894 11897 9314 0 -1 1077944384 15797 12922 0 0 677 42 5 2 20 0 15 0 228510721 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187376778128 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11955] ppid=11894 vsize=11077984 memory=820508 CPUtime=5.72 cores=1,3,5,7
/proc/11897/task/11955/stat : 11955 (java) S 11894 11897 9314 0 -1 1077944384 13614 12922 0 0 532 33 5 2 20 0 15 0 228510723 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187332200688 140187839101570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11956] ppid=11894 vsize=11077984 memory=820508 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11956/stat : 11956 (java) S 11894 11897 9314 0 -1 1077944384 15 12922 0 0 0 0 5 2 20 0 15 0 228510723 11343855616 203845 33554432000 4194304 4196468 140736581056080 140186672424224 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11957] ppid=11894 vsize=11077984 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11957/stat : 11957 (java) S 11894 11897 9314 0 -1 1077944384 8 12922 0 0 0 0 5 2 20 0 15 0 228510724 11343855616 203845 33554432000 4194304 4196468 140736581056080 140186524574464 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11958] ppid=11894 vsize=11077984 memory=815892 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11958/stat : 11958 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510726 11343855616 203845 33554432000 4194304 4196468 140736581056080 140186217174992 140187839109019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11959] ppid=11894 vsize=11077984 memory=0 CPUtime=3.71 cores=1,3,5,7
/proc/11897/task/11959/stat : 11959 (java) S 11894 11897 9314 0 -1 1077944384 19502 12922 0 0 361 3 5 2 20 0 15 0 228510726 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187331148528 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11960] ppid=11894 vsize=11077984 memory=1792 CPUtime=4.43 cores=1,3,5,7
/proc/11897/task/11960/stat : 11960 (java) S 11894 11897 9314 0 -1 1077944384 23569 12922 0 0 433 3 5 2 20 0 15 0 228510726 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187262774128 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11961] ppid=11894 vsize=11077984 memory=876 CPUtime=1.94 cores=1,3,5,7
/proc/11897/task/11961/stat : 11961 (java) S 11894 11897 9314 0 -1 1077944384 20638 12922 0 0 184 3 5 2 20 0 15 0 228510726 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187261721072 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11962] ppid=11894 vsize=11077984 memory=2316 CPUtime=0.07 cores=1,3,5,7
/proc/11897/task/11962/stat : 11962 (java) S 11894 11897 9314 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 228510727 11343855616 203845 33554432000 4194304 4196468 140736581056080 140185786379104 140187839100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
[pid=11897/tid=11963] ppid=11894 vsize=11077984 memory=1224 CPUtime=1.27 cores=1,3,5,7
/proc/11897/task/11963/stat : 11963 (java) S 11894 11897 9314 0 -1 1077944384 1602 12922 0 0 60 60 5 2 20 0 15 0 228510727 11343855616 203845 33554432000 4194304 4196468 140736581056080 140187260668464 140187839101570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16044032 140736581057124 140736581059932 140736581059932 140736581062607 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 815380 KiB
Child status: 143
Real time (s): 2489.73
CPU time (s): 2520.13
CPU user time (s): 2517.43
CPU system time (s): 2.69827
CPU usage (%): 101.221
Max. virtual memory (cumulated for all children) (KiB): 11083276
Max. memory (cumulated for all children) (KiB): 1174680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.43
system time used= 2.69827
maximum resident set size= 1180868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180314
involuntary context switches= 5527
# summary of solver processes directly reported to runsolver:
# pid: 11897
# total CPU time (s): 2520.13
# total CPU user time (s): 2517.43
# total CPU system time (s): 2.69827
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0148 second user time and 24.3983 second system time
The end