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 (12776 MiB free)
memory of node 1: 16384 MiB (15726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401220-1568679439/watcher-4401220-1568679439 -o /tmp/evaluation-result-4401220-1568679439/solver-4401220-1568679439 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568673287-18225 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=548403584 HOME/instance-4401220-1568679439.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20852, runsolver pid=20849
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.92 1.71 1.57 3/219 20909
/proc/meminfo: memFree=29182284/32770624 swapFree=66917056/67108860
[pid=20852] ppid=20849 vsize=9972712 memory=18332 CPUtime=0.09 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 18193 0 -1 1077944320 4356 13194 0 0 1 0 5 3 20 0 6 0 443857787 10212057088 4583 33554432000 4194304 4196468 140727449269904 140727449252448 139702721138423 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
/proc/20852/statm: 2493178 4583 1931 1 0 2481616 0
[pid=20852/tid=20905] ppid=20849 vsize=9972712 memory=4279135703946592399 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 18193 0 -1 4202560 2140 13194 0 0 1 0 5 3 20 0 6 0 443857796 10212057088 4583 33554432000 4194304 4196468 140727449269904 139702692975184 139702705218910 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20906] ppid=20849 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 6 0 443857797 10212057088 4583 33554432000 4194304 4196468 140727449269904 139702725380752 139702721148629 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20907] ppid=20849 vsize=9972712 memory=140554155067008 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 6 0 443857797 10212057088 4583 33554432000 4194304 4196468 140727449269904 139702613654032 139702721148629 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20908] ppid=20849 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 6 0 443857797 10212057088 4649 33554432000 4194304 4196468 140727449269904 139702612601232 139702721148629 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20909] ppid=20849 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 6 0 443857797 10212057088 4649 33554432000 4194304 4196468 140727449269904 139702611548432 139702721148629 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210073 s]*
/proc/loadavg: 1.92 1.71 1.57 4/228 20918
/proc/meminfo: memFree=29158144/32770624 swapFree=66917056/67108860
[pid=20852] ppid=20849 vsize=10820196 memory=45008 CPUtime=0.27 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 18193 0 -1 1077944320 7239 13194 0 0 17 2 5 3 20 0 15 0 443857787 11079880704 11252 33554432000 4194304 4196468 140727449269904 140727449252448 139702721138423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
/proc/20852/statm: 2705049 11252 3285 1 0 2667149 0
[pid=20852/tid=20905] ppid=20849 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 18193 0 -1 4202560 3722 13194 0 0 10 1 5 3 20 0 15 0 443857796 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702692950144 139702721160349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20906] ppid=20849 vsize=10820196 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857797 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702725380752 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20907] ppid=20849 vsize=10820196 memory=140554155085490 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857797 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702613654032 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20908] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857797 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702612601232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20909] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857797 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702611548432 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20910] ppid=20849 vsize=10820196 memory=140554155067008 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857799 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702179937136 139702721149570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20911] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 18193 0 -1 1077944384 33 13194 0 0 0 0 5 3 20 0 15 0 443857799 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702178883104 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20912] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857799 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702065685872 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20913] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857802 11079880704 11252 33554432000 4194304 4196468 140727449269904 139701461707088 139702721157019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20914] ppid=20849 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 18193 0 -1 1077944384 483 13194 0 0 1 0 5 3 20 0 15 0 443857802 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702145325424 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20915] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) R 20849 20852 18193 0 -1 4202560 186 13194 0 0 1 0 5 3 20 0 15 0 443857802 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702144272624 139702698788608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20916] ppid=20849 vsize=10820196 memory=140554155067008 CPUtime=0.11 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 18193 0 -1 1077944384 593 13194 0 0 3 0 5 3 20 0 15 0 443857802 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702143219824 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20917] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 18193 0 -1 1077944384 3 13194 0 0 0 0 5 3 20 0 15 0 443857802 11079880704 11252 33554432000 4194304 4196468 140727449269904 139700991944928 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20918] ppid=20849 vsize=10820196 memory=140554155067008 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857802 11079880704 11252 33554432000 4194304 4196468 140727449269904 139702142168240 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45008 KiB
[startup+0.31126 s]*
/proc/loadavg: 1.92 1.71 1.57 3/228 20918
/proc/meminfo: memFree=29145596/32770624 swapFree=66917056/67108860
[pid=20852] ppid=20849 vsize=10820196 memory=53436 CPUtime=0.41 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 18193 0 -1 1077944320 10590 13194 0 0 29 4 5 3 20 0 15 0 443857787 11079880704 13359 33554432000 4194304 4196468 140727449269904 140727449252448 139702721138423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
/proc/20852/statm: 2705049 13359 3309 1 0 2667149 0
[pid=20852/tid=20905] ppid=20849 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 18193 0 -1 4202560 7056 13194 0 0 18 3 5 3 20 0 15 0 443857796 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702692944528 139702699584012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20906] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857797 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702725380752 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20907] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857797 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702613654032 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20908] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857797 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702612601232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20909] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857797 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702611548432 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20910] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857799 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702179937136 139702721149570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20911] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 18193 0 -1 1077944384 33 13194 0 0 0 0 5 3 20 0 15 0 443857799 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702178883104 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20912] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857799 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702065685872 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20913] ppid=20849 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857802 11079880704 13359 33554432000 4194304 4196468 140727449269904 139701461707088 139702721157019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20914] ppid=20849 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 18193 0 -1 1077944384 483 13194 0 0 1 0 5 3 20 0 15 0 443857802 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702145325424 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20915] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 18193 0 -1 1077944384 193 13194 0 0 2 0 5 3 20 0 15 0 443857802 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702144272624 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20916] ppid=20849 vsize=10820196 memory=140554155067008 CPUtime=0.13 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 18193 0 -1 1077944384 600 13194 0 0 5 0 5 3 20 0 15 0 443857802 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702143219824 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20917] ppid=20849 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 18193 0 -1 1077944384 3 13194 0 0 0 0 5 3 20 0 15 0 443857802 11079880704 13359 33554432000 4194304 4196468 140727449269904 139700991944928 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20918] ppid=20849 vsize=10820196 memory=140554155067008 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857802 11079880704 13359 33554432000 4194304 4196468 140727449269904 139702142168240 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53436 KiB
[startup+0.701216 s]
/proc/loadavg: 1.92 1.71 1.57 3/228 20918
/proc/meminfo: memFree=29131532/32770624 swapFree=66917056/67108860
[pid=20852] ppid=20849 vsize=10824364 memory=85808 CPUtime=1.15 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 18193 0 -1 1077944320 14661 13194 0 0 101 6 5 3 20 0 15 0 443857787 11084148736 21452 33554432000 4194304 4196468 140727449269904 140727449252448 139702721138423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
/proc/20852/statm: 2706091 21452 3514 1 0 2668173 0
[pid=20852/tid=20905] ppid=20849 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 18193 0 -1 1077944384 10120 13194 0 0 55 4 5 3 20 0 15 0 443857796 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702692965584 139702721162301 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20906] ppid=20849 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857797 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702725380752 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20907] ppid=20849 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857797 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702613654032 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20908] ppid=20849 vsize=10824364 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857797 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702612601232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20909] ppid=20849 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857797 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702611548432 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20910] ppid=20849 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 18193 0 -1 1077944384 5 13194 0 0 0 0 5 3 20 0 15 0 443857799 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702179937136 139702721149570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20911] ppid=20849 vsize=10824364 memory=140554012865232 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 18193 0 -1 1077944384 33 13194 0 0 0 0 5 3 20 0 15 0 443857799 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702178883104 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20912] ppid=20849 vsize=10824364 memory=140557099729485 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857799 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702065685872 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20913] ppid=20849 vsize=10824364 memory=1112 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857802 11084148736 21452 33554432000 4194304 4196468 140727449269904 139701461707088 139702721157019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20914] ppid=20849 vsize=10824364 memory=7089886620845893184 CPUtime=0.21 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) R 20849 20852 18193 0 -1 4202560 880 13194 0 0 13 0 5 3 20 0 15 0 443857802 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702145325424 139702700832535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20915] ppid=20849 vsize=10824364 memory=7739276948478192999 CPUtime=0.23 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) R 20849 20852 18193 0 -1 4202560 640 13194 0 0 15 0 5 3 20 0 15 0 443857802 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702144259936 139702705525941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20916] ppid=20849 vsize=10824364 memory=6148935659200796009 CPUtime=0.25 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 18193 0 -1 1077944384 760 13194 0 0 17 0 5 3 20 0 15 0 443857802 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702143219824 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20917] ppid=20849 vsize=10824364 memory=3512 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 18193 0 -1 1077944384 3 13194 0 0 0 0 5 3 20 0 15 0 443857802 11084148736 21452 33554432000 4194304 4196468 140727449269904 139700991944928 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20918] ppid=20849 vsize=10824364 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857802 11084148736 21452 33554432000 4194304 4196468 140727449269904 139702142168240 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85808 KiB
[startup+1.50553 s]
/proc/loadavg: 1.92 1.71 1.57 4/227 20918
/proc/meminfo: memFree=29086460/32770624 swapFree=66917056/67108860
[pid=20852] ppid=20849 vsize=10834680 memory=173824 CPUtime=2.49 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 18193 0 -1 1077944320 23324 13194 0 0 230 11 5 3 20 0 15 0 443857787 11094712320 43456 33554432000 4194304 4196468 140727449269904 140727449252448 139702721138423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
/proc/20852/statm: 2708670 43456 3576 1 0 2670733 0
[pid=20852/tid=20905] ppid=20849 vsize=10834680 memory=9174 CPUtime=1.44 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 18193 0 -1 4202560 15454 13194 0 0 130 6 5 3 20 0 15 0 443857796 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702692939216 139702721150358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20906] ppid=20849 vsize=10834680 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 18193 0 -1 1077944384 363 13194 0 0 1 0 5 3 20 0 15 0 443857797 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702725380752 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20907] ppid=20849 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 18193 0 -1 1077944384 102 13194 0 0 0 0 5 3 20 0 15 0 443857797 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702613654032 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20908] ppid=20849 vsize=10834680 memory=1231 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 18193 0 -1 1077944384 45 13194 0 0 1 0 5 3 20 0 15 0 443857797 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702612601232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20909] ppid=20849 vsize=10834680 memory=85808 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 18193 0 -1 1077944384 33 13194 0 0 1 0 5 3 20 0 15 0 443857797 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702611548432 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20910] ppid=20849 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 18193 0 -1 1077944384 1502 13194 0 0 1 0 5 3 20 0 15 0 443857799 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702179937136 139702721149570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20911] ppid=20849 vsize=10834680 memory=281108025672176 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 18193 0 -1 1077944384 33 13194 0 0 0 0 5 3 20 0 15 0 443857799 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702178883104 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20912] ppid=20849 vsize=10834680 memory=281108025722976 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857799 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702065685888 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20913] ppid=20849 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857802 11094712320 43456 33554432000 4194304 4196468 140727449269904 139701461707088 139702721157019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20914] ppid=20849 vsize=10834680 memory=6935649255759568960 CPUtime=0.33 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 18193 0 -1 1077944384 1053 13194 0 0 25 0 5 3 20 0 15 0 443857802 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702145325424 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20915] ppid=20849 vsize=10834680 memory=281108026006400 CPUtime=0.34 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 18193 0 -1 1077944384 890 13194 0 0 26 0 5 3 20 0 15 0 443857802 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702144272624 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20916] ppid=20849 vsize=10834680 memory=6944656425123290226 CPUtime=0.5 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) R 20849 20852 18193 0 -1 4202560 1630 13194 0 0 42 0 5 3 20 0 15 0 443857802 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702143219824 139702721159770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20917] ppid=20849 vsize=10834680 memory=-7233780906022716832 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 18193 0 -1 1077944384 3 13194 0 0 0 0 5 3 20 0 15 0 443857802 11094712320 43456 33554432000 4194304 4196468 140727449269904 139700991944928 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20918] ppid=20849 vsize=10834680 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 18193 0 -1 1077944384 1 13194 0 0 0 0 5 3 20 0 15 0 443857802 11094712320 43456 33554432000 4194304 4196468 140727449269904 139702142168240 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 18193 0 -1 4202560 69187 13194 0 0 235423 51 5 3 20 0 15 0 443857796 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702692974288 139702298913728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20906] ppid=20849 vsize=10846988 memory=0 CPUtime=12.44 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 18193 0 -1 1077944384 11943 13194 0 0 1173 63 5 3 20 0 15 0 443857797 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702725380752 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20907] ppid=20849 vsize=10846988 memory=967804 CPUtime=12.42 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 18193 0 -1 1077944384 16107 13194 0 0 1175 59 5 3 20 0 15 0 443857797 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702613654032 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20908] ppid=20849 vsize=10846988 memory=967804 CPUtime=12.44 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 18193 0 -1 1077944384 14471 13194 0 0 1177 59 5 3 20 0 15 0 443857797 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702612601232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20909] ppid=20849 vsize=10846988 memory=967804 CPUtime=12.46 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 18193 0 -1 1077944384 12755 13194 0 0 1175 63 5 3 20 0 15 0 443857797 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702611548432 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20910] ppid=20849 vsize=10846988 memory=967804 CPUtime=11.61 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 18193 0 -1 1077944384 15667 13194 0 0 1088 65 5 3 20 0 15 0 443857799 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702179937136 139702721149570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20911] ppid=20849 vsize=10846988 memory=967804 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 18193 0 -1 1077944384 38 13194 0 0 0 0 5 3 20 0 15 0 443857799 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702178883232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20912] ppid=20849 vsize=10846988 memory=967804 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857799 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702065685888 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20913] ppid=20849 vsize=10846988 memory=967804 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857802 11107315712 241951 33554432000 4194304 4196468 140727449269904 139701461707088 139702721157019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20914] ppid=20849 vsize=10846988 memory=281108027606496 CPUtime=3.4 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 18193 0 -1 1077944384 21582 13194 0 0 328 4 5 3 20 0 15 0 443857802 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702145325424 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20915] ppid=20849 vsize=10846988 memory=967804 CPUtime=3.95 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 18193 0 -1 1077944384 28454 13194 0 0 384 3 5 3 20 0 15 0 443857802 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702144272624 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20916] ppid=20849 vsize=10846988 memory=967804 CPUtime=1.94 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 18193 0 -1 1077944384 19288 13194 0 0 182 4 5 3 20 0 15 0 443857802 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702143219824 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20917] ppid=20849 vsize=10846988 memory=111632 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 18193 0 -1 1077944384 3 13194 0 0 0 0 5 3 20 0 15 0 443857802 11107315712 241951 33554432000 4194304 4196468 140727449269904 139700991944928 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20918] ppid=20849 vsize=10846988 memory=796 CPUtime=1.55 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 18193 0 -1 1077944384 1364 13194 0 0 68 79 5 3 20 0 15 0 443857802 11107315712 241951 33554432000 4194304 4196468 140727449269904 139702142168240 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
Current children cumulated CPU time: 2426.4 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 967804 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 2.49 2.52 3/228 21400
/proc/meminfo: memFree=28191820/32770624 swapFree=66917056/67108860
[pid=20852] ppid=20849 vsize=10846988 memory=969852 CPUtime=2487.33 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 18193 0 -1 1077944320 214677 13194 0 0 248336 389 5 3 20 0 15 0 443857787 11107315712 242463 33554432000 4194304 4196468 140727449269904 140727449252448 139702721138423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
/proc/20852/statm: 2711747 242463 3632 1 0 2673805 0
[pid=20852/tid=20905] ppid=20849 vsize=10846988 memory=969852 CPUtime=2414.12 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 18193 0 -1 4202560 69969 13194 0 0 241352 52 5 3 20 0 15 0 443857796 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702692973776 139702299143181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20906] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.76 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 18193 0 -1 1077944384 12028 13194 0 0 1204 64 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702725380752 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20907] ppid=20849 vsize=10846988 memory=967804 CPUtime=12.75 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 18193 0 -1 1077944384 16140 13194 0 0 1206 61 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702613654032 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20908] ppid=20849 vsize=10846988 memory=967804 CPUtime=12.75 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 18193 0 -1 1077944384 14701 13194 0 0 1207 60 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702612601232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20909] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.78 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 18193 0 -1 1077944384 12991 13194 0 0 1206 64 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702611548432 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20910] ppid=20849 vsize=10846988 memory=969852 CPUtime=11.89 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 18193 0 -1 1077944384 15880 13194 0 0 1115 66 5 3 20 0 15 0 443857799 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702179937136 139702721149570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20911] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 18193 0 -1 1077944384 38 13194 0 0 0 0 5 3 20 0 15 0 443857799 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702178883232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20912] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857799 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702065685888 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20913] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139701461707088 139702721157019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20914] ppid=20849 vsize=10846988 memory=969852 CPUtime=3.4 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 18193 0 -1 1077944384 21584 13194 0 0 328 4 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702145325424 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20915] ppid=20849 vsize=10846988 memory=969852 CPUtime=3.95 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 18193 0 -1 1077944384 28456 13194 0 0 384 3 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702144272624 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20916] ppid=20849 vsize=10846988 memory=969852 CPUtime=1.94 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 18193 0 -1 1077944384 19290 13194 0 0 182 4 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702143219824 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20917] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 18193 0 -1 1077944384 3 13194 0 0 0 0 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139700991944928 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20918] ppid=20849 vsize=10846988 memory=969852 CPUtime=1.59 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 18193 0 -1 1077944384 1382 13194 0 0 70 81 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702142168240 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
Current children cumulated CPU time: 2487.33 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 969852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.5 s]
/proc/loadavg: 1.59 2.37 2.48 3/229 21403
/proc/meminfo: memFree=28191056/32770624 swapFree=66917056/67108860
[pid=20852] ppid=20849 vsize=10846988 memory=969852 CPUtime=2520.03 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 18193 0 -1 1077944320 215636 13194 0 0 251601 394 5 3 20 0 15 0 443857787 11107315712 242463 33554432000 4194304 4196468 140727449269904 140727449252448 139702721138423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
/proc/20852/statm: 2711747 242463 3632 1 0 2673805 0
[pid=20852/tid=20905] ppid=20849 vsize=10846988 memory=969852 CPUtime=2445.94 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 18193 0 -1 4202560 70359 13194 0 0 244534 52 5 3 20 0 15 0 443857796 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702692973840 139702299143608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20906] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.94 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 18193 0 -1 1077944384 12269 13194 0 0 1221 65 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702725380752 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20907] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.92 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 18193 0 -1 1077944384 16144 13194 0 0 1222 62 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702613654032 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20908] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.93 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 18193 0 -1 1077944384 14707 13194 0 0 1224 61 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702612601232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20909] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.96 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 18193 0 -1 1077944384 13089 13194 0 0 1223 65 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702611548432 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20910] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.05 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 18193 0 -1 1077944384 16078 13194 0 0 1129 68 5 3 20 0 15 0 443857799 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702179937136 139702721149570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20911] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 18193 0 -1 1077944384 38 13194 0 0 0 0 5 3 20 0 15 0 443857799 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702178883232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20912] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857799 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702065685888 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20913] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139701461707088 139702721157019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20914] ppid=20849 vsize=10846988 memory=969852 CPUtime=3.4 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 18193 0 -1 1077944384 21586 13194 0 0 328 4 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702145325424 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20915] ppid=20849 vsize=10846988 memory=969852 CPUtime=3.95 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 18193 0 -1 1077944384 28458 13194 0 0 384 3 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702144272624 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20916] ppid=20849 vsize=10846988 memory=969852 CPUtime=1.94 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 18193 0 -1 1077944384 19292 13194 0 0 182 4 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702143219824 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20917] ppid=20849 vsize=10846988 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 18193 0 -1 1077944384 3 13194 0 0 0 0 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139700991944928 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20918] ppid=20849 vsize=10846988 memory=6791534058613427641 CPUtime=1.61 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 18193 0 -1 1077944384 1398 13194 0 0 71 82 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702142168240 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 969852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.54 s]
# the end of solver process 20852 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.08 s, system=3.98889 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.5 s]
/proc/loadavg: 1.59 2.37 2.48 3/229 21403
/proc/meminfo: memFree=28191056/32770624 swapFree=66917056/67108860
[pid=20852] ppid=20849 vsize=10846988 memory=969852 CPUtime=2520.03 cores=1,3,5,7
/proc/20852/stat : 20852 (java) S 20849 20852 18193 0 -1 1077944320 215636 13194 0 0 251601 394 5 3 20 0 15 0 443857787 11107315712 242463 33554432000 4194304 4196468 140727449269904 140727449252448 139702721138423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
/proc/20852/statm: 2711747 242463 3632 1 0 2673805 0
[pid=20852/tid=20905] ppid=20849 vsize=10846988 memory=969852 CPUtime=2445.94 cores=1,3,5,7
/proc/20852/task/20905/stat : 20905 (java) R 20849 20852 18193 0 -1 4202560 70359 13194 0 0 244534 52 5 3 20 0 15 0 443857796 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702692973840 139702299143608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20906] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.94 cores=1,3,5,7
/proc/20852/task/20906/stat : 20906 (java) S 20849 20852 18193 0 -1 1077944384 12269 13194 0 0 1221 65 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702725380752 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20907] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.92 cores=1,3,5,7
/proc/20852/task/20907/stat : 20907 (java) S 20849 20852 18193 0 -1 1077944384 16144 13194 0 0 1222 62 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702613654032 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20908] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.93 cores=1,3,5,7
/proc/20852/task/20908/stat : 20908 (java) S 20849 20852 18193 0 -1 1077944384 14707 13194 0 0 1224 61 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702612601232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20909] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.96 cores=1,3,5,7
/proc/20852/task/20909/stat : 20909 (java) S 20849 20852 18193 0 -1 1077944384 13089 13194 0 0 1223 65 5 3 20 0 15 0 443857797 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702611548432 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20910] ppid=20849 vsize=10846988 memory=969852 CPUtime=12.05 cores=1,3,5,7
/proc/20852/task/20910/stat : 20910 (java) S 20849 20852 18193 0 -1 1077944384 16078 13194 0 0 1129 68 5 3 20 0 15 0 443857799 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702179937136 139702721149570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20911] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20911/stat : 20911 (java) S 20849 20852 18193 0 -1 1077944384 38 13194 0 0 0 0 5 3 20 0 15 0 443857799 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702178883232 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20912] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20912/stat : 20912 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857799 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702065685888 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20913] ppid=20849 vsize=10846988 memory=969852 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20913/stat : 20913 (java) S 20849 20852 18193 0 -1 1077944384 2 13194 0 0 0 0 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139701461707088 139702721157019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20914] ppid=20849 vsize=10846988 memory=969852 CPUtime=3.4 cores=1,3,5,7
/proc/20852/task/20914/stat : 20914 (java) S 20849 20852 18193 0 -1 1077944384 21586 13194 0 0 328 4 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702145325424 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20915] ppid=20849 vsize=10846988 memory=969852 CPUtime=3.95 cores=1,3,5,7
/proc/20852/task/20915/stat : 20915 (java) S 20849 20852 18193 0 -1 1077944384 28458 13194 0 0 384 3 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702144272624 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20916] ppid=20849 vsize=10846988 memory=969852 CPUtime=1.94 cores=1,3,5,7
/proc/20852/task/20916/stat : 20916 (java) S 20849 20852 18193 0 -1 1077944384 19292 13194 0 0 182 4 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702143219824 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20917] ppid=20849 vsize=10846988 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/20852/task/20917/stat : 20917 (java) S 20849 20852 18193 0 -1 1077944384 3 13194 0 0 0 0 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139700991944928 139702721148629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
[pid=20852/tid=20918] ppid=20849 vsize=10846988 memory=6791534058613427641 CPUtime=1.61 cores=1,3,5,7
/proc/20852/task/20918/stat : 20918 (java) S 20849 20852 18193 0 -1 1077944384 1398 13194 0 0 71 82 5 3 20 0 15 0 443857802 11107315712 242463 33554432000 4194304 4196468 140727449269904 139702142168240 139702721149570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727449275120 140727449277637 140727449277637 140727449280463 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 969852 KiB
Child status: 143
Real time (s): 2474.54
CPU time (s): 2520.07
CPU user time (s): 2516.08
CPU system time (s): 3.98889
CPU usage (%): 101.84
Max. virtual memory (cumulated for all children) (KiB): 10849744
Max. memory (cumulated for all children) (KiB): 969852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.08
system time used= 3.98889
maximum resident set size= 973976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305275
involuntary context switches= 7575
# summary of solver processes directly reported to runsolver:
# pid: 20852
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.08
# total CPU system time (s): 3.98889
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6909 second user time and 22.6365 second system time
The end