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-3725626-1338639360/watcher-3725626-1338639360 -o /tmp/evaluation-result-3725626-1338639360/solver-3725626-1338639360 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725626-1338639360.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.01 2.02 2.00 3/174 15290
/proc/meminfo: memFree=27443272/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 769 0 0 0 0 0 0 0 20 0 1 0 330061922 6373376 689 33554432000 4194304 8989770 140733388267008 140735263117640 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 1556 689 428 1171 0 333 0
[startup+0.0715709 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 15290
/proc/meminfo: memFree=27443272/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=10320 CPUtime=0.06 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 1857 0 0 0 6 0 0 0 20 0 1 0 330061922 10567680 1777 33554432000 4194304 8989770 140733388267008 140733388266504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 2580 1777 430 1171 0 1357 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10320
[startup+0.100322 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 15290
/proc/meminfo: memFree=27443272/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=15440 CPUtime=0.08 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 2899 0 0 0 8 0 0 0 20 0 1 0 330061922 15810560 2819 33554432000 4194304 8989770 140733388267008 140733388266504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 3860 2819 441 1171 0 2637 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15440
[startup+0.300314 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 15290
/proc/meminfo: memFree=27443272/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=29776 CPUtime=0.28 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 6734 0 0 0 27 1 0 0 20 0 1 0 330061922 30490624 6654 33554432000 4194304 8989770 140733388267008 140733388266504 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 7444 6661 459 1171 0 6221 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29776
[startup+0.700312 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 15290
/proc/meminfo: memFree=27443272/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=32848 CPUtime=0.68 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 7519 0 0 0 67 1 0 0 20 0 1 0 330061922 33636352 7439 33554432000 4194304 8989770 140733388267008 140733388266272 7688479 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 8212 7439 459 1171 0 6989 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 32848
[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 15291
/proc/meminfo: memFree=27415480/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=33872 CPUtime=1.48 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 7775 0 0 0 147 1 0 0 20 0 1 0 330061922 34684928 7695 33554432000 4194304 8989770 140733388267008 140733388266272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 8468 7695 459 1171 0 7245 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33872
[startup+3.10032 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 15291
/proc/meminfo: memFree=27414116/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=34896 CPUtime=3.09 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 8031 0 0 0 307 2 0 0 20 0 1 0 330061922 35733504 7951 33554432000 4194304 8989770 140733388267008 140733388266504 4437508 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 8724 7951 459 1171 0 7501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34896
[startup+6.30031 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 15291
/proc/meminfo: memFree=27409388/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=38992 CPUtime=6.29 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 9066 0 0 0 626 3 0 0 20 0 1 0 330061922 39927808 8986 33554432000 4194304 8989770 140733388267008 140733388265024 4204701 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 9748 8986 470 1171 0 8525 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38992
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 2.00 3/175 15291
/proc/meminfo: memFree=27406560/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=41040 CPUtime=12.69 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 9578 0 0 0 1265 4 0 0 20 0 1 0 330061922 42024960 9498 33554432000 4194304 8989770 140733388267008 140733388266504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 10260 9498 470 1171 0 9037 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41040
[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 15291
/proc/meminfo: memFree=27394416/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=43088 CPUtime=25.48 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 10090 0 0 0 2542 6 0 0 20 0 1 0 330061922 44122112 10010 33554432000 4194304 8989770 140733388267008 140733388266504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 10772 10010 470 1171 0 9549 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43088
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 15291
/proc/meminfo: memFree=27376188/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=49232 CPUtime=51.08 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 11627 0 0 0 5098 10 0 0 20 0 1 0 330061922 50413568 11547 33554432000 4194304 8989770 140733388267008 140733388264960 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 12308 11547 470 1171 0 11085 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49232
[startup+102.307 s]
/proc/loadavg: 2.07 2.04 2.00 3/175 15292
/proc/meminfo: memFree=27320264/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=68688 CPUtime=102.27 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 16491 0 0 0 10211 16 0 0 20 0 1 0 330061922 70336512 16411 33554432000 4194304 8989770 140733388267008 140733388266272 6592235 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 17172 16411 470 1171 0 15949 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 68688
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 15292
/proc/meminfo: memFree=27257272/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=93264 CPUtime=162.26 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 22635 0 0 0 16199 27 0 0 20 0 1 0 330061922 95502336 22555 33554432000 4194304 8989770 140733388267008 140733388266504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 23316 22555 470 1171 0 22093 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 93264
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 15292
/proc/meminfo: memFree=27184192/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=125008 CPUtime=222.25 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 30571 0 0 0 22188 37 0 0 20 0 1 0 330061922 128008192 30491 33554432000 4194304 8989770 140733388267008 140733388265024 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 31252 30491 470 1171 0 30029 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 125008
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 15295
/proc/meminfo: memFree=27129032/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=151632 CPUtime=282.24 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 37227 0 0 0 28178 46 0 0 20 0 1 0 330061922 155271168 37147 33554432000 4194304 8989770 140733388267008 140733388266272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 37908 37147 470 1171 0 36685 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 151632
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 15295
/proc/meminfo: memFree=27086288/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=164944 CPUtime=342.23 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 40558 0 0 0 34168 55 0 0 20 0 1 0 330061922 168902656 40478 33554432000 4194304 8989770 140733388267008 140733388266272 4209313 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 41236 40478 472 1171 0 40013 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 164944
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 15296
/proc/meminfo: memFree=27007080/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=216144 CPUtime=402.23 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 53358 0 0 0 40156 67 0 0 20 0 1 0 330061922 221331456 53278 33554432000 4194304 8989770 140733388267008 140733388266272 7683329 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 54036 53278 472 1171 0 52813 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 216144
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 15296
/proc/meminfo: memFree=26963120/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=230480 CPUtime=462.22 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 56944 0 0 0 46146 76 0 0 20 0 1 0 330061922 236011520 56865 33554432000 4194304 8989770 140733388267008 140733388264960 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 57620 56865 472 1171 0 56397 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 230480
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 15296
/proc/meminfo: memFree=26896312/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=266320 CPUtime=522.19 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 65929 0 0 0 52133 86 0 0 20 0 1 0 330061922 272711680 65825 33554432000 4194304 8989770 140733388267008 140733388266272 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 66580 65825 472 1171 0 65357 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 266320
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15296
/proc/meminfo: memFree=26872656/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=272464 CPUtime=582.16 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 67480 0 0 0 58120 96 0 0 20 0 1 0 330061922 279003136 67361 33554432000 4194304 8989770 140733388267008 140733388266272 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 68116 67361 472 1171 0 66893 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 272464
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15297
/proc/meminfo: memFree=26738964/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=304208 CPUtime=822.13 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 75417 0 0 0 82084 129 0 0 20 0 1 0 330061922 311508992 75297 33554432000 4194304 8989770 140733388267008 140733388266504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 76052 75297 472 1171 0 74829 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 304208
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15300
/proc/meminfo: memFree=26729300/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=296016 CPUtime=882.12 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 77465 0 0 0 88073 139 0 0 20 0 1 0 330061922 303120384 73249 33554432000 4194304 8989770 140733388267008 140733388266272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 74004 73249 472 1171 0 72781 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 296016
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15300
/proc/meminfo: memFree=26710956/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=296016 CPUtime=942.11 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 77465 0 0 0 94066 145 0 0 20 0 1 0 330061922 303120384 73249 33554432000 4194304 8989770 140733388267008 140733388266272 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 74004 73249 472 1171 0 72781 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 296016
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15301
/proc/meminfo: memFree=26674748/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=296016 CPUtime=1002.1 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 77465 0 0 0 100059 151 0 0 20 0 1 0 330061922 303120384 73249 33554432000 4194304 8989770 140733388267008 140733388266272 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 74004 73249 472 1171 0 72781 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 296016
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15301
/proc/meminfo: memFree=26652552/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=299088 CPUtime=1062.09 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 78233 0 0 0 106048 161 0 0 20 0 1 0 330061922 306266112 74017 33554432000 4194304 8989770 140733388267008 140733388266272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 74772 74017 472 1171 0 73549 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 299088
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15301
/proc/meminfo: memFree=26696924/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=234576 CPUtime=1122.08 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 78233 0 0 0 112039 169 0 0 20 0 1 0 330061922 240205824 57889 33554432000 4194304 8989770 140733388267008 140733388266504 4209365 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 58644 57889 472 1171 0 57421 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 234576
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 15301
/proc/meminfo: memFree=26671120/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=240720 CPUtime=1182.08 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 79769 0 0 0 118030 178 0 0 20 0 1 0 330061922 246497280 59425 33554432000 4194304 8989770 140733388267008 140733388266272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 60180 59425 472 1171 0 58957 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 240720
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 15301
/proc/meminfo: memFree=26610636/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=280656 CPUtime=1242.07 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 89753 0 0 0 124018 189 0 0 20 0 1 0 330061922 287391744 69409 33554432000 4194304 8989770 140733388267008 140733388266504 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 70164 69409 472 1171 0 68941 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 280656
[startup+1302.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/175 15341
/proc/meminfo: memFree=27788156/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=308304 CPUtime=1302.07 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 96665 0 0 0 130008 199 0 0 20 0 1 0 330061922 315703296 76321 33554432000 4194304 8989770 140733388267008 140733388266504 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 77076 76321 472 1171 0 75853 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 308304
[startup+1362.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/175 15341
/proc/meminfo: memFree=27700984/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=346192 CPUtime=1362.04 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 106137 0 0 0 135994 210 0 0 20 0 1 0 330061922 354500608 85793 33554432000 4194304 8989770 140733388267008 140733388266504 4437616 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 86548 85793 472 1171 0 85325 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 346192
[startup+1422.31 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 15342
/proc/meminfo: memFree=27736328/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=267344 CPUtime=1422.03 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 106658 0 0 0 141982 221 0 0 20 0 1 0 330061922 273760256 66081 33554432000 4194304 8989770 140733388267008 140733388266272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 66836 66081 472 1171 0 65613 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 267344
[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 15344
/proc/meminfo: memFree=27774116/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=270416 CPUtime=1482.01 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 107438 0 0 0 147970 231 0 0 20 0 1 0 330061922 276905984 66849 33554432000 4194304 8989770 140733388267008 140733388264960 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 67604 66849 472 1171 0 66381 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 270416
[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/175 15344
/proc/meminfo: memFree=27722648/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=318544 CPUtime=1542 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 119470 0 0 0 153957 243 0 0 20 0 1 0 330061922 326189056 78881 33554432000 4194304 8989770 140733388267008 140733388266504 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 79636 78881 472 1171 0 78413 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 318544
[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/175 15345
/proc/meminfo: memFree=27742168/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=318544 CPUtime=1602 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 119470 0 0 0 159945 255 0 0 20 0 1 0 330061922 326189056 78881 33554432000 4194304 8989770 140733388267008 140733388266504 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 79636 78881 472 1171 0 78413 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 318544
[startup+1662.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/174 15345
/proc/meminfo: memFree=27745492/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=300112 CPUtime=1661.98 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 123054 0 0 0 165931 267 0 0 20 0 1 0 330061922 307314688 74273 33554432000 4194304 8989770 140733388267008 140733388266504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 75028 74273 472 1171 0 73805 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 300112
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 15346
/proc/meminfo: memFree=27719508/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=329808 CPUtime=1721.98 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 130478 0 0 0 171917 281 0 0 20 0 1 0 330061922 337723392 81697 33554432000 4194304 8989770 140733388267008 140733388266504 4552016 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 82452 81697 472 1171 0 81229 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 329808
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15346
/proc/meminfo: memFree=27730520/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=300112 CPUtime=1781.96 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 133815 0 0 0 177904 292 0 0 20 0 1 0 330061922 307314688 74273 33554432000 4194304 8989770 140733388267008 140733388266504 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 75028 74273 472 1171 0 73805 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 300112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 15346
/proc/meminfo: memFree=27730860/32873852 swapFree=6856/6856
[pid=15290] ppid=15288 vsize=300112 CPUtime=1800.06 cores=1,3,5,7
/proc/15290/stat : 15290 (toysat) R 15288 15290 14594 0 -1 4202496 133822 0 0 0 179711 295 0 0 20 0 1 0 330061922 307314688 74273 33554432000 4194304 8989770 140733388267008 140733388265024 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15290/statm: 75028 74273 472 1171 0 73805 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 300112
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.07
CPU user time (s): 1797.11
CPU system time (s): 2.95555
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 348240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.11
system time used= 2.95555
maximum resident set size= 345220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133822
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= 83
involuntary context switches= 1849
runsolver used 3.55146 second user time and 9.65453 second system time
The end