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 (15336 MiB free)
memory of node 1: 16384 MiB (14745 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387213-1568294615/watcher-4387213-1568294615 -o /tmp/evaluation-result-4387213-1568294615/solver-4387213-1568294615 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568282271-6097 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=97560980 HOME/instance-4387213-1568294615.xml
running on 4 cores: 0,2,4,6
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=8851, runsolver pid=8848
[startup+0.10006 s]*
/proc/loadavg: 1.33 1.42 1.47 3/218 8908
/proc/meminfo: memFree=30800144/32770624 swapFree=66934260/67108860
[pid=8851] ppid=8848 vsize=9972712 memory=14652 CPUtime=0.1 cores=0,2,4,6
/proc/8851/stat : 8851 (java) S 8848 8851 5271 0 -1 1077944320 4450 13307 0 0 1 1 5 3 20 0 6 0 405720009 10212057088 3663 33554432000 4194304 4196468 140732166450032 140732166432576 140217328832247 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
/proc/8851/statm: 2493178 3663 1933 1 0 2481616 0
[pid=8851/tid=8904] ppid=8848 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8904/stat : 8904 (java) R 8848 8851 5271 0 -1 4202560 2268 13307 0 0 0 0 5 3 20 0 6 0 405720018 10212057088 3729 33554432000 4194304 4196468 140732166450032 140217300669008 140217312912734 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8905] ppid=8848 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8905/stat : 8905 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 6 0 405720019 10212057088 3729 33554432000 4194304 4196468 140732166450032 140217333074704 140217328842453 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8906] ppid=8848 vsize=9972712 memory=140185369048704 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8906/stat : 8906 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 6 0 405720019 10212057088 3729 33554432000 4194304 4196468 140732166450032 140216902462352 140217328842453 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8907] ppid=8848 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8907/stat : 8907 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 6 0 405720019 10212057088 3729 33554432000 4194304 4196468 140732166450032 140216901409808 140217328842453 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8908] ppid=8848 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8908/stat : 8908 (java) S 8848 8851 5271 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 6 0 405720019 10212057088 3729 33554432000 4194304 4196468 140732166450032 140216900357264 140217328842453 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14652 KiB
[startup+0.210068 s]*
/proc/loadavg: 1.33 1.42 1.47 4/227 8917
/proc/meminfo: memFree=30777232/32770624 swapFree=66934260/67108860
[pid=8851] ppid=8848 vsize=10818940 memory=39060 CPUtime=0.25 cores=0,2,4,6
/proc/8851/stat : 8851 (java) S 8848 8851 5271 0 -1 1077944320 7146 13307 0 0 15 2 5 3 20 0 15 0 405720009 11078594560 9765 33554432000 4194304 4196468 140732166450032 140732166432576 140217328832247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
/proc/8851/statm: 2704735 9765 2938 1 0 2667149 0
[pid=8851/tid=8904] ppid=8848 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/8851/task/8904/stat : 8904 (java) R 8848 8851 5271 0 -1 4202560 3659 13307 0 0 10 1 5 3 20 0 15 0 405720018 11078594560 9765 33554432000 4194304 4196468 140732166450032 140217300638192 140217312912734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8905] ppid=8848 vsize=10818940 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8905/stat : 8905 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720019 11078594560 9765 33554432000 4194304 4196468 140732166450032 140217333074704 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8906] ppid=8848 vsize=10818940 memory=140185369057739 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8906/stat : 8906 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720019 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216902462352 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8907] ppid=8848 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8907/stat : 8907 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720019 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216901409808 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8908] ppid=8848 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8908/stat : 8908 (java) S 8848 8851 5271 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 405720019 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216900357264 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8909] ppid=8848 vsize=10818940 memory=140185369048704 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8909/stat : 8909 (java) S 8848 8851 5271 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 405720020 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216398493680 140217328843394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8910] ppid=8848 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8910/stat : 8910 (java) S 8848 8851 5271 0 -1 1077944384 13 13307 0 0 0 0 5 3 20 0 15 0 405720021 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216320910240 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8911] ppid=8848 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8911/stat : 8911 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720021 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216119583728 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8912] ppid=8848 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8912/stat : 8912 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11078594560 9765 33554432000 4194304 4196468 140732166450032 140215879293136 140217328850843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8913] ppid=8848 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8851/task/8913/stat : 8913 (java) S 8848 8851 5271 0 -1 1077944384 580 13307 0 0 1 0 5 3 20 0 15 0 405720024 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216397441520 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8914] ppid=8848 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8914/stat : 8914 (java) R 8848 8851 5271 0 -1 1077944384 64 13307 0 0 0 0 5 3 20 0 15 0 405720024 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216396388976 140217328843394 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8915] ppid=8848 vsize=10818940 memory=140185369048704 CPUtime=0.1 cores=0,2,4,6
/proc/8851/task/8915/stat : 8915 (java) S 8848 8851 5271 0 -1 1077944384 618 13307 0 0 2 0 5 3 20 0 15 0 405720024 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216395336432 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8916] ppid=8848 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8916/stat : 8916 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11078594560 9765 33554432000 4194304 4196468 140732166450032 140215845735520 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8917] ppid=8848 vsize=10818940 memory=140185369048704 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8917/stat : 8917 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720024 11078594560 9765 33554432000 4194304 4196468 140732166450032 140216394283312 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39060 KiB
[startup+0.310376 s]*
/proc/loadavg: 1.33 1.42 1.47 3/227 8917
/proc/meminfo: memFree=30766324/32770624 swapFree=66934260/67108860
[pid=8851] ppid=8848 vsize=10819588 memory=47996 CPUtime=0.4 cores=0,2,4,6
/proc/8851/stat : 8851 (java) S 8848 8851 5271 0 -1 1077944320 10680 13307 0 0 28 4 5 3 20 0 15 0 405720009 11079258112 11999 33554432000 4194304 4196468 140732166450032 140732166432576 140217328832247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
/proc/8851/statm: 2704897 11999 3067 1 0 2667149 0
[pid=8851/tid=8904] ppid=8848 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/8851/task/8904/stat : 8904 (java) R 8848 8851 5271 0 -1 4202560 7291 13307 0 0 18 3 5 3 20 0 15 0 405720018 11079778304 12131 33554432000 4194304 4196468 140732166450032 140217300614144 140217184681539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8905] ppid=8848 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8905/stat : 8905 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720019 11079778304 12131 33554432000 4194304 4196468 140732166450032 140217333074704 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8906] ppid=8848 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8906/stat : 8906 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720019 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216902462352 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8907] ppid=8848 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8907/stat : 8907 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720019 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216901409808 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8908] ppid=8848 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8908/stat : 8908 (java) S 8848 8851 5271 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 405720019 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216900357264 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8909] ppid=8848 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8909/stat : 8909 (java) S 8848 8851 5271 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 405720020 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216398493680 140217328843394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8910] ppid=8848 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8910/stat : 8910 (java) S 8848 8851 5271 0 -1 1077944384 13 13307 0 0 0 0 5 3 20 0 15 0 405720021 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216320910240 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8911] ppid=8848 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8911/stat : 8911 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720021 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216119583728 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8912] ppid=8848 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8912/stat : 8912 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11079778304 12131 33554432000 4194304 4196468 140732166450032 140215879293136 140217328850843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8913] ppid=8848 vsize=10820096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/8851/task/8913/stat : 8913 (java) S 8848 8851 5271 0 -1 1077944384 581 13307 0 0 2 0 5 3 20 0 15 0 405720024 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216397441520 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8914] ppid=8848 vsize=10820096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/8851/task/8914/stat : 8914 (java) S 8848 8851 5271 0 -1 1077944384 65 13307 0 0 1 0 5 3 20 0 15 0 405720024 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216396388976 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8915] ppid=8848 vsize=10820096 memory=140185369048704 CPUtime=0.13 cores=0,2,4,6
/proc/8851/task/8915/stat : 8915 (java) S 8848 8851 5271 0 -1 1077944384 628 13307 0 0 5 0 5 3 20 0 15 0 405720024 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216395336432 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8916] ppid=8848 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8916/stat : 8916 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11079778304 12131 33554432000 4194304 4196468 140732166450032 140215845735520 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8917] ppid=8848 vsize=10820096 memory=140185369048704 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8917/stat : 8917 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720024 11079778304 12131 33554432000 4194304 4196468 140732166450032 140216394283312 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819588 KiB
Current children cumulated memory: 47996 KiB
[startup+0.700726 s]
/proc/loadavg: 1.33 1.42 1.47 5/227 8917
/proc/meminfo: memFree=30754128/32770624 swapFree=66934260/67108860
[pid=8851] ppid=8848 vsize=10824340 memory=80176 CPUtime=1.14 cores=0,2,4,6
/proc/8851/stat : 8851 (java) S 8848 8851 5271 0 -1 1077944320 14763 13307 0 0 100 6 5 3 20 0 15 0 405720009 11084124160 20044 33554432000 4194304 4196468 140732166450032 140732166432576 140217328832247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
/proc/8851/statm: 2706085 20044 3500 1 0 2668173 0
[pid=8851/tid=8904] ppid=8848 vsize=10824340 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8851/task/8904/stat : 8904 (java) R 8848 8851 5271 0 -1 4202560 10553 13307 0 0 55 4 5 3 20 0 15 0 405720018 11084124160 20044 33554432000 4194304 4196468 140732166450032 140217300659760 140217312912734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8905] ppid=8848 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8905/stat : 8905 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720019 11084124160 20044 33554432000 4194304 4196468 140732166450032 140217333074704 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8906] ppid=8848 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8906/stat : 8906 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720019 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216902462352 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8907] ppid=8848 vsize=10824340 memory=140185249657040 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8907/stat : 8907 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720019 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216901409808 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8908] ppid=8848 vsize=10824340 memory=140187732542057 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8908/stat : 8908 (java) S 8848 8851 5271 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 405720019 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216900357264 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8909] ppid=8848 vsize=10824340 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8909/stat : 8909 (java) S 8848 8851 5271 0 -1 1077944384 6 13307 0 0 0 0 5 3 20 0 15 0 405720020 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216398493680 140217328843394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8910] ppid=8848 vsize=10824340 memory=7014751519667017297 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8910/stat : 8910 (java) S 8848 8851 5271 0 -1 1077944384 13 13307 0 0 0 0 5 3 20 0 15 0 405720021 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216320910240 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8911] ppid=8848 vsize=10824340 memory=7813575291747980389 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8911/stat : 8911 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720021 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216119583728 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8912] ppid=8848 vsize=10824340 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8912/stat : 8912 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11084124160 20044 33554432000 4194304 4196468 140732166450032 140215879293136 140217328850843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8913] ppid=8848 vsize=10824340 memory=2116 CPUtime=0.21 cores=0,2,4,6
/proc/8851/task/8913/stat : 8913 (java) S 8848 8851 5271 0 -1 1077944384 815 13307 0 0 13 0 5 3 20 0 15 0 405720024 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216397441520 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8914] ppid=8848 vsize=10824340 memory=516 CPUtime=0.22 cores=0,2,4,6
/proc/8851/task/8914/stat : 8914 (java) S 8848 8851 5271 0 -1 1077944384 430 13307 0 0 14 0 5 3 20 0 15 0 405720024 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216396388976 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8915] ppid=8848 vsize=10824340 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/8851/task/8915/stat : 8915 (java) S 8848 8851 5271 0 -1 1077944384 724 13307 0 0 17 0 5 3 20 0 15 0 405720024 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216395336432 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8916] ppid=8848 vsize=10824340 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8916/stat : 8916 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11084124160 20044 33554432000 4194304 4196468 140732166450032 140215845735520 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8917] ppid=8848 vsize=10824340 memory=1668 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8917/stat : 8917 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720024 11084124160 20044 33554432000 4194304 4196468 140732166450032 140216394283312 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80176 KiB
[startup+1.50063 s]
/proc/loadavg: 1.33 1.42 1.47 6/227 8917
/proc/meminfo: memFree=30688948/32770624 swapFree=66934260/67108860
[pid=8851] ppid=8848 vsize=10834656 memory=212104 CPUtime=2.86 cores=0,2,4,6
/proc/8851/stat : 8851 (java) S 8848 8851 5271 0 -1 1077944320 21928 13307 0 0 265 13 5 3 20 0 15 0 405720009 11094687744 53026 33554432000 4194304 4196468 140732166450032 140732166432576 140217328832247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
/proc/8851/statm: 2708664 53026 3577 1 0 2670733 0
[pid=8851/tid=8904] ppid=8848 vsize=10834656 memory=178276 CPUtime=1.42 cores=0,2,4,6
/proc/8851/task/8904/stat : 8904 (java) R 8848 8851 5271 0 -1 4202560 15321 13307 0 0 127 7 5 3 20 0 15 0 405720018 11094687744 53026 33554432000 4194304 4196468 140732166450032 140217300658656 140217328853594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8905] ppid=8848 vsize=10834656 memory=2436 CPUtime=0.09 cores=0,2,4,6
/proc/8851/task/8905/stat : 8905 (java) S 8848 8851 5271 0 -1 1077944384 60 13307 0 0 1 0 5 3 20 0 15 0 405720019 11094687744 53026 33554432000 4194304 4196468 140732166450032 140217333074704 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8906] ppid=8848 vsize=10834656 memory=1760 CPUtime=0.09 cores=0,2,4,6
/proc/8851/task/8906/stat : 8906 (java) S 8848 8851 5271 0 -1 1077944384 292 13307 0 0 1 0 5 3 20 0 15 0 405720019 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216902462352 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8907] ppid=8848 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8851/task/8907/stat : 8907 (java) S 8848 8851 5271 0 -1 1077944384 26 13307 0 0 1 0 5 3 20 0 15 0 405720019 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216901409808 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8908] ppid=8848 vsize=10834656 memory=-7303279828959712342 CPUtime=0.09 cores=0,2,4,6
/proc/8851/task/8908/stat : 8908 (java) S 8848 8851 5271 0 -1 1077944384 93 13307 0 0 1 0 5 3 20 0 15 0 405720019 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216900357264 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8909] ppid=8848 vsize=10834656 memory=3833724587141655611 CPUtime=0.09 cores=0,2,4,6
/proc/8851/task/8909/stat : 8909 (java) S 8848 8851 5271 0 -1 1077944384 86 13307 0 0 1 0 5 3 20 0 15 0 405720020 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216398493680 140217328843394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8910] ppid=8848 vsize=10834656 memory=-6798310482166503264 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8910/stat : 8910 (java) S 8848 8851 5271 0 -1 1077944384 14 13307 0 0 0 0 5 3 20 0 15 0 405720021 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216320910304 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8911] ppid=8848 vsize=10834656 memory=-6078294146213043397 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8911/stat : 8911 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720021 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216119583744 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8912] ppid=8848 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8912/stat : 8912 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11094687744 53026 33554432000 4194304 4196468 140732166450032 140215879293136 140217328850843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8913] ppid=8848 vsize=10834656 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/8851/task/8913/stat : 8913 (java) S 8848 8851 5271 0 -1 1077944384 1320 13307 0 0 46 0 5 3 20 0 15 0 405720024 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216397441520 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8914] ppid=8848 vsize=10834656 memory=4580 CPUtime=0.52 cores=0,2,4,6
/proc/8851/task/8914/stat : 8914 (java) S 8848 8851 5271 0 -1 1077944384 1119 13307 0 0 44 0 5 3 20 0 15 0 405720024 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216396388976 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8915] ppid=8848 vsize=10834656 memory=6009022795959521872 CPUtime=0.46 cores=0,2,4,6
/proc/8851/task/8915/stat : 8915 (java) S 8848 8851 5271 0 -1 1077944384 1379 13307 0 0 38 0 5 3 20 0 15 0 405720024 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216395336432 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8916] ppid=8848 vsize=10834656 memory=6075463926090388816 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8916/stat : 8916 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11094687744 53026 33554432000 4194304 4196468 140732166450032 140215845735520 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8917] ppid=8848 vsize=10834656 memory=7516902878320550760 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8917/stat : 8917 (java) S 8848 8851 5271 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 405720024 11094687744 53026 33554432000 4194304 4196468 140732166450032 140216394283312 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/8851/task/8904/stat : 8904 (java) R 8848 8851 5271 0 -1 4202560 115572 13307 0 0 237915 53 5 3 20 0 15 0 405720018 11107291136 478304 33554432000 4194304 4196468 140732166450032 140217300668288 140216936636344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8905] ppid=8848 vsize=10846964 memory=1913216 CPUtime=1.52 cores=0,2,4,6
/proc/8851/task/8905/stat : 8905 (java) S 8848 8851 5271 0 -1 1077944384 17088 13307 0 0 127 17 5 3 20 0 15 0 405720019 11107291136 478304 33554432000 4194304 4196468 140732166450032 140217333074704 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8906] ppid=8848 vsize=10846964 memory=1913216 CPUtime=1.51 cores=0,2,4,6
/proc/8851/task/8906/stat : 8906 (java) S 8848 8851 5271 0 -1 1077944384 21818 13307 0 0 125 18 5 3 20 0 15 0 405720019 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216902462352 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8907] ppid=8848 vsize=10846964 memory=1913216 CPUtime=1.51 cores=0,2,4,6
/proc/8851/task/8907/stat : 8907 (java) S 8848 8851 5271 0 -1 1077944384 21134 13307 0 0 126 17 5 3 20 0 15 0 405720019 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216901409808 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8908] ppid=8848 vsize=10846964 memory=1913216 CPUtime=1.5 cores=0,2,4,6
/proc/8851/task/8908/stat : 8908 (java) S 8848 8851 5271 0 -1 1077944384 18395 13307 0 0 125 17 5 3 20 0 15 0 405720019 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216900357264 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8909] ppid=8848 vsize=10846964 memory=1913212 CPUtime=1.01 cores=0,2,4,6
/proc/8851/task/8909/stat : 8909 (java) S 8848 8851 5271 0 -1 1077944384 23644 13307 0 0 84 9 5 3 20 0 15 0 405720020 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216398493680 140217328843394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8910] ppid=8848 vsize=10846964 memory=1913212 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8910/stat : 8910 (java) S 8848 8851 5271 0 -1 1077944384 36 13307 0 0 0 0 5 3 20 0 15 0 405720021 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216320910368 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8911] ppid=8848 vsize=10846964 memory=1913212 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8911/stat : 8911 (java) S 8848 8851 5271 0 -1 1077944384 43 13307 0 0 0 0 5 3 20 0 15 0 405720021 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216119583744 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8912] ppid=8848 vsize=10846964 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8912/stat : 8912 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11107291136 478304 33554432000 4194304 4196468 140732166450032 140215879293136 140217328850843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8913] ppid=8848 vsize=10846964 memory=20584 CPUtime=6.58 cores=0,2,4,6
/proc/8851/task/8913/stat : 8913 (java) S 8848 8851 5271 0 -1 1077944384 54209 13307 0 0 643 7 5 3 20 0 15 0 405720024 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216397441520 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8914] ppid=8848 vsize=10846964 memory=1913216 CPUtime=6.63 cores=0,2,4,6
/proc/8851/task/8914/stat : 8914 (java) S 8848 8851 5271 0 -1 1077944384 56573 13307 0 0 647 8 5 3 20 0 15 0 405720024 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216396388976 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8915] ppid=8848 vsize=10846964 memory=1913216 CPUtime=4 cores=0,2,4,6
/proc/8851/task/8915/stat : 8915 (java) S 8848 8851 5271 0 -1 1077944384 58785 13307 0 0 382 10 5 3 20 0 15 0 405720024 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216395336432 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8916] ppid=8848 vsize=10846964 memory=1913216 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8916/stat : 8916 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11107291136 478304 33554432000 4194304 4196468 140732166450032 140215845735520 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8917] ppid=8848 vsize=10846964 memory=1913216 CPUtime=1.47 cores=0,2,4,6
/proc/8851/task/8917/stat : 8917 (java) S 8848 8851 5271 0 -1 1077944384 2552 13307 0 0 72 67 5 3 20 0 15 0 405720024 11107291136 478304 33554432000 4194304 4196468 140732166450032 140216394283312 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
Current children cumulated CPU time: 2404.89 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1913216 KiB
[startup+2442.3 s]
/proc/loadavg: 1.45 1.47 1.55 3/228 9296
/proc/meminfo: memFree=27858200/32770624 swapFree=66934312/67108860
[pid=8851] ppid=8848 vsize=10846964 memory=1913228 CPUtime=2465.06 cores=0,2,4,6
/proc/8851/stat : 8851 (java) S 8848 8851 5271 0 -1 1077944320 394497 13307 0 0 246295 203 5 3 20 0 15 0 405720009 11107291136 478307 33554432000 4194304 4196468 140732166450032 140732166432576 140217328832247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
/proc/8851/statm: 2711741 478307 3622 1 0 2673805 0
[pid=8851/tid=8904] ppid=8848 vsize=10846964 memory=1913224 CPUtime=2439.66 cores=0,2,4,6
/proc/8851/task/8904/stat : 8904 (java) R 8848 8851 5271 0 -1 4202560 116452 13307 0 0 243905 53 5 3 20 0 15 0 405720018 11107291136 478307 33554432000 4194304 4196468 140732166450032 140217300655920 140216946148359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8905] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.57 cores=0,2,4,6
/proc/8851/task/8905/stat : 8905 (java) S 8848 8851 5271 0 -1 1077944384 17336 13307 0 0 132 17 5 3 20 0 15 0 405720019 11107291136 478307 33554432000 4194304 4196468 140732166450032 140217333074704 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8906] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.55 cores=0,2,4,6
/proc/8851/task/8906/stat : 8906 (java) S 8848 8851 5271 0 -1 1077944384 21940 13307 0 0 129 18 5 3 20 0 15 0 405720019 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216902462352 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8907] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.56 cores=0,2,4,6
/proc/8851/task/8907/stat : 8907 (java) S 8848 8851 5271 0 -1 1077944384 21452 13307 0 0 131 17 5 3 20 0 15 0 405720019 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216901409808 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8908] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.55 cores=0,2,4,6
/proc/8851/task/8908/stat : 8908 (java) S 8848 8851 5271 0 -1 1077944384 18528 13307 0 0 130 17 5 3 20 0 15 0 405720019 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216900357264 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8909] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.05 cores=0,2,4,6
/proc/8851/task/8909/stat : 8909 (java) S 8848 8851 5271 0 -1 1077944384 24002 13307 0 0 88 9 5 3 20 0 15 0 405720020 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216398493680 140217328843394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8910] ppid=8848 vsize=10846964 memory=1913228 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8910/stat : 8910 (java) S 8848 8851 5271 0 -1 1077944384 36 13307 0 0 0 0 5 3 20 0 15 0 405720021 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216320910368 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8911] ppid=8848 vsize=10846964 memory=1913228 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8911/stat : 8911 (java) S 8848 8851 5271 0 -1 1077944384 43 13307 0 0 0 0 5 3 20 0 15 0 405720021 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216119583744 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8912] ppid=8848 vsize=10846964 memory=1913228 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8912/stat : 8912 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11107291136 478307 33554432000 4194304 4196468 140732166450032 140215879293136 140217328850843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8913] ppid=8848 vsize=10846964 memory=1913228 CPUtime=6.58 cores=0,2,4,6
/proc/8851/task/8913/stat : 8913 (java) S 8848 8851 5271 0 -1 1077944384 54213 13307 0 0 643 7 5 3 20 0 15 0 405720024 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216397441520 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8914] ppid=8848 vsize=10846964 memory=1913228 CPUtime=6.63 cores=0,2,4,6
/proc/8851/task/8914/stat : 8914 (java) S 8848 8851 5271 0 -1 1077944384 56849 13307 0 0 647 8 5 3 20 0 15 0 405720024 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216396388976 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8915] ppid=8848 vsize=10846964 memory=15825482151102897 CPUtime=4.01 cores=0,2,4,6
/proc/8851/task/8915/stat : 8915 (java) S 8848 8851 5271 0 -1 1077944384 58847 13307 0 0 383 10 5 3 20 0 15 0 405720024 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216395336432 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8916] ppid=8848 vsize=10846964 memory=1913228 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8916/stat : 8916 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11107291136 478307 33554432000 4194304 4196468 140732166450032 140215845735520 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8917] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.5 cores=0,2,4,6
/proc/8851/task/8917/stat : 8917 (java) S 8848 8851 5271 0 -1 1077944384 2583 13307 0 0 74 68 5 3 20 0 15 0 405720024 11107291136 478307 33554432000 4194304 4196468 140732166450032 140216394283312 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
Current children cumulated CPU time: 2465.06 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1913228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2497.11 s]
/proc/loadavg: 1.66 1.53 1.57 3/228 9300
/proc/meminfo: memFree=27858288/32770624 swapFree=66934312/67108860
[pid=8851] ppid=8848 vsize=10846964 memory=1913240 CPUtime=2520.01 cores=0,2,4,6
/proc/8851/stat : 8851 (java) S 8848 8851 5271 0 -1 1077944320 397118 13307 0 0 251788 205 5 3 20 0 15 0 405720009 11107291136 478310 33554432000 4194304 4196468 140732166450032 140732166432576 140217328832247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
/proc/8851/statm: 2711741 478310 3622 1 0 2673805 0
[pid=8851/tid=8904] ppid=8848 vsize=10846964 memory=1913240 CPUtime=2494.41 cores=0,2,4,6
/proc/8851/task/8904/stat : 8904 (java) R 8848 8851 5271 0 -1 4202560 117249 13307 0 0 249380 53 5 3 20 0 15 0 405720018 11107291136 478310 33554432000 4194304 4196468 140732166450032 140217300668288 140216936631408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8905] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.6 cores=0,2,4,6
/proc/8851/task/8905/stat : 8905 (java) S 8848 8851 5271 0 -1 1077944384 17525 13307 0 0 135 17 5 3 20 0 15 0 405720019 11107291136 478310 33554432000 4194304 4196468 140732166450032 140217333074704 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8906] ppid=8848 vsize=10846964 memory=1913236 CPUtime=1.58 cores=0,2,4,6
/proc/8851/task/8906/stat : 8906 (java) S 8848 8851 5271 0 -1 1077944384 22014 13307 0 0 132 18 5 3 20 0 15 0 405720019 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216902462352 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8907] ppid=8848 vsize=10846964 memory=1913240 CPUtime=1.59 cores=0,2,4,6
/proc/8851/task/8907/stat : 8907 (java) S 8848 8851 5271 0 -1 1077944384 21705 13307 0 0 134 17 5 3 20 0 15 0 405720019 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216901409808 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8908] ppid=8848 vsize=10846964 memory=196 CPUtime=1.58 cores=0,2,4,6
/proc/8851/task/8908/stat : 8908 (java) S 8848 8851 5271 0 -1 1077944384 18864 13307 0 0 133 17 5 3 20 0 15 0 405720019 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216900357264 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8909] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.08 cores=0,2,4,6
/proc/8851/task/8909/stat : 8909 (java) S 8848 8851 5271 0 -1 1077944384 24367 13307 0 0 91 9 5 3 20 0 15 0 405720020 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216398493680 140217328843394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8910] ppid=8848 vsize=10846964 memory=1913240 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8910/stat : 8910 (java) S 8848 8851 5271 0 -1 1077944384 36 13307 0 0 0 0 5 3 20 0 15 0 405720021 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216320910368 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8911] ppid=8848 vsize=10846964 memory=1913240 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8911/stat : 8911 (java) S 8848 8851 5271 0 -1 1077944384 43 13307 0 0 0 0 5 3 20 0 15 0 405720021 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216119583744 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8912] ppid=8848 vsize=10846964 memory=1913240 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8912/stat : 8912 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140215879293136 140217328850843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8913] ppid=8848 vsize=10846964 memory=1913240 CPUtime=6.6 cores=0,2,4,6
/proc/8851/task/8913/stat : 8913 (java) S 8848 8851 5271 0 -1 1077944384 54483 13307 0 0 644 8 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216397441520 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8914] ppid=8848 vsize=10846964 memory=1913240 CPUtime=6.63 cores=0,2,4,6
/proc/8851/task/8914/stat : 8914 (java) S 8848 8851 5271 0 -1 1077944384 56853 13307 0 0 647 8 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216396388976 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8915] ppid=8848 vsize=10846964 memory=0 CPUtime=4.01 cores=0,2,4,6
/proc/8851/task/8915/stat : 8915 (java) S 8848 8851 5271 0 -1 1077944384 59150 13307 0 0 383 10 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216395336432 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8916] ppid=8848 vsize=10846964 memory=9056 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8916/stat : 8916 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140215845735520 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8917] ppid=8848 vsize=10846964 memory=14056 CPUtime=1.54 cores=0,2,4,6
/proc/8851/task/8917/stat : 8917 (java) S 8848 8851 5271 0 -1 1077944384 2613 13307 0 0 76 70 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216394283312 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1913240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2497.14 s]
# the end of solver process 8851 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.96 s, system=2.09989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2497.11 s]
/proc/loadavg: 1.66 1.53 1.57 3/228 9300
/proc/meminfo: memFree=27858288/32770624 swapFree=66934312/67108860
[pid=8851] ppid=8848 vsize=10846964 memory=1913240 CPUtime=2520.01 cores=0,2,4,6
/proc/8851/stat : 8851 (java) S 8848 8851 5271 0 -1 1077944320 397118 13307 0 0 251788 205 5 3 20 0 15 0 405720009 11107291136 478310 33554432000 4194304 4196468 140732166450032 140732166432576 140217328832247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
/proc/8851/statm: 2711741 478310 3622 1 0 2673805 0
[pid=8851/tid=8904] ppid=8848 vsize=10846964 memory=1913240 CPUtime=2494.41 cores=0,2,4,6
/proc/8851/task/8904/stat : 8904 (java) R 8848 8851 5271 0 -1 4202560 117249 13307 0 0 249380 53 5 3 20 0 15 0 405720018 11107291136 478310 33554432000 4194304 4196468 140732166450032 140217300668288 140216936631408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8905] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.6 cores=0,2,4,6
/proc/8851/task/8905/stat : 8905 (java) S 8848 8851 5271 0 -1 1077944384 17525 13307 0 0 135 17 5 3 20 0 15 0 405720019 11107291136 478310 33554432000 4194304 4196468 140732166450032 140217333074704 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8906] ppid=8848 vsize=10846964 memory=1913236 CPUtime=1.58 cores=0,2,4,6
/proc/8851/task/8906/stat : 8906 (java) S 8848 8851 5271 0 -1 1077944384 22014 13307 0 0 132 18 5 3 20 0 15 0 405720019 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216902462352 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8907] ppid=8848 vsize=10846964 memory=1913240 CPUtime=1.59 cores=0,2,4,6
/proc/8851/task/8907/stat : 8907 (java) S 8848 8851 5271 0 -1 1077944384 21705 13307 0 0 134 17 5 3 20 0 15 0 405720019 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216901409808 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8908] ppid=8848 vsize=10846964 memory=196 CPUtime=1.58 cores=0,2,4,6
/proc/8851/task/8908/stat : 8908 (java) S 8848 8851 5271 0 -1 1077944384 18864 13307 0 0 133 17 5 3 20 0 15 0 405720019 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216900357264 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8909] ppid=8848 vsize=10846964 memory=1913228 CPUtime=1.08 cores=0,2,4,6
/proc/8851/task/8909/stat : 8909 (java) S 8848 8851 5271 0 -1 1077944384 24367 13307 0 0 91 9 5 3 20 0 15 0 405720020 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216398493680 140217328843394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8910] ppid=8848 vsize=10846964 memory=1913240 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8910/stat : 8910 (java) S 8848 8851 5271 0 -1 1077944384 36 13307 0 0 0 0 5 3 20 0 15 0 405720021 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216320910368 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8911] ppid=8848 vsize=10846964 memory=1913240 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8911/stat : 8911 (java) S 8848 8851 5271 0 -1 1077944384 43 13307 0 0 0 0 5 3 20 0 15 0 405720021 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216119583744 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8912] ppid=8848 vsize=10846964 memory=1913240 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8912/stat : 8912 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140215879293136 140217328850843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8913] ppid=8848 vsize=10846964 memory=1913240 CPUtime=6.6 cores=0,2,4,6
/proc/8851/task/8913/stat : 8913 (java) S 8848 8851 5271 0 -1 1077944384 54483 13307 0 0 644 8 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216397441520 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8914] ppid=8848 vsize=10846964 memory=1913240 CPUtime=6.63 cores=0,2,4,6
/proc/8851/task/8914/stat : 8914 (java) S 8848 8851 5271 0 -1 1077944384 56853 13307 0 0 647 8 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216396388976 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8915] ppid=8848 vsize=10846964 memory=0 CPUtime=4.01 cores=0,2,4,6
/proc/8851/task/8915/stat : 8915 (java) S 8848 8851 5271 0 -1 1077944384 59150 13307 0 0 383 10 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216395336432 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8916] ppid=8848 vsize=10846964 memory=9056 CPUtime=0.08 cores=0,2,4,6
/proc/8851/task/8916/stat : 8916 (java) S 8848 8851 5271 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140215845735520 140217328842453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
[pid=8851/tid=8917] ppid=8848 vsize=10846964 memory=14056 CPUtime=1.54 cores=0,2,4,6
/proc/8851/task/8917/stat : 8917 (java) S 8848 8851 5271 0 -1 1077944384 2613 13307 0 0 76 70 5 3 20 0 15 0 405720024 11107291136 478310 33554432000 4194304 4196468 140732166450032 140216394283312 140217328843394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 31522816 140732166458103 140732166460613 140732166460613 140732166463439 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1913240 KiB
Child status: 143
Real time (s): 2497.14
CPU time (s): 2520.06
CPU user time (s): 2517.96
CPU system time (s): 2.09989
CPU usage (%): 100.918
Max. virtual memory (cumulated for all children) (KiB): 10847540
Max. memory (cumulated for all children) (KiB): 2087088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.96
system time used= 2.09989
maximum resident set size= 2087088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411183
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88964
involuntary context switches= 6098
# summary of solver processes directly reported to runsolver:
# pid: 8851
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.96
# total CPU system time (s): 2.09989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2219 second user time and 23.9441 second system time
The end