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-3725419-1338640585/watcher-3725419-1338640585 -o /tmp/evaluation-result-3725419-1338640585/solver-3725419-1338640585 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725419-1338640585.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/174 20260
/proc/meminfo: memFree=28297068/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 330183973 6373376 735 33554432000 4194304 8989770 140736063596928 140735263765992 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 1556 735 430 1171 0 333 0
[startup+0.023242 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20260
/proc/meminfo: memFree=28297068/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=8272 CPUtime=0.01 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 1142 0 0 0 1 0 0 0 20 0 1 0 330183973 8470528 1063 33554432000 4194304 8989770 140736063596928 140735263765992 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 2068 1063 431 1171 0 845 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8272
[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20260
/proc/meminfo: memFree=28297068/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 2300 0 0 0 9 0 0 0 20 0 1 0 330183973 12664832 2221 33554432000 4194304 8989770 140736063596928 140735263765992 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 3092 2221 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20260
/proc/meminfo: memFree=28297068/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=27728 CPUtime=0.29 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 6013 0 0 0 28 1 0 0 20 0 1 0 330183973 28393472 5934 33554432000 4194304 8989770 140736063596928 140735263765992 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 6932 5934 431 1171 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27728
[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20260
/proc/meminfo: memFree=28297068/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=38992 CPUtime=0.68 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 9061 0 0 0 67 1 0 0 20 0 1 0 330183973 39927808 8982 33554432000 4194304 8989770 140736063596928 140735263765992 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 9748 8982 462 1171 0 8525 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 38992
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28261456/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=41040 CPUtime=1.48 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 9573 0 0 0 146 2 0 0 20 0 1 0 330183973 42024960 9494 33554432000 4194304 8989770 140736063596928 140736063596424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 10260 9494 462 1171 0 9037 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41040
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28259720/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=42064 CPUtime=3.09 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 9829 0 0 0 306 3 0 0 20 0 1 0 330183973 43073536 9750 33554432000 4194304 8989770 140736063596928 140736063596424 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 10516 9750 462 1171 0 9293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42064
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28257248/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=45136 CPUtime=6.29 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 10427 0 0 0 624 5 0 0 20 0 1 0 330183973 46219264 10348 33554432000 4194304 8989770 140736063596928 140736063596424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 11284 10348 462 1171 0 10061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45136
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28252024/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=49232 CPUtime=12.68 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 11621 0 0 0 1261 7 0 0 20 0 1 0 330183973 50413568 11542 33554432000 4194304 8989770 140736063596928 140736063596424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 12308 11542 462 1171 0 11085 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49232
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28248296/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=53328 CPUtime=25.48 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 12649 0 0 0 2535 13 0 0 20 0 1 0 330183973 54607872 12566 33554432000 4194304 8989770 140736063596928 140736063596424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 13332 12566 462 1171 0 12109 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53328
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28232624/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=69712 CPUtime=51.06 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 16767 0 0 0 5078 28 0 0 20 0 1 0 330183973 71385088 16662 33554432000 4194304 8989770 140736063596928 140736063596424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 17428 16662 462 1171 0 16205 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 69712
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20261
/proc/meminfo: memFree=28188532/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=105552 CPUtime=102.25 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 25729 0 0 0 10170 55 0 0 20 0 1 0 330183973 108085248 25622 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 26388 25622 462 1171 0 25165 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 105552
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 20261
/proc/meminfo: memFree=28154060/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=130128 CPUtime=162.24 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 31784 0 0 0 16145 79 0 0 20 0 1 0 330183973 133251072 31677 33554432000 4194304 8989770 140736063596928 140736063596424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 32532 31677 462 1171 0 31309 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 130128
[startup+222.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/176 20264
/proc/meminfo: memFree=28130592/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=147536 CPUtime=222.23 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 36225 0 0 0 22122 101 0 0 20 0 1 0 330183973 151076864 36118 33554432000 4194304 8989770 140736063596928 140736063596424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 36884 36118 462 1171 0 35661 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 147536
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 20265
/proc/meminfo: memFree=28111804/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=157776 CPUtime=282.19 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 38817 0 0 0 28097 122 0 0 20 0 1 0 330183973 161562624 38680 33554432000 4194304 8989770 140736063596928 140736063596424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 39444 38680 464 1171 0 38221 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 157776
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 20265
/proc/meminfo: memFree=28106844/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=157776 CPUtime=342.18 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 38817 0 0 0 34075 143 0 0 20 0 1 0 330183973 161562624 38680 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 39444 38680 464 1171 0 38221 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 157776
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 20265
/proc/meminfo: memFree=28104612/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=158800 CPUtime=402.17 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 38951 0 0 0 40055 162 0 0 20 0 1 0 330183973 162611200 38814 33554432000 4194304 8989770 140736063596928 140736063596424 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 39700 38814 464 1171 0 38477 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 158800
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 20265
/proc/meminfo: memFree=28087040/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=173136 CPUtime=462.16 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 42468 0 0 0 46038 178 0 0 20 0 1 0 330183973 177291264 42331 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 43284 42331 464 1171 0 42061 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 173136
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 20265
/proc/meminfo: memFree=28072524/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=185424 CPUtime=522.15 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 45606 0 0 0 52026 189 0 0 20 0 1 0 330183973 189874176 45465 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 46356 45465 464 1171 0 45133 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 185424
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20266
/proc/meminfo: memFree=28045284/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=197712 CPUtime=582.14 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 48763 0 0 0 58011 203 0 0 20 0 1 0 330183973 202457088 48613 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 49428 48613 464 1171 0 48205 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 197712
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20269
/proc/meminfo: memFree=28007276/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=207952 CPUtime=822.1 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 51378 0 0 0 81959 251 0 0 20 0 1 0 330183973 212942848 51224 33554432000 4194304 8989770 140736063596928 140736063596192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 51988 51224 464 1171 0 50765 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 207952
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27995260/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=207952 CPUtime=882.09 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 51378 0 0 0 87947 262 0 0 20 0 1 0 330183973 212942848 51224 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 51988 51224 464 1171 0 50765 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 207952
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27991168/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=207952 CPUtime=942.08 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 51378 0 0 0 93934 274 0 0 20 0 1 0 330183973 212942848 51224 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 51988 51224 464 1171 0 50765 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 207952
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27977756/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=215120 CPUtime=1002.07 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 53170 0 0 0 99920 287 0 0 20 0 1 0 330183973 220282880 53016 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 53780 53016 464 1171 0 52557 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 215120
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27972040/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=221264 CPUtime=1062.06 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 54706 0 0 0 105908 298 0 0 20 0 1 0 330183973 226574336 54552 33554432000 4194304 8989770 140736063596928 140736063596424 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 55316 54552 464 1171 0 54093 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 221264
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20270
/proc/meminfo: memFree=27953068/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=230480 CPUtime=1122.06 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 56837 0 0 0 111896 310 0 0 20 0 1 0 330183973 236011520 56683 33554432000 4194304 8989770 140736063596928 140736063596192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 57620 56683 464 1171 0 56397 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 230480
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 20270
/proc/meminfo: memFree=27935444/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=236624 CPUtime=1182.04 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 58390 0 0 0 117883 321 0 0 20 0 1 0 330183973 242302976 58230 33554432000 4194304 8989770 140736063596928 140736063596424 4213872 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 59156 58230 464 1171 0 57933 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 236624
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20271
/proc/meminfo: memFree=27913984/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=244816 CPUtime=1242.04 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 60600 0 0 0 123872 332 0 0 20 0 1 0 330183973 250691584 60440 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 61204 60440 464 1171 0 59981 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 244816
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20271
/proc/meminfo: memFree=27897120/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=251984 CPUtime=1302.03 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 62187 0 0 0 129861 342 0 0 20 0 1 0 330183973 258031616 62027 33554432000 4194304 8989770 140736063596928 140736063596424 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 62996 62027 464 1171 0 61773 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 251984
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20271
/proc/meminfo: memFree=27889760/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=257104 CPUtime=1362.02 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 63527 0 0 0 135848 354 0 0 20 0 1 0 330183973 263274496 63367 33554432000 4194304 8989770 140736063596928 140736063596192 4209429 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 64276 63367 464 1171 0 63053 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 257104
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20274
/proc/meminfo: memFree=27875492/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=263248 CPUtime=1422.01 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 65020 0 0 0 141838 363 0 0 20 0 1 0 330183973 269565952 64860 33554432000 4194304 8989770 140736063596928 140736063596424 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 65812 64860 464 1171 0 64589 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 263248
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 20297
/proc/meminfo: memFree=27867020/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=269392 CPUtime=1482 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 66662 0 0 0 147825 375 0 0 20 0 1 0 330183973 275857408 66502 33554432000 4194304 8989770 140736063596928 140736063596192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 67348 66502 464 1171 0 66125 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 269392
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 20337
/proc/meminfo: memFree=28133160/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=275536 CPUtime=1541.98 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 68056 0 0 0 153813 385 0 0 20 0 1 0 330183973 282148864 68101 33554432000 4194304 8989770 140736063596928 140736063596192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 68884 68101 464 1171 0 67661 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 275536
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20337
/proc/meminfo: memFree=28107368/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=279632 CPUtime=1601.98 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 69099 0 0 0 159800 398 0 0 20 0 1 0 330183973 286343168 69144 33554432000 4194304 8989770 140736063596928 140736063596192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 69908 69144 464 1171 0 68685 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 279632
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20337
/proc/meminfo: memFree=28066944/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=286800 CPUtime=1661.97 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 70797 0 0 0 165789 408 0 0 20 0 1 0 330183973 293683200 70842 33554432000 4194304 8989770 140736063596928 140736063596424 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 71700 70842 464 1171 0 70477 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 286800
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 20337
/proc/meminfo: memFree=28033812/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=290896 CPUtime=1721.96 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 71756 0 0 0 171777 419 0 0 20 0 1 0 330183973 297877504 71796 33554432000 4194304 8989770 140736063596928 140736063596192 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 72724 71796 464 1171 0 71501 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 290896
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 20337
/proc/meminfo: memFree=28001724/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=297040 CPUtime=1781.95 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 73234 0 0 0 177764 431 0 0 20 0 1 0 330183973 304168960 73274 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 74260 73274 464 1171 0 73037 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 297040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 20338
/proc/meminfo: memFree=27990036/32873852 swapFree=7624/7624
[pid=20260] ppid=20258 vsize=299088 CPUtime=1800.05 cores=1,3,5,7
/proc/20260/stat : 20260 (toysat) R 20258 20260 19474 0 -1 4202496 73772 0 0 0 179571 434 0 0 20 0 1 0 330183973 306266112 73812 33554432000 4194304 8989770 140736063596928 140736063596192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20260/statm: 74772 73812 464 1171 0 73549 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 299088
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.06
CPU user time (s): 1795.72
CPU system time (s): 4.34534
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 299088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.72
system time used= 4.34534
maximum resident set size= 295248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73772
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= 102
involuntary context switches= 1847
runsolver used 3.20951 second user time and 9.63554 second system time
The end