runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688703-1337886370/watcher-3688703-1337886370 -o /tmp/evaluation-result-3688703-1337886370/solver-3688703-1337886370 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688703-1337886370.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.00 2.00 2.00 3/192 23172
/proc/meminfo: memFree=29308160/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 1221 0 0 0 0 0 0 0 20 0 2 0 254762442 96370688 931 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 23528 931 705 9 0 16769 0
[pid=23172/tid=23173] ppid=23170 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 2 0 254762443 98635776 943 33554432000 1073741824 1073778376 140733786371712 140184884211240 227503290217 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0
[startup+0.00931009 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 23172
/proc/meminfo: memFree=29308160/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=8471396 CPUtime=0 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 1561 0 1 0 0 0 0 0 20 0 2 0 254762442 8674709504 1753 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2117849 1775 930 9 0 2108958 0
[pid=23172/tid=23173] ppid=23170 vsize=8471396 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 446 0 1 0 0 0 0 0 20 0 2 0 254762443 8674709504 1784 33554432000 1073741824 1073778376 140733786371712 140184884218160 227512169131 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8471396
[startup+0.100183 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 23172
/proc/meminfo: memFree=29308160/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 4481 0 1 0 10 1 0 0 20 0 18 0 254762442 9787813888 6113 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2389603 6113 2149 9 0 2380296 0
[pid=23172/tid=23173] ppid=23170 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 2432 0 1 0 8 0 0 0 20 0 18 0 254762443 9787813888 6113 33554432000 1073741824 1073778376 140733786371712 140184884214488 227515884813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300188 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 23172
/proc/meminfo: memFree=29308160/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 5466 0 1 0 49 1 0 0 20 0 19 0 254762442 9855975424 7743 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2406244 7743 2236 9 0 2396937 0
[pid=23172/tid=23173] ppid=23170 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 2452 0 1 0 28 0 0 0 20 0 19 0 254762443 9855975424 7743 33554432000 1073741824 1073778376 140733786371712 140184884216592 140184729521789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976
[startup+0.700254 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 23172
/proc/meminfo: memFree=29308160/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 7149 0 1 0 114 1 0 0 20 0 19 0 254762442 9855975424 12263 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2406244 12263 2278 9 0 2396937 0
[pid=23172/tid=23173] ppid=23170 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 2458 0 1 0 66 0 0 0 20 0 19 0 254762443 9855975424 12263 33554432000 1073741824 1073778376 140733786371712 140184884216216 140184729688002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9624976
[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 23191
/proc/meminfo: memFree=29261544/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=9624976 CPUtime=2.02 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 7190 0 1 0 201 1 0 0 20 0 19 0 254762442 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2406244 14852 2279 9 0 2396937 0
[pid=23172/tid=23173] ppid=23170 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) S 23170 23172 21495 0 -1 4202560 2459 0 1 0 143 0 0 0 20 0 19 0 254762443 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184884216216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23175] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23175/stat : 23175 (java) R 23170 23172 21495 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184856668712 227512454279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23176] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23176/stat : 23176 (java) R 23170 23172 21495 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184855615912 227512454279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23177] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23177/stat : 23177 (java) R 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184854563112 227515874360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23178] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23178/stat : 23178 (java) R 23170 23172 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184853510440 227512454279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23179] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23179/stat : 23179 (java) S 23170 23172 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184852458536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23180] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23180/stat : 23180 (java) R 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184851405736 227515872316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23181] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23181/stat : 23181 (java) R 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184850353064 227512454279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23182] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23182/stat : 23182 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184849300136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23183] ppid=23170 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23172/task/23183/stat : 23183 (java) S 23170 23172 21495 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 254762444 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184237610472 227515872316 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23184] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23184/stat : 23184 (java) S 23170 23172 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184236557560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23185] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23185/stat : 23185 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184235504648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23186] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23186/stat : 23186 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184234453136 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23187] ppid=23170 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/23172/task/23187/stat : 23187 (java) S 23170 23172 21495 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254762447 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184233393240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23188] ppid=23170 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/23172/task/23188/stat : 23188 (java) R 23170 23172 21495 0 -1 4202560 2074 0 0 0 26 0 0 0 20 0 19 0 254762447 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184232348352 140184886823287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23189] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23189/stat : 23189 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184231295864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23190] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23190/stat : 23190 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184230243272 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23191] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23191/stat : 23191 (java) S 23170 23172 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254762469 9855975424 14852 33554432000 1073741824 1073778376 140733786371712 140184229188776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9624976
[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 23191
/proc/meminfo: memFree=29255028/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=9624976 CPUtime=3.66 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 7213 0 1 0 364 2 0 0 20 0 19 0 254762442 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2406244 16912 2279 9 0 2396937 0
[pid=23172/tid=23173] ppid=23170 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 2462 0 1 0 295 0 0 0 20 0 19 0 254762443 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184884216216 140184729935478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23175] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23175/stat : 23175 (java) S 23170 23172 21495 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184856668712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23176] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23176/stat : 23176 (java) S 23170 23172 21495 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184855615912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23177] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23177/stat : 23177 (java) S 23170 23172 21495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184854563112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23178] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23178/stat : 23178 (java) S 23170 23172 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184853510312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23179] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23179/stat : 23179 (java) S 23170 23172 21495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184852458536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23180] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23180/stat : 23180 (java) S 23170 23172 21495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184851405736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23181] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23181/stat : 23181 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184850352936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23182] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23182/stat : 23182 (java) S 23170 23172 21495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184849300136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23183] ppid=23170 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/23172/task/23183/stat : 23183 (java) S 23170 23172 21495 0 -1 4202560 36 0 0 0 8 0 0 0 20 0 19 0 254762444 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184237611496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23184] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23184/stat : 23184 (java) S 23170 23172 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184236557560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23185] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23185/stat : 23185 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184235504648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23186] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23186/stat : 23186 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184234453136 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23187] ppid=23170 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/23172/task/23187/stat : 23187 (java) S 23170 23172 21495 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254762447 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184233401272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23188] ppid=23170 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/23172/task/23188/stat : 23188 (java) S 23170 23172 21495 0 -1 4202560 2075 0 0 0 27 0 0 0 20 0 19 0 254762447 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184232348472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23189] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23189/stat : 23189 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184231295864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23190] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23190/stat : 23190 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184230243272 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23191] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23191/stat : 23191 (java) S 23170 23172 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254762469 9855975424 16912 33554432000 1073741824 1073778376 140733786371712 140184229188776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9624976
[startup+6.30054 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 23191
/proc/meminfo: memFree=29243704/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=9624976 CPUtime=6.92 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 7247 0 1 0 689 3 0 0 20 0 19 0 254762442 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2406244 18184 2279 9 0 2396937 0
[pid=23172/tid=23173] ppid=23170 vsize=9624976 CPUtime=6.06 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 2467 0 1 0 606 0 0 0 20 0 19 0 254762443 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184884216096 140184729905669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23175] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23175/stat : 23175 (java) S 23170 23172 21495 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184856668712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23176] ppid=23170 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23172/task/23176/stat : 23176 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 254762443 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184855615912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23177] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23177/stat : 23177 (java) S 23170 23172 21495 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184854563112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23178] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23178/stat : 23178 (java) S 23170 23172 21495 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184853510312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23179] ppid=23170 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23172/task/23179/stat : 23179 (java) S 23170 23172 21495 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 254762443 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184852458536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23180] ppid=23170 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23172/task/23180/stat : 23180 (java) S 23170 23172 21495 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254762443 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184851405736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23181] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23181/stat : 23181 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762443 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184850352936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23182] ppid=23170 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23172/task/23182/stat : 23182 (java) S 23170 23172 21495 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254762443 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184849300136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23183] ppid=23170 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/23172/task/23183/stat : 23183 (java) S 23170 23172 21495 0 -1 4202560 37 0 0 0 14 0 0 0 20 0 19 0 254762444 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184237611496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23184] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23184/stat : 23184 (java) S 23170 23172 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184236557560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23185] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23185/stat : 23185 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184235504648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23186] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23186/stat : 23186 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184234453136 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23187] ppid=23170 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/23172/task/23187/stat : 23187 (java) S 23170 23172 21495 0 -1 4202560 1381 0 0 0 23 0 0 0 20 0 19 0 254762447 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184233401272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23188] ppid=23170 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/23172/task/23188/stat : 23188 (java) S 23170 23172 21495 0 -1 4202560 2075 0 0 0 27 0 0 0 20 0 19 0 254762447 9855975424 18184 33554432000 1073741824 1073778376 140733786371712 140184232348472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=23172/tid=23187] ppid=23170 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23172/task/23187/stat : 23187 (java) S 23170 23172 21495 0 -1 4202560 1381 0 0 0 25 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184233401272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23188] ppid=23170 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/23172/task/23188/stat : 23188 (java) S 23170 23172 21495 0 -1 4202560 2317 0 0 0 30 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184232348472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23189] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23189/stat : 23189 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184231295864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23190] ppid=23170 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23172/task/23190/stat : 23190 (java) S 23170 23172 21495 0 -1 4202560 94 0 0 0 29 31 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184230243272 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23191] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23191/stat : 23191 (java) S 23170 23172 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254762469 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184229188776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1666.83
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/211 23266
/proc/meminfo: memFree=28534476/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=9624976 CPUtime=1726.89 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 10087 0 1 0 172633 56 0 0 20 0 19 0 254762442 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2406244 77182 2280 9 0 2396937 0
[pid=23172/tid=23173] ppid=23170 vsize=9624976 CPUtime=1711.36 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 2624 0 1 0 171108 28 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184884216096 140184730094626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23175] ppid=23170 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23172/task/23175/stat : 23175 (java) S 23170 23172 21495 0 -1 4202560 263 0 0 0 59 3 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184856668712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23176] ppid=23170 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23172/task/23176/stat : 23176 (java) S 23170 23172 21495 0 -1 4202560 247 0 0 0 58 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184855615912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23177] ppid=23170 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/23172/task/23177/stat : 23177 (java) S 23170 23172 21495 0 -1 4202560 395 0 0 0 59 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184854563112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23178] ppid=23170 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23172/task/23178/stat : 23178 (java) S 23170 23172 21495 0 -1 4202560 319 0 0 0 60 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184853510312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23179] ppid=23170 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/23172/task/23179/stat : 23179 (java) S 23170 23172 21495 0 -1 4202560 270 0 0 0 59 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184852458536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23180] ppid=23170 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/23172/task/23180/stat : 23180 (java) S 23170 23172 21495 0 -1 4202560 200 0 0 0 57 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184851405736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23181] ppid=23170 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/23172/task/23181/stat : 23181 (java) S 23170 23172 21495 0 -1 4202560 292 0 0 0 67 4 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184850352936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23182] ppid=23170 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23172/task/23182/stat : 23182 (java) S 23170 23172 21495 0 -1 4202560 344 0 0 0 57 3 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184849300136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23183] ppid=23170 vsize=9624976 CPUtime=5.07 cores=1,3,5,7
/proc/23172/task/23183/stat : 23183 (java) S 23170 23172 21495 0 -1 4202560 157 0 0 0 504 3 0 0 20 0 19 0 254762444 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184237611496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23184] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23184/stat : 23184 (java) S 23170 23172 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184236557560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23185] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23185/stat : 23185 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184235504648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23186] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23186/stat : 23186 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184234453136 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23187] ppid=23170 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23172/task/23187/stat : 23187 (java) S 23170 23172 21495 0 -1 4202560 1381 0 0 0 25 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184233401272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23188] ppid=23170 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/23172/task/23188/stat : 23188 (java) S 23170 23172 21495 0 -1 4202560 2317 0 0 0 30 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184232348472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23189] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23189/stat : 23189 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184231295864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23190] ppid=23170 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23172/task/23190/stat : 23190 (java) S 23170 23172 21495 0 -1 4202560 98 0 0 0 30 32 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184230243272 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23191] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23191/stat : 23191 (java) S 23170 23172 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254762469 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184229188776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1726.89
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/211 23266
/proc/meminfo: memFree=28534356/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=9624976 CPUtime=1786.94 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 10094 0 1 0 178637 57 0 0 20 0 19 0 254762442 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2406244 77182 2280 9 0 2396937 0
[pid=23172/tid=23173] ppid=23170 vsize=9624976 CPUtime=1771.12 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 2625 0 1 0 177084 28 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184884216096 140184730094626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23175] ppid=23170 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/23172/task/23175/stat : 23175 (java) S 23170 23172 21495 0 -1 4202560 263 0 0 0 60 3 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184856668712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23176] ppid=23170 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/23172/task/23176/stat : 23176 (java) S 23170 23172 21495 0 -1 4202560 247 0 0 0 59 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184855615912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23177] ppid=23170 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23172/task/23177/stat : 23177 (java) S 23170 23172 21495 0 -1 4202560 395 0 0 0 60 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184854563112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23178] ppid=23170 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/23172/task/23178/stat : 23178 (java) S 23170 23172 21495 0 -1 4202560 319 0 0 0 62 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184853510312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23179] ppid=23170 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/23172/task/23179/stat : 23179 (java) S 23170 23172 21495 0 -1 4202560 270 0 0 0 59 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184852458536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23180] ppid=23170 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23172/task/23180/stat : 23180 (java) S 23170 23172 21495 0 -1 4202560 200 0 0 0 58 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184851405736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23181] ppid=23170 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/23172/task/23181/stat : 23181 (java) S 23170 23172 21495 0 -1 4202560 292 0 0 0 68 4 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184850352936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23182] ppid=23170 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23172/task/23182/stat : 23182 (java) S 23170 23172 21495 0 -1 4202560 344 0 0 0 57 3 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184849300136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23183] ppid=23170 vsize=9624976 CPUtime=5.14 cores=1,3,5,7
/proc/23172/task/23183/stat : 23183 (java) S 23170 23172 21495 0 -1 4202560 159 0 0 0 511 3 0 0 20 0 19 0 254762444 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184237611496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23184] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23184/stat : 23184 (java) S 23170 23172 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184236557560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23185] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23185/stat : 23185 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184235504648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23186] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23186/stat : 23186 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184234453136 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23187] ppid=23170 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23172/task/23187/stat : 23187 (java) S 23170 23172 21495 0 -1 4202560 1381 0 0 0 25 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184233401272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23188] ppid=23170 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/23172/task/23188/stat : 23188 (java) S 23170 23172 21495 0 -1 4202560 2317 0 0 0 30 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184232348472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23189] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23189/stat : 23189 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184231295864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23190] ppid=23170 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23172/task/23190/stat : 23190 (java) S 23170 23172 21495 0 -1 4202560 102 0 0 0 31 34 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184230243272 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23191] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23191/stat : 23191 (java) S 23170 23172 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254762469 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184229188776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1786.94
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 23266
/proc/meminfo: memFree=28534484/32873624 swapFree=7104/7104
[pid=23172] ppid=23170 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/23172/stat : 23172 (java) S 23170 23172 21495 0 -1 4202496 10094 0 1 0 179948 57 0 0 20 0 19 0 254762442 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140733786362848 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23172/statm: 2406244 77182 2280 9 0 2396937 0
[pid=23172/tid=23173] ppid=23170 vsize=9624976 CPUtime=1784.19 cores=1,3,5,7
/proc/23172/task/23173/stat : 23173 (java) R 23170 23172 21495 0 -1 4202560 2625 0 1 0 178390 29 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184884216096 140184729974204 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23175] ppid=23170 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/23172/task/23175/stat : 23175 (java) S 23170 23172 21495 0 -1 4202560 263 0 0 0 60 3 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184856668712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23176] ppid=23170 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/23172/task/23176/stat : 23176 (java) S 23170 23172 21495 0 -1 4202560 247 0 0 0 59 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184855615912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23177] ppid=23170 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23172/task/23177/stat : 23177 (java) S 23170 23172 21495 0 -1 4202560 395 0 0 0 60 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184854563112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23178] ppid=23170 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/23172/task/23178/stat : 23178 (java) S 23170 23172 21495 0 -1 4202560 319 0 0 0 62 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184853510312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23179] ppid=23170 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/23172/task/23179/stat : 23179 (java) S 23170 23172 21495 0 -1 4202560 270 0 0 0 59 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184852458536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23172/tid=23180] ppid=23170 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23172/task/23180/stat : 23180 (java) S 23170 23172 21495 0 -1 4202560 200 0 0 0 58 2 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184851405736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23181] ppid=23170 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/23172/task/23181/stat : 23181 (java) S 23170 23172 21495 0 -1 4202560 292 0 0 0 68 4 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184850352936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23182] ppid=23170 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23172/task/23182/stat : 23182 (java) S 23170 23172 21495 0 -1 4202560 344 0 0 0 57 3 0 0 20 0 19 0 254762443 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184849300136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23172/tid=23183] ppid=23170 vsize=9624976 CPUtime=5.14 cores=1,3,5,7
/proc/23172/task/23183/stat : 23183 (java) S 23170 23172 21495 0 -1 4202560 159 0 0 0 511 3 0 0 20 0 19 0 254762444 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184237611496 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23184] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23184/stat : 23184 (java) S 23170 23172 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184236557560 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23185] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23185/stat : 23185 (java) S 23170 23172 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254762445 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184235504648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23186] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23186/stat : 23186 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184234453136 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23187] ppid=23170 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23172/task/23187/stat : 23187 (java) S 23170 23172 21495 0 -1 4202560 1381 0 0 0 25 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184233401272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23172/tid=23188] ppid=23170 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/23172/task/23188/stat : 23188 (java) S 23170 23172 21495 0 -1 4202560 2317 0 0 0 30 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184232348472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23189] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23189/stat : 23189 (java) S 23170 23172 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184231295864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23190] ppid=23170 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/23172/task/23190/stat : 23190 (java) S 23170 23172 21495 0 -1 4202560 102 0 0 0 32 34 0 0 20 0 19 0 254762447 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184230243272 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23172/tid=23191] ppid=23170 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23172/task/23191/stat : 23191 (java) S 23170 23172 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254762469 9855975424 77182 33554432000 1073741824 1073778376 140733786371712 140184229188776 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23172 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=930129
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=847
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.45
CPU time (s): 1800.05
CPU user time (s): 1799.48
CPU system time (s): 0.57
CPU usage (%): 100.256
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 1.00085
maximum resident set size= 310896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10129
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41616
involuntary context switches= 10571
runsolver used 5.82211 second user time and 14.2208 second system time
The end