runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3291007-1303790417/watcher-3291007-1303790417 -o /tmp/evaluation-result-3291007-1303790417/solver-3291007-1303790417 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291007-1303790417.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.88 4.00 3.94 4/243 26789
/proc/meminfo: memFree=14725976/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=35840 CPUtime=0 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 1312 0 0 0 0 0 0 0 24 0 2 0 490641773 36700160 1019 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 8947 1017 783 9 0 386 0
[pid=26789/tid=26790] ppid=26787 vsize=35788 CPUtime=0 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 208 0 0 0 0 0 0 0 25 0 2 0 490641774 36646912 1024 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248089756855 0 0 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.101074 s]
/proc/loadavg: 3.88 4.00 3.94 4/243 26789
/proc/meminfo: memFree=14725976/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7636052 CPUtime=0.1 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 12475 0 1 0 9 1 0 0 24 0 18 0 490641773 7819317248 12171 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1909013 12171 2093 9 0 1899751 0
[pid=26789/tid=26790] ppid=26787 vsize=7636052 CPUtime=0.08 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 10755 0 1 0 7 1 0 0 25 0 18 0 490641774 7819317248 12171 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 47347916265066 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636052
[startup+0.201059 s]
/proc/loadavg: 3.88 4.00 3.94 4/243 26789
/proc/meminfo: memFree=14725976/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7638472 CPUtime=0.29 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 13631 0 1 0 28 1 0 0 24 0 18 0 490641773 7821795328 13268 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1909618 13268 2196 9 0 1900356 0
[pid=26789/tid=26790] ppid=26787 vsize=7638472 CPUtime=0.18 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 11174 0 1 0 17 1 0 0 25 0 18 0 490641774 7821795328 13268 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 46912505493844 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7638472
[startup+0.301099 s]
/proc/loadavg: 3.88 4.00 3.94 4/243 26789
/proc/meminfo: memFree=14725976/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7640640 CPUtime=0.47 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 15251 0 1 0 45 2 0 0 24 0 18 0 490641773 7824015360 14274 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1910160 14275 2203 9 0 1900898 0
[pid=26789/tid=26790] ppid=26787 vsize=7640640 CPUtime=0.28 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 11632 0 1 0 27 1 0 0 25 0 18 0 490641774 7824015360 14275 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101524939 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 7640640
[startup+0.700968 s]
/proc/loadavg: 3.88 4.00 3.94 4/243 26789
/proc/meminfo: memFree=14725976/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7640640 CPUtime=0.89 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 20993 0 1 0 86 3 0 0 24 0 18 0 490641773 7824015360 20016 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1910160 20017 2203 9 0 1900898 0
[pid=26789/tid=26790] ppid=26787 vsize=7640640 CPUtime=0.68 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 17361 0 1 0 66 2 0 0 25 0 18 0 490641774 7824015360 20017 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 46912505556163 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 7640640
[startup+2.58863 s]
/proc/loadavg: 3.88 4.00 3.94 4/243 26789
/proc/meminfo: memFree=14725976/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7640640 CPUtime=2.77 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 51097 0 1 0 270 7 0 0 24 0 18 0 490641773 7824015360 50119 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1910160 50120 2205 9 0 1900898 0
[pid=26789/tid=26790] ppid=26787 vsize=7640640 CPUtime=2.58 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 47462 0 1 0 251 7 0 0 25 0 18 0 490641774 7824015360 50120 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 46912505556163 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 7640640
[startup+3.10154 s]
/proc/loadavg: 3.88 4.00 3.94 5/261 26807
/proc/meminfo: memFree=14520132/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7640640 CPUtime=3.29 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 58650 0 1 0 320 9 0 0 24 0 18 0 490641773 7824015360 57672 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1910160 57673 2205 9 0 1900898 0
[pid=26789/tid=26790] ppid=26787 vsize=7640640 CPUtime=3.08 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 55015 0 1 0 300 8 0 0 25 0 18 0 490641774 7824015360 57673 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101524939 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26789/tid=26792] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26792/stat : 26792 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 490641775 7824015360 57673 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26793] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26793/stat : 26793 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 490641775 7824015360 57673 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26794] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26794/stat : 26794 (java) S 26787 26789 26130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 490641775 7824015360 57674 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26795] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26795/stat : 26795 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 490641775 7824015360 57674 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26796] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26796/stat : 26796 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 490641775 7824015360 57674 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26797] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26797/stat : 26797 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 490641775 7824015360 57674 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26798] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26798/stat : 26798 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 490641775 7824015360 57675 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26799] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26799/stat : 26799 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 490641775 7824015360 57675 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26800] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26800/stat : 26800 (java) S 26787 26789 26130 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 490641776 7824015360 57675 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 0 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26801] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26801/stat : 26801 (java) S 26787 26789 26130 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 490641777 7824015360 57676 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26802] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26802/stat : 26802 (java) S 26787 26789 26130 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 490641777 7824015360 57676 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26803] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26803/stat : 26803 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490641779 7824015360 57676 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101521841 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26804] ppid=26787 vsize=7640640 CPUtime=0.03 cores=1,3
/proc/26789/task/26804/stat : 26804 (java) S 26787 26789 26130 0 -1 4202560 328 0 0 0 3 0 0 0 22 0 18 0 490641779 7824015360 57676 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26805] ppid=26787 vsize=7640640 CPUtime=0.15 cores=1,3
/proc/26789/task/26805/stat : 26805 (java) S 26787 26789 26130 0 -1 4202560 2153 0 0 0 15 0 0 0 23 0 18 0 490641779 7824015360 57677 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26806] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26806/stat : 26806 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490641779 7824015360 57677 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26807] ppid=26787 vsize=7640640 CPUtime=0 cores=1,3
/proc/26789/task/26807/stat : 26807 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 490641779 7824015360 57677 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 7640640
[startup+6.30098 s]
/proc/loadavg: 3.89 4.00 3.94 5/262 26808
/proc/meminfo: memFree=14429924/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7642996 CPUtime=6.94 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 76940 0 1 0 683 11 0 0 24 0 19 0 490641773 7826427904 75957 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1910749 75957 2222 9 0 1901487 0
[pid=26789/tid=26790] ppid=26787 vsize=7642996 CPUtime=6.27 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 72866 0 1 0 616 11 0 0 25 0 19 0 490641774 7826427904 75960 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26789/tid=26792] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26792/stat : 26792 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 490641775 7826427904 75961 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26793] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26793/stat : 26793 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490641775 7826427904 75961 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26794] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26794/stat : 26794 (java) S 26787 26789 26130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 490641775 7826427904 75962 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26795] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26795/stat : 26795 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490641775 7826427904 75962 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26796] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26796/stat : 26796 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490641775 7826427904 75962 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26797] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26797/stat : 26797 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 490641775 7826427904 75962 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26798] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26798/stat : 26798 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490641775 7826427904 75962 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26799] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26799/stat : 26799 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 490641775 7826427904 75963 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26800] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26800/stat : 26800 (java) S 26787 26789 26130 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 490641776 7826427904 75963 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 0 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26801] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26801/stat : 26801 (java) S 26787 26789 26130 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 490641777 7826427904 75963 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26802] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26802/stat : 26802 (java) S 26787 26789 26130 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 490641777 7826427904 75963 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26803] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26803/stat : 26803 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 75963 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101521841 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26804] ppid=26787 vsize=7642996 CPUtime=0.28 cores=1,3
/proc/26789/task/26804/stat : 26804 (java) S 26787 26789 26130 0 -1 4202560 631 0 0 0 28 0 0 0 16 0 19 0 490641779 7826427904 75963 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26805] ppid=26787 vsize=7642996 CPUtime=0.38 cores=1,3
/proc/26789/task/26805/stat : 26805 (java) S 26787 26789 26130 0 -1 4202560 2283 0 0 0 38 0 0 0 15 0 19 0 490641779 7826427904 75964 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26806] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26806/stat : 26806 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 75964 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26807] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26807/stat : 26807 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490641779 7826427904 75964 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26808] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26808/stat : 26808 (java) S 26787 26789 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490642168 7826427904 75964 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 7642996
[startup+12.7008 s]
/proc/loadavg: 3.90 4.00 3.94 5/262 26808
/proc/meminfo: memFree=13924992/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7642996 CPUtime=13.72 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 202651 0 1 0 1347 25 0 0 24 0 19 0 490641773 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1910749 201590 2251 9 0 1901487 0
[pid=26789/tid=26790] ppid=26787 vsize=7642996 CPUtime=11.48 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 76329 0 1 0 1137 11 0 0 22 0 19 0 490641774 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 46912505643623 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26789/tid=26792] ppid=26787 vsize=7642996 CPUtime=0.3 cores=1,3
/proc/26789/task/26792/stat : 26792 (java) S 26787 26789 26130 0 -1 4202560 21502 0 0 0 28 2 0 0 18 0 19 0 490641775 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26793] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26793/stat : 26793 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490641775 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26794] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26794/stat : 26794 (java) S 26787 26789 26130 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 490641775 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26795] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26795/stat : 26795 (java) S 26787 26789 26130 0 -1 4202560 237 0 0 0 0 0 0 0 17 0 19 0 490641775 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26796] ppid=26787 vsize=7642996 CPUtime=0.09 cores=1,3
/proc/26789/task/26796/stat : 26796 (java) S 26787 26789 26130 0 -1 4202560 12003 0 0 0 8 1 0 0 18 0 19 0 490641775 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26797] ppid=26787 vsize=7642996 CPUtime=0.19 cores=1,3
/proc/26789/task/26797/stat : 26797 (java) S 26787 26789 26130 0 -1 4202560 23224 0 0 0 17 2 0 0 18 0 19 0 490641775 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26798] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26798/stat : 26798 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490641775 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26799] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26799/stat : 26799 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490641775 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26800] ppid=26787 vsize=7642996 CPUtime=0.85 cores=1,3
/proc/26789/task/26800/stat : 26800 (java) S 26787 26789 26130 0 -1 4202560 65271 0 0 0 79 6 0 0 16 0 19 0 490641776 7826427904 201590 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 0 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26801] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
################
# More data... #
################
[pid=26789/tid=26797] ppid=26787 vsize=7642996 CPUtime=0.37 cores=1,3
/proc/26789/task/26797/stat : 26797 (java) S 26787 26789 26130 0 -1 4202560 23235 0 0 0 35 2 0 0 16 0 19 0 490641775 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26798] ppid=26787 vsize=7642996 CPUtime=0.11 cores=1,3
/proc/26789/task/26798/stat : 26798 (java) S 26787 26789 26130 0 -1 4202560 6 0 0 0 11 0 0 0 15 0 19 0 490641775 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26799] ppid=26787 vsize=7642996 CPUtime=0.16 cores=1,3
/proc/26789/task/26799/stat : 26799 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 16 0 0 0 16 0 19 0 490641775 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26800] ppid=26787 vsize=7642996 CPUtime=25.68 cores=1,3
/proc/26789/task/26800/stat : 26800 (java) S 26787 26789 26130 0 -1 4202560 71487 0 0 0 2561 7 0 0 15 0 19 0 490641776 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 0 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26801] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26801/stat : 26801 (java) S 26787 26789 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490641777 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26802] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26802/stat : 26802 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490641777 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26803] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26803/stat : 26803 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101521841 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26804] ppid=26787 vsize=7642996 CPUtime=0.36 cores=1,3
/proc/26789/task/26804/stat : 26804 (java) S 26787 26789 26130 0 -1 4202560 649 0 0 0 36 0 0 0 15 0 19 0 490641779 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26805] ppid=26787 vsize=7642996 CPUtime=0.48 cores=1,3
/proc/26789/task/26805/stat : 26805 (java) S 26787 26789 26130 0 -1 4202560 2288 0 0 0 48 0 0 0 15 0 19 0 490641779 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26806] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26806/stat : 26806 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26807] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26807/stat : 26807 (java) S 26787 26789 26130 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 490641779 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26808] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26808/stat : 26808 (java) S 26787 26789 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490642168 7826427904 207854 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.99
Current children cumulated vsize (KiB) 7642996
[startup+1182.3 s]
/proc/loadavg: 3.14 3.67 3.86 4/238 26965
/proc/meminfo: memFree=13082904/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7642996 CPUtime=1184.02 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 209123 0 1 0 118376 26 0 0 24 0 19 0 490641773 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1910749 207885 2253 9 0 1901487 0
[pid=26789/tid=26790] ppid=26787 vsize=7642996 CPUtime=1154.12 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 76378 0 1 0 115401 11 0 0 21 0 19 0 490641774 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 46912505550740 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26789/tid=26792] ppid=26787 vsize=7642996 CPUtime=0.44 cores=1,3
/proc/26789/task/26792/stat : 26792 (java) S 26787 26789 26130 0 -1 4202560 21511 0 0 0 42 2 0 0 16 0 19 0 490641775 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26793] ppid=26787 vsize=7642996 CPUtime=0.24 cores=1,3
/proc/26789/task/26793/stat : 26793 (java) S 26787 26789 26130 0 -1 4202560 35 0 0 0 24 0 0 0 15 0 19 0 490641775 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26794] ppid=26787 vsize=7642996 CPUtime=0.19 cores=1,3
/proc/26789/task/26794/stat : 26794 (java) S 26787 26789 26130 0 -1 4202560 21 0 0 0 19 0 0 0 15 0 19 0 490641775 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26795] ppid=26787 vsize=7642996 CPUtime=0.19 cores=1,3
/proc/26789/task/26795/stat : 26795 (java) S 26787 26789 26130 0 -1 4202560 246 0 0 0 19 0 0 0 15 0 19 0 490641775 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26796] ppid=26787 vsize=7642996 CPUtime=0.23 cores=1,3
/proc/26789/task/26796/stat : 26796 (java) S 26787 26789 26130 0 -1 4202560 12006 0 0 0 22 1 0 0 15 0 19 0 490641775 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26797] ppid=26787 vsize=7642996 CPUtime=0.37 cores=1,3
/proc/26789/task/26797/stat : 26797 (java) S 26787 26789 26130 0 -1 4202560 23235 0 0 0 35 2 0 0 15 0 19 0 490641775 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26798] ppid=26787 vsize=7642996 CPUtime=0.12 cores=1,3
/proc/26789/task/26798/stat : 26798 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 12 0 0 0 16 0 19 0 490641775 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26799] ppid=26787 vsize=7642996 CPUtime=0.16 cores=1,3
/proc/26789/task/26799/stat : 26799 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 16 0 0 0 15 0 19 0 490641775 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26800] ppid=26787 vsize=7642996 CPUtime=27.03 cores=1,3
/proc/26789/task/26800/stat : 26800 (java) S 26787 26789 26130 0 -1 4202560 71519 0 0 0 2696 7 0 0 16 0 19 0 490641776 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 0 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26801] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26801/stat : 26801 (java) S 26787 26789 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490641777 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26802] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26802/stat : 26802 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490641777 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26803] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26803/stat : 26803 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101521841 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26804] ppid=26787 vsize=7642996 CPUtime=0.36 cores=1,3
/proc/26789/task/26804/stat : 26804 (java) S 26787 26789 26130 0 -1 4202560 649 0 0 0 36 0 0 0 15 0 19 0 490641779 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26805] ppid=26787 vsize=7642996 CPUtime=0.48 cores=1,3
/proc/26789/task/26805/stat : 26805 (java) S 26787 26789 26130 0 -1 4202560 2288 0 0 0 48 0 0 0 15 0 19 0 490641779 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26806] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26806/stat : 26806 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26807] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26807/stat : 26807 (java) S 26787 26789 26130 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 490641779 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26808] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26808/stat : 26808 (java) S 26787 26789 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490642168 7826427904 207885 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1184.02
Current children cumulated vsize (KiB) 7642996
[startup+1242.3 s]
/proc/loadavg: 3.05 3.54 3.81 4/238 26967
/proc/meminfo: memFree=13080892/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7642996 CPUtime=1244.04 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 209337 0 1 0 124378 26 0 0 24 0 19 0 490641773 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1910749 208092 2253 9 0 1901487 0
[pid=26789/tid=26790] ppid=26787 vsize=7642996 CPUtime=1213.57 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 76379 0 1 0 121346 11 0 0 25 0 19 0 490641774 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 46912505731632 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26789/tid=26792] ppid=26787 vsize=7642996 CPUtime=0.44 cores=1,3
/proc/26789/task/26792/stat : 26792 (java) S 26787 26789 26130 0 -1 4202560 21511 0 0 0 42 2 0 0 15 0 19 0 490641775 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26793] ppid=26787 vsize=7642996 CPUtime=0.24 cores=1,3
/proc/26789/task/26793/stat : 26793 (java) S 26787 26789 26130 0 -1 4202560 35 0 0 0 24 0 0 0 15 0 19 0 490641775 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26794] ppid=26787 vsize=7642996 CPUtime=0.2 cores=1,3
/proc/26789/task/26794/stat : 26794 (java) S 26787 26789 26130 0 -1 4202560 21 0 0 0 20 0 0 0 16 0 19 0 490641775 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26795] ppid=26787 vsize=7642996 CPUtime=0.19 cores=1,3
/proc/26789/task/26795/stat : 26795 (java) S 26787 26789 26130 0 -1 4202560 246 0 0 0 19 0 0 0 16 0 19 0 490641775 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26796] ppid=26787 vsize=7642996 CPUtime=0.23 cores=1,3
/proc/26789/task/26796/stat : 26796 (java) S 26787 26789 26130 0 -1 4202560 12006 0 0 0 22 1 0 0 15 0 19 0 490641775 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26797] ppid=26787 vsize=7642996 CPUtime=0.37 cores=1,3
/proc/26789/task/26797/stat : 26797 (java) S 26787 26789 26130 0 -1 4202560 23235 0 0 0 35 2 0 0 15 0 19 0 490641775 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26798] ppid=26787 vsize=7642996 CPUtime=0.14 cores=1,3
/proc/26789/task/26798/stat : 26798 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 14 0 0 0 15 0 19 0 490641775 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26799] ppid=26787 vsize=7642996 CPUtime=0.16 cores=1,3
/proc/26789/task/26799/stat : 26799 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 16 0 0 0 15 0 19 0 490641775 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26800] ppid=26787 vsize=7642996 CPUtime=27.57 cores=1,3
/proc/26789/task/26800/stat : 26800 (java) S 26787 26789 26130 0 -1 4202560 71728 0 0 0 2750 7 0 0 15 0 19 0 490641776 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 0 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26801] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26801/stat : 26801 (java) S 26787 26789 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490641777 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26802] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26802/stat : 26802 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490641777 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26803] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26803/stat : 26803 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101521841 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26804] ppid=26787 vsize=7642996 CPUtime=0.36 cores=1,3
/proc/26789/task/26804/stat : 26804 (java) S 26787 26789 26130 0 -1 4202560 649 0 0 0 36 0 0 0 15 0 19 0 490641779 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26805] ppid=26787 vsize=7642996 CPUtime=0.48 cores=1,3
/proc/26789/task/26805/stat : 26805 (java) S 26787 26789 26130 0 -1 4202560 2288 0 0 0 48 0 0 0 15 0 19 0 490641779 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26806] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26806/stat : 26806 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26807] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26807/stat : 26807 (java) S 26787 26789 26130 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 490641779 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26808] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26808/stat : 26808 (java) S 26787 26789 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490642168 7826427904 208092 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1244.04
Current children cumulated vsize (KiB) 7642996
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.02 3.44 3.75 4/238 26968
/proc/meminfo: memFree=13078508/32950928 swapFree=67111528/67111528
[pid=26789] ppid=26787 vsize=7642996 CPUtime=1301.77 cores=1,3
/proc/26789/stat : 26789 (java) S 26787 26789 26130 0 -1 4202496 209773 0 1 0 130151 26 0 0 24 0 19 0 490641773 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26789/statm: 1910749 208521 2253 9 0 1901487 0
[pid=26789/tid=26790] ppid=26787 vsize=7642996 CPUtime=1270.7 cores=1,3
/proc/26789/task/26790/stat : 26790 (java) R 26787 26789 26130 0 -1 4202560 76380 0 1 0 127059 11 0 0 25 0 19 0 490641774 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 46912505561880 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26789/tid=26792] ppid=26787 vsize=7642996 CPUtime=0.44 cores=1,3
/proc/26789/task/26792/stat : 26792 (java) S 26787 26789 26130 0 -1 4202560 21511 0 0 0 42 2 0 0 15 0 19 0 490641775 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26793] ppid=26787 vsize=7642996 CPUtime=0.24 cores=1,3
/proc/26789/task/26793/stat : 26793 (java) S 26787 26789 26130 0 -1 4202560 35 0 0 0 24 0 0 0 15 0 19 0 490641775 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26794] ppid=26787 vsize=7642996 CPUtime=0.2 cores=1,3
/proc/26789/task/26794/stat : 26794 (java) S 26787 26789 26130 0 -1 4202560 21 0 0 0 20 0 0 0 15 0 19 0 490641775 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26795] ppid=26787 vsize=7642996 CPUtime=0.22 cores=1,3
/proc/26789/task/26795/stat : 26795 (java) S 26787 26789 26130 0 -1 4202560 334 0 0 0 22 0 0 0 16 0 19 0 490641775 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26796] ppid=26787 vsize=7642996 CPUtime=0.23 cores=1,3
/proc/26789/task/26796/stat : 26796 (java) S 26787 26789 26130 0 -1 4202560 12006 0 0 0 22 1 0 0 15 0 19 0 490641775 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26797] ppid=26787 vsize=7642996 CPUtime=0.39 cores=1,3
/proc/26789/task/26797/stat : 26797 (java) S 26787 26789 26130 0 -1 4202560 23235 0 0 0 37 2 0 0 16 0 19 0 490641775 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26798] ppid=26787 vsize=7642996 CPUtime=0.14 cores=1,3
/proc/26789/task/26798/stat : 26798 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 14 0 0 0 15 0 19 0 490641775 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26799] ppid=26787 vsize=7642996 CPUtime=0.16 cores=1,3
/proc/26789/task/26799/stat : 26799 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 16 0 0 0 15 0 19 0 490641775 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26800] ppid=26787 vsize=7642996 CPUtime=28.11 cores=1,3
/proc/26789/task/26800/stat : 26800 (java) S 26787 26789 26130 0 -1 4202560 72071 0 0 0 2804 7 0 0 15 0 19 0 490641776 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 0 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26801] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26801/stat : 26801 (java) S 26787 26789 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490641777 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26802] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26802/stat : 26802 (java) S 26787 26789 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490641777 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26803] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26803/stat : 26803 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101521841 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26804] ppid=26787 vsize=7642996 CPUtime=0.36 cores=1,3
/proc/26789/task/26804/stat : 26804 (java) S 26787 26789 26130 0 -1 4202560 649 0 0 0 36 0 0 0 15 0 19 0 490641779 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26805] ppid=26787 vsize=7642996 CPUtime=0.48 cores=1,3
/proc/26789/task/26805/stat : 26805 (java) S 26787 26789 26130 0 -1 4202560 2288 0 0 0 48 0 0 0 15 0 19 0 490641779 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26806] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26806/stat : 26806 (java) S 26787 26789 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490641779 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514137 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
[pid=26789/tid=26807] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26807/stat : 26807 (java) S 26787 26789 26130 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 490641779 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 3 0 0 0
[pid=26789/tid=26808] ppid=26787 vsize=7642996 CPUtime=0 cores=1,3
/proc/26789/task/26808/stat : 26808 (java) S 26787 26789 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490642168 7826427904 208521 33554432000 1073741824 1073778376 140734049744816 18446744073709551615 248101514752 0 4 0 16800975 18446604470073680064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 7642996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.08
CPU time (s): 1301.87
CPU user time (s): 1301.56
CPU system time (s): 0.308953
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 7642996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.56
system time used= 0.308953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210363
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27954
involuntary context switches= 4711
runsolver used 2.06868 second user time and 5.05223 second system time
The end