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-3291513-1303791400/watcher-3291513-1303791400 -o /tmp/evaluation-result-3291513-1303791400/solver-3291513-1303791400 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291513-1303791400.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.85 1.27 2.08 9/201 14096
/proc/meminfo: memFree=23694544/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=30580 CPUtime=0 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 1202 0 0 0 0 0 0 0 21 0 2 0 569370508 31313920 926 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 7645 936 711 9 0 383 0
[pid=14096/tid=14097] ppid=14094 vsize=30528 CPUtime=0 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 125 0 0 0 0 0 0 0 22 0 2 0 569370509 31260672 959 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 47194790463954 0 0 4096 0 0 0 0 -1 0 0 0 0
[startup+0.0688241 s]
/proc/loadavg: 0.85 1.27 2.08 9/201 14096
/proc/meminfo: memFree=23694544/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7569940 CPUtime=0.05 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 9357 0 1 0 5 0 0 0 21 0 18 0 569370508 7751618560 9052 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1892485 9052 1753 9 0 1883223 0
[pid=14096/tid=14097] ppid=14094 vsize=7569940 CPUtime=0.05 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 8181 0 1 0 5 0 0 0 25 0 18 0 569370509 7751618560 9052 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 47194796197744 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569940
[startup+0.104863 s]
/proc/loadavg: 0.85 1.27 2.08 9/201 14096
/proc/meminfo: memFree=23694544/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7635780 CPUtime=0.11 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 10706 0 1 0 10 1 0 0 21 0 18 0 569370508 7819038720 10401 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1908945 10402 2093 9 0 1899683 0
[pid=14096/tid=14097] ppid=14094 vsize=7635780 CPUtime=0.09 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 8979 0 1 0 8 1 0 0 18 0 18 0 569370509 7819038720 10402 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 47194792433288 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7635780
[startup+0.30077 s]
/proc/loadavg: 0.85 1.27 2.08 9/201 14096
/proc/meminfo: memFree=23694544/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7635940 CPUtime=0.48 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 15920 0 1 0 46 2 0 0 21 0 18 0 569370508 7819202560 14377 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1908985 14377 2197 9 0 1899723 0
[pid=14096/tid=14097] ppid=14094 vsize=7635940 CPUtime=0.28 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 11683 0 1 0 27 1 0 0 18 0 18 0 569370509 7819202560 14377 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 46912505585438 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7635940
[startup+0.700697 s]
/proc/loadavg: 0.85 1.27 2.08 9/201 14096
/proc/meminfo: memFree=23694544/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7638772 CPUtime=1.17 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 18860 0 1 0 114 3 0 0 21 0 19 0 569370508 7822102528 17069 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1909693 17069 2222 9 0 1900431 0
[pid=14096/tid=14097] ppid=14094 vsize=7638772 CPUtime=0.68 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 13880 0 1 0 67 1 0 0 19 0 19 0 569370509 7822102528 17069 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 47194791592855 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 7638772
[startup+1.50158 s]
/proc/loadavg: 0.85 1.27 2.08 9/220 14115
/proc/meminfo: memFree=23565248/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7637628 CPUtime=2.02 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 19047 0 1 0 199 3 0 0 21 0 19 0 569370508 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1909407 17006 2222 9 0 1900145 0
[pid=14096/tid=14097] ppid=14094 vsize=7637628 CPUtime=1.48 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 14055 0 1 0 147 1 0 0 20 0 19 0 569370509 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 46912505699599 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14099/stat : 14099 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 569370510 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14100] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14100/stat : 14100 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14101] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14101/stat : 14101 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14102] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14102/stat : 14102 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14103] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14103/stat : 14103 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14104] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14104/stat : 14104 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14105] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14105/stat : 14105 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14106] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14106/stat : 14106 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14107] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14107/stat : 14107 (java) S 14094 14096 12511 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 569370511 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14108] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14108/stat : 14108 (java) S 14094 14096 12511 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 569370511 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14109] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14109/stat : 14109 (java) S 14094 14096 12511 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 569370511 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14110] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14110/stat : 14110 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14111] ppid=14094 vsize=7637628 CPUtime=0.1 cores=0,2
/proc/14096/task/14111/stat : 14111 (java) S 14094 14096 12511 0 -1 4202560 798 0 0 0 10 0 0 0 18 0 19 0 569370514 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14112] ppid=14094 vsize=7637628 CPUtime=0.42 cores=0,2
/proc/14096/task/14112/stat : 14112 (java) S 14094 14096 12511 0 -1 4202560 3032 0 0 0 41 1 0 0 15 0 19 0 569370514 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14113] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14113/stat : 14113 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14114] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14114/stat : 14114 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370514 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14115] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14115/stat : 14115 (java) S 14094 14096 12511 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 569370552 7820931072 17006 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 7637628
[startup+3.10132 s]
/proc/loadavg: 0.85 1.27 2.08 5/240 14138
/proc/meminfo: memFree=23425344/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7637628 CPUtime=3.63 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 19177 0 1 0 360 3 0 0 21 0 19 0 569370508 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1909407 17135 2223 9 0 1900145 0
[pid=14096/tid=14097] ppid=14094 vsize=7637628 CPUtime=3.08 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 14181 0 1 0 307 1 0 0 25 0 19 0 569370509 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 46912505718327 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14099/stat : 14099 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 569370510 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14100] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14100/stat : 14100 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14101] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14101/stat : 14101 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14102] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14102/stat : 14102 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14103] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14103/stat : 14103 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14104] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14104/stat : 14104 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14105] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14105/stat : 14105 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14106] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14106/stat : 14106 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370510 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14107] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14107/stat : 14107 (java) S 14094 14096 12511 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 569370511 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14108] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14108/stat : 14108 (java) S 14094 14096 12511 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 569370511 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14109] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14109/stat : 14109 (java) S 14094 14096 12511 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 569370511 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14110] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14110/stat : 14110 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14111] ppid=14094 vsize=7637628 CPUtime=0.12 cores=0,2
/proc/14096/task/14111/stat : 14111 (java) S 14094 14096 12511 0 -1 4202560 801 0 0 0 12 0 0 0 15 0 19 0 569370514 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14112] ppid=14094 vsize=7637628 CPUtime=0.42 cores=0,2
/proc/14096/task/14112/stat : 14112 (java) S 14094 14096 12511 0 -1 4202560 3032 0 0 0 41 1 0 0 15 0 19 0 569370514 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14113] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14113/stat : 14113 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14114] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14114/stat : 14114 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370514 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14115] ppid=14094 vsize=7637628 CPUtime=0 cores=0,2
/proc/14096/task/14115/stat : 14115 (java) S 14094 14096 12511 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 569370552 7820931072 17135 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 7637628
[startup+6.30069 s]
/proc/loadavg: 1.42 1.38 2.11 5/261 14162
/proc/meminfo: memFree=22967676/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7638588 CPUtime=6.9 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 25391 0 1 0 686 4 0 0 21 0 19 0 569370508 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1909647 23325 2246 9 0 1900385 0
[pid=14096/tid=14097] ppid=14094 vsize=7638588 CPUtime=6.16 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) S 14094 14096 12511 0 -1 4202560 14299 0 1 0 615 1 0 0 25 0 19 0 569370509 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=7638588 CPUtime=0.03 cores=0,2
/proc/14096/task/14099/stat : 14099 (java) S 14094 14096 12511 0 -1 4202560 2281 0 0 0 3 0 0 0 18 0 19 0 569370510 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14100] ppid=14094 vsize=7638588 CPUtime=0 cores=0,2
/proc/14096/task/14100/stat : 14100 (java) S 14094 14096 12511 0 -1 4202560 1057 0 0 0 0 0 0 0 17 0 19 0 569370510 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14101] ppid=14094 vsize=7638588 CPUtime=0.02 cores=0,2
/proc/14096/task/14101/stat : 14101 (java) S 14094 14096 12511 0 -1 4202560 1396 0 0 0 2 0 0 0 17 0 19 0 569370510 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14102] ppid=14094 vsize=7638588 CPUtime=0 cores=0,2
/proc/14096/task/14102/stat : 14102 (java) S 14094 14096 12511 0 -1 4202560 125 0 0 0 0 0 0 0 17 0 19 0 569370510 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14103] ppid=14094 vsize=7638588 CPUtime=0 cores=0,2
/proc/14096/task/14103/stat : 14103 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 569370510 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14104] ppid=14094 vsize=7638588 CPUtime=0 cores=0,2
/proc/14096/task/14104/stat : 14104 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 569370510 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14105] ppid=14094 vsize=7638588 CPUtime=0 cores=0,2
/proc/14096/task/14105/stat : 14105 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 569370510 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14106] ppid=14094 vsize=7638588 CPUtime=0 cores=0,2
/proc/14096/task/14106/stat : 14106 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 569370510 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14107] ppid=14094 vsize=7638588 CPUtime=0.07 cores=0,2
/proc/14096/task/14107/stat : 14107 (java) R 14094 14096 12511 0 -1 4202560 1031 0 0 0 7 0 0 0 15 0 19 0 569370511 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 47194794815619 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=14096/tid=14108] ppid=14094 vsize=7638588 CPUtime=0 cores=0,2
/proc/14096/task/14108/stat : 14108 (java) S 14094 14096 12511 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 569370511 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14109] ppid=14094 vsize=7638588 CPUtime=0 cores=0,2
/proc/14096/task/14109/stat : 14109 (java) S 14094 14096 12511 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 569370511 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14110] ppid=14094 vsize=7638588 CPUtime=0 cores=0,2
/proc/14096/task/14110/stat : 14110 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14111] ppid=14094 vsize=7638588 CPUtime=0.15 cores=0,2
/proc/14096/task/14111/stat : 14111 (java) S 14094 14096 12511 0 -1 4202560 1016 0 0 0 15 0 0 0 16 0 19 0 569370514 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14112] ppid=14094 vsize=7638588 CPUtime=0.42 cores=0,2
/proc/14096/task/14112/stat : 14112 (java) S 14094 14096 12511 0 -1 4202560 3033 0 0 0 41 1 0 0 16 0 19 0 569370514 7821914112 23325 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=14096/tid=14104] ppid=14094 vsize=7656164 CPUtime=0.1 cores=0,2
/proc/14096/task/14104/stat : 14104 (java) S 14094 14096 12511 0 -1 4202560 1711 0 0 0 10 0 0 0 15 0 19 0 569370510 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14105] ppid=14094 vsize=7656164 CPUtime=0.05 cores=0,2
/proc/14096/task/14105/stat : 14105 (java) S 14094 14096 12511 0 -1 4202560 394 0 0 0 5 0 0 0 15 0 19 0 569370510 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14106] ppid=14094 vsize=7656164 CPUtime=0.11 cores=0,2
/proc/14096/task/14106/stat : 14106 (java) S 14094 14096 12511 0 -1 4202560 1758 0 0 0 11 0 0 0 15 0 19 0 569370510 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14107] ppid=14094 vsize=7656164 CPUtime=3.36 cores=0,2
/proc/14096/task/14107/stat : 14107 (java) S 14094 14096 12511 0 -1 4202560 8735 0 0 0 335 1 0 0 15 0 19 0 569370511 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14108] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14108/stat : 14108 (java) S 14094 14096 12511 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 569370511 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14109] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14109/stat : 14109 (java) S 14094 14096 12511 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 569370511 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14110] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14110/stat : 14110 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14111] ppid=14094 vsize=7656164 CPUtime=0.68 cores=0,2
/proc/14096/task/14111/stat : 14111 (java) S 14094 14096 12511 0 -1 4202560 7630 0 0 0 67 1 0 0 16 0 19 0 569370514 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14112] ppid=14094 vsize=7656164 CPUtime=0.49 cores=0,2
/proc/14096/task/14112/stat : 14112 (java) S 14094 14096 12511 0 -1 4202560 3049 0 0 0 48 1 0 0 15 0 19 0 569370514 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14113] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14113/stat : 14113 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14114] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14114/stat : 14114 (java) S 14094 14096 12511 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 569370514 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14115] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14115/stat : 14115 (java) S 14094 14096 12511 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 569370552 7839911936 47127 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.78
Current children cumulated vsize (KiB) 7656164
[startup+1182.3 s]
/proc/loadavg: 4.00 3.94 3.44 5/262 14194
/proc/meminfo: memFree=21371360/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7656164 CPUtime=1183.79 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 51817 0 1 0 118369 10 0 0 21 0 19 0 569370508 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1914041 47321 2253 9 0 1904779 0
[pid=14096/tid=14097] ppid=14094 vsize=7656164 CPUtime=1178.39 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 18147 0 1 0 117835 4 0 0 25 0 19 0 569370509 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 46912505661616 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=7656164 CPUtime=0.12 cores=0,2
/proc/14096/task/14099/stat : 14099 (java) S 14094 14096 12511 0 -1 4202560 2598 0 0 0 12 0 0 0 15 0 19 0 569370510 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14100] ppid=14094 vsize=7656164 CPUtime=0.1 cores=0,2
/proc/14096/task/14100/stat : 14100 (java) S 14094 14096 12511 0 -1 4202560 2101 0 0 0 10 0 0 0 15 0 19 0 569370510 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14101] ppid=14094 vsize=7656164 CPUtime=0.1 cores=0,2
/proc/14096/task/14101/stat : 14101 (java) S 14094 14096 12511 0 -1 4202560 2768 0 0 0 10 0 0 0 16 0 19 0 569370510 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14102] ppid=14094 vsize=7656164 CPUtime=0.03 cores=0,2
/proc/14096/task/14102/stat : 14102 (java) S 14094 14096 12511 0 -1 4202560 222 0 0 0 3 0 0 0 15 0 19 0 569370510 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14103] ppid=14094 vsize=7656164 CPUtime=0.06 cores=0,2
/proc/14096/task/14103/stat : 14103 (java) S 14094 14096 12511 0 -1 4202560 1288 0 0 0 6 0 0 0 15 0 19 0 569370510 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14104] ppid=14094 vsize=7656164 CPUtime=0.1 cores=0,2
/proc/14096/task/14104/stat : 14104 (java) S 14094 14096 12511 0 -1 4202560 1711 0 0 0 10 0 0 0 15 0 19 0 569370510 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14105] ppid=14094 vsize=7656164 CPUtime=0.05 cores=0,2
/proc/14096/task/14105/stat : 14105 (java) S 14094 14096 12511 0 -1 4202560 394 0 0 0 5 0 0 0 15 0 19 0 569370510 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14106] ppid=14094 vsize=7656164 CPUtime=0.12 cores=0,2
/proc/14096/task/14106/stat : 14106 (java) S 14094 14096 12511 0 -1 4202560 1759 0 0 0 12 0 0 0 15 0 19 0 569370510 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14107] ppid=14094 vsize=7656164 CPUtime=3.46 cores=0,2
/proc/14096/task/14107/stat : 14107 (java) S 14094 14096 12511 0 -1 4202560 8930 0 0 0 345 1 0 0 15 0 19 0 569370511 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14108] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14108/stat : 14108 (java) S 14094 14096 12511 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 569370511 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14109] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14109/stat : 14109 (java) S 14094 14096 12511 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 569370511 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14110] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14110/stat : 14110 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14111] ppid=14094 vsize=7656164 CPUtime=0.68 cores=0,2
/proc/14096/task/14111/stat : 14111 (java) S 14094 14096 12511 0 -1 4202560 7630 0 0 0 67 1 0 0 16 0 19 0 569370514 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14112] ppid=14094 vsize=7656164 CPUtime=0.49 cores=0,2
/proc/14096/task/14112/stat : 14112 (java) S 14094 14096 12511 0 -1 4202560 3049 0 0 0 48 1 0 0 15 0 19 0 569370514 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14113] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14113/stat : 14113 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14114] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14114/stat : 14114 (java) S 14094 14096 12511 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 569370514 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14115] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14115/stat : 14115 (java) S 14094 14096 12511 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 569370552 7839911936 47321 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.79
Current children cumulated vsize (KiB) 7656164
[startup+1242.3 s]
/proc/loadavg: 4.14 4.00 3.49 5/262 14196
/proc/meminfo: memFree=21340304/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7656164 CPUtime=1243.82 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 59522 0 1 0 124369 13 0 0 21 0 19 0 569370508 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1914041 55019 2253 9 0 1904779 0
[pid=14096/tid=14097] ppid=14094 vsize=7656164 CPUtime=1238.23 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 22008 0 1 0 123817 6 0 0 25 0 19 0 569370509 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 46912505780674 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=7656164 CPUtime=0.13 cores=0,2
/proc/14096/task/14099/stat : 14099 (java) S 14094 14096 12511 0 -1 4202560 4788 0 0 0 13 0 0 0 15 0 19 0 569370510 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14100] ppid=14094 vsize=7656164 CPUtime=0.1 cores=0,2
/proc/14096/task/14100/stat : 14100 (java) S 14094 14096 12511 0 -1 4202560 2101 0 0 0 10 0 0 0 15 0 19 0 569370510 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14101] ppid=14094 vsize=7656164 CPUtime=0.12 cores=0,2
/proc/14096/task/14101/stat : 14101 (java) S 14094 14096 12511 0 -1 4202560 4416 0 0 0 12 0 0 0 15 0 19 0 569370510 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14102] ppid=14094 vsize=7656164 CPUtime=0.03 cores=0,2
/proc/14096/task/14102/stat : 14102 (java) S 14094 14096 12511 0 -1 4202560 222 0 0 0 3 0 0 0 15 0 19 0 569370510 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14103] ppid=14094 vsize=7656164 CPUtime=0.06 cores=0,2
/proc/14096/task/14103/stat : 14103 (java) S 14094 14096 12511 0 -1 4202560 1288 0 0 0 6 0 0 0 15 0 19 0 569370510 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14104] ppid=14094 vsize=7656164 CPUtime=0.1 cores=0,2
/proc/14096/task/14104/stat : 14104 (java) S 14094 14096 12511 0 -1 4202560 1711 0 0 0 10 0 0 0 15 0 19 0 569370510 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14105] ppid=14094 vsize=7656164 CPUtime=0.05 cores=0,2
/proc/14096/task/14105/stat : 14105 (java) S 14094 14096 12511 0 -1 4202560 394 0 0 0 5 0 0 0 15 0 19 0 569370510 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14106] ppid=14094 vsize=7656164 CPUtime=0.12 cores=0,2
/proc/14096/task/14106/stat : 14106 (java) S 14094 14096 12511 0 -1 4202560 1759 0 0 0 12 0 0 0 15 0 19 0 569370510 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14107] ppid=14094 vsize=7656164 CPUtime=3.6 cores=0,2
/proc/14096/task/14107/stat : 14107 (java) S 14094 14096 12511 0 -1 4202560 8932 0 0 0 359 1 0 0 15 0 19 0 569370511 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14108] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14108/stat : 14108 (java) S 14094 14096 12511 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 569370511 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14109] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14109/stat : 14109 (java) S 14094 14096 12511 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 569370511 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14110] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14110/stat : 14110 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14111] ppid=14094 vsize=7656164 CPUtime=0.68 cores=0,2
/proc/14096/task/14111/stat : 14111 (java) S 14094 14096 12511 0 -1 4202560 7630 0 0 0 67 1 0 0 16 0 19 0 569370514 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14112] ppid=14094 vsize=7656164 CPUtime=0.49 cores=0,2
/proc/14096/task/14112/stat : 14112 (java) S 14094 14096 12511 0 -1 4202560 3049 0 0 0 48 1 0 0 15 0 19 0 569370514 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14113] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14113/stat : 14113 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14114] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14114/stat : 14114 (java) S 14094 14096 12511 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 569370514 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14115] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14115/stat : 14115 (java) S 14094 14096 12511 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 569370552 7839911936 55019 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.82
Current children cumulated vsize (KiB) 7656164
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.05 4.00 3.52 4/242 14200
/proc/meminfo: memFree=21409828/32951124 swapFree=67111348/67111528
[pid=14096] ppid=14094 vsize=7656164 CPUtime=1301.54 cores=0,2
/proc/14096/stat : 14096 (java) S 14094 14096 12511 0 -1 4202496 59986 0 1 0 130141 13 0 0 21 0 19 0 569370508 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14096/statm: 1914041 55476 2253 9 0 1904779 0
[pid=14096/tid=14097] ppid=14094 vsize=7656164 CPUtime=1295.82 cores=0,2
/proc/14096/task/14097/stat : 14097 (java) R 14094 14096 12511 0 -1 4202560 22009 0 1 0 129576 6 0 0 25 0 19 0 569370509 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 46912505718327 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14096/tid=14099] ppid=14094 vsize=7656164 CPUtime=0.13 cores=0,2
/proc/14096/task/14099/stat : 14099 (java) S 14094 14096 12511 0 -1 4202560 4788 0 0 0 13 0 0 0 15 0 19 0 569370510 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14100] ppid=14094 vsize=7656164 CPUtime=0.1 cores=0,2
/proc/14096/task/14100/stat : 14100 (java) S 14094 14096 12511 0 -1 4202560 2101 0 0 0 10 0 0 0 15 0 19 0 569370510 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14101] ppid=14094 vsize=7656164 CPUtime=0.12 cores=0,2
/proc/14096/task/14101/stat : 14101 (java) S 14094 14096 12511 0 -1 4202560 4416 0 0 0 12 0 0 0 15 0 19 0 569370510 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14102] ppid=14094 vsize=7656164 CPUtime=0.03 cores=0,2
/proc/14096/task/14102/stat : 14102 (java) S 14094 14096 12511 0 -1 4202560 222 0 0 0 3 0 0 0 15 0 19 0 569370510 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14103] ppid=14094 vsize=7656164 CPUtime=0.08 cores=0,2
/proc/14096/task/14103/stat : 14103 (java) S 14094 14096 12511 0 -1 4202560 1568 0 0 0 8 0 0 0 16 0 19 0 569370510 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14104] ppid=14094 vsize=7656164 CPUtime=0.1 cores=0,2
/proc/14096/task/14104/stat : 14104 (java) S 14094 14096 12511 0 -1 4202560 1711 0 0 0 10 0 0 0 15 0 19 0 569370510 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14105] ppid=14094 vsize=7656164 CPUtime=0.05 cores=0,2
/proc/14096/task/14105/stat : 14105 (java) S 14094 14096 12511 0 -1 4202560 394 0 0 0 5 0 0 0 15 0 19 0 569370510 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14106] ppid=14094 vsize=7656164 CPUtime=0.13 cores=0,2
/proc/14096/task/14106/stat : 14106 (java) S 14094 14096 12511 0 -1 4202560 1822 0 0 0 13 0 0 0 15 0 19 0 569370510 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14107] ppid=14094 vsize=7656164 CPUtime=3.7 cores=0,2
/proc/14096/task/14107/stat : 14107 (java) S 14094 14096 12511 0 -1 4202560 9048 0 0 0 369 1 0 0 15 0 19 0 569370511 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 0 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14108] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14108/stat : 14108 (java) S 14094 14096 12511 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 569370511 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14109] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14109/stat : 14109 (java) S 14094 14096 12511 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 569370511 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14110] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14110/stat : 14110 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469889457 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14111] ppid=14094 vsize=7656164 CPUtime=0.68 cores=0,2
/proc/14096/task/14111/stat : 14111 (java) S 14094 14096 12511 0 -1 4202560 7630 0 0 0 67 1 0 0 16 0 19 0 569370514 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14112] ppid=14094 vsize=7656164 CPUtime=0.49 cores=0,2
/proc/14096/task/14112/stat : 14112 (java) S 14094 14096 12511 0 -1 4202560 3049 0 0 0 48 1 0 0 15 0 19 0 569370514 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
[pid=14096/tid=14113] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14113/stat : 14113 (java) S 14094 14096 12511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 569370514 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469881753 0 4 0 16800975 18446604453812741248 0 0 -1 2 0 0 0
[pid=14096/tid=14114] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14114/stat : 14114 (java) R 14094 14096 12511 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 569370514 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14096/tid=14115] ppid=14094 vsize=7656164 CPUtime=0 cores=0,2
/proc/14096/task/14115/stat : 14115 (java) S 14094 14096 12511 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 569370552 7839911936 55476 33554432000 1073741824 1073778376 140734520031520 18446744073709551615 252469882368 0 4 0 16800975 18446604453812741248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1301.54
Current children cumulated vsize (KiB) 7656164
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.04
CPU time (s): 1301.61
CPU user time (s): 1301.46
CPU system time (s): 0.148977
CPU usage (%): 100.12
Max. virtual memory (cumulated for all children) (KiB): 7661600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.46
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60020
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= 27589
involuntary context switches= 5607
runsolver used 2.26166 second user time and 4.85526 second system time
The end