runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458043-1307165694/watcher-3458043-1307165694 -o /tmp/evaluation-result-3458043-1307165694/solver-3458043-1307165694 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458043-1307165694.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.10 2.05 2.01 2/432 7116
/proc/meminfo: memFree=26010340/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 1332 0 1 0 0 0 0 0 25 0 2 0 284178816 36679680 1035 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 8955 1042 805 9 0 386 0
[pid=7116/tid=7117] ppid=7114 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 4152 0 1 0 0 0 0 0 25 0 2 0 284178817 13850947584 4968 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.108228 s]
/proc/loadavg: 2.10 2.05 2.01 2/432 7116
/proc/meminfo: memFree=26010340/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13621820 CPUtime=0.11 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 15637 0 1 0 10 1 0 0 25 0 18 0 284178816 13948743680 15286 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3405455 15287 2093 9 0 3396189 0
[pid=7116/tid=7117] ppid=7114 vsize=13621820 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 13706 0 1 0 8 1 0 0 18 0 18 0 284178817 13948743680 15287 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 47714682139671 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621820
[startup+0.201201 s]
/proc/loadavg: 2.10 2.05 2.01 2/432 7116
/proc/meminfo: memFree=26010340/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13622272 CPUtime=0.24 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 16521 0 1 0 23 1 0 0 25 0 18 0 284178816 13949206528 16170 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3405568 16171 2170 9 0 3396302 0
[pid=7116/tid=7117] ppid=7114 vsize=13622272 CPUtime=0.18 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 14363 0 1 0 17 1 0 0 18 0 18 0 284178817 13949206528 16171 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13622272
[startup+0.301112 s]
/proc/loadavg: 2.10 2.05 2.01 2/432 7116
/proc/meminfo: memFree=26010340/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13623184 CPUtime=0.46 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 18050 0 1 0 45 1 0 0 25 0 18 0 284178816 13950140416 17629 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3405796 17629 2218 9 0 3396530 0
[pid=7116/tid=7117] ppid=7114 vsize=13623184 CPUtime=0.28 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 15344 0 1 0 27 1 0 0 18 0 18 0 284178817 13950140416 17630 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 46912505600497 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623184
[startup+0.701122 s]
/proc/loadavg: 2.10 2.05 2.01 2/432 7116
/proc/meminfo: memFree=26010340/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13631128 CPUtime=1.46 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 62921 0 1 0 141 5 0 0 25 0 18 0 284178816 13958275072 60004 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3407782 60007 2228 9 0 3398516 0
[pid=7116/tid=7117] ppid=7114 vsize=13631128 CPUtime=0.68 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 53881 0 1 0 64 4 0 0 18 0 18 0 284178817 13958275072 60010 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 46912505853935 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13631128
[startup+1.50097 s]
/proc/loadavg: 2.09 2.05 2.01 4/452 7182
/proc/meminfo: memFree=25512936/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13632364 CPUtime=2.66 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 107175 0 1 0 256 10 0 0 25 0 19 0 284178816 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3408091 104257 2239 9 0 3398825 0
[pid=7116/tid=7117] ppid=7114 vsize=13632364 CPUtime=1.48 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 97994 0 1 0 139 9 0 0 20 0 19 0 284178817 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 46912506047741 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7116/tid=7120] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7120/stat : 7120 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7121] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7121/stat : 7121 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7122] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7122/stat : 7122 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7123] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7123/stat : 7123 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7124] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7124/stat : 7124 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7125] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7125/stat : 7125 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7126] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7126/stat : 7126 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7127] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7127/stat : 7127 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7128] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7128/stat : 7128 (java) S 7114 7116 6914 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 0 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7129] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7129/stat : 7129 (java) S 7114 7116 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 284178820 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7130] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7130/stat : 7130 (java) S 7114 7116 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 284178820 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7131] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7131/stat : 7131 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892388785 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7132] ppid=7114 vsize=13632364 CPUtime=0.69 cores=1,3,5,7
/proc/7116/task/7132/stat : 7132 (java) S 7114 7116 6914 0 -1 4202560 4332 0 0 0 69 0 0 0 23 0 19 0 284178822 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7133] ppid=7114 vsize=13632364 CPUtime=0.48 cores=1,3,5,7
/proc/7116/task/7133/stat : 7133 (java) S 7114 7116 6914 0 -1 4202560 3688 0 0 0 48 0 0 0 22 0 19 0 284178822 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7134] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7134/stat : 7134 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7135] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7135/stat : 7135 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 284178822 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7182] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7182/stat : 7182 (java) S 7114 7116 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284178904 13959540736 104257 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 13632364
[startup+3.1007 s]
/proc/loadavg: 2.09 2.05 2.01 3/452 7182
/proc/meminfo: memFree=25509392/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13632364 CPUtime=4.3 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 107442 0 1 0 420 10 0 0 25 0 19 0 284178816 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3408091 104523 2242 9 0 3398825 0
[pid=7116/tid=7117] ppid=7114 vsize=13632364 CPUtime=3.08 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 98255 0 1 0 299 9 0 0 25 0 19 0 284178817 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 46912506047826 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7116/tid=7120] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7120/stat : 7120 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7121] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7121/stat : 7121 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7122] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7122/stat : 7122 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7123] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7123/stat : 7123 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7124] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7124/stat : 7124 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7125] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7125/stat : 7125 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7126] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7126/stat : 7126 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7127] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7127/stat : 7127 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7128] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7128/stat : 7128 (java) S 7114 7116 6914 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 0 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7129] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7129/stat : 7129 (java) S 7114 7116 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 284178820 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7130] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7130/stat : 7130 (java) S 7114 7116 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 284178820 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7131] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7131/stat : 7131 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892388785 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7132] ppid=7114 vsize=13632364 CPUtime=0.72 cores=1,3,5,7
/proc/7116/task/7132/stat : 7132 (java) S 7114 7116 6914 0 -1 4202560 4338 0 0 0 72 0 0 0 18 0 19 0 284178822 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7133] ppid=7114 vsize=13632364 CPUtime=0.48 cores=1,3,5,7
/proc/7116/task/7133/stat : 7133 (java) S 7114 7116 6914 0 -1 4202560 3688 0 0 0 48 0 0 0 17 0 19 0 284178822 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7134] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7134/stat : 7134 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7135] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7135/stat : 7135 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 284178822 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7182] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7182/stat : 7182 (java) S 7114 7116 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284178904 13959540736 104523 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 13632364
[startup+6.30113 s]
/proc/loadavg: 2.09 2.05 2.01 3/452 7182
/proc/meminfo: memFree=25488688/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13632364 CPUtime=7.55 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 110157 0 1 0 744 11 0 0 25 0 19 0 284178816 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3408091 107215 2242 9 0 3398825 0
[pid=7116/tid=7117] ppid=7114 vsize=13632364 CPUtime=6.27 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 100963 0 1 0 618 9 0 0 25 0 19 0 284178817 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 46912506062058 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7116/tid=7120] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7120/stat : 7120 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7121] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7121/stat : 7121 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7122] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7122/stat : 7122 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7123] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7123/stat : 7123 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7124] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7124/stat : 7124 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7125] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7125/stat : 7125 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7126] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7126/stat : 7126 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7127] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7127/stat : 7127 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178819 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7128] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7128/stat : 7128 (java) S 7114 7116 6914 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 284178820 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 0 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7129] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7129/stat : 7129 (java) S 7114 7116 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 284178820 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7130] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7130/stat : 7130 (java) S 7114 7116 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 284178820 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7131] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7131/stat : 7131 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892388785 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7132] ppid=7114 vsize=13632364 CPUtime=0.77 cores=1,3,5,7
/proc/7116/task/7132/stat : 7132 (java) S 7114 7116 6914 0 -1 4202560 4345 0 0 0 77 0 0 0 18 0 19 0 284178822 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7133] ppid=7114 vsize=13632364 CPUtime=0.48 cores=1,3,5,7
/proc/7116/task/7133/stat : 7133 (java) S 7114 7116 6914 0 -1 4202560 3688 0 0 0 48 0 0 0 15 0 19 0 284178822 13959540736 107215 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=7116/tid=7125] ppid=7114 vsize=13632364 CPUtime=0.16 cores=1,3,5,7
/proc/7116/task/7125/stat : 7125 (java) S 7114 7116 6914 0 -1 4202560 5066 0 0 0 16 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7126] ppid=7114 vsize=13632364 CPUtime=0.16 cores=1,3,5,7
/proc/7116/task/7126/stat : 7126 (java) S 7114 7116 6914 0 -1 4202560 5699 0 0 0 16 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7127] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7127/stat : 7127 (java) S 7114 7116 6914 0 -1 4202560 3543 0 0 0 9 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7128] ppid=7114 vsize=13632364 CPUtime=2.9 cores=1,3,5,7
/proc/7116/task/7128/stat : 7128 (java) S 7114 7116 6914 0 -1 4202560 41937 0 0 0 286 4 0 0 15 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 0 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7129] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7129/stat : 7129 (java) S 7114 7116 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7130] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7130/stat : 7130 (java) S 7114 7116 6914 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7131] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7131/stat : 7131 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892388785 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7132] ppid=7114 vsize=13632364 CPUtime=0.89 cores=1,3,5,7
/proc/7116/task/7132/stat : 7132 (java) S 7114 7116 6914 0 -1 4202560 4392 0 0 0 89 0 0 0 15 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7133] ppid=7114 vsize=13632364 CPUtime=0.5 cores=1,3,5,7
/proc/7116/task/7133/stat : 7133 (java) S 7114 7116 6914 0 -1 4202560 3690 0 0 0 50 0 0 0 16 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7134] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7134/stat : 7134 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7135] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7135/stat : 7135 (java) S 7114 7116 6914 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7182] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7182/stat : 7182 (java) S 7114 7116 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284178904 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1724.34
Current children cumulated vsize (KiB) 13632364
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/452 7238
/proc/meminfo: memFree=24898424/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13632364 CPUtime=1784.35 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 195091 0 1 0 178416 19 0 0 25 0 19 0 284178816 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3408091 191966 2268 9 0 3398825 0
[pid=7116/tid=7117] ppid=7114 vsize=13632364 CPUtime=1779.02 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 103127 0 1 0 177892 10 0 0 25 0 19 0 284178817 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 46912505973352 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7116/tid=7120] ppid=7114 vsize=13632364 CPUtime=0.12 cores=1,3,5,7
/proc/7116/task/7120/stat : 7120 (java) S 7114 7116 6914 0 -1 4202560 7353 0 0 0 12 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7121] ppid=7114 vsize=13632364 CPUtime=0.12 cores=1,3,5,7
/proc/7116/task/7121/stat : 7121 (java) S 7114 7116 6914 0 -1 4202560 3170 0 0 0 12 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7122] ppid=7114 vsize=13632364 CPUtime=0.08 cores=1,3,5,7
/proc/7116/task/7122/stat : 7122 (java) S 7114 7116 6914 0 -1 4202560 4142 0 0 0 8 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7123] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7123/stat : 7123 (java) S 7114 7116 6914 0 -1 4202560 6106 0 0 0 9 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7124] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7124/stat : 7124 (java) S 7114 7116 6914 0 -1 4202560 5612 0 0 0 9 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7125] ppid=7114 vsize=13632364 CPUtime=0.16 cores=1,3,5,7
/proc/7116/task/7125/stat : 7125 (java) S 7114 7116 6914 0 -1 4202560 5066 0 0 0 16 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7126] ppid=7114 vsize=13632364 CPUtime=0.16 cores=1,3,5,7
/proc/7116/task/7126/stat : 7126 (java) S 7114 7116 6914 0 -1 4202560 5699 0 0 0 16 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7127] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7127/stat : 7127 (java) S 7114 7116 6914 0 -1 4202560 3543 0 0 0 9 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7128] ppid=7114 vsize=13632364 CPUtime=2.9 cores=1,3,5,7
/proc/7116/task/7128/stat : 7128 (java) S 7114 7116 6914 0 -1 4202560 41937 0 0 0 286 4 0 0 15 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 0 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7129] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7129/stat : 7129 (java) S 7114 7116 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7130] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7130/stat : 7130 (java) S 7114 7116 6914 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7131] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7131/stat : 7131 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892388785 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7132] ppid=7114 vsize=13632364 CPUtime=0.89 cores=1,3,5,7
/proc/7116/task/7132/stat : 7132 (java) S 7114 7116 6914 0 -1 4202560 4392 0 0 0 89 0 0 0 15 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7133] ppid=7114 vsize=13632364 CPUtime=0.5 cores=1,3,5,7
/proc/7116/task/7133/stat : 7133 (java) S 7114 7116 6914 0 -1 4202560 3690 0 0 0 50 0 0 0 16 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7134] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7134/stat : 7134 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7135] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7135/stat : 7135 (java) S 7114 7116 6914 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7182] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7182/stat : 7182 (java) S 7114 7116 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284178904 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1784.35
Current children cumulated vsize (KiB) 13632364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798 s]
/proc/loadavg: 2.04 2.02 2.00 2/432 7242
/proc/meminfo: memFree=25295492/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13632364 CPUtime=1800.06 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 195093 0 1 0 179987 19 0 0 25 0 19 0 284178816 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3408091 191966 2268 9 0 3398825 0
[pid=7116/tid=7117] ppid=7114 vsize=13632364 CPUtime=1794.74 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 103127 0 1 0 179464 10 0 0 25 0 19 0 284178817 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 46912506062058 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7116/tid=7120] ppid=7114 vsize=13632364 CPUtime=0.12 cores=1,3,5,7
/proc/7116/task/7120/stat : 7120 (java) S 7114 7116 6914 0 -1 4202560 7353 0 0 0 12 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7121] ppid=7114 vsize=13632364 CPUtime=0.12 cores=1,3,5,7
/proc/7116/task/7121/stat : 7121 (java) S 7114 7116 6914 0 -1 4202560 3170 0 0 0 12 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7122] ppid=7114 vsize=13632364 CPUtime=0.08 cores=1,3,5,7
/proc/7116/task/7122/stat : 7122 (java) S 7114 7116 6914 0 -1 4202560 4142 0 0 0 8 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7123] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7123/stat : 7123 (java) S 7114 7116 6914 0 -1 4202560 6106 0 0 0 9 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7124] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7124/stat : 7124 (java) S 7114 7116 6914 0 -1 4202560 5612 0 0 0 9 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7125] ppid=7114 vsize=13632364 CPUtime=0.16 cores=1,3,5,7
/proc/7116/task/7125/stat : 7125 (java) S 7114 7116 6914 0 -1 4202560 5066 0 0 0 16 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7126] ppid=7114 vsize=13632364 CPUtime=0.16 cores=1,3,5,7
/proc/7116/task/7126/stat : 7126 (java) S 7114 7116 6914 0 -1 4202560 5699 0 0 0 16 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7127] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7127/stat : 7127 (java) S 7114 7116 6914 0 -1 4202560 3543 0 0 0 9 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7128] ppid=7114 vsize=13632364 CPUtime=2.9 cores=1,3,5,7
/proc/7116/task/7128/stat : 7128 (java) S 7114 7116 6914 0 -1 4202560 41937 0 0 0 286 4 0 0 15 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 0 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7129] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7129/stat : 7129 (java) S 7114 7116 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7130] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7130/stat : 7130 (java) S 7114 7116 6914 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7131] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7131/stat : 7131 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892388785 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7132] ppid=7114 vsize=13632364 CPUtime=0.89 cores=1,3,5,7
/proc/7116/task/7132/stat : 7132 (java) S 7114 7116 6914 0 -1 4202560 4392 0 0 0 89 0 0 0 15 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7133] ppid=7114 vsize=13632364 CPUtime=0.5 cores=1,3,5,7
/proc/7116/task/7133/stat : 7133 (java) S 7114 7116 6914 0 -1 4202560 3690 0 0 0 50 0 0 0 16 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7134] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7134/stat : 7134 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7135] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7135/stat : 7135 (java) S 7114 7116 6914 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7182] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7182/stat : 7182 (java) S 7114 7116 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284178904 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13632364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798 s]
/proc/loadavg: 2.04 2.02 2.00 2/432 7242
/proc/meminfo: memFree=25295492/32950928 swapFree=52006644/67111528
[pid=7116] ppid=7114 vsize=13632364 CPUtime=1800.06 cores=1,3,5,7
/proc/7116/stat : 7116 (java) S 7114 7116 6914 0 -1 4202496 195093 0 1 0 179987 19 0 0 25 0 19 0 284178816 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7116/statm: 3408091 191966 2268 9 0 3398825 0
[pid=7116/tid=7117] ppid=7114 vsize=13632364 CPUtime=1794.74 cores=1,3,5,7
/proc/7116/task/7117/stat : 7117 (java) R 7114 7116 6914 0 -1 4202560 103127 0 1 0 179464 10 0 0 25 0 19 0 284178817 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 46912506062058 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7116/tid=7120] ppid=7114 vsize=13632364 CPUtime=0.12 cores=1,3,5,7
/proc/7116/task/7120/stat : 7120 (java) S 7114 7116 6914 0 -1 4202560 7353 0 0 0 12 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7121] ppid=7114 vsize=13632364 CPUtime=0.12 cores=1,3,5,7
/proc/7116/task/7121/stat : 7121 (java) S 7114 7116 6914 0 -1 4202560 3170 0 0 0 12 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7122] ppid=7114 vsize=13632364 CPUtime=0.08 cores=1,3,5,7
/proc/7116/task/7122/stat : 7122 (java) S 7114 7116 6914 0 -1 4202560 4142 0 0 0 8 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7123] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7123/stat : 7123 (java) S 7114 7116 6914 0 -1 4202560 6106 0 0 0 9 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7124] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7124/stat : 7124 (java) S 7114 7116 6914 0 -1 4202560 5612 0 0 0 9 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7125] ppid=7114 vsize=13632364 CPUtime=0.16 cores=1,3,5,7
/proc/7116/task/7125/stat : 7125 (java) S 7114 7116 6914 0 -1 4202560 5066 0 0 0 16 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7126] ppid=7114 vsize=13632364 CPUtime=0.16 cores=1,3,5,7
/proc/7116/task/7126/stat : 7126 (java) S 7114 7116 6914 0 -1 4202560 5699 0 0 0 16 0 0 0 15 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7127] ppid=7114 vsize=13632364 CPUtime=0.09 cores=1,3,5,7
/proc/7116/task/7127/stat : 7127 (java) S 7114 7116 6914 0 -1 4202560 3543 0 0 0 9 0 0 0 16 0 19 0 284178819 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 1 0 0 0
[pid=7116/tid=7128] ppid=7114 vsize=13632364 CPUtime=2.9 cores=1,3,5,7
/proc/7116/task/7128/stat : 7128 (java) S 7114 7116 6914 0 -1 4202560 41937 0 0 0 286 4 0 0 15 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 0 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7129] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7129/stat : 7129 (java) S 7114 7116 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7130] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7130/stat : 7130 (java) S 7114 7116 6914 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 284178820 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7131] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7131/stat : 7131 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892388785 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7132] ppid=7114 vsize=13632364 CPUtime=0.89 cores=1,3,5,7
/proc/7116/task/7132/stat : 7132 (java) S 7114 7116 6914 0 -1 4202560 4392 0 0 0 89 0 0 0 15 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7133] ppid=7114 vsize=13632364 CPUtime=0.5 cores=1,3,5,7
/proc/7116/task/7133/stat : 7133 (java) S 7114 7116 6914 0 -1 4202560 3690 0 0 0 50 0 0 0 16 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 7 0 0 0
[pid=7116/tid=7134] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7134/stat : 7134 (java) S 7114 7116 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381081 0 4 0 16800975 18446604471140635840 0 0 -1 3 0 0 0
[pid=7116/tid=7135] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7135/stat : 7135 (java) S 7114 7116 6914 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 284178822 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
[pid=7116/tid=7182] ppid=7114 vsize=13632364 CPUtime=0 cores=1,3,5,7
/proc/7116/task/7182/stat : 7182 (java) S 7114 7116 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284178904 13959540736 191966 33554432000 1073741824 1073778376 140735158776112 18446744073709551615 218892381696 0 4 0 16800975 18446604471140635840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13632364
Child status: 143
Real time (s): 1798.08
CPU time (s): 1800.15
CPU user time (s): 1799.92
CPU system time (s): 0.230964
CPU usage (%): 100.115
Max. virtual memory (cumulated for all children) (KiB): 13633536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.230964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195123
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= 37370
involuntary context switches= 5039
runsolver used 7.32089 second user time and 17.2454 second system time
The end