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-3725496-1338642344/watcher-3725496-1338642344 -o /tmp/evaluation-result-3725496-1338642344/solver-3725496-1338642344 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725496-1338642344.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: 1.95 1.98 1.99 3/176 11955
/proc/meminfo: memFree=27801976/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 806 0 0 0 0 0 0 0 20 0 1 0 330359847 6373376 725 33554432000 4194304 8989770 140735947734512 140735813603512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 1556 725 428 1171 0 333 0
[startup+0.00750307 s]
/proc/loadavg: 1.95 1.98 1.99 3/176 11955
/proc/meminfo: memFree=27801976/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 843 0 0 0 0 0 0 0 20 0 1 0 330359847 7421952 762 33554432000 4194304 8989770 140735947734512 140735813603512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 1812 762 428 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248
[startup+0.10026 s]
/proc/loadavg: 1.95 1.98 1.99 3/176 11955
/proc/meminfo: memFree=27801976/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 2357 0 0 0 9 0 0 0 20 0 1 0 330359847 12664832 2276 33554432000 4194304 8989770 140735947734512 140735813603512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 3092 2276 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300274 s]
/proc/loadavg: 1.95 1.98 1.99 3/176 11955
/proc/meminfo: memFree=27801976/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=26704 CPUtime=0.29 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 5954 0 0 0 28 1 0 0 20 0 1 0 330359847 27344896 5873 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 6676 5873 431 1171 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26704
[startup+0.70027 s]
/proc/loadavg: 1.95 1.98 1.99 3/176 11955
/proc/meminfo: memFree=27801976/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=56400 CPUtime=0.69 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 13378 0 0 0 66 3 0 0 20 0 1 0 330359847 57753600 13297 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 14100 13297 431 1171 0 12877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56400
[startup+1.50027 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11956
/proc/meminfo: memFree=27731800/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=98384 CPUtime=1.49 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 23874 0 0 0 144 5 0 0 20 0 1 0 330359847 100745216 23793 33554432000 4194304 8989770 140735947734512 140735947733776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 24596 23793 431 1171 0 23373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98384
[startup+3.10027 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11956
/proc/meminfo: memFree=27675272/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=194640 CPUtime=3.09 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 47886 0 0 0 298 11 0 0 20 0 1 0 330359847 199311360 47805 33554432000 4194304 8989770 140735947734512 140735947734008 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 48660 47813 431 1171 0 47437 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 194640
[startup+6.30027 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11956
/proc/meminfo: memFree=27499936/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=306256 CPUtime=6.29 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 75877 0 0 0 612 17 0 0 20 0 1 0 330359847 313606144 75796 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 76564 75796 460 1171 0 75341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 306256
[startup+12.7003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11956
/proc/meminfo: memFree=27499840/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=306256 CPUtime=12.69 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 75888 0 0 0 1250 19 0 0 20 0 1 0 330359847 313606144 75807 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 76564 75807 471 1171 0 75341 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 306256
[startup+25.5003 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 11956
/proc/meminfo: memFree=27498360/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=308304 CPUtime=25.48 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 76400 0 0 0 2524 24 0 0 20 0 1 0 330359847 315703296 76319 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 77076 76319 471 1171 0 75853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 308304
[startup+51.1003 s]
/proc/loadavg: 1.98 1.98 1.99 3/176 11956
/proc/meminfo: memFree=27484868/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=321616 CPUtime=51.08 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 79728 0 0 0 5074 34 0 0 20 0 1 0 330359847 329334784 79652 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 80404 79652 471 1171 0 79181 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 321616
[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11957
/proc/meminfo: memFree=27443364/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=350288 CPUtime=102.28 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 86897 0 0 0 10170 58 0 0 20 0 1 0 330359847 358694912 86820 33554432000 4194304 8989770 140735947734512 140735947733776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 87572 86820 471 1171 0 86349 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 350288
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11957
/proc/meminfo: memFree=27397636/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=388176 CPUtime=162.26 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 96382 0 0 0 16139 87 0 0 20 0 1 0 330359847 397492224 96292 33554432000 4194304 8989770 140735947734512 140735947734008 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 97044 96292 471 1171 0 95821 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 388176
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11957
/proc/meminfo: memFree=27358480/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=419920 CPUtime=222.23 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 104340 0 0 0 22110 113 0 0 20 0 1 0 330359847 429998080 104228 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 104980 104228 471 1171 0 103757 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 419920
[startup+282.3 s]
/proc/loadavg: 2.11 2.02 2.00 3/178 11960
/proc/meminfo: memFree=27326012/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=452688 CPUtime=282.22 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 112554 0 0 0 28079 143 0 0 20 0 1 0 330359847 463552512 112420 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 113172 112420 471 1171 0 111949 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 452688
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11960
/proc/meminfo: memFree=27294084/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=485456 CPUtime=342.21 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 120657 0 0 0 34050 171 0 0 20 0 1 0 330359847 497106944 120519 33554432000 4194304 8989770 140735947734512 140735947732480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 121364 120519 471 1171 0 120141 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 485456
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11961
/proc/meminfo: memFree=27262216/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=512080 CPUtime=402.2 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 127406 0 0 0 40020 200 0 0 20 0 1 0 330359847 524369920 127268 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 128020 127268 471 1171 0 126797 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 512080
[startup+462.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 12000
/proc/meminfo: memFree=27626044/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=539728 CPUtime=462.2 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 134318 0 0 0 45994 226 0 0 20 0 1 0 330359847 552681472 134180 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 134932 134180 471 1171 0 133709 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 539728
[startup+522.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 12000
/proc/meminfo: memFree=27586736/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=570448 CPUtime=522.18 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 141998 0 0 0 51965 253 0 0 20 0 1 0 330359847 584138752 141860 33554432000 4194304 8989770 140735947734512 140735947734008 6587824 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 142612 141860 471 1171 0 141389 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 570448
[startup+582.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 12000
/proc/meminfo: memFree=27549660/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=601168 CPUtime=582.17 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 149678 0 0 0 57936 281 0 0 20 0 1 0 330359847 615596032 149540 33554432000 4194304 8989770 140735947734512 140735947733776 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 150292 149540 471 1171 0 149069 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 601168
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12001
/proc/meminfo: memFree=27420440/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=719952 CPUtime=822.12 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 179401 0 0 0 81825 387 0 0 20 0 1 0 330359847 737230848 179236 33554432000 4194304 8989770 140735947734512 140735947733776 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 179988 179236 471 1171 0 178765 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 719952
[startup+882.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 12004
/proc/meminfo: memFree=27386052/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=752720 CPUtime=882.12 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 187596 0 0 0 87799 413 0 0 20 0 1 0 330359847 770785280 187430 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 188180 187430 473 1171 0 186957 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 752720
[startup+942.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 12004
/proc/meminfo: memFree=27382632/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=752720 CPUtime=942.11 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 187596 0 0 0 93771 440 0 0 20 0 1 0 330359847 770785280 187430 33554432000 4194304 8989770 140735947734512 140735947734008 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 188180 187430 473 1171 0 186957 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 752720
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12005
/proc/meminfo: memFree=27382636/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=752720 CPUtime=1002.1 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 187596 0 0 0 99744 466 0 0 20 0 1 0 330359847 770785280 187430 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 188180 187430 473 1171 0 186957 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 752720
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12005
/proc/meminfo: memFree=27386548/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=752720 CPUtime=1062.09 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 187596 0 0 0 105719 490 0 0 20 0 1 0 330359847 770785280 187430 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 188180 187430 473 1171 0 186957 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 752720
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12005
/proc/meminfo: memFree=27378180/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=752720 CPUtime=1122.08 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 187596 0 0 0 111697 511 0 0 20 0 1 0 330359847 770785280 187430 33554432000 4194304 8989770 140735947734512 140735947734008 4437660 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 188180 187430 473 1171 0 186957 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 752720
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12005
/proc/meminfo: memFree=27381964/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=752720 CPUtime=1182.07 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 187596 0 0 0 117676 531 0 0 20 0 1 0 330359847 770785280 187430 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 188180 187430 473 1171 0 186957 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 752720
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12005
/proc/meminfo: memFree=27368080/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=767056 CPUtime=1242.07 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 191180 0 0 0 123654 553 0 0 20 0 1 0 330359847 785465344 191014 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 191764 191014 473 1171 0 190541 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 767056
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12006
/proc/meminfo: memFree=27335096/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=793680 CPUtime=1302.06 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 197836 0 0 0 129632 574 0 0 20 0 1 0 330359847 812728320 197670 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 198420 197670 473 1171 0 197197 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 793680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12006
/proc/meminfo: memFree=27302204/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=823376 CPUtime=1362.03 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 205273 0 0 0 135607 596 0 0 20 0 1 0 330359847 843137024 205094 33554432000 4194304 8989770 140735947734512 140735947733776 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 205844 205094 473 1171 0 204621 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 823376
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12006
/proc/meminfo: memFree=27278628/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=851024 CPUtime=1422.03 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 212190 0 0 0 141586 617 0 0 20 0 1 0 330359847 871448576 212006 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 212756 212006 473 1171 0 211533 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 851024
[startup+1483.35 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12009
/proc/meminfo: memFree=27244036/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=879696 CPUtime=1483.06 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 219358 0 0 0 147670 636 0 0 20 0 1 0 330359847 900808704 219174 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 219924 219174 473 1171 0 218701 0
Current children cumulated CPU time (s) 1483.06
Current children cumulated vsize (KiB) 879696
[startup+1543.63 s]
/proc/loadavg: 2.17 2.05 2.01 4/177 12009
/proc/meminfo: memFree=27219616/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=907344 CPUtime=1543.33 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 226164 0 0 0 153680 653 0 0 20 0 1 0 330359847 929120256 225980 33554432000 4194304 8989770 140735947734512 140735947732480 4472288 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 226836 225980 473 1171 0 225613 0
Current children cumulated CPU time (s) 1543.33
Current children cumulated vsize (KiB) 907344
[startup+1606.09 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 12010
/proc/meminfo: memFree=27203072/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=934992 CPUtime=1605.78 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 233182 0 0 0 159903 675 0 0 20 0 1 0 330359847 957431808 232998 33554432000 4194304 8989770 140735947734512 140735947734008 4438056 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 233748 232998 473 1171 0 232525 0
Current children cumulated CPU time (s) 1605.78
Current children cumulated vsize (KiB) 934992
[startup+1664.2 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 12010
/proc/meminfo: memFree=27164012/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=961616 CPUtime=1663.88 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 239656 0 0 0 165694 694 0 0 20 0 1 0 330359847 984694784 239472 33554432000 4194304 8989770 140735947734512 140735947734008 6858728 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 240404 239472 473 1171 0 239181 0
Current children cumulated CPU time (s) 1663.88
Current children cumulated vsize (KiB) 961616
[startup+1727.92 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 12010
/proc/meminfo: memFree=27158568/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=988240 CPUtime=1727.59 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 246494 0 0 0 172048 711 0 0 20 0 1 0 330359847 1011957760 246310 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 247060 246310 473 1171 0 245837 0
Current children cumulated CPU time (s) 1727.59
Current children cumulated vsize (KiB) 988240
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 12010
/proc/meminfo: memFree=27118456/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=1009744 CPUtime=1781.96 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 251657 0 0 0 177468 728 0 0 20 0 1 0 330359847 1033977856 251473 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 252436 251473 473 1171 0 251213 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1009744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 12010
/proc/meminfo: memFree=27112504/32873844 swapFree=7384/7384
[pid=11955] ppid=11953 vsize=1013840 CPUtime=1800.07 cores=0,2,4,6
/proc/11955/stat : 11955 (toysat) R 11953 11955 9951 0 -1 4202496 252894 0 0 0 179272 735 0 0 20 0 1 0 330359847 1038172160 252710 33554432000 4194304 8989770 140735947734512 140735947734008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11955/statm: 253460 252710 473 1171 0 252237 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1013840
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.42
CPU time (s): 1800.09
CPU user time (s): 1792.72
CPU system time (s): 7.36688
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 1013840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.72
system time used= 7.36688
maximum resident set size= 1010840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252894
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= 111
involuntary context switches= 1863
runsolver used 2.91956 second user time and 7.31689 second system time
The end