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-3725695-1338638814/watcher-3725695-1338638814 -o /tmp/evaluation-result-3725695-1338638814/solver-3725695-1338638814 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725695-1338638814.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: 2.00 2.00 2.00 3/176 25810
/proc/meminfo: memFree=27773376/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 841 0 0 0 0 0 0 0 20 0 1 0 330007308 7421952 761 33554432000 4194304 8989770 140735027566960 140735027566456 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 1812 761 429 1171 0 589 0
[startup+0.056714 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25810
/proc/meminfo: memFree=27773376/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=10320 CPUtime=0.05 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 1638 0 0 0 5 0 0 0 20 0 1 0 330007308 10567680 1558 33554432000 4194304 8989770 140735027566960 140735027566456 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 2580 1558 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10320
[startup+0.100183 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25810
/proc/meminfo: memFree=27773376/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 2571 0 0 0 9 0 0 0 20 0 1 0 330007308 13713408 2491 33554432000 4194304 8989770 140735027566960 140735027566456 7713680 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 3348 2491 442 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300184 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25810
/proc/meminfo: memFree=27773376/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=24656 CPUtime=0.29 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 5486 0 0 0 28 1 0 0 20 0 1 0 330007308 25247744 5406 33554432000 4194304 8989770 140735027566960 140735027566456 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 6164 5406 471 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25810
/proc/meminfo: memFree=27773376/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=38992 CPUtime=0.68 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 8953 0 0 0 67 1 0 0 20 0 1 0 330007308 39927808 8873 33554432000 4194304 8989770 140735027566960 140735027566224 6858735 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 9748 8873 471 1171 0 8525 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 38992
[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25811
/proc/meminfo: memFree=27738052/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=45136 CPUtime=1.49 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 10495 0 0 0 147 2 0 0 20 0 1 0 330007308 46219264 10415 33554432000 4194304 8989770 140735027566960 140735027566224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 11284 10415 471 1171 0 10061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45136
[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25811
/proc/meminfo: memFree=27728860/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=53328 CPUtime=3.09 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 12575 0 0 0 306 3 0 0 20 0 1 0 330007308 54607872 12495 33554432000 4194304 8989770 140735027566960 140735027566456 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 13332 12495 471 1171 0 12109 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53328
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25811
/proc/meminfo: memFree=27712312/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=68688 CPUtime=6.29 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 16426 0 0 0 625 4 0 0 20 0 1 0 330007308 70336512 16346 33554432000 4194304 8989770 140735027566960 140735027566224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 17172 16346 471 1171 0 15949 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68688
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25811
/proc/meminfo: memFree=27686920/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=95312 CPUtime=12.69 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 23008 0 0 0 1262 7 0 0 20 0 1 0 330007308 97599488 22928 33554432000 4194304 8989770 140735027566960 140735027566456 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 23828 22928 471 1171 0 22605 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95312
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25811
/proc/meminfo: memFree=27643660/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=134224 CPUtime=25.49 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 32741 0 0 0 2538 11 0 0 20 0 1 0 330007308 137445376 32661 33554432000 4194304 8989770 140735027566960 140735027566224 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 33556 32661 471 1171 0 32333 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134224
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25811
/proc/meminfo: memFree=27573340/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=204880 CPUtime=51.07 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 50421 0 0 0 5089 18 0 0 20 0 1 0 330007308 209797120 50332 33554432000 4194304 8989770 140735027566960 140735027566224 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 51220 50332 471 1171 0 49997 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 204880
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25811
/proc/meminfo: memFree=27497248/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=279632 CPUtime=102.24 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 69235 0 0 0 10194 30 0 0 20 0 1 0 330007308 286343168 69110 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 69908 69110 471 1171 0 68685 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 279632
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25850
/proc/meminfo: memFree=27348752/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=336976 CPUtime=162.19 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 83433 0 0 0 16181 38 0 0 20 0 1 0 330007308 345063424 83260 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 84244 83260 471 1171 0 83021 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 336976
[startup+222.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 25854
/proc/meminfo: memFree=27166380/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=388176 CPUtime=222.15 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 96349 0 0 0 22170 45 0 0 20 0 1 0 330007308 397492224 96137 33554432000 4194304 8989770 140735027566960 140735027566224 7688546 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 97044 96137 471 1171 0 95821 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 388176
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 25854
/proc/meminfo: memFree=27046880/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=415824 CPUtime=282.13 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 103338 0 0 0 28163 50 0 0 20 0 1 0 330007308 425803776 103107 33554432000 4194304 8989770 140735027566960 140735027566224 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 103956 103107 471 1171 0 102733 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 415824
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 25854
/proc/meminfo: memFree=26935264/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=449616 CPUtime=342.12 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 111723 0 0 0 34157 55 0 0 20 0 1 0 330007308 460406784 111491 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 112404 111491 473 1171 0 111181 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 449616
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25854
/proc/meminfo: memFree=26882684/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=449616 CPUtime=402.11 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 111723 0 0 0 40150 61 0 0 20 0 1 0 330007308 460406784 111491 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 112404 111491 473 1171 0 111181 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 449616
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25854
/proc/meminfo: memFree=26833856/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=449616 CPUtime=462.11 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 111723 0 0 0 46144 67 0 0 20 0 1 0 330007308 460406784 111491 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 112404 111491 473 1171 0 111181 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 449616
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25855
/proc/meminfo: memFree=26804124/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=449616 CPUtime=522.09 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 111723 0 0 0 52137 72 0 0 20 0 1 0 330007308 460406784 111491 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 112404 111491 473 1171 0 111181 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 449616
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25855
/proc/meminfo: memFree=26771684/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=449616 CPUtime=582.09 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 111881 0 0 0 58133 76 0 0 20 0 1 0 330007308 460406784 111649 33554432000 4194304 8989770 140735027566960 140735027566224 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 112404 111649 473 1171 0 111181 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 449616
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25859
/proc/meminfo: memFree=26610380/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=497744 CPUtime=882.04 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 123913 0 0 0 88108 96 0 0 20 0 1 0 330007308 509689856 123681 33554432000 4194304 8989770 140735027566960 140735027566224 7697339 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 124436 123681 473 1171 0 123213 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 497744
[startup+942.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25859
/proc/meminfo: memFree=26585208/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=497744 CPUtime=942.03 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 123913 0 0 0 94102 101 0 0 20 0 1 0 330007308 509689856 123681 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 124436 123681 473 1171 0 123213 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 497744
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25859
/proc/meminfo: memFree=26559044/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=497744 CPUtime=1002.02 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 123913 0 0 0 100097 105 0 0 20 0 1 0 330007308 509689856 123681 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 124436 123681 473 1171 0 123213 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 497744
[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 25859
/proc/meminfo: memFree=26544968/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=497744 CPUtime=1062 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 123914 0 0 0 106091 109 0 0 20 0 1 0 330007308 509689856 123681 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 124436 123681 473 1171 0 123213 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 497744
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25860
/proc/meminfo: memFree=26520400/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=497744 CPUtime=1122 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 123927 0 0 0 112086 114 0 0 20 0 1 0 330007308 509689856 123681 33554432000 4194304 8989770 140735027566960 140735027566224 4214039 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 124436 123681 473 1171 0 123213 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 497744
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25860
/proc/meminfo: memFree=26506472/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=503888 CPUtime=1181.98 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 125314 0 0 0 118082 116 0 0 20 0 1 0 330007308 515981312 125068 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 125972 125068 473 1171 0 124749 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 503888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25860
/proc/meminfo: memFree=26477208/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=513104 CPUtime=1241.98 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 127717 0 0 0 124079 119 0 0 20 0 1 0 330007308 525418496 127471 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 128276 127471 473 1171 0 127053 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 513104
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25860
/proc/meminfo: memFree=26422028/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=539728 CPUtime=1301.97 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 134423 0 0 0 130073 124 0 0 20 0 1 0 330007308 552681472 134177 33554432000 4194304 8989770 140735027566960 140735027564928 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 134932 134177 473 1171 0 133709 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 539728
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25860
/proc/meminfo: memFree=26406528/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=539728 CPUtime=1361.96 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 134423 0 0 0 136068 128 0 0 20 0 1 0 330007308 552681472 134177 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 134932 134177 473 1171 0 133709 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 539728
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 25864
/proc/meminfo: memFree=26391888/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=539728 CPUtime=1421.96 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 134423 0 0 0 142063 133 0 0 20 0 1 0 330007308 552681472 134177 33554432000 4194304 8989770 140735027566960 140735027566224 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 134932 134177 473 1171 0 133709 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 539728
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25864
/proc/meminfo: memFree=26378132/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=539728 CPUtime=1481.94 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 134423 0 0 0 148057 137 0 0 20 0 1 0 330007308 552681472 134177 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 134932 134177 473 1171 0 133709 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 539728
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25864
/proc/meminfo: memFree=26345152/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=539728 CPUtime=1541.93 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 134423 0 0 0 154053 140 0 0 20 0 1 0 330007308 552681472 134177 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 134932 134177 473 1171 0 133709 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 539728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25865
/proc/meminfo: memFree=26331876/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=539728 CPUtime=1601.92 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 134423 0 0 0 160048 144 0 0 20 0 1 0 330007308 552681472 134177 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 134932 134177 473 1171 0 133709 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 539728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25865
/proc/meminfo: memFree=26315640/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=539728 CPUtime=1661.92 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 134423 0 0 0 166045 147 0 0 20 0 1 0 330007308 552681472 134177 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 134932 134177 473 1171 0 133709 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 539728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25866
/proc/meminfo: memFree=26295456/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=544848 CPUtime=1721.91 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 135566 0 0 0 172041 150 0 0 20 0 1 0 330007308 557924352 135320 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 136212 135320 473 1171 0 134989 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 544848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25866
/proc/meminfo: memFree=26250224/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=572496 CPUtime=1781.9 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 142615 0 0 0 178036 154 0 0 20 0 1 0 330007308 586235904 142369 33554432000 4194304 8989770 140735027566960 140735027566224 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 143124 142369 473 1171 0 141901 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 572496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25866
/proc/meminfo: memFree=26250192/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=572496 CPUtime=1800.09 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 142615 0 0 0 179855 154 0 0 20 0 1 0 330007308 586235904 142369 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 143124 142369 473 1171 0 141901 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 572496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25866
/proc/meminfo: memFree=26250192/32873648 swapFree=7112/7112
[pid=25810] ppid=25808 vsize=572496 CPUtime=1800.09 cores=1,3,5,7
/proc/25810/stat : 25810 (toysat) R 25808 25810 25232 0 -1 4202496 142615 0 0 0 179855 154 0 0 20 0 1 0 330007308 586235904 142369 33554432000 4194304 8989770 140735027566960 140735027566224 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/25810/statm: 143124 142369 473 1171 0 141901 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 572496
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1798.56
CPU system time (s): 1.55476
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 572496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.55476
maximum resident set size= 569476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142615
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= 170
involuntary context switches= 1846
runsolver used 3.2715 second user time and 8.97463 second system time
The end