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-3454805-1307186830/watcher-3454805-1307186830 -o /tmp/evaluation-result-3454805-1307186830/solver-3454805-1307186830 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454805-1307186830.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: 3.77 2.18 1.96 4/421 11461
/proc/meminfo: memFree=29842456/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 2216 0 1 0 0 0 0 0 25 0 2 0 830282719 10681323520 1920 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2607745 1933 906 9 0 2598901 0
[pid=11461/tid=11462] ppid=11459 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) R 11459 11461 8078 0 -1 4202560 4605 0 1 0 0 0 0 0 25 0 2 0 830282720 10694979584 5421 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.113964 s]
/proc/loadavg: 3.77 2.18 1.96 4/421 11461
/proc/meminfo: memFree=29842456/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10540608 CPUtime=0.12 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 13400 0 1 0 11 1 0 0 25 0 18 0 830282719 10793582592 13056 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2635152 13056 2134 9 0 2625886 0
[pid=11461/tid=11462] ppid=11459 vsize=10540608 CPUtime=0.09 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) R 11459 11461 8078 0 -1 4202560 11343 0 1 0 8 1 0 0 25 0 18 0 830282720 10793582592 13056 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540608
[startup+0.200948 s]
/proc/loadavg: 3.77 2.18 1.96 4/421 11461
/proc/meminfo: memFree=29842456/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10547540 CPUtime=0.29 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 15411 0 1 0 27 2 0 0 25 0 22 0 830282719 10800680960 14795 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2636885 14795 2200 9 0 2627619 0
[pid=11461/tid=11462] ppid=11459 vsize=10547540 CPUtime=0.15 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) S 11459 11461 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 25 0 22 0 830282720 10800680960 14797 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10547540
[startup+0.300931 s]
/proc/loadavg: 3.77 2.18 1.96 4/421 11461
/proc/meminfo: memFree=29842456/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10548828 CPUtime=0.69 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 18886 0 1 0 67 2 0 0 25 0 22 0 830282719 10801999872 17139 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2637207 17139 2213 9 0 2627941 0
[pid=11461/tid=11462] ppid=11459 vsize=10548828 CPUtime=0.15 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) S 11459 11461 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 25 0 22 0 830282720 10801999872 17139 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10548828
[startup+0.700861 s]
/proc/loadavg: 3.77 2.18 1.96 4/421 11461
/proc/meminfo: memFree=29842456/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10557732 CPUtime=2.24 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 48383 0 1 0 219 5 0 0 25 0 22 0 830282719 10811117568 43927 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2639433 43933 2246 9 0 2630167 0
[pid=11461/tid=11462] ppid=11459 vsize=10557732 CPUtime=0.15 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) S 11459 11461 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 20 0 22 0 830282720 10811117568 43936 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10557732
[startup+1.50072 s]
/proc/loadavg: 3.77 2.18 1.96 3/417 11501
/proc/meminfo: memFree=29851052/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10558964 CPUtime=4.42 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 72419 0 1 0 434 8 0 0 25 0 22 0 830282719 10812379136 63575 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2639741 63582 2258 9 0 2630475 0
[pid=11461/tid=11462] ppid=11459 vsize=10558964 CPUtime=0.15 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) S 11459 11461 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 15 0 22 0 830282720 10812379136 63586 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11464] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11464/stat : 11464 (java) S 11459 11461 8078 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 63591 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11465] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11465/stat : 11465 (java) S 11459 11461 8078 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 63596 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11466] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11466/stat : 11466 (java) S 11459 11461 8078 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 63600 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11467] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11467/stat : 11467 (java) S 11459 11461 8078 0 -1 4202560 373 0 0 0 0 0 0 0 16 0 22 0 830282721 10812379136 63605 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11468] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11468/stat : 11468 (java) S 11459 11461 8078 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 63610 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11469] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11469/stat : 11469 (java) S 11459 11461 8078 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 63614 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11470] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11470/stat : 11470 (java) S 11459 11461 8078 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 63618 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11471] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11471/stat : 11471 (java) S 11459 11461 8078 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 63622 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11472] ppid=11459 vsize=10558964 CPUtime=0.07 cores=1,3,5,7
/proc/11461/task/11472/stat : 11472 (java) S 11459 11461 8078 0 -1 4202560 1578 0 0 0 7 0 0 0 16 0 22 0 830282722 10812379136 63626 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 0 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11473] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11473/stat : 11473 (java) S 11459 11461 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830282723 10812379136 63630 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11474] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11474/stat : 11474 (java) S 11459 11461 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 830282723 10812379136 63634 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11475] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11475/stat : 11475 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282725 10812379136 63638 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290703281 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11476] ppid=11459 vsize=10558964 CPUtime=0.81 cores=1,3,5,7
/proc/11461/task/11476/stat : 11476 (java) S 11459 11461 8078 0 -1 4202560 8874 0 0 0 81 0 0 0 21 0 22 0 830282725 10812379136 63642 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11477] ppid=11459 vsize=10558964 CPUtime=0.86 cores=1,3,5,7
/proc/11461/task/11477/stat : 11477 (java) R 11459 11461 8078 0 -1 4202560 7622 0 0 0 85 1 0 0 21 0 22 0 830282725 10812379136 63645 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 47078890555995 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11461/tid=11478] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11478/stat : 11478 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282725 10812379136 63649 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11479] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11479/stat : 11479 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830282725 10812379136 63652 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11480] ppid=11459 vsize=10558964 CPUtime=1.23 cores=1,3,5,7
/proc/11461/task/11480/stat : 11480 (java) R 11459 11461 8078 0 -1 4202560 388 0 0 0 123 0 0 0 25 0 22 0 830282736 10812379136 63655 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 46912505675723 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11461/tid=11481] ppid=11459 vsize=10558964 CPUtime=1.22 cores=1,3,5,7
/proc/11461/task/11481/stat : 11481 (java) R 11459 11461 8078 0 -1 4202560 39818 0 0 0 118 4 0 0 25 0 22 0 830282736 10812379136 63658 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 46912505529706 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11461/tid=11482] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11482/stat : 11482 (java) S 11459 11461 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282737 10812379136 63660 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
[pid=11461/tid=11483] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11483/stat : 11483 (java) S 11459 11461 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282737 10812379136 63662 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 10558964
[startup+3.10143 s]
/proc/loadavg: 3.77 2.18 1.96 6/443 11532
/proc/meminfo: memFree=29531924/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10558964 CPUtime=7.54 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 94252 0 1 0 744 10 0 0 25 0 22 0 830282719 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2639741 85403 2258 9 0 2630475 0
[pid=11461/tid=11462] ppid=11459 vsize=10558964 CPUtime=0.15 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) S 11459 11461 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 15 0 22 0 830282720 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11464] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11464/stat : 11464 (java) S 11459 11461 8078 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11465] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11465/stat : 11465 (java) S 11459 11461 8078 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11466] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11466/stat : 11466 (java) S 11459 11461 8078 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11467] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11467/stat : 11467 (java) S 11459 11461 8078 0 -1 4202560 387 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11468] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11468/stat : 11468 (java) S 11459 11461 8078 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11469] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11469/stat : 11469 (java) S 11459 11461 8078 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11470] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11470/stat : 11470 (java) S 11459 11461 8078 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11471] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11471/stat : 11471 (java) S 11459 11461 8078 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11472] ppid=11459 vsize=10558964 CPUtime=0.18 cores=1,3,5,7
/proc/11461/task/11472/stat : 11472 (java) S 11459 11461 8078 0 -1 4202560 2989 0 0 0 18 0 0 0 16 0 22 0 830282722 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 0 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11473] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11473/stat : 11473 (java) S 11459 11461 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830282723 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11474] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11474/stat : 11474 (java) S 11459 11461 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 830282723 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11475] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11475/stat : 11475 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290703281 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11476] ppid=11459 vsize=10558964 CPUtime=0.81 cores=1,3,5,7
/proc/11461/task/11476/stat : 11476 (java) S 11459 11461 8078 0 -1 4202560 8874 0 0 0 81 0 0 0 17 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11477] ppid=11459 vsize=10558964 CPUtime=0.88 cores=1,3,5,7
/proc/11461/task/11477/stat : 11477 (java) S 11459 11461 8078 0 -1 4202560 7628 0 0 0 87 1 0 0 15 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
[pid=11461/tid=11478] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11478/stat : 11478 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11479] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11479/stat : 11479 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11480] ppid=11459 vsize=10558964 CPUtime=2.71 cores=1,3,5,7
/proc/11461/task/11480/stat : 11480 (java) R 11459 11461 8078 0 -1 4202560 391 0 0 0 271 0 0 0 25 0 22 0 830282736 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 46912505539887 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11461/tid=11481] ppid=11459 vsize=10558964 CPUtime=2.71 cores=1,3,5,7
/proc/11461/task/11481/stat : 11481 (java) R 11459 11461 8078 0 -1 4202560 60092 0 0 0 265 6 0 0 25 0 22 0 830282736 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 46912506048010 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11461/tid=11482] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11482/stat : 11482 (java) S 11459 11461 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282737 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
[pid=11461/tid=11483] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11483/stat : 11483 (java) S 11459 11461 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282737 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 10558964
Solver just ended. Dumping a history of the last processes samples
[startup+3.20142 s]
/proc/loadavg: 3.77 2.18 1.96 6/443 11532
/proc/meminfo: memFree=29531924/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10558964 CPUtime=7.74 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 94252 0 1 0 764 10 0 0 25 0 22 0 830282719 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2639741 85403 2258 9 0 2630475 0
[pid=11461/tid=11462] ppid=11459 vsize=10558964 CPUtime=0.15 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) S 11459 11461 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 15 0 22 0 830282720 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11464] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11464/stat : 11464 (java) S 11459 11461 8078 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11465] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11465/stat : 11465 (java) S 11459 11461 8078 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11466] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11466/stat : 11466 (java) S 11459 11461 8078 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11467] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11467/stat : 11467 (java) S 11459 11461 8078 0 -1 4202560 387 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11468] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11468/stat : 11468 (java) S 11459 11461 8078 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11469] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11469/stat : 11469 (java) S 11459 11461 8078 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11470] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11470/stat : 11470 (java) S 11459 11461 8078 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11471] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11471/stat : 11471 (java) S 11459 11461 8078 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 22 0 830282721 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11472] ppid=11459 vsize=10558964 CPUtime=0.18 cores=1,3,5,7
/proc/11461/task/11472/stat : 11472 (java) S 11459 11461 8078 0 -1 4202560 2989 0 0 0 18 0 0 0 16 0 22 0 830282722 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 0 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11473] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11473/stat : 11473 (java) S 11459 11461 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830282723 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11474] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11474/stat : 11474 (java) S 11459 11461 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 830282723 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11475] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11475/stat : 11475 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290703281 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11476] ppid=11459 vsize=10558964 CPUtime=0.81 cores=1,3,5,7
/proc/11461/task/11476/stat : 11476 (java) S 11459 11461 8078 0 -1 4202560 8874 0 0 0 81 0 0 0 17 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11477] ppid=11459 vsize=10558964 CPUtime=0.88 cores=1,3,5,7
/proc/11461/task/11477/stat : 11477 (java) S 11459 11461 8078 0 -1 4202560 7628 0 0 0 87 1 0 0 15 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
[pid=11461/tid=11478] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11478/stat : 11478 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11479] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11479/stat : 11479 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830282725 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11480] ppid=11459 vsize=10558964 CPUtime=2.81 cores=1,3,5,7
/proc/11461/task/11480/stat : 11480 (java) R 11459 11461 8078 0 -1 4202560 391 0 0 0 281 0 0 0 25 0 22 0 830282736 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 46912505585276 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11461/tid=11481] ppid=11459 vsize=10558964 CPUtime=2.81 cores=1,3,5,7
/proc/11461/task/11481/stat : 11481 (java) R 11459 11461 8078 0 -1 4202560 60092 0 0 0 275 6 0 0 25 0 22 0 830282736 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 46912505683073 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11461/tid=11482] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11482/stat : 11482 (java) S 11459 11461 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282737 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
[pid=11461/tid=11483] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11483/stat : 11483 (java) S 11459 11461 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830282737 10812379136 85403 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 10558964
[startup+3.60134 s]
/proc/loadavg: 3.79 2.21 1.97 5/443 11532
/proc/meminfo: memFree=29412636/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10558964 CPUtime=7.95 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 94253 0 1 0 785 10 0 0 25 0 19 0 830282719 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2639741 85404 2259 9 0 2630475 0
[pid=11461/tid=11462] ppid=11459 vsize=10558964 CPUtime=0.15 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) S 11459 11461 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 15 0 19 0 830282720 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11464] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11464/stat : 11464 (java) S 11459 11461 8078 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 19 0 830282721 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11465] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11465/stat : 11465 (java) S 11459 11461 8078 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 830282721 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11466] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11466/stat : 11466 (java) S 11459 11461 8078 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 19 0 830282721 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11467] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11467/stat : 11467 (java) S 11459 11461 8078 0 -1 4202560 387 0 0 0 0 0 0 0 15 0 19 0 830282721 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11468] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11468/stat : 11468 (java) S 11459 11461 8078 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 19 0 830282721 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11469] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11469/stat : 11469 (java) S 11459 11461 8078 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 830282721 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11470] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11470/stat : 11470 (java) S 11459 11461 8078 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 830282721 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11471] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11471/stat : 11471 (java) S 11459 11461 8078 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 830282721 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11472] ppid=11459 vsize=10558964 CPUtime=0.18 cores=1,3,5,7
/proc/11461/task/11472/stat : 11472 (java) S 11459 11461 8078 0 -1 4202560 2989 0 0 0 18 0 0 0 16 0 19 0 830282722 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 0 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11473] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11473/stat : 11473 (java) S 11459 11461 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 830282723 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11474] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11474/stat : 11474 (java) S 11459 11461 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 830282723 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11475] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11475/stat : 11475 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830282725 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290703281 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11476] ppid=11459 vsize=10558964 CPUtime=0.81 cores=1,3,5,7
/proc/11461/task/11476/stat : 11476 (java) S 11459 11461 8078 0 -1 4202560 8874 0 0 0 81 0 0 0 17 0 19 0 830282725 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11477] ppid=11459 vsize=10558964 CPUtime=0.88 cores=1,3,5,7
/proc/11461/task/11477/stat : 11477 (java) S 11459 11461 8078 0 -1 4202560 7628 0 0 0 87 1 0 0 15 0 19 0 830282725 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
[pid=11461/tid=11478] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11478/stat : 11478 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830282725 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11479] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11479/stat : 11479 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830282725 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11483] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11483/stat : 11483 (java) S 11459 11461 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830282737 10812379136 85404 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 10558964
[startup+3.70137 s]
/proc/loadavg: 3.79 2.21 1.97 5/443 11532
/proc/meminfo: memFree=29412636/32950904 swapFree=56615552/67111528
[pid=11461] ppid=11459 vsize=10558964 CPUtime=7.97 cores=1,3,5,7
/proc/11461/stat : 11461 (java) S 11459 11461 8078 0 -1 4202496 94273 0 1 0 787 10 0 0 25 0 18 0 830282719 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11461/statm: 2639741 85423 2266 9 0 2630475 0
[pid=11461/tid=11462] ppid=11459 vsize=10558964 CPUtime=0.15 cores=1,3,5,7
/proc/11461/task/11462/stat : 11462 (java) S 11459 11461 8078 0 -1 4202560 11776 0 1 0 14 1 0 0 15 0 18 0 830282720 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11464] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11464/stat : 11464 (java) S 11459 11461 8078 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 18 0 830282721 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11465] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11465/stat : 11465 (java) S 11459 11461 8078 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 18 0 830282721 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11466] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11466/stat : 11466 (java) S 11459 11461 8078 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 18 0 830282721 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11467] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11467/stat : 11467 (java) S 11459 11461 8078 0 -1 4202560 387 0 0 0 0 0 0 0 15 0 18 0 830282721 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11468] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11468/stat : 11468 (java) S 11459 11461 8078 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 18 0 830282721 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11469] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11469/stat : 11469 (java) S 11459 11461 8078 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 18 0 830282721 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11470] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11470/stat : 11470 (java) S 11459 11461 8078 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 18 0 830282721 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11471] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11471/stat : 11471 (java) S 11459 11461 8078 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 18 0 830282721 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 5 0 0 0
[pid=11461/tid=11472] ppid=11459 vsize=10558964 CPUtime=0.18 cores=1,3,5,7
/proc/11461/task/11472/stat : 11472 (java) S 11459 11461 8078 0 -1 4202560 2990 0 0 0 18 0 0 0 15 0 18 0 830282722 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 0 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11473] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11473/stat : 11473 (java) S 11459 11461 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 830282723 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11474] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11474/stat : 11474 (java) S 11459 11461 8078 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 830282723 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11475] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11475/stat : 11475 (java) S 11459 11461 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830282725 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11476] ppid=11459 vsize=10558964 CPUtime=0.81 cores=1,3,5,7
/proc/11461/task/11476/stat : 11476 (java) S 11459 11461 8078 0 -1 4202560 8874 0 0 0 81 0 0 0 15 0 18 0 830282725 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 7 0 0 0
[pid=11461/tid=11477] ppid=11459 vsize=10558964 CPUtime=0.89 cores=1,3,5,7
/proc/11461/task/11477/stat : 11477 (java) S 11459 11461 8078 0 -1 4202560 7634 0 0 0 88 1 0 0 15 0 18 0 830282725 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
[pid=11461/tid=11478] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11478/stat : 11478 (java) S 11459 11461 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830282725 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290695577 0 4 0 16800975 18446604457807386432 0 0 -1 3 0 0 0
[pid=11461/tid=11483] ppid=11459 vsize=10558964 CPUtime=0 cores=1,3,5,7
/proc/11461/task/11483/stat : 11483 (java) S 11459 11461 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830282737 10812379136 85423 33554432000 1073741824 1073778376 140735033571232 18446744073709551615 237290696192 0 4 0 16800975 18446604457807386432 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 10558964
Child status: 10
Real time (s): 3.7262
CPU time (s): 8.00078
CPU user time (s): 7.8768
CPU system time (s): 0.123981
CPU usage (%): 214.717
Max. virtual memory (cumulated for all children) (KiB): 10569228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.8768
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94273
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= 592
involuntary context switches= 242
runsolver used 0.017997 second user time and 0.042993 second system time
The end