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-3454080-1307193361/watcher-3454080-1307193361 -o /tmp/evaluation-result-3454080-1307193361/solver-3454080-1307193361 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454080-1307193361.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.27 3.54 3.56 3/551 9814
/proc/meminfo: memFree=12481696/32951132 swapFree=46579808/67111528
[pid=9814] ppid=9812 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9814/stat : 9814 (java) S 9812 9814 4029 0 -1 4202496 4440 0 1 0 0 0 0 0 25 0 2 0 830934716 10694979584 4143 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/9814/statm: 2611079 4156 917 9 0 2602235 0
[pid=9814/tid=9815] ppid=9812 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9815/stat : 9815 (java) R 9812 9814 4029 0 -1 4202560 8347 0 1 0 0 0 0 0 25 0 2 0 830934717 10694979584 9164 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0281191 s]
/proc/loadavg: 3.27 3.54 3.56 3/551 9814
/proc/meminfo: memFree=12481696/32951132 swapFree=46579808/67111528
[pid=9814] ppid=9812 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/9814/stat : 9814 (java) S 9812 9814 4029 0 -1 4202496 10738 0 1 0 1 0 0 0 25 0 10 0 830934716 10705932288 10438 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/9814/statm: 2613753 10438 1515 9 0 2604501 0
[pid=9814/tid=9815] ppid=9812 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/9814/task/9815/stat : 9815 (java) R 9812 9814 4029 0 -1 4202560 9615 0 1 0 1 0 0 0 25 0 10 0 830934717 10705932288 10438 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982376907 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.105123 s]
/proc/loadavg: 3.27 3.54 3.56 3/551 9814
/proc/meminfo: memFree=12481696/32951132 swapFree=46579808/67111528
[pid=9814] ppid=9812 vsize=10539732 CPUtime=0.11 cores=1,3,5,7
/proc/9814/stat : 9814 (java) S 9812 9814 4029 0 -1 4202496 13150 0 1 0 10 1 0 0 25 0 18 0 830934716 10792685568 12820 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9814/statm: 2634933 12822 2101 9 0 2625667 0
[pid=9814/tid=9815] ppid=9812 vsize=10539732 CPUtime=0.09 cores=1,3,5,7
/proc/9814/task/9815/stat : 9815 (java) R 9812 9814 4029 0 -1 4202560 11190 0 1 0 8 1 0 0 18 0 18 0 830934717 10792685568 12822 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 47900161309523 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) 10539732
[startup+0.301035 s]
/proc/loadavg: 3.27 3.54 3.56 3/551 9814
/proc/meminfo: memFree=12481696/32951132 swapFree=46579808/67111528
[pid=9814] ppid=9812 vsize=10543844 CPUtime=0.19 cores=1,3,5,7
/proc/9814/stat : 9814 (java) S 9812 9814 4029 0 -1 4202496 13791 0 1 0 18 1 0 0 25 0 19 0 830934716 10796896256 13420 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9814/statm: 2635961 13420 2160 9 0 2626695 0
[pid=9814/tid=9815] ppid=9812 vsize=10543844 CPUtime=0.14 cores=1,3,5,7
/proc/9814/task/9815/stat : 9815 (java) S 9812 9814 4029 0 -1 4202560 11542 0 1 0 13 1 0 0 19 0 19 0 830934717 10796896256 13420 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10543844
[startup+0.700961 s]
/proc/loadavg: 3.27 3.54 3.56 3/551 9814
/proc/meminfo: memFree=12481696/32951132 swapFree=46579808/67111528
[pid=9814] ppid=9812 vsize=10546872 CPUtime=0.32 cores=1,3,5,7
/proc/9814/stat : 9814 (java) S 9812 9814 4029 0 -1 4202496 15493 0 1 0 31 1 0 0 25 0 19 0 830934716 10799996928 14695 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9814/statm: 2636718 14695 2200 9 0 2627452 0
[pid=9814/tid=9815] ppid=9812 vsize=10546872 CPUtime=0.14 cores=1,3,5,7
/proc/9814/task/9815/stat : 9815 (java) S 9812 9814 4029 0 -1 4202560 11599 0 1 0 13 1 0 0 17 0 19 0 830934717 10799996928 14695 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 4 0 16800975 18446604466894665600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10546872
[startup+1.50083 s]
/proc/loadavg: 3.27 3.54 3.56 3/570 9839
/proc/meminfo: memFree=12430356/32951132 swapFree=46579808/67111528
[pid=9814] ppid=9812 vsize=10546456 CPUtime=0.35 cores=1,3,5,7
/proc/9814/stat : 9814 (java) S 9812 9814 4029 0 -1 4202496 15626 0 1 0 34 1 0 0 25 0 19 0 830934716 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9814/statm: 2636614 14688 2204 9 0 2627348 0
[pid=9814/tid=9815] ppid=9812 vsize=10546456 CPUtime=0.14 cores=1,3,5,7
/proc/9814/task/9815/stat : 9815 (java) S 9812 9814 4029 0 -1 4202560 11617 0 1 0 13 1 0 0 16 0 19 0 830934717 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9817] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9817/stat : 9817 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934718 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9818] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9818/stat : 9818 (java) S 9812 9814 4029 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830934718 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9819] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9819/stat : 9819 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934718 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9820] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9820/stat : 9820 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934718 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9821] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9821/stat : 9821 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934718 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9822] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9822/stat : 9822 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934718 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9823] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9823/stat : 9823 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934718 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9824] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9824/stat : 9824 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934718 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9825] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9825/stat : 9825 (java) S 9812 9814 4029 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830934719 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 0 0 16800975 18446604466894665600 0 0 -1 5 0 0 0
[pid=9814/tid=9826] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9826/stat : 9826 (java) S 9812 9814 4029 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830934720 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 5 0 0 0
[pid=9814/tid=9827] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9827/stat : 9827 (java) S 9812 9814 4029 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 830934720 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9828] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9828/stat : 9828 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934722 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982373809 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9829] ppid=9812 vsize=10546456 CPUtime=0.08 cores=1,3,5,7
/proc/9814/task/9829/stat : 9829 (java) S 9812 9814 4029 0 -1 4202560 1641 0 0 0 8 0 0 0 15 0 19 0 830934722 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 5 0 0 0
[pid=9814/tid=9830] ppid=9812 vsize=10546456 CPUtime=0.04 cores=1,3,5,7
/proc/9814/task/9830/stat : 9830 (java) S 9812 9814 4029 0 -1 4202560 994 0 0 0 4 0 0 0 15 0 19 0 830934722 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 1 0 0 0
[pid=9814/tid=9831] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9831/stat : 9831 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934722 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9832] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9832/stat : 9832 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830934722 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9839] ppid=9812 vsize=10546456 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9839/stat : 9839 (java) S 9812 9814 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830934782 10799570944 14688 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 4 0 16800975 18446604466894665600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10546456
[startup+3.10156 s]
/proc/loadavg: 3.17 3.52 3.55 3/570 9845
/proc/meminfo: memFree=12408264/32951132 swapFree=46579808/67111528
[pid=9814] ppid=9812 vsize=10556320 CPUtime=3.71 cores=1,3,5,7
/proc/9814/stat : 9814 (java) S 9812 9814 4029 0 -1 4202496 70594 0 1 0 363 8 0 0 25 0 19 0 830934716 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9814/statm: 2639080 62431 2257 9 0 2629814 0
[pid=9814/tid=9815] ppid=9812 vsize=10556320 CPUtime=0.14 cores=1,3,5,7
/proc/9814/task/9815/stat : 9815 (java) S 9812 9814 4029 0 -1 4202560 11654 0 1 0 13 1 0 0 15 0 19 0 830934717 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9817] ppid=9812 vsize=10556320 CPUtime=0.01 cores=1,3,5,7
/proc/9814/task/9817/stat : 9817 (java) S 9812 9814 4029 0 -1 4202560 256 0 0 0 1 0 0 0 16 0 19 0 830934718 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9818] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9818/stat : 9818 (java) S 9812 9814 4029 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 830934718 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9819] ppid=9812 vsize=10556320 CPUtime=0.01 cores=1,3,5,7
/proc/9814/task/9819/stat : 9819 (java) S 9812 9814 4029 0 -1 4202560 131 0 0 0 1 0 0 0 15 0 19 0 830934718 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 1 0 0 0
[pid=9814/tid=9820] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9820/stat : 9820 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 830934718 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9821] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9821/stat : 9821 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830934718 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 1 0 0 0
[pid=9814/tid=9822] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9822/stat : 9822 (java) S 9812 9814 4029 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 19 0 830934718 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9823] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9823/stat : 9823 (java) S 9812 9814 4029 0 -1 4202560 299 0 0 0 0 0 0 0 16 0 19 0 830934718 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 1 0 0 0
[pid=9814/tid=9824] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9824/stat : 9824 (java) S 9812 9814 4029 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 830934718 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9825] ppid=9812 vsize=10556320 CPUtime=0.06 cores=1,3,5,7
/proc/9814/task/9825/stat : 9825 (java) S 9812 9814 4029 0 -1 4202560 893 0 0 0 6 0 0 0 15 0 19 0 830934719 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 0 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9826] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9826/stat : 9826 (java) S 9812 9814 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830934720 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 5 0 0 0
[pid=9814/tid=9827] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9827/stat : 9827 (java) S 9812 9814 4029 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 830934720 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 5 0 0 0
[pid=9814/tid=9828] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9828/stat : 9828 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934722 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982373809 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9829] ppid=9812 vsize=10556320 CPUtime=0.87 cores=1,3,5,7
/proc/9814/task/9829/stat : 9829 (java) S 9812 9814 4029 0 -1 4202560 5642 0 0 0 87 0 0 0 16 0 19 0 830934722 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 3 0 0 0
[pid=9814/tid=9830] ppid=9812 vsize=10556320 CPUtime=0.85 cores=1,3,5,7
/proc/9814/task/9830/stat : 9830 (java) S 9812 9814 4029 0 -1 4202560 12051 0 0 0 83 2 0 0 15 0 19 0 830934722 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 5 0 0 0
[pid=9814/tid=9831] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9831/stat : 9831 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830934722 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366105 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9832] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9832/stat : 9832 (java) S 9812 9814 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830934722 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 4 0 16800975 18446604466894665600 0 0 -1 7 0 0 0
[pid=9814/tid=9845] ppid=9812 vsize=10556320 CPUtime=0 cores=1,3,5,7
/proc/9814/task/9845/stat : 9845 (java) S 9812 9814 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830934884 10809671680 62431 33554432000 1073741824 1073778376 140733797543152 18446744073709551615 242982366720 0 4 0 16800975 18446604466894665600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 10556320
Solver just ended. Dumping a history of the last processes samples
[startup+3.2015 s]
/proc/loadavg: 3.17 3.52 3.55 4/552 9849
/proc/meminfo: memFree=12265392/32951132 swapFree=46579808/67111528
[pid=9814] ppid=9812 vsize=0 CPUtime=3.76 cores=1,3,5,7
/proc/9814/stat : 9814 (java) Z 9812 9814 4029 0 -1 4203548 70606 0 1 0 366 10 0 0 18 0 1 0 830934716 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9814/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.22123
CPU time (s): 3.76843
CPU user time (s): 3.66544
CPU system time (s): 0.102984
CPU usage (%): 116.987
Max. virtual memory (cumulated for all children) (KiB): 10556320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.66544
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70606
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= 486
involuntary context switches= 322
runsolver used 0.018997 second user time and 0.06099 second system time
The end