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-3312340-1304111365/watcher-3312340-1304111365 -o /tmp/evaluation-result-3312340-1304111365/solver-3312340-1304111365 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312340-1304111365.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.71 8.00 7.99 6/198 30777
/proc/meminfo: memFree=25181280/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/30777/stat : 30777 (java) R 30775 30777 30488 0 -1 4202496 785 0 0 0 0 0 0 0 25 0 1 0 522733222 23580672 271 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254495729429 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30777/statm: 5757 284 225 9 0 124 0
[startup+0.099562 s]
/proc/loadavg: 7.71 8.00 7.99 6/198 30777
/proc/meminfo: memFree=25181280/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=15676908 CPUtime=0.1 cores=0,2,4,6
/proc/30777/stat : 30777 (java) S 30775 30777 30488 0 -1 4202496 5525 0 1 0 9 1 0 0 25 0 18 0 522733222 16053153792 4964 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30777/statm: 3919227 4964 2116 9 0 3909946 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676908
[startup+0.100557 s]
/proc/loadavg: 7.71 8.00 7.99 6/198 30777
/proc/meminfo: memFree=25181280/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=15676908 CPUtime=0.1 cores=0,2,4,6
/proc/30777/stat : 30777 (java) S 30775 30777 30488 0 -1 4202496 5533 0 1 0 9 1 0 0 25 0 18 0 522733222 16053153792 4972 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30777/statm: 3919227 4972 2117 9 0 3909946 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676908
[startup+0.300518 s]
/proc/loadavg: 7.71 8.00 7.99 6/198 30777
/proc/meminfo: memFree=25181280/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=15682568 CPUtime=0.51 cores=0,2,4,6
/proc/30777/stat : 30777 (java) S 30775 30777 30488 0 -1 4202496 14775 0 1 0 49 2 0 0 25 0 18 0 522733222 16058949632 13035 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30777/statm: 3920642 13042 2207 9 0 3911361 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682568
[startup+0.700441 s]
/proc/loadavg: 7.71 8.00 7.99 6/198 30777
/proc/meminfo: memFree=25181280/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=15682568 CPUtime=0.92 cores=0,2,4,6
/proc/30777/stat : 30777 (java) S 30775 30777 30488 0 -1 4202496 41800 0 1 0 87 5 0 0 25 0 18 0 522733222 16058949632 40057 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30777/statm: 3920642 40057 2223 9 0 3911361 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15682568
[startup+1.50133 s]
/proc/loadavg: 7.71 8.00 7.99 2/198 30802
/proc/meminfo: memFree=30812988/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=15692136 CPUtime=2.18 cores=0,2,4,6
/proc/30777/stat : 30777 (java) S 30775 30777 30488 0 -1 4202496 46924 0 1 0 211 7 0 0 25 0 22 0 522733222 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30777/statm: 3923034 43962 2262 9 0 3913753 0
[pid=30777/tid=30779] ppid=30775 vsize=15692136 CPUtime=1.47 cores=0,2,4,6
/proc/30777/task/30779/stat : 30779 (java) R 30775 30777 30488 0 -1 4202560 35652 0 1 0 142 5 0 0 22 0 22 0 522733223 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 46912505215938 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30777/tid=30780] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30780/stat : 30780 (java) S 30775 30777 30488 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 22 0 522733224 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30781] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30781/stat : 30781 (java) S 30775 30777 30488 0 -1 4202560 301 0 0 0 0 0 0 0 18 0 22 0 522733224 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30782] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30782/stat : 30782 (java) S 30775 30777 30488 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 522733224 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30783] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30783/stat : 30783 (java) S 30775 30777 30488 0 -1 4202560 1057 0 0 0 0 0 0 0 18 0 22 0 522733224 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30784] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30784/stat : 30784 (java) S 30775 30777 30488 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 22 0 522733224 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30785] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30785/stat : 30785 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 522733224 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30786] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30786/stat : 30786 (java) S 30775 30777 30488 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 522733224 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30787] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30787/stat : 30787 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 522733224 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30788] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30788/stat : 30788 (java) S 30775 30777 30488 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522733225 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 0 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30789] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30789/stat : 30789 (java) S 30775 30777 30488 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522733225 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30790] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30790/stat : 30790 (java) S 30775 30777 30488 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522733225 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30791] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30791/stat : 30791 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512515505 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30792] ppid=30775 vsize=15692136 CPUtime=0.3 cores=0,2,4,6
/proc/30777/task/30792/stat : 30792 (java) S 30775 30777 30488 0 -1 4202560 4423 0 0 0 29 1 0 0 15 0 22 0 522733227 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30793] ppid=30775 vsize=15692136 CPUtime=0.37 cores=0,2,4,6
/proc/30777/task/30793/stat : 30793 (java) R 30775 30777 30488 0 -1 4202560 3903 0 0 0 37 0 0 0 16 0 22 0 522733227 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 47653202085809 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30777/tid=30794] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30794/stat : 30794 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30795] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30795/stat : 30795 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522733227 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30799] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30799/stat : 30799 (java) S 30775 30777 30488 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 522733308 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30800] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30800/stat : 30800 (java) S 30775 30777 30488 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 522733308 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30801] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30801/stat : 30801 (java) S 30775 30777 30488 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522733308 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30802] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30802/stat : 30802 (java) S 30775 30777 30488 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522733308 16068747264 43962 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 15692136
[startup+3.10095 s]
/proc/loadavg: 7.71 8.00 7.99 3/197 30802
/proc/meminfo: memFree=30798240/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=15692136 CPUtime=5.67 cores=0,2,4,6
/proc/30777/stat : 30777 (java) S 30775 30777 30488 0 -1 4202496 60950 0 1 0 558 9 0 0 25 0 22 0 522733222 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30777/statm: 3923034 57976 2275 9 0 3913753 0
[pid=30777/tid=30779] ppid=30775 vsize=15692136 CPUtime=2.1 cores=0,2,4,6
/proc/30777/task/30779/stat : 30779 (java) S 30775 30777 30488 0 -1 4202560 35703 0 1 0 205 5 0 0 25 0 22 0 522733223 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30780] ppid=30775 vsize=15692136 CPUtime=0.01 cores=0,2,4,6
/proc/30777/task/30780/stat : 30780 (java) S 30775 30777 30488 0 -1 4202560 3007 0 0 0 1 0 0 0 16 0 22 0 522733224 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30781] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30781/stat : 30781 (java) S 30775 30777 30488 0 -1 4202560 1706 0 0 0 0 0 0 0 16 0 22 0 522733224 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30782] ppid=30775 vsize=15692136 CPUtime=0.01 cores=0,2,4,6
/proc/30777/task/30782/stat : 30782 (java) S 30775 30777 30488 0 -1 4202560 2775 0 0 0 1 0 0 0 16 0 22 0 522733224 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30783] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30783/stat : 30783 (java) S 30775 30777 30488 0 -1 4202560 1057 0 0 0 0 0 0 0 15 0 22 0 522733224 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30784] ppid=30775 vsize=15692136 CPUtime=0.01 cores=0,2,4,6
/proc/30777/task/30784/stat : 30784 (java) S 30775 30777 30488 0 -1 4202560 4868 0 0 0 1 0 0 0 16 0 22 0 522733224 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30785] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30785/stat : 30785 (java) S 30775 30777 30488 0 -1 4202560 1289 0 0 0 0 0 0 0 15 0 22 0 522733224 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30786] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30786/stat : 30786 (java) S 30775 30777 30488 0 -1 4202560 456 0 0 0 0 0 0 0 16 0 22 0 522733224 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30787] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30787/stat : 30787 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522733224 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30788] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30788/stat : 30788 (java) S 30775 30777 30488 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 22 0 522733225 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 0 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30789] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30789/stat : 30789 (java) S 30775 30777 30488 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522733225 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30790] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30790/stat : 30790 (java) S 30775 30777 30488 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522733225 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30791] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30791/stat : 30791 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512515505 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30792] ppid=30775 vsize=15692136 CPUtime=0.6 cores=0,2,4,6
/proc/30777/task/30792/stat : 30792 (java) S 30775 30777 30488 0 -1 4202560 4459 0 0 0 59 1 0 0 15 0 22 0 522733227 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30793] ppid=30775 vsize=15692136 CPUtime=1.03 cores=0,2,4,6
/proc/30777/task/30793/stat : 30793 (java) S 30775 30777 30488 0 -1 4202560 4096 0 0 0 103 0 0 0 15 0 22 0 522733227 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30794] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30794/stat : 30794 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30795] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30795/stat : 30795 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522733227 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30799] ppid=30775 vsize=15692136 CPUtime=0.45 cores=0,2,4,6
/proc/30777/task/30799/stat : 30799 (java) S 30775 30777 30488 0 -1 4202560 24 0 0 0 45 0 0 0 16 0 22 0 522733308 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30800] ppid=30775 vsize=15692136 CPUtime=0.4 cores=0,2,4,6
/proc/30777/task/30800/stat : 30800 (java) R 30775 30777 30488 0 -1 4202560 15 0 0 0 40 0 0 0 15 0 22 0 522733308 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 46912505658453 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30777/tid=30801] ppid=30775 vsize=15692136 CPUtime=0.35 cores=0,2,4,6
/proc/30777/task/30801/stat : 30801 (java) S 30775 30777 30488 0 -1 4202560 10 0 0 0 35 0 0 0 15 0 22 0 522733308 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30802] ppid=30775 vsize=15692136 CPUtime=0.6 cores=0,2,4,6
/proc/30777/task/30802/stat : 30802 (java) R 30775 30777 30488 0 -1 4202560 9 0 0 0 60 0 0 0 16 0 22 0 522733308 16068747264 57976 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 46912506091497 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 15692136
[startup+6.30126 s]
/proc/loadavg: 7.65 7.98 7.98 11/220 30850
/proc/meminfo: memFree=29732748/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=15692136 CPUtime=18.01 cores=0,2,4,6
/proc/30777/stat : 30777 (java) S 30775 30777 30488 0 -1 4202496 263367 0 1 0 1761 40 0 0 25 0 22 0 522733222 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30777/statm: 3923034 258938 2275 9 0 3913753 0
[pid=30777/tid=30779] ppid=30775 vsize=15692136 CPUtime=2.1 cores=0,2,4,6
/proc/30777/task/30779/stat : 30779 (java) S 30775 30777 30488 0 -1 4202560 35703 0 1 0 205 5 0 0 25 0 22 0 522733223 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30780] ppid=30775 vsize=15692136 CPUtime=0.11 cores=0,2,4,6
/proc/30777/task/30780/stat : 30780 (java) S 30775 30777 30488 0 -1 4202560 20640 0 0 0 8 3 0 0 16 0 22 0 522733224 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30781] ppid=30775 vsize=15692136 CPUtime=0.04 cores=0,2,4,6
/proc/30777/task/30781/stat : 30781 (java) S 30775 30777 30488 0 -1 4202560 7632 0 0 0 4 0 0 0 15 0 22 0 522733224 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30782] ppid=30775 vsize=15692136 CPUtime=0.07 cores=0,2,4,6
/proc/30777/task/30782/stat : 30782 (java) S 30775 30777 30488 0 -1 4202560 10587 0 0 0 6 1 0 0 15 0 22 0 522733224 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30783] ppid=30775 vsize=15692136 CPUtime=0.09 cores=0,2,4,6
/proc/30777/task/30783/stat : 30783 (java) S 30775 30777 30488 0 -1 4202560 14726 0 0 0 7 2 0 0 15 0 22 0 522733224 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30784] ppid=30775 vsize=15692136 CPUtime=0.21 cores=0,2,4,6
/proc/30777/task/30784/stat : 30784 (java) S 30775 30777 30488 0 -1 4202560 40974 0 0 0 15 6 0 0 15 0 22 0 522733224 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30785] ppid=30775 vsize=15692136 CPUtime=0.09 cores=0,2,4,6
/proc/30777/task/30785/stat : 30785 (java) S 30775 30777 30488 0 -1 4202560 15969 0 0 0 7 2 0 0 15 0 22 0 522733224 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30786] ppid=30775 vsize=15692136 CPUtime=0.1 cores=0,2,4,6
/proc/30777/task/30786/stat : 30786 (java) S 30775 30777 30488 0 -1 4202560 13668 0 0 0 9 1 0 0 15 0 22 0 522733224 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30787] ppid=30775 vsize=15692136 CPUtime=0.22 cores=0,2,4,6
/proc/30777/task/30787/stat : 30787 (java) S 30775 30777 30488 0 -1 4202560 40696 0 0 0 16 6 0 0 16 0 22 0 522733224 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30788] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30788/stat : 30788 (java) S 30775 30777 30488 0 -1 4202560 462 0 0 0 0 0 0 0 15 0 22 0 522733225 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 0 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30789] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30789/stat : 30789 (java) S 30775 30777 30488 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522733225 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30790] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30790/stat : 30790 (java) S 30775 30777 30488 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522733225 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30791] ppid=30775 vsize=15692136 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30791/stat : 30791 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512515505 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30792] ppid=30775 vsize=15692136 CPUtime=0.6 cores=0,2,4,6
/proc/30777/task/30792/stat : 30792 (java) S 30775 30777 30488 0 -1 4202560 4459 0 0 0 59 1 0 0 15 0 22 0 522733227 16068747264 258938 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=30777/tid=30790] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30790/stat : 30790 (java) S 30775 30777 30488 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522733225 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30791] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30791/stat : 30791 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512515505 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30792] ppid=30775 vsize=15686160 CPUtime=0.65 cores=0,2,4,6
/proc/30777/task/30792/stat : 30792 (java) S 30775 30777 30488 0 -1 4202560 4493 0 0 0 64 1 0 0 15 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30793] ppid=30775 vsize=15686160 CPUtime=1.19 cores=0,2,4,6
/proc/30777/task/30793/stat : 30793 (java) S 30775 30777 30488 0 -1 4202560 4115 0 0 0 119 0 0 0 16 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30794] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30794/stat : 30794 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30795] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30795/stat : 30795 (java) S 30775 30777 30488 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30799] ppid=30775 vsize=15686160 CPUtime=291.7 cores=0,2,4,6
/proc/30777/task/30799/stat : 30799 (java) S 30775 30777 30488 0 -1 4202560 60309 0 0 0 29153 17 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30800] ppid=30775 vsize=15686160 CPUtime=292.76 cores=0,2,4,6
/proc/30777/task/30800/stat : 30800 (java) S 30775 30777 30488 0 -1 4202560 70518 0 0 0 29257 19 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30801] ppid=30775 vsize=15686160 CPUtime=293.21 cores=0,2,4,6
/proc/30777/task/30801/stat : 30801 (java) S 30775 30777 30488 0 -1 4202560 67515 0 0 0 29300 21 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30802] ppid=30775 vsize=15686160 CPUtime=293.04 cores=0,2,4,6
/proc/30777/task/30802/stat : 30802 (java) S 30775 30777 30488 0 -1 4202560 73751 0 0 0 29284 20 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2078.58
Current children cumulated vsize (KiB) 15686160
[startup+1242.3 s]
/proc/loadavg: 3.28 4.77 6.03 2/193 30903
/proc/meminfo: memFree=15520504/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=15686160 CPUtime=2138.69 cores=0,2,4,6
/proc/30777/stat : 30777 (java) S 30775 30777 30488 0 -1 4202496 3903488 0 1 0 213136 733 0 0 25 0 22 0 522733222 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30777/statm: 3921540 3861654 2294 9 0 3912259 0
[pid=30777/tid=30779] ppid=30775 vsize=15686160 CPUtime=2.1 cores=0,2,4,6
/proc/30777/task/30779/stat : 30779 (java) S 30775 30777 30488 0 -1 4202560 35703 0 1 0 205 5 0 0 25 0 22 0 522733223 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30780] ppid=30775 vsize=15686160 CPUtime=2.91 cores=0,2,4,6
/proc/30777/task/30780/stat : 30780 (java) S 30775 30777 30488 0 -1 4202560 301853 0 0 0 240 51 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30781] ppid=30775 vsize=15686160 CPUtime=3.18 cores=0,2,4,6
/proc/30777/task/30781/stat : 30781 (java) S 30775 30777 30488 0 -1 4202560 418656 0 0 0 244 74 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30782] ppid=30775 vsize=15686160 CPUtime=2.91 cores=0,2,4,6
/proc/30777/task/30782/stat : 30782 (java) S 30775 30777 30488 0 -1 4202560 351186 0 0 0 232 59 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30783] ppid=30775 vsize=15686160 CPUtime=3.15 cores=0,2,4,6
/proc/30777/task/30783/stat : 30783 (java) S 30775 30777 30488 0 -1 4202560 386523 0 0 0 245 70 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30784] ppid=30775 vsize=15686160 CPUtime=2.79 cores=0,2,4,6
/proc/30777/task/30784/stat : 30784 (java) S 30775 30777 30488 0 -1 4202560 391193 0 0 0 218 61 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30785] ppid=30775 vsize=15686160 CPUtime=3.06 cores=0,2,4,6
/proc/30777/task/30785/stat : 30785 (java) S 30775 30777 30488 0 -1 4202560 369590 0 0 0 245 61 0 0 15 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30786] ppid=30775 vsize=15686160 CPUtime=2.92 cores=0,2,4,6
/proc/30777/task/30786/stat : 30786 (java) S 30775 30777 30488 0 -1 4202560 351290 0 0 0 234 58 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30787] ppid=30775 vsize=15686160 CPUtime=2.62 cores=0,2,4,6
/proc/30777/task/30787/stat : 30787 (java) S 30775 30777 30488 0 -1 4202560 373077 0 0 0 199 63 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30788] ppid=30775 vsize=15686160 CPUtime=940.21 cores=0,2,4,6
/proc/30777/task/30788/stat : 30788 (java) R 30775 30777 30488 0 -1 4202560 641764 0 0 0 93875 146 0 0 18 0 22 0 522733225 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 47653203632444 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30777/tid=30789] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30789/stat : 30789 (java) S 30775 30777 30488 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522733225 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30790] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30790/stat : 30790 (java) S 30775 30777 30488 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522733225 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30791] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30791/stat : 30791 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512515505 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30792] ppid=30775 vsize=15686160 CPUtime=0.65 cores=0,2,4,6
/proc/30777/task/30792/stat : 30792 (java) S 30775 30777 30488 0 -1 4202560 4493 0 0 0 64 1 0 0 15 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30793] ppid=30775 vsize=15686160 CPUtime=1.19 cores=0,2,4,6
/proc/30777/task/30793/stat : 30793 (java) S 30775 30777 30488 0 -1 4202560 4115 0 0 0 119 0 0 0 16 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30794] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30794/stat : 30794 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30795] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30795/stat : 30795 (java) S 30775 30777 30488 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30799] ppid=30775 vsize=15686160 CPUtime=291.7 cores=0,2,4,6
/proc/30777/task/30799/stat : 30799 (java) S 30775 30777 30488 0 -1 4202560 60433 0 0 0 29153 17 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30800] ppid=30775 vsize=15686160 CPUtime=292.79 cores=0,2,4,6
/proc/30777/task/30800/stat : 30800 (java) S 30775 30777 30488 0 -1 4202560 70887 0 0 0 29260 19 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30801] ppid=30775 vsize=15686160 CPUtime=293.26 cores=0,2,4,6
/proc/30777/task/30801/stat : 30801 (java) S 30775 30777 30488 0 -1 4202560 67517 0 0 0 29305 21 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30802] ppid=30775 vsize=15686160 CPUtime=293.09 cores=0,2,4,6
/proc/30777/task/30802/stat : 30802 (java) S 30775 30777 30488 0 -1 4202560 73754 0 0 0 29289 20 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2138.69
Current children cumulated vsize (KiB) 15686160
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.83 4.08 5.71 2/193 30905
/proc/meminfo: memFree=15520012/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=15686160 CPUtime=2197.21 cores=0,2,4,6
/proc/30777/stat : 30777 (java) S 30775 30777 30488 0 -1 4202496 3903914 0 1 0 218983 738 0 0 25 0 22 0 522733222 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30777/statm: 3921540 3861654 2294 9 0 3912259 0
[pid=30777/tid=30779] ppid=30775 vsize=15686160 CPUtime=2.1 cores=0,2,4,6
/proc/30777/task/30779/stat : 30779 (java) S 30775 30777 30488 0 -1 4202560 35703 0 1 0 205 5 0 0 25 0 22 0 522733223 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30780] ppid=30775 vsize=15686160 CPUtime=2.91 cores=0,2,4,6
/proc/30777/task/30780/stat : 30780 (java) S 30775 30777 30488 0 -1 4202560 301853 0 0 0 240 51 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30781] ppid=30775 vsize=15686160 CPUtime=3.18 cores=0,2,4,6
/proc/30777/task/30781/stat : 30781 (java) S 30775 30777 30488 0 -1 4202560 418656 0 0 0 244 74 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30782] ppid=30775 vsize=15686160 CPUtime=2.91 cores=0,2,4,6
/proc/30777/task/30782/stat : 30782 (java) S 30775 30777 30488 0 -1 4202560 351186 0 0 0 232 59 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30783] ppid=30775 vsize=15686160 CPUtime=3.15 cores=0,2,4,6
/proc/30777/task/30783/stat : 30783 (java) S 30775 30777 30488 0 -1 4202560 386523 0 0 0 245 70 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30784] ppid=30775 vsize=15686160 CPUtime=2.79 cores=0,2,4,6
/proc/30777/task/30784/stat : 30784 (java) S 30775 30777 30488 0 -1 4202560 391193 0 0 0 218 61 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30785] ppid=30775 vsize=15686160 CPUtime=3.06 cores=0,2,4,6
/proc/30777/task/30785/stat : 30785 (java) S 30775 30777 30488 0 -1 4202560 369590 0 0 0 245 61 0 0 15 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30786] ppid=30775 vsize=15686160 CPUtime=2.92 cores=0,2,4,6
/proc/30777/task/30786/stat : 30786 (java) S 30775 30777 30488 0 -1 4202560 351290 0 0 0 234 58 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30787] ppid=30775 vsize=15686160 CPUtime=2.62 cores=0,2,4,6
/proc/30777/task/30787/stat : 30787 (java) S 30775 30777 30488 0 -1 4202560 373077 0 0 0 199 63 0 0 16 0 22 0 522733224 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30788] ppid=30775 vsize=15686160 CPUtime=997.62 cores=0,2,4,6
/proc/30777/task/30788/stat : 30788 (java) R 30775 30777 30488 0 -1 4202560 641767 0 0 0 99611 151 0 0 18 0 22 0 522733225 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 47653206326548 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=30777/tid=30789] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30789/stat : 30789 (java) S 30775 30777 30488 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522733225 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30790] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30790/stat : 30790 (java) S 30775 30777 30488 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522733225 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30791] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30791/stat : 30791 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512515505 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30792] ppid=30775 vsize=15686160 CPUtime=0.65 cores=0,2,4,6
/proc/30777/task/30792/stat : 30792 (java) S 30775 30777 30488 0 -1 4202560 4493 0 0 0 64 1 0 0 15 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30793] ppid=30775 vsize=15686160 CPUtime=1.19 cores=0,2,4,6
/proc/30777/task/30793/stat : 30793 (java) S 30775 30777 30488 0 -1 4202560 4115 0 0 0 119 0 0 0 16 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30794] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30794/stat : 30794 (java) S 30775 30777 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
[pid=30777/tid=30795] ppid=30775 vsize=15686160 CPUtime=0 cores=0,2,4,6
/proc/30777/task/30795/stat : 30795 (java) S 30775 30777 30488 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 522733227 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512508416 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30799] ppid=30775 vsize=15686160 CPUtime=291.97 cores=0,2,4,6
/proc/30777/task/30799/stat : 30799 (java) S 30775 30777 30488 0 -1 4202560 60588 0 0 0 29179 18 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 0 0 0 0
[pid=30777/tid=30800] ppid=30775 vsize=15686160 CPUtime=293.06 cores=0,2,4,6
/proc/30777/task/30800/stat : 30800 (java) S 30775 30777 30488 0 -1 4202560 71066 0 0 0 29287 19 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 6 0 0 0
[pid=30777/tid=30801] ppid=30775 vsize=15686160 CPUtime=293.55 cores=0,2,4,6
/proc/30777/task/30801/stat : 30801 (java) S 30775 30777 30488 0 -1 4202560 67552 0 0 0 29334 21 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 2 0 0 0
[pid=30777/tid=30802] ppid=30775 vsize=15686160 CPUtime=293.39 cores=0,2,4,6
/proc/30777/task/30802/stat : 30802 (java) S 30775 30777 30488 0 -1 4202560 73807 0 0 0 29318 21 0 0 15 0 22 0 522733308 16062627840 3861654 33554432000 1073741824 1073778376 140737286131808 18446744073709551615 254512507801 0 4 0 16800975 18446604441381128896 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2197.21
Current children cumulated vsize (KiB) 15686160
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30777
[startup+1302.3 s]
/proc/loadavg: 1.83 4.08 5.71 2/194 30906
/proc/meminfo: memFree=15519744/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=0 CPUtime=2199.51 cores=0,2,4,6
/proc/30777/stat : 30777 (java) Z 30775 30777 30488 0 -1 4203548 3903940 0 1 0 219184 767 0 0 18 0 2 0 522733222 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30777/statm: 0 0 0 0 0 0 0
[pid=30777/tid=30800] ppid=30775 vsize=0 CPUtime=293.34 cores=0,2,4,6
/proc/30777/task/30800/stat : 30800 (java) R 30775 30777 30488 0 -1 4203588 71070 0 0 0 29287 47 0 0 16 0 2 0 522733308 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2199.51
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 1.83 4.08 5.71 2/194 30906
/proc/meminfo: memFree=15519744/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=0 CPUtime=2199.61 cores=0,2,4,6
/proc/30777/stat : 30777 (java) Z 30775 30777 30488 0 -1 4203548 3903940 0 1 0 219184 777 0 0 18 0 2 0 522733222 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30777/statm: 0 0 0 0 0 0 0
[pid=30777/tid=30800] ppid=30775 vsize=0 CPUtime=293.44 cores=0,2,4,6
/proc/30777/task/30800/stat : 30800 (java) R 30775 30777 30488 0 -1 4203588 71070 0 0 0 29287 57 0 0 16 0 2 0 522733308 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2199.61
Current children cumulated vsize (KiB) 0
[startup+1302.61 s]
/proc/loadavg: 1.83 4.08 5.71 2/173 30906
/proc/meminfo: memFree=27453056/32950928 swapFree=67111464/67111528
[pid=30777] ppid=30775 vsize=0 CPUtime=2199.82 cores=0,2,4,6
/proc/30777/stat : 30777 (java) Z 30775 30777 30488 0 -1 4203548 3903940 0 1 0 219184 798 0 0 18 0 2 0 522733222 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30777/statm: 0 0 0 0 0 0 0
[pid=30777/tid=30800] ppid=30775 vsize=0 CPUtime=293.65 cores=0,2,4,6
/proc/30777/task/30800/stat : 30800 (java) R 30775 30777 30488 0 -1 4203588 71070 0 0 0 29287 78 0 0 16 0 2 0 522733308 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2199.82
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.65
CPU time (s): 2199.87
CPU user time (s): 2191.85
CPU system time (s): 8.02478
CPU usage (%): 168.877
Max. virtual memory (cumulated for all children) (KiB): 15692136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2191.85
system time used= 8.02478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3903940
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= 77161
involuntary context switches= 45512
runsolver used 2.00869 second user time and 5.17921 second system time
The end