runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3190205-1307633284/watcher-3190205-1307633284 -o /tmp/evaluation-result-3190205-1307633284/solver-3190205-1307633284 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190205-1307633284.cnf
running on 2 cores: 0,2
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: 0.00 0.00 0.00 1/174 9001
/proc/meminfo: memFree=32314304/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=23028 CPUtime=0 cores=0,2
/proc/9001/stat : 9001 (java) R 8999 9001 8966 0 -1 4202496 949 0 0 0 0 0 0 0 22 0 1 0 874926200 23580672 692 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218900809136 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9001/statm: 5757 692 508 9 0 124 0
[startup+0.109527 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 9001
/proc/meminfo: memFree=32314304/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7636232 CPUtime=0.1 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 10944 0 1 0 9 1 0 0 22 0 18 0 874926200 7819501568 10640 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1909058 10640 2093 9 0 1899796 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636232
[startup+0.223917 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 9001
/proc/meminfo: memFree=32314304/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7636232 CPUtime=0.32 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 14123 0 1 0 30 2 0 0 22 0 18 0 874926200 7819501568 13610 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1909058 13612 2197 9 0 1899796 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 7636232
[startup+0.300503 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 9001
/proc/meminfo: memFree=32314304/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7636232 CPUtime=0.4 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 15661 0 1 0 38 2 0 0 22 0 18 0 874926200 7819501568 15148 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1909058 15149 2197 9 0 1899796 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7636232
[startup+0.727885 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 9001
/proc/meminfo: memFree=32314304/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7638624 CPUtime=1.12 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 22918 0 1 0 109 3 0 0 22 0 19 0 874926200 7821950976 21116 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1909656 21116 2219 9 0 1900394 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 7638624
[startup+1.50127 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 9020
/proc/meminfo: memFree=32236552/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7637856 CPUtime=2.07 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 23990 0 1 0 204 3 0 0 22 0 19 0 874926200 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1909464 21597 2225 9 0 1900202 0
[pid=9001/tid=9003] ppid=8999 vsize=7637856 CPUtime=1.47 cores=0,2
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8966 0 -1 4202560 17551 0 1 0 146 1 0 0 20 0 19 0 874926201 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 46912505710615 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 874926203 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9006] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9011] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 874926204 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 0 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8966 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 874926204 7821164544 21597 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9014] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9014/stat : 9014 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 874926204 7821164544 21598 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9015] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9015/stat : 9015 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7821164544 21598 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917554609 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=7637856 CPUtime=0.15 cores=0,2
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8966 0 -1 4202560 1118 0 0 0 15 0 0 0 18 0 19 0 874926206 7821164544 21598 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=7637856 CPUtime=0.42 cores=0,2
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8966 0 -1 4202560 4160 0 0 0 41 1 0 0 15 0 19 0 874926206 7821164544 21598 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9018] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9018/stat : 9018 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7821164544 21598 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9019] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9019/stat : 9019 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926206 7821164544 21598 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9020] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9020/stat : 9020 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926245 7821164544 21598 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 7637856
[startup+3.10093 s]
/proc/loadavg: 0.00 0.00 0.00 2/193 9020
/proc/meminfo: memFree=32234692/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7637856 CPUtime=3.67 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 24460 0 1 0 364 3 0 0 22 0 19 0 874926200 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1909464 22066 2225 9 0 1900202 0
[pid=9001/tid=9003] ppid=8999 vsize=7637856 CPUtime=3.07 cores=0,2
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8966 0 -1 4202560 18020 0 1 0 306 1 0 0 25 0 19 0 874926201 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 46912505616414 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 874926203 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9006] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9011] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8966 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 874926204 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 0 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8966 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 874926204 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9014] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9014/stat : 9014 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 874926204 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9015] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9015/stat : 9015 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917554609 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=7637856 CPUtime=0.15 cores=0,2
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8966 0 -1 4202560 1118 0 0 0 15 0 0 0 18 0 19 0 874926206 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=7637856 CPUtime=0.42 cores=0,2
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8966 0 -1 4202560 4160 0 0 0 41 1 0 0 15 0 19 0 874926206 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9018] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9018/stat : 9018 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9019] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9019/stat : 9019 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926206 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9020] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9020/stat : 9020 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926245 7821164544 22066 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 7637856
[startup+6.3014 s]
/proc/loadavg: 0.16 0.03 0.01 2/193 9020
/proc/meminfo: memFree=32231012/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7637856 CPUtime=6.87 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 25411 0 1 0 684 3 0 0 22 0 19 0 874926200 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1909464 23005 2225 9 0 1900202 0
[pid=9001/tid=9003] ppid=8999 vsize=7637856 CPUtime=6.27 cores=0,2
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8966 0 -1 4202560 18971 0 1 0 626 1 0 0 25 0 19 0 874926201 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 46912505642486 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 874926203 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9006] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9011] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926203 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8966 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 874926204 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 0 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8966 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 874926204 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9014] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9014/stat : 9014 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 874926204 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9015] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9015/stat : 9015 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917554609 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=7637856 CPUtime=0.15 cores=0,2
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8966 0 -1 4202560 1118 0 0 0 15 0 0 0 18 0 19 0 874926206 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=7637856 CPUtime=0.42 cores=0,2
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8966 0 -1 4202560 4160 0 0 0 41 1 0 0 15 0 19 0 874926206 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9018] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9018/stat : 9018 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9019] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9019/stat : 9019 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874926206 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9020] ppid=8999 vsize=7637856 CPUtime=0 cores=0,2
/proc/9001/task/9020/stat : 9020 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926245 7821164544 23005 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 7637856
[startup+12.7013 s]
################
# More data... #
################
[pid=9001/tid=9009] ppid=8999 vsize=7646932 CPUtime=0.13 cores=0,2
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8966 0 -1 4202560 2721 0 0 0 13 0 0 0 16 0 19 0 874926203 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=7646932 CPUtime=0.12 cores=0,2
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8966 0 -1 4202560 1276 0 0 0 12 0 0 0 15 0 19 0 874926203 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9011] ppid=8999 vsize=7646932 CPUtime=0.18 cores=0,2
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8966 0 -1 4202560 4362 0 0 0 18 0 0 0 15 0 19 0 874926203 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=7646932 CPUtime=5.59 cores=0,2
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8966 0 -1 4202560 12581 0 0 0 558 1 0 0 15 0 19 0 874926204 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 0 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8966 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 874926204 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9014] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9014/stat : 9014 (java) S 8999 9001 8966 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 874926204 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9015] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9015/stat : 9015 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917554609 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=7646932 CPUtime=0.35 cores=0,2
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8966 0 -1 4202560 8484 0 0 0 35 0 0 0 15 0 19 0 874926206 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=7646932 CPUtime=0.45 cores=0,2
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8966 0 -1 4202560 4172 0 0 0 44 1 0 0 15 0 19 0 874926206 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9018] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9018/stat : 9018 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9019] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9019/stat : 9019 (java) S 8999 9001 8966 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 874926206 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9020] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9020/stat : 9020 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926245 7830458368 85358 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.79
Current children cumulated vsize (KiB) 7646932
[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 0.70 2/190 9051
/proc/meminfo: memFree=31951616/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7646932 CPUtime=1183.82 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 100240 0 1 0 118365 17 0 0 22 0 19 0 874926200 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1911733 92342 2253 9 0 1902471 0
[pid=9001/tid=9003] ppid=8999 vsize=7646932 CPUtime=1175.83 cores=0,2
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8966 0 -1 4202560 36938 0 1 0 117575 8 0 0 25 0 19 0 874926201 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 46912505764097 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=7646932 CPUtime=0.17 cores=0,2
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8966 0 -1 4202560 6956 0 0 0 17 0 0 0 15 0 19 0 874926203 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=7646932 CPUtime=0.27 cores=0,2
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8966 0 -1 4202560 9937 0 0 0 27 0 0 0 15 0 19 0 874926203 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9006] ppid=8999 vsize=7646932 CPUtime=0.16 cores=0,2
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8966 0 -1 4202560 5802 0 0 0 16 0 0 0 16 0 19 0 874926203 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=7646932 CPUtime=0.11 cores=0,2
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8966 0 -1 4202560 826 0 0 0 11 0 0 0 15 0 19 0 874926203 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=7646932 CPUtime=0.18 cores=0,2
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8966 0 -1 4202560 4741 0 0 0 18 0 0 0 16 0 19 0 874926203 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=7646932 CPUtime=0.13 cores=0,2
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8966 0 -1 4202560 2721 0 0 0 13 0 0 0 15 0 19 0 874926203 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=7646932 CPUtime=0.12 cores=0,2
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8966 0 -1 4202560 1276 0 0 0 12 0 0 0 15 0 19 0 874926203 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9011] ppid=8999 vsize=7646932 CPUtime=0.18 cores=0,2
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8966 0 -1 4202560 4362 0 0 0 18 0 0 0 15 0 19 0 874926203 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=7646932 CPUtime=5.72 cores=0,2
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8966 0 -1 4202560 12805 0 0 0 571 1 0 0 15 0 19 0 874926204 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 0 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8966 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 874926204 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9014] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9014/stat : 9014 (java) S 8999 9001 8966 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 874926204 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9015] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9015/stat : 9015 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917554609 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=7646932 CPUtime=0.35 cores=0,2
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8966 0 -1 4202560 8484 0 0 0 35 0 0 0 15 0 19 0 874926206 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=7646932 CPUtime=0.45 cores=0,2
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8966 0 -1 4202560 4172 0 0 0 44 1 0 0 15 0 19 0 874926206 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9018] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9018/stat : 9018 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9019] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9019/stat : 9019 (java) S 8999 9001 8966 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 874926206 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9020] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9020/stat : 9020 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926245 7830458368 92342 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.82
Current children cumulated vsize (KiB) 7646932
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.72 2/190 9053
/proc/meminfo: memFree=31951076/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7646932 CPUtime=1243.83 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 100248 0 1 0 124366 17 0 0 22 0 19 0 874926200 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1911733 92343 2253 9 0 1902471 0
[pid=9001/tid=9003] ppid=8999 vsize=7646932 CPUtime=1235.63 cores=0,2
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8966 0 -1 4202560 36939 0 1 0 123555 8 0 0 25 0 19 0 874926201 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 46912505642194 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=7646932 CPUtime=0.17 cores=0,2
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8966 0 -1 4202560 6956 0 0 0 17 0 0 0 15 0 19 0 874926203 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=7646932 CPUtime=0.27 cores=0,2
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8966 0 -1 4202560 9937 0 0 0 27 0 0 0 15 0 19 0 874926203 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9006] ppid=8999 vsize=7646932 CPUtime=0.18 cores=0,2
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8966 0 -1 4202560 5803 0 0 0 18 0 0 0 16 0 19 0 874926203 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=7646932 CPUtime=0.11 cores=0,2
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8966 0 -1 4202560 826 0 0 0 11 0 0 0 15 0 19 0 874926203 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=7646932 CPUtime=0.18 cores=0,2
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8966 0 -1 4202560 4741 0 0 0 18 0 0 0 15 0 19 0 874926203 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=7646932 CPUtime=0.13 cores=0,2
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8966 0 -1 4202560 2721 0 0 0 13 0 0 0 15 0 19 0 874926203 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=7646932 CPUtime=0.12 cores=0,2
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8966 0 -1 4202560 1276 0 0 0 12 0 0 0 15 0 19 0 874926203 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9011] ppid=8999 vsize=7646932 CPUtime=0.19 cores=0,2
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8966 0 -1 4202560 4362 0 0 0 19 0 0 0 16 0 19 0 874926203 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=7646932 CPUtime=5.91 cores=0,2
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8966 0 -1 4202560 12807 0 0 0 590 1 0 0 15 0 19 0 874926204 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 0 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8966 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 874926204 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9014] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9014/stat : 9014 (java) S 8999 9001 8966 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 874926204 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9015] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9015/stat : 9015 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917554609 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=7646932 CPUtime=0.35 cores=0,2
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8966 0 -1 4202560 8484 0 0 0 35 0 0 0 15 0 19 0 874926206 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=7646932 CPUtime=0.45 cores=0,2
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8966 0 -1 4202560 4172 0 0 0 44 1 0 0 15 0 19 0 874926206 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9018] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9018/stat : 9018 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9019] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9019/stat : 9019 (java) S 8999 9001 8966 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 874926206 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9020] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9020/stat : 9020 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926245 7830458368 92343 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.83
Current children cumulated vsize (KiB) 7646932
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.00 1.00 0.74 2/190 9054
/proc/meminfo: memFree=31950664/32951124 swapFree=67053156/67111528
[pid=9001] ppid=8999 vsize=7646932 CPUtime=1301.56 cores=0,2
/proc/9001/stat : 9001 (java) S 8999 9001 8966 0 -1 4202496 100321 0 1 0 130139 17 0 0 22 0 19 0 874926200 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9001/statm: 1911733 92409 2253 9 0 1902471 0
[pid=9001/tid=9003] ppid=8999 vsize=7646932 CPUtime=1293.18 cores=0,2
/proc/9001/task/9003/stat : 9003 (java) R 8999 9001 8966 0 -1 4202560 36940 0 1 0 129310 8 0 0 25 0 19 0 874926201 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 46912505642455 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9001/tid=9004] ppid=8999 vsize=7646932 CPUtime=0.17 cores=0,2
/proc/9001/task/9004/stat : 9004 (java) S 8999 9001 8966 0 -1 4202560 6956 0 0 0 17 0 0 0 15 0 19 0 874926203 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9005] ppid=8999 vsize=7646932 CPUtime=0.27 cores=0,2
/proc/9001/task/9005/stat : 9005 (java) S 8999 9001 8966 0 -1 4202560 9937 0 0 0 27 0 0 0 15 0 19 0 874926203 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9006] ppid=8999 vsize=7646932 CPUtime=0.2 cores=0,2
/proc/9001/task/9006/stat : 9006 (java) S 8999 9001 8966 0 -1 4202560 5826 0 0 0 20 0 0 0 16 0 19 0 874926203 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9007] ppid=8999 vsize=7646932 CPUtime=0.11 cores=0,2
/proc/9001/task/9007/stat : 9007 (java) S 8999 9001 8966 0 -1 4202560 826 0 0 0 11 0 0 0 15 0 19 0 874926203 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9008] ppid=8999 vsize=7646932 CPUtime=0.18 cores=0,2
/proc/9001/task/9008/stat : 9008 (java) S 8999 9001 8966 0 -1 4202560 4741 0 0 0 18 0 0 0 15 0 19 0 874926203 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9009] ppid=8999 vsize=7646932 CPUtime=0.15 cores=0,2
/proc/9001/task/9009/stat : 9009 (java) S 8999 9001 8966 0 -1 4202560 2764 0 0 0 15 0 0 0 16 0 19 0 874926203 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9010] ppid=8999 vsize=7646932 CPUtime=0.12 cores=0,2
/proc/9001/task/9010/stat : 9010 (java) S 8999 9001 8966 0 -1 4202560 1276 0 0 0 12 0 0 0 15 0 19 0 874926203 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9011] ppid=8999 vsize=7646932 CPUtime=0.19 cores=0,2
/proc/9001/task/9011/stat : 9011 (java) S 8999 9001 8966 0 -1 4202560 4362 0 0 0 19 0 0 0 15 0 19 0 874926203 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9012] ppid=8999 vsize=7646932 CPUtime=6.05 cores=0,2
/proc/9001/task/9012/stat : 9012 (java) S 8999 9001 8966 0 -1 4202560 12809 0 0 0 604 1 0 0 15 0 19 0 874926204 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 0 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
[pid=9001/tid=9013] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9013/stat : 9013 (java) S 8999 9001 8966 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 874926204 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9014] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9014/stat : 9014 (java) S 8999 9001 8966 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 874926204 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9015] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9015/stat : 9015 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917554609 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9016] ppid=8999 vsize=7646932 CPUtime=0.35 cores=0,2
/proc/9001/task/9016/stat : 9016 (java) S 8999 9001 8966 0 -1 4202560 8484 0 0 0 35 0 0 0 15 0 19 0 874926206 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9017] ppid=8999 vsize=7646932 CPUtime=0.45 cores=0,2
/proc/9001/task/9017/stat : 9017 (java) S 8999 9001 8966 0 -1 4202560 4172 0 0 0 44 1 0 0 15 0 19 0 874926206 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9018] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9018/stat : 9018 (java) S 8999 9001 8966 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874926206 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917546905 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9019] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9019/stat : 9019 (java) S 8999 9001 8966 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 874926206 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 2 0 0 0
[pid=9001/tid=9020] ppid=8999 vsize=7646932 CPUtime=0 cores=0,2
/proc/9001/task/9020/stat : 9020 (java) S 8999 9001 8966 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874926245 7830458368 92409 33554432000 1073741824 1073778376 140736444863360 18446744073709551615 218917547520 0 4 0 16800975 18446604453919402048 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1301.56
Current children cumulated vsize (KiB) 7646932
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.06
CPU time (s): 1301.66
CPU user time (s): 1301.47
CPU system time (s): 0.19197
CPU usage (%): 100.123
Max. virtual memory (cumulated for all children) (KiB): 7662588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.47
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100354
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= 27878
involuntary context switches= 5401
runsolver used 2.39064 second user time and 4.71528 second system time
The end