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-3458438-1307162242/watcher-3458438-1307162242 -o /tmp/evaluation-result-3458438-1307162242/solver-3458438-1307162242 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458438-1307162242.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: 1.27 1.73 1.89 3/439 23398
/proc/meminfo: memFree=29870732/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 1369 0 1 0 0 0 0 0 22 0 2 0 906454878 37810176 1072 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 9231 1072 832 9 0 387 0
[pid=23398/tid=23403] ppid=23395 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 3670 0 1 0 0 0 0 0 17 0 2 0 906454879 13850947584 4486 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.029053 s]
/proc/loadavg: 1.27 1.73 1.89 3/439 23398
/proc/meminfo: memFree=29870732/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13535028 CPUtime=0.01 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 12450 0 1 0 0 1 0 0 22 0 10 0 906454878 13859868672 12152 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3383757 12153 952 9 0 3374913 0
[pid=23398/tid=23403] ppid=23395 vsize=13535028 CPUtime=0.01 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 11329 0 1 0 0 1 0 0 20 0 10 0 906454879 13859868672 12153 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 47871312151210 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13535028
[startup+0.108081 s]
/proc/loadavg: 1.27 1.73 1.89 3/439 23398
/proc/meminfo: memFree=29870732/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13621728 CPUtime=0.11 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 15514 0 1 0 9 2 0 0 22 0 18 0 906454878 13948649472 15211 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3405432 15211 2093 9 0 3396166 0
[pid=23398/tid=23403] ppid=23395 vsize=13621728 CPUtime=0.08 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 13592 0 1 0 7 1 0 0 18 0 18 0 906454879 13948649472 15211 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621728
[startup+0.300993 s]
/proc/loadavg: 1.27 1.73 1.89 3/439 23398
/proc/meminfo: memFree=29870732/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13624412 CPUtime=0.45 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 19165 0 1 0 43 2 0 0 22 0 18 0 906454878 13951397888 18323 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3406103 18323 2213 9 0 3396837 0
[pid=23398/tid=23403] ppid=23395 vsize=13624412 CPUtime=0.27 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 15627 0 1 0 26 1 0 0 18 0 18 0 906454879 13951397888 18324 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13624412
[startup+0.700917 s]
/proc/loadavg: 1.27 1.73 1.89 3/439 23398
/proc/meminfo: memFree=29870732/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13636500 CPUtime=1.61 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 41440 0 1 0 156 5 0 0 22 0 19 0 906454878 13963776000 37461 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3409125 37462 2236 9 0 3399859 0
[pid=23398/tid=23403] ppid=23395 vsize=13636500 CPUtime=0.67 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 30373 0 1 0 64 3 0 0 19 0 19 0 906454879 13963776000 37462 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 46912505510187 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 13636500
[startup+1.50076 s]
/proc/loadavg: 1.49 1.77 1.91 3/480 23440
/proc/meminfo: memFree=29502888/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13636500 CPUtime=2.47 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 42065 0 1 0 242 5 0 0 22 0 19 0 906454878 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3409125 38085 2239 9 0 3399859 0
[pid=23398/tid=23403] ppid=23395 vsize=13636500 CPUtime=1.47 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 30985 0 1 0 144 3 0 0 18 0 19 0 906454879 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 46912505848560 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23398/tid=23407] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23407/stat : 23407 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906454881 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23408] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23408/stat : 23408 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23409] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23409/stat : 23409 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23410] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23410/stat : 23410 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23411] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23411/stat : 23411 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23412] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23412/stat : 23412 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23413] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23413/stat : 23413 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23414] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23414/stat : 23414 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906454881 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23423] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23423/stat : 23423 (java) S 23395 23398 18266 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 0 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23425] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23425/stat : 23425 (java) S 23395 23398 18266 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 906454882 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23426] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23426/stat : 23426 (java) S 23395 23398 18266 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 906454882 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23429] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23429/stat : 23429 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906454884 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907314097 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23430] ppid=23395 vsize=13636500 CPUtime=0.51 cores=1,3,5,7
/proc/23398/task/23430/stat : 23430 (java) S 23395 23398 18266 0 -1 4202560 4507 0 0 0 50 1 0 0 15 0 19 0 906454884 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 5 0 0 0
[pid=23398/tid=23431] ppid=23395 vsize=13636500 CPUtime=0.47 cores=1,3,5,7
/proc/23398/task/23431/stat : 23431 (java) R 23395 23398 18266 0 -1 4202560 5412 0 0 0 47 0 0 0 15 0 19 0 906454885 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 47871312659645 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23398/tid=23432] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23432/stat : 23432 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906454885 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23433] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23433/stat : 23433 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906454885 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23439] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23439/stat : 23439 (java) S 23395 23398 18266 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 906454935 13963776000 38085 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 13636500
[startup+3.10148 s]
/proc/loadavg: 1.49 1.77 1.91 3/480 23440
/proc/meminfo: memFree=29497184/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13636500 CPUtime=4.12 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 42429 0 1 0 407 5 0 0 22 0 19 0 906454878 13963776000 38447 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3409125 38448 2242 9 0 3399859 0
[pid=23398/tid=23403] ppid=23395 vsize=13636500 CPUtime=3.07 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 31336 0 1 0 304 3 0 0 18 0 19 0 906454879 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23398/tid=23407] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23407/stat : 23407 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906454881 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23408] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23408/stat : 23408 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23409] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23409/stat : 23409 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23410] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23410/stat : 23410 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23411] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23411/stat : 23411 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23412] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23412/stat : 23412 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23413] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23413/stat : 23413 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 906454881 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23414] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23414/stat : 23414 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906454881 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23423] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23423/stat : 23423 (java) S 23395 23398 18266 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 906454882 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 0 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23425] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23425/stat : 23425 (java) S 23395 23398 18266 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 906454882 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23426] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23426/stat : 23426 (java) S 23395 23398 18266 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 906454882 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23429] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23429/stat : 23429 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906454884 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907314097 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23430] ppid=23395 vsize=13636500 CPUtime=0.51 cores=1,3,5,7
/proc/23398/task/23430/stat : 23430 (java) S 23395 23398 18266 0 -1 4202560 4507 0 0 0 50 1 0 0 15 0 19 0 906454884 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 5 0 0 0
[pid=23398/tid=23431] ppid=23395 vsize=13636500 CPUtime=0.52 cores=1,3,5,7
/proc/23398/task/23431/stat : 23431 (java) S 23395 23398 18266 0 -1 4202560 5425 0 0 0 52 0 0 0 15 0 19 0 906454885 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23432] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23432/stat : 23432 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906454885 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23433] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23433/stat : 23433 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906454885 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23439] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23439/stat : 23439 (java) S 23395 23398 18266 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 906454935 13963776000 38448 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 13636500
[startup+6.30087 s]
/proc/loadavg: 1.49 1.77 1.91 3/480 23440
/proc/meminfo: memFree=29476848/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13636500 CPUtime=7.36 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 46490 0 1 0 730 6 0 0 22 0 19 0 906454878 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3409125 42455 2268 9 0 3399859 0
[pid=23398/tid=23403] ppid=23395 vsize=13636500 CPUtime=6.23 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 31580 0 1 0 619 4 0 0 20 0 19 0 906454879 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 46912505916495 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23398/tid=23407] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23407/stat : 23407 (java) S 23395 23398 18266 0 -1 4202560 532 0 0 0 0 0 0 0 18 0 19 0 906454881 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23408] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23408/stat : 23408 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906454881 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23409] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23409/stat : 23409 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906454881 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23410] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23410/stat : 23410 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906454881 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23411] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23411/stat : 23411 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906454881 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23412] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23412/stat : 23412 (java) S 23395 23398 18266 0 -1 4202560 709 0 0 0 0 0 0 0 18 0 19 0 906454881 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
[pid=23398/tid=23413] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23413/stat : 23413 (java) S 23395 23398 18266 0 -1 4202560 504 0 0 0 0 0 0 0 18 0 19 0 906454881 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23414] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23414/stat : 23414 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906454881 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23423] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23423/stat : 23423 (java) S 23395 23398 18266 0 -1 4202560 2067 0 0 0 3 0 0 0 15 0 19 0 906454882 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 0 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23425] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23425/stat : 23425 (java) S 23395 23398 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23426] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23426/stat : 23426 (java) S 23395 23398 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23429] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23429/stat : 23429 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906454884 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907314097 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23430] ppid=23395 vsize=13636500 CPUtime=0.52 cores=1,3,5,7
/proc/23398/task/23430/stat : 23430 (java) S 23395 23398 18266 0 -1 4202560 4509 0 0 0 51 1 0 0 15 0 19 0 906454884 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 5 0 0 0
[pid=23398/tid=23431] ppid=23395 vsize=13636500 CPUtime=0.53 cores=1,3,5,7
/proc/23398/task/23431/stat : 23431 (java) S 23395 23398 18266 0 -1 4202560 5430 0 0 0 53 0 0 0 15 0 19 0 906454885 13963776000 42455 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=23398/tid=23412] ppid=23395 vsize=13636500 CPUtime=0.05 cores=1,3,5,7
/proc/23398/task/23412/stat : 23412 (java) S 23395 23398 18266 0 -1 4202560 1033 0 0 0 5 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23413] ppid=23395 vsize=13636500 CPUtime=0.04 cores=1,3,5,7
/proc/23398/task/23413/stat : 23413 (java) S 23395 23398 18266 0 -1 4202560 1540 0 0 0 4 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23414] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23414/stat : 23414 (java) S 23395 23398 18266 0 -1 4202560 373 0 0 0 3 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23423] ppid=23395 vsize=13636500 CPUtime=2.25 cores=1,3,5,7
/proc/23398/task/23423/stat : 23423 (java) S 23395 23398 18266 0 -1 4202560 7293 0 0 0 224 1 0 0 15 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 0 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
[pid=23398/tid=23425] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23425/stat : 23425 (java) S 23395 23398 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23426] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23426/stat : 23426 (java) S 23395 23398 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23429] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23429/stat : 23429 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906454884 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907314097 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23430] ppid=23395 vsize=13636500 CPUtime=0.65 cores=1,3,5,7
/proc/23398/task/23430/stat : 23430 (java) S 23395 23398 18266 0 -1 4202560 4534 0 0 0 64 1 0 0 15 0 19 0 906454884 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 5 0 0 0
[pid=23398/tid=23431] ppid=23395 vsize=13636500 CPUtime=0.59 cores=1,3,5,7
/proc/23398/task/23431/stat : 23431 (java) S 23395 23398 18266 0 -1 4202560 5441 0 0 0 59 0 0 0 15 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23432] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23432/stat : 23432 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23433] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23433/stat : 23433 (java) S 23395 23398 18266 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23439] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23439/stat : 23439 (java) S 23395 23398 18266 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 906454935 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1663.75
Current children cumulated vsize (KiB) 13636500
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/480 23498
/proc/meminfo: memFree=29338020/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13636500 CPUtime=1723.75 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 55508 0 1 0 172366 9 0 0 22 0 19 0 906454878 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3409125 51205 2269 9 0 3399859 0
[pid=23398/tid=23403] ppid=23395 vsize=13636500 CPUtime=1719.86 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 31655 0 1 0 171982 4 0 0 25 0 19 0 906454879 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 46912505915858 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23398/tid=23407] ppid=23395 vsize=13636500 CPUtime=0.05 cores=1,3,5,7
/proc/23398/task/23407/stat : 23407 (java) S 23395 23398 18266 0 -1 4202560 1285 0 0 0 5 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23408] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23408/stat : 23408 (java) S 23395 23398 18266 0 -1 4202560 302 0 0 0 3 0 0 0 16 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23409] ppid=23395 vsize=13636500 CPUtime=0.01 cores=1,3,5,7
/proc/23398/task/23409/stat : 23409 (java) S 23395 23398 18266 0 -1 4202560 9 0 0 0 1 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23410] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23410/stat : 23410 (java) S 23395 23398 18266 0 -1 4202560 239 0 0 0 3 0 0 0 16 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23411] ppid=23395 vsize=13636500 CPUtime=0.04 cores=1,3,5,7
/proc/23398/task/23411/stat : 23411 (java) S 23395 23398 18266 0 -1 4202560 548 0 0 0 4 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23412] ppid=23395 vsize=13636500 CPUtime=0.05 cores=1,3,5,7
/proc/23398/task/23412/stat : 23412 (java) S 23395 23398 18266 0 -1 4202560 1033 0 0 0 5 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23413] ppid=23395 vsize=13636500 CPUtime=0.04 cores=1,3,5,7
/proc/23398/task/23413/stat : 23413 (java) S 23395 23398 18266 0 -1 4202560 1540 0 0 0 4 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23414] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23414/stat : 23414 (java) S 23395 23398 18266 0 -1 4202560 373 0 0 0 3 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23423] ppid=23395 vsize=13636500 CPUtime=2.28 cores=1,3,5,7
/proc/23398/task/23423/stat : 23423 (java) S 23395 23398 18266 0 -1 4202560 7295 0 0 0 227 1 0 0 15 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 0 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
[pid=23398/tid=23425] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23425/stat : 23425 (java) S 23395 23398 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23426] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23426/stat : 23426 (java) S 23395 23398 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23429] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23429/stat : 23429 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906454884 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907314097 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23430] ppid=23395 vsize=13636500 CPUtime=0.65 cores=1,3,5,7
/proc/23398/task/23430/stat : 23430 (java) S 23395 23398 18266 0 -1 4202560 4534 0 0 0 64 1 0 0 15 0 19 0 906454884 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 5 0 0 0
[pid=23398/tid=23431] ppid=23395 vsize=13636500 CPUtime=0.59 cores=1,3,5,7
/proc/23398/task/23431/stat : 23431 (java) S 23395 23398 18266 0 -1 4202560 5441 0 0 0 59 0 0 0 15 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23432] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23432/stat : 23432 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23433] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23433/stat : 23433 (java) S 23395 23398 18266 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23439] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23439/stat : 23439 (java) S 23395 23398 18266 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 906454935 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1723.75
Current children cumulated vsize (KiB) 13636500
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/480 23499
/proc/meminfo: memFree=29337728/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13636500 CPUtime=1783.76 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 55516 0 1 0 178367 9 0 0 22 0 19 0 906454878 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3409125 51205 2269 9 0 3399859 0
[pid=23398/tid=23403] ppid=23395 vsize=13636500 CPUtime=1779.79 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 31657 0 1 0 177975 4 0 0 25 0 19 0 906454879 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 46912505915891 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23398/tid=23407] ppid=23395 vsize=13636500 CPUtime=0.05 cores=1,3,5,7
/proc/23398/task/23407/stat : 23407 (java) S 23395 23398 18266 0 -1 4202560 1285 0 0 0 5 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23408] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23408/stat : 23408 (java) S 23395 23398 18266 0 -1 4202560 302 0 0 0 3 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23409] ppid=23395 vsize=13636500 CPUtime=0.01 cores=1,3,5,7
/proc/23398/task/23409/stat : 23409 (java) S 23395 23398 18266 0 -1 4202560 9 0 0 0 1 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23410] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23410/stat : 23410 (java) S 23395 23398 18266 0 -1 4202560 239 0 0 0 3 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23411] ppid=23395 vsize=13636500 CPUtime=0.04 cores=1,3,5,7
/proc/23398/task/23411/stat : 23411 (java) S 23395 23398 18266 0 -1 4202560 548 0 0 0 4 0 0 0 16 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23412] ppid=23395 vsize=13636500 CPUtime=0.05 cores=1,3,5,7
/proc/23398/task/23412/stat : 23412 (java) S 23395 23398 18266 0 -1 4202560 1033 0 0 0 5 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23413] ppid=23395 vsize=13636500 CPUtime=0.04 cores=1,3,5,7
/proc/23398/task/23413/stat : 23413 (java) S 23395 23398 18266 0 -1 4202560 1540 0 0 0 4 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23414] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23414/stat : 23414 (java) S 23395 23398 18266 0 -1 4202560 373 0 0 0 3 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23423] ppid=23395 vsize=13636500 CPUtime=2.35 cores=1,3,5,7
/proc/23398/task/23423/stat : 23423 (java) S 23395 23398 18266 0 -1 4202560 7299 0 0 0 234 1 0 0 15 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 0 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
[pid=23398/tid=23425] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23425/stat : 23425 (java) S 23395 23398 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23426] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23426/stat : 23426 (java) S 23395 23398 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23429] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23429/stat : 23429 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906454884 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907314097 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23430] ppid=23395 vsize=13636500 CPUtime=0.65 cores=1,3,5,7
/proc/23398/task/23430/stat : 23430 (java) S 23395 23398 18266 0 -1 4202560 4534 0 0 0 64 1 0 0 15 0 19 0 906454884 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 5 0 0 0
[pid=23398/tid=23431] ppid=23395 vsize=13636500 CPUtime=0.59 cores=1,3,5,7
/proc/23398/task/23431/stat : 23431 (java) S 23395 23398 18266 0 -1 4202560 5441 0 0 0 59 0 0 0 15 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23432] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23432/stat : 23432 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23433] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23433/stat : 23433 (java) S 23395 23398 18266 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23439] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23439/stat : 23439 (java) S 23395 23398 18266 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 906454935 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1783.76
Current children cumulated vsize (KiB) 13636500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.6 s]
/proc/loadavg: 2.01 2.03 2.00 2/460 23503
/proc/meminfo: memFree=29664844/32950928 swapFree=52246700/67111528
[pid=23398] ppid=23395 vsize=13636500 CPUtime=1800.07 cores=1,3,5,7
/proc/23398/stat : 23398 (java) S 23395 23398 18266 0 -1 4202496 55519 0 1 0 179998 9 0 0 22 0 19 0 906454878 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23398/statm: 3409125 51205 2269 9 0 3399859 0
[pid=23398/tid=23403] ppid=23395 vsize=13636500 CPUtime=1796.07 cores=1,3,5,7
/proc/23398/task/23403/stat : 23403 (java) R 23395 23398 18266 0 -1 4202560 31658 0 1 0 179603 4 0 0 25 0 19 0 906454879 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 46912505873099 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23398/tid=23407] ppid=23395 vsize=13636500 CPUtime=0.05 cores=1,3,5,7
/proc/23398/task/23407/stat : 23407 (java) S 23395 23398 18266 0 -1 4202560 1285 0 0 0 5 0 0 0 16 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23408] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23408/stat : 23408 (java) S 23395 23398 18266 0 -1 4202560 302 0 0 0 3 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23409] ppid=23395 vsize=13636500 CPUtime=0.02 cores=1,3,5,7
/proc/23398/task/23409/stat : 23409 (java) S 23395 23398 18266 0 -1 4202560 9 0 0 0 2 0 0 0 16 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23410] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23410/stat : 23410 (java) S 23395 23398 18266 0 -1 4202560 239 0 0 0 3 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23411] ppid=23395 vsize=13636500 CPUtime=0.04 cores=1,3,5,7
/proc/23398/task/23411/stat : 23411 (java) S 23395 23398 18266 0 -1 4202560 548 0 0 0 4 0 0 0 16 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23412] ppid=23395 vsize=13636500 CPUtime=0.05 cores=1,3,5,7
/proc/23398/task/23412/stat : 23412 (java) S 23395 23398 18266 0 -1 4202560 1033 0 0 0 5 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23413] ppid=23395 vsize=13636500 CPUtime=0.04 cores=1,3,5,7
/proc/23398/task/23413/stat : 23413 (java) S 23395 23398 18266 0 -1 4202560 1540 0 0 0 4 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23414] ppid=23395 vsize=13636500 CPUtime=0.03 cores=1,3,5,7
/proc/23398/task/23414/stat : 23414 (java) S 23395 23398 18266 0 -1 4202560 373 0 0 0 3 0 0 0 15 0 19 0 906454881 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23423] ppid=23395 vsize=13636500 CPUtime=2.38 cores=1,3,5,7
/proc/23398/task/23423/stat : 23423 (java) S 23395 23398 18266 0 -1 4202560 7299 0 0 0 237 1 0 0 15 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 0 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
[pid=23398/tid=23425] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23425/stat : 23425 (java) S 23395 23398 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23426] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23426/stat : 23426 (java) S 23395 23398 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906454882 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 7 0 0 0
[pid=23398/tid=23429] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23429/stat : 23429 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906454884 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907314097 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23430] ppid=23395 vsize=13636500 CPUtime=0.65 cores=1,3,5,7
/proc/23398/task/23430/stat : 23430 (java) S 23395 23398 18266 0 -1 4202560 4534 0 0 0 64 1 0 0 15 0 19 0 906454884 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 5 0 0 0
[pid=23398/tid=23431] ppid=23395 vsize=13636500 CPUtime=0.59 cores=1,3,5,7
/proc/23398/task/23431/stat : 23431 (java) S 23395 23398 18266 0 -1 4202560 5441 0 0 0 59 0 0 0 15 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23432] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23432/stat : 23432 (java) S 23395 23398 18266 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907306393 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23433] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23433/stat : 23433 (java) S 23395 23398 18266 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 906454885 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 3 0 0 0
[pid=23398/tid=23439] ppid=23395 vsize=13636500 CPUtime=0 cores=1,3,5,7
/proc/23398/task/23439/stat : 23439 (java) S 23395 23398 18266 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 906454935 13963776000 51205 33554432000 1073741824 1073778376 140736815790592 18446744073709551615 231907307008 0 4 0 16800975 18446604460955859136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13636500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.66
CPU time (s): 1800.14
CPU user time (s): 1800.03
CPU system time (s): 0.106983
CPU usage (%): 100.082
Max. virtual memory (cumulated for all children) (KiB): 13636500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55571
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= 38966
involuntary context switches= 5655
runsolver used 7.56885 second user time and 19.506 second system time
The end