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-3453733-1307194152/watcher-3453733-1307194152 -o /tmp/evaluation-result-3453733-1307194152/solver-3453733-1307194152 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453733-1307194152.opb
running on 4 cores: 0,2,4,6
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.37 3.81 3.67 4/526 14017
/proc/meminfo: memFree=29720876/32951124 swapFree=51712236/67111528
[pid=14017] ppid=14015 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14017/stat : 14017 (java) S 14015 14017 9506 0 -1 4202496 3842 0 1 0 0 0 0 0 25 0 2 0 831017800 10694979584 3543 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/14017/statm: 2611079 3557 917 9 0 2602235 0
[pid=14017/tid=14018] ppid=14015 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (java) R 14015 14017 9506 0 -1 4202560 7136 0 1 0 0 1 0 0 25 0 2 0 831017800 10694979584 7951 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.064546 s]
/proc/loadavg: 3.37 3.81 3.67 4/526 14017
/proc/meminfo: memFree=29720876/32951124 swapFree=51712236/67111528
[pid=14017] ppid=14015 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/14017/stat : 14017 (java) S 14015 14017 9506 0 -1 4202496 11746 0 1 0 4 1 0 0 25 0 18 0 831017800 10724302848 11442 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14017/statm: 2618238 11444 1741 9 0 2608972 0
[pid=14017/tid=14018] ppid=14015 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (java) R 14015 14017 9506 0 -1 4202560 10573 0 1 0 4 1 0 0 25 0 18 0 831017800 10724302848 11444 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 47528024100771 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.100549 s]
/proc/loadavg: 3.37 3.81 3.67 4/526 14017
/proc/meminfo: memFree=29720876/32951124 swapFree=51712236/67111528
[pid=14017] ppid=14015 vsize=10540248 CPUtime=0.11 cores=0,2,4,6
/proc/14017/stat : 14017 (java) S 14015 14017 9506 0 -1 4202496 13097 0 1 0 9 2 0 0 25 0 18 0 831017800 10793213952 12793 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14017/statm: 2635062 12793 2092 9 0 2625796 0
[pid=14017/tid=14018] ppid=14015 vsize=10540248 CPUtime=0.08 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (java) R 14015 14017 9506 0 -1 4202560 11194 0 1 0 7 1 0 0 18 0 18 0 831017800 10793213952 12794 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 47528028568403 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540248
[startup+0.300494 s]
/proc/loadavg: 3.37 3.81 3.67 4/526 14017
/proc/meminfo: memFree=29720876/32951124 swapFree=51712236/67111528
[pid=14017] ppid=14015 vsize=10549784 CPUtime=0.72 cores=0,2,4,6
/proc/14017/stat : 14017 (java) S 14015 14017 9506 0 -1 4202496 18422 0 1 0 69 3 0 0 25 0 19 0 831017800 10802978816 16584 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14017/statm: 2637446 16584 2195 9 0 2628180 0
[pid=14017/tid=14018] ppid=14015 vsize=10549784 CPUtime=0.12 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (java) S 14015 14017 9506 0 -1 4202560 11619 0 1 0 11 1 0 0 19 0 19 0 831017800 10802978816 16584 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 10549784
[startup+0.700481 s]
/proc/loadavg: 3.37 3.81 3.67 4/526 14017
/proc/meminfo: memFree=29720876/32951124 swapFree=51712236/67111528
[pid=14017] ppid=14015 vsize=10553808 CPUtime=0.92 cores=0,2,4,6
/proc/14017/stat : 14017 (java) S 14015 14017 9506 0 -1 4202496 20437 0 1 0 89 3 0 0 25 0 19 0 831017800 10807099392 17946 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14017/statm: 2638452 17946 2200 9 0 2629186 0
[pid=14017/tid=14018] ppid=14015 vsize=10553808 CPUtime=0.12 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (java) S 14015 14017 9506 0 -1 4202560 11622 0 1 0 11 1 0 0 16 0 19 0 831017800 10807099392 17946 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 10553808
[startup+1.50135 s]
/proc/loadavg: 3.37 3.81 3.67 3/545 14042
/proc/meminfo: memFree=29655756/32951124 swapFree=51712236/67111528
[pid=14017] ppid=14015 vsize=10553808 CPUtime=1 cores=0,2,4,6
/proc/14017/stat : 14017 (java) S 14015 14017 9506 0 -1 4202496 21314 0 1 0 97 3 0 0 25 0 19 0 831017800 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14017/statm: 2638452 18822 2209 9 0 2629186 0
[pid=14017/tid=14018] ppid=14015 vsize=10553808 CPUtime=0.12 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (java) S 14015 14017 9506 0 -1 4202560 11624 0 1 0 11 1 0 0 16 0 19 0 831017800 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 0 0 0 0
[pid=14017/tid=14020] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14021] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14021/stat : 14021 (java) S 14015 14017 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14022] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14022/stat : 14022 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14023] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14023/stat : 14023 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14024] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14024/stat : 14024 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14025] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14025/stat : 14025 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14026] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14026/stat : 14026 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14027] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14027/stat : 14027 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14028] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14028/stat : 14028 (java) S 14015 14017 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831017803 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 0 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14029] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14029/stat : 14029 (java) S 14015 14017 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831017803 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14030] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14030/stat : 14030 (java) S 14015 14017 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017803 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14031] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14031/stat : 14031 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017805 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646338993 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14032] ppid=14015 vsize=10553808 CPUtime=0.24 cores=0,2,4,6
/proc/14017/task/14032/stat : 14032 (java) S 14015 14017 9506 0 -1 4202560 2319 0 0 0 24 0 0 0 15 0 19 0 831017805 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14033] ppid=14015 vsize=10553808 CPUtime=0.26 cores=0,2,4,6
/proc/14017/task/14033/stat : 14033 (java) S 14015 14017 9506 0 -1 4202560 4053 0 0 0 26 0 0 0 15 0 19 0 831017805 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 0 0 0 0
[pid=14017/tid=14034] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14034/stat : 14034 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017805 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14035] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14035/stat : 14035 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017805 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 4 0 0 0
[pid=14017/tid=14038] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14038/stat : 14038 (java) S 14015 14017 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831017815 10807099392 18822 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10553808
Solver just ended. Dumping a history of the last processes samples
[startup+1.90124 s]
/proc/loadavg: 3.37 3.81 3.67 3/545 14042
/proc/meminfo: memFree=29655756/32951124 swapFree=51712236/67111528
[pid=14017] ppid=14015 vsize=10553808 CPUtime=1.57 cores=0,2,4,6
/proc/14017/stat : 14017 (java) S 14015 14017 9506 0 -1 4202496 29302 0 1 0 153 4 0 0 25 0 19 0 831017800 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14017/statm: 2638452 24939 2216 9 0 2629186 0
[pid=14017/tid=14018] ppid=14015 vsize=10553808 CPUtime=0.12 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (java) S 14015 14017 9506 0 -1 4202560 11626 0 1 0 11 1 0 0 16 0 19 0 831017800 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14020] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14021] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14021/stat : 14021 (java) S 14015 14017 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14022] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14022/stat : 14022 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14023] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14023/stat : 14023 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14024] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14024/stat : 14024 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14025] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14025/stat : 14025 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14026] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14026/stat : 14026 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14027] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14027/stat : 14027 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14028] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14028/stat : 14028 (java) S 14015 14017 9506 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 831017803 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 0 0 16800975 18446604440892580224 0 0 -1 4 0 0 0
[pid=14017/tid=14029] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14029/stat : 14029 (java) S 14015 14017 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831017803 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14030] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14030/stat : 14030 (java) S 14015 14017 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017803 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14031] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14031/stat : 14031 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017805 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646338993 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14032] ppid=14015 vsize=10553808 CPUtime=0.48 cores=0,2,4,6
/proc/14017/task/14032/stat : 14032 (java) R 14015 14017 9506 0 -1 4202560 6559 0 0 0 47 1 0 0 16 0 19 0 831017805 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 47528024918491 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14017/tid=14033] ppid=14015 vsize=10553808 CPUtime=0.41 cores=0,2,4,6
/proc/14017/task/14033/stat : 14033 (java) S 14015 14017 9506 0 -1 4202560 4148 0 0 0 41 0 0 0 16 0 19 0 831017805 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 0 0 0 0
[pid=14017/tid=14034] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14034/stat : 14034 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017805 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14035] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14035/stat : 14035 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017805 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 4 0 0 0
[pid=14017/tid=14038] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14038/stat : 14038 (java) S 14015 14017 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831017815 10807099392 24939 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10553808
[startup+2.10121 s]
/proc/loadavg: 3.37 3.81 3.67 3/545 14051
/proc/meminfo: memFree=29625372/32951124 swapFree=51712236/67111528
[pid=14017] ppid=14015 vsize=10553808 CPUtime=1.62 cores=0,2,4,6
/proc/14017/stat : 14017 (java) S 14015 14017 9506 0 -1 4202496 29699 0 1 0 158 4 0 0 25 0 19 0 831017800 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14017/statm: 2638452 24532 2216 9 0 2629186 0
[pid=14017/tid=14018] ppid=14015 vsize=10553808 CPUtime=0.12 cores=0,2,4,6
/proc/14017/task/14018/stat : 14018 (java) S 14015 14017 9506 0 -1 4202560 11626 0 1 0 11 1 0 0 16 0 19 0 831017800 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14020] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14020/stat : 14020 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14021] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14021/stat : 14021 (java) S 14015 14017 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14022] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14022/stat : 14022 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14023] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14023/stat : 14023 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14024] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14024/stat : 14024 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14025] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14025/stat : 14025 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14026] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14026/stat : 14026 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14027] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14027/stat : 14027 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017802 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 6 0 0 0
[pid=14017/tid=14028] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14028/stat : 14028 (java) S 14015 14017 9506 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 831017803 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 0 0 16800975 18446604440892580224 0 0 -1 4 0 0 0
[pid=14017/tid=14029] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14029/stat : 14029 (java) S 14015 14017 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831017803 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14030] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14030/stat : 14030 (java) S 14015 14017 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017803 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14031] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14031/stat : 14031 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017805 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646338993 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14032] ppid=14015 vsize=10553808 CPUtime=0.52 cores=0,2,4,6
/proc/14017/task/14032/stat : 14032 (java) S 14015 14017 9506 0 -1 4202560 6956 0 0 0 51 1 0 0 16 0 19 0 831017805 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14033] ppid=14015 vsize=10553808 CPUtime=0.41 cores=0,2,4,6
/proc/14017/task/14033/stat : 14033 (java) S 14015 14017 9506 0 -1 4202560 4148 0 0 0 41 0 0 0 16 0 19 0 831017805 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 0 0 0 0
[pid=14017/tid=14034] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14034/stat : 14034 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017805 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331289 0 4 0 16800975 18446604440892580224 0 0 -1 2 0 0 0
[pid=14017/tid=14035] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14035/stat : 14035 (java) S 14015 14017 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017805 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 4 0 0 0
[pid=14017/tid=14038] ppid=14015 vsize=10553808 CPUtime=0 cores=0,2,4,6
/proc/14017/task/14038/stat : 14038 (java) S 14015 14017 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831017815 10807099392 24532 33554432000 1073741824 1073778376 140734466355968 18446744073709551615 216646331904 0 4 0 16800975 18446604440892580224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10553808
Child status: 30
Real time (s): 2.1776
CPU time (s): 1.64675
CPU user time (s): 1.59876
CPU system time (s): 0.047992
CPU usage (%): 75.6221
Max. virtual memory (cumulated for all children) (KiB): 10553808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.59876
system time used= 0.047992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29716
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= 252
involuntary context switches= 69
runsolver used 0.016997 second user time and 0.040993 second system time
The end