runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3724751-1338642984/watcher-3724751-1338642984 -o /tmp/evaluation-result-3724751-1338642984/solver-3724751-1338642984 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724751-1338642984.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.92 1.98 1.99 3/176 20724
/proc/meminfo: memFree=25557068/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 330425784 6373376 730 33554432000 4194304 8989770 140736815456512 140736465304008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 1556 730 424 1171 0 333 0
[startup+0.0528759 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 20724
/proc/meminfo: memFree=25557068/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=9296 CPUtime=0.04 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 1502 0 0 0 4 0 0 0 20 0 1 0 330425784 9519104 1421 33554432000 4194304 8989770 140736815456512 140736465304008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 2324 1421 425 1171 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9296
[startup+0.100276 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 20724
/proc/meminfo: memFree=25557068/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 2168 0 0 0 9 0 0 0 20 0 1 0 330425784 12664832 2087 33554432000 4194304 8989770 140736815456512 140736465304008 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 3092 2087 425 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300285 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 20724
/proc/meminfo: memFree=25557068/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=24656 CPUtime=0.29 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 5216 0 0 0 28 1 0 0 20 0 1 0 330425784 25247744 5135 33554432000 4194304 8989770 140736815456512 140736465304008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 6164 5135 425 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700298 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 20724
/proc/meminfo: memFree=25557068/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=44112 CPUtime=0.68 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 10305 0 0 0 66 2 0 0 20 0 1 0 330425784 45170688 10224 33554432000 4194304 8989770 140736815456512 140736465304008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 11028 10224 430 1171 0 9805 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44112
[startup+1.50029 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20725
/proc/meminfo: memFree=25505336/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=91216 CPUtime=1.48 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 22081 0 0 0 143 5 0 0 20 0 1 0 330425784 93405184 22000 33554432000 4194304 8989770 140736815456512 140736815456008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 22804 22000 430 1171 0 21581 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 91216
[startup+3.10029 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20725
/proc/meminfo: memFree=25421264/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=140368 CPUtime=3.08 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 34387 0 0 0 300 8 0 0 20 0 1 0 330425784 143736832 34306 33554432000 4194304 8989770 140736815456512 140736815455776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 35092 34306 442 1171 0 33869 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 140368
[startup+6.30023 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20725
/proc/meminfo: memFree=25408180/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=6.29 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37710 0 0 0 618 11 0 0 20 0 1 0 330425784 157368320 37629 33554432000 4194304 8989770 140736815456512 140736815456008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37629 442 1171 0 37197 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 153680
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20725
/proc/meminfo: memFree=25406840/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=12.69 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 1256 13 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815455776 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 153680
[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 20725
/proc/meminfo: memFree=25407336/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=25.48 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 2530 18 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815456008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 153680
[startup+51.1003 s]
/proc/loadavg: 2.11 2.03 2.00 3/177 20725
/proc/meminfo: memFree=25407428/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=51.08 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 5080 28 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815456008 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 153680
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 20725
/proc/meminfo: memFree=25401132/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=102.27 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 10181 46 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815455776 5400315 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 153680
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 20725
/proc/meminfo: memFree=25370656/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=162.26 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 16159 67 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815455776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 153680
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 20728
/proc/meminfo: memFree=25354404/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=222.25 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 22137 88 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815456008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 153680
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 20729
/proc/meminfo: memFree=25335244/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=282.25 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 28121 104 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815455776 4209168 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 153680
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20729
/proc/meminfo: memFree=25301300/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=342.23 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 34100 123 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815456008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 153680
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20729
/proc/meminfo: memFree=25265492/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=402.23 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 40084 139 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815454464 4209357 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 153680
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20729
/proc/meminfo: memFree=25227576/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=462.22 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 46064 158 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815456008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 153680
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 20729
/proc/meminfo: memFree=25190652/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=522.21 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 52047 174 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815455776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 153680
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20730
/proc/meminfo: memFree=25160920/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=153680 CPUtime=582.2 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 37715 0 0 0 58029 191 0 0 20 0 1 0 330425784 157368320 37634 33554432000 4194304 8989770 140736815456512 140736815455776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 38420 37634 442 1171 0 37197 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 153680
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20734
/proc/meminfo: memFree=24946756/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=822.13 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 81949 264 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815455776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 238672
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20735
/proc/meminfo: memFree=24914100/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=882.13 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 87935 278 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815455776 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 238672
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20735
/proc/meminfo: memFree=24884340/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=942.12 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 93921 291 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815456008 4209332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 238672
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20735
/proc/meminfo: memFree=24848380/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1002.11 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 99907 304 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815455776 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 238672
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20735
/proc/meminfo: memFree=24818620/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1062.1 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 105891 319 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815456008 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 238672
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 20735
/proc/meminfo: memFree=24783780/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1122.09 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 111876 333 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815455776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 238672
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20736
/proc/meminfo: memFree=24755880/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1182.08 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 117862 346 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815455776 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 238672
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20775
/proc/meminfo: memFree=26981640/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1242.07 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 123847 360 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815455776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 238672
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20775
/proc/meminfo: memFree=26922756/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1302.07 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 129835 372 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815456008 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 238672
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20775
/proc/meminfo: memFree=26863608/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1362.05 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 135819 386 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815456008 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 238672
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20778
/proc/meminfo: memFree=26800228/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1422.05 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 141806 399 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815455776 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 238672
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20779
/proc/meminfo: memFree=26758928/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1482.03 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 147791 412 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815454464 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 238672
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20779
/proc/meminfo: memFree=26726224/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1542.03 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 153775 428 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815454464 4208822 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 238672
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 20779
/proc/meminfo: memFree=26701424/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1602.02 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 159760 442 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815456008 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 238672
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20779
/proc/meminfo: memFree=26677864/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1662.01 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 165749 452 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815456008 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 238672
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20779
/proc/meminfo: memFree=26656288/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1721.99 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 171735 464 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815456008 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 238672
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20780
/proc/meminfo: memFree=26636324/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1781.99 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 177720 479 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815455776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 238672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20780
/proc/meminfo: memFree=26635464/32873648 swapFree=7120/7120
[pid=20724] ppid=20722 vsize=238672 CPUtime=1800.09 cores=1,3,5,7
/proc/20724/stat : 20724 (toysat) R 20722 20724 19663 0 -1 4202496 59038 0 0 0 179527 482 0 0 20 0 1 0 330425784 244400128 58917 33554432000 4194304 8989770 140736815456512 140736815456008 7675501 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20724/statm: 59668 58917 472 1171 0 58445 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 238672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1795.28
CPU system time (s): 4.82727
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 238672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.28
system time used= 4.82727
maximum resident set size= 235668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 1858
runsolver used 2.92056 second user time and 10.1635 second system time
The end