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-3725364-1338637073/watcher-3725364-1338637073 -o /tmp/evaluation-result-3725364-1338637073/solver-3725364-1338637073 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725364-1338637073.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.95 3/176 26286
/proc/meminfo: memFree=26854204/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 805 0 0 0 0 0 0 0 20 0 1 0 329831652 6373376 725 33554432000 4194304 8989770 140734959274080 140734955220728 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 1556 725 424 1171 0 333 0
[startup+0.0909021 s]
/proc/loadavg: 1.99 1.98 1.95 3/176 26286
/proc/meminfo: memFree=26854204/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=12368 CPUtime=0.08 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 2125 0 0 0 8 0 0 0 20 0 1 0 329831652 12664832 2045 33554432000 4194304 8989770 140734959274080 140734959273576 5797469 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 3092 2045 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368
[startup+0.100334 s]
/proc/loadavg: 1.99 1.98 1.95 3/176 26286
/proc/meminfo: memFree=26854204/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 2125 0 0 0 9 0 0 0 20 0 1 0 329831652 12664832 2045 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 3092 2045 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300319 s]
/proc/loadavg: 1.99 1.98 1.95 3/176 26286
/proc/meminfo: memFree=26854204/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=25680 CPUtime=0.29 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 5697 0 0 0 29 0 0 0 20 0 1 0 329831652 26296320 5617 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 6420 5617 431 1171 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25680
[startup+0.700318 s]
/proc/loadavg: 1.99 1.98 1.95 3/176 26286
/proc/meminfo: memFree=26854204/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=52304 CPUtime=0.69 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 12369 0 0 0 68 1 0 0 20 0 1 0 329831652 53559296 12289 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 13076 12289 441 1171 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52304
[startup+1.50023 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26287
/proc/meminfo: memFree=26806944/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=52304 CPUtime=1.49 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 12372 0 0 0 147 2 0 0 20 0 1 0 329831652 53559296 12292 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 13076 12292 444 1171 0 11853 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52304
[startup+3.10023 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26287
/proc/meminfo: memFree=26806448/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=53328 CPUtime=3.09 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 12560 0 0 0 306 3 0 0 20 0 1 0 329831652 54607872 12480 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 13332 12480 444 1171 0 12109 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53328
[startup+6.30032 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26287
/proc/meminfo: memFree=26802612/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=56400 CPUtime=6.29 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 13423 0 0 0 625 4 0 0 20 0 1 0 329831652 57753600 13343 33554432000 4194304 8989770 140734959274080 140734959273344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 14100 13343 471 1171 0 12877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56400
[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26287
/proc/meminfo: memFree=26801496/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=57424 CPUtime=12.68 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 13680 0 0 0 1263 5 0 0 20 0 1 0 329831652 58802176 13600 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 14356 13600 471 1171 0 13133 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 57424
[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26288
/proc/meminfo: memFree=26799504/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=59472 CPUtime=25.48 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 14194 0 0 0 2540 8 0 0 20 0 1 0 329831652 60899328 14117 33554432000 4194304 8989770 140734959274080 140734959273576 7687408 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 14868 14117 471 1171 0 13645 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59472
[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26288
/proc/meminfo: memFree=26794876/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=64592 CPUtime=51.07 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 15478 0 0 0 5097 10 0 0 20 0 1 0 329831652 66142208 15397 33554432000 4194304 8989770 140734959274080 140734959273576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 16148 15397 471 1171 0 14925 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64592
[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26288
/proc/meminfo: memFree=26786444/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=73808 CPUtime=102.27 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 17782 0 0 0 10209 18 0 0 20 0 1 0 329831652 75579392 17701 33554432000 4194304 8989770 140734959274080 140734959273344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 18452 17701 471 1171 0 17229 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73808
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 26291
/proc/meminfo: memFree=26776260/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=85072 CPUtime=162.25 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 20599 0 0 0 16198 27 0 0 20 0 1 0 329831652 87113728 20517 33554432000 4194304 8989770 140734959274080 140734959273576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 21268 20517 471 1171 0 20045 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 85072
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26291
/proc/meminfo: memFree=26764784/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=96336 CPUtime=222.24 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 23419 0 0 0 22189 35 0 0 20 0 1 0 329831652 98648064 23333 33554432000 4194304 8989770 140734959274080 140734959273576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 24084 23333 471 1171 0 22861 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 96336
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26291
/proc/meminfo: memFree=26752492/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=108624 CPUtime=282.23 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 26493 0 0 0 28178 45 0 0 20 0 1 0 329831652 111230976 26405 33554432000 4194304 8989770 140734959274080 140734959273576 4214368 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 27156 26405 471 1171 0 25933 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 108624
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26292
/proc/meminfo: memFree=26740092/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=120912 CPUtime=342.23 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 29565 0 0 0 34167 56 0 0 20 0 1 0 329831652 123813888 29477 33554432000 4194304 8989770 140734959274080 140734959273576 4209410 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 30228 29477 471 1171 0 29005 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 120912
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/177 26292
/proc/meminfo: memFree=26726744/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=134224 CPUtime=402.22 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 32893 0 0 0 40157 65 0 0 20 0 1 0 329831652 137445376 32805 33554432000 4194304 8989770 140734959274080 140734959272064 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 33556 32805 471 1171 0 32333 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 134224
[startup+462.3 s]
/proc/loadavg: 2.07 2.00 1.96 3/177 26292
/proc/meminfo: memFree=26711112/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=149584 CPUtime=462.2 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 36736 0 0 0 46146 74 0 0 20 0 1 0 329831652 153174016 36645 33554432000 4194304 8989770 140734959274080 140734959273344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 37396 36645 471 1171 0 36173 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 149584
[startup+522.3 s]
/proc/loadavg: 2.02 2.00 1.96 3/177 26292
/proc/meminfo: memFree=26697576/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=162896 CPUtime=522.19 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 40071 0 0 0 52136 83 0 0 20 0 1 0 329831652 166805504 39973 33554432000 4194304 8989770 140734959274080 140734959272000 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 40724 39973 471 1171 0 39501 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 162896
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/177 26292
/proc/meminfo: memFree=26682200/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=178256 CPUtime=582.18 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 43911 0 0 0 58125 93 0 0 20 0 1 0 329831652 182534144 43813 33554432000 4194304 8989770 140734959274080 140734959272064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 44564 43813 471 1171 0 43341 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 178256
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 26296
/proc/meminfo: memFree=26657728/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=202832 CPUtime=822.14 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 50061 0 0 0 82084 130 0 0 20 0 1 0 329831652 207699968 49959 33554432000 4194304 8989770 140734959274080 140734959273344 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 50708 49959 473 1171 0 49485 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 202832
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 26296
/proc/meminfo: memFree=26650784/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=210000 CPUtime=882.13 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 51853 0 0 0 88074 139 0 0 20 0 1 0 329831652 215040000 51751 33554432000 4194304 8989770 140734959274080 140734959272000 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 52500 51751 473 1171 0 51277 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 210000
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 26297
/proc/meminfo: memFree=26637376/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=223312 CPUtime=942.12 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 55186 0 0 0 94063 149 0 0 20 0 1 0 329831652 228671488 55079 33554432000 4194304 8989770 140734959274080 140734959273344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 55828 55079 473 1171 0 54605 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 223312
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 26297
/proc/meminfo: memFree=26629316/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=231504 CPUtime=1002.1 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 57234 0 0 0 100053 157 0 0 20 0 1 0 329831652 237060096 57127 33554432000 4194304 8989770 140734959274080 140734959273344 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 57876 57127 473 1171 0 56653 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 231504
[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/177 26297
/proc/meminfo: memFree=26614592/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=245840 CPUtime=1062.1 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 60825 0 0 0 106043 167 0 0 20 0 1 0 329831652 251740160 60711 33554432000 4194304 8989770 140734959274080 140734959273576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 61460 60711 473 1171 0 60237 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 245840
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 26297
/proc/meminfo: memFree=26601508/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=259152 CPUtime=1122.09 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 64153 0 0 0 112033 176 0 0 20 0 1 0 329831652 265371648 64039 33554432000 4194304 8989770 140734959274080 140734959272000 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 64788 64039 473 1171 0 63565 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 259152
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/177 26297
/proc/meminfo: memFree=26601012/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=259152 CPUtime=1182.08 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 64153 0 0 0 118022 186 0 0 20 0 1 0 329831652 265371648 64039 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 64788 64039 473 1171 0 63565 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 259152
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/176 26297
/proc/meminfo: memFree=26600016/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=259152 CPUtime=1242.07 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 64158 0 0 0 124013 194 0 0 20 0 1 0 329831652 265371648 64039 33554432000 4194304 8989770 140734959274080 140734959273576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 64788 64039 473 1171 0 63565 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 259152
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 26298
/proc/meminfo: memFree=26599760/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=259152 CPUtime=1302.07 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 64158 0 0 0 130003 204 0 0 20 0 1 0 329831652 265371648 64039 33554432000 4194304 8989770 140734959274080 140734959273576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 64788 64039 473 1171 0 63565 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 259152
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 26301
/proc/meminfo: memFree=26593304/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=265296 CPUtime=1362.05 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 65694 0 0 0 135992 213 0 0 20 0 1 0 329831652 271663104 65575 33554432000 4194304 8989770 140734959274080 140734959273344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 66324 65575 473 1171 0 65101 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 265296
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 26323
/proc/meminfo: memFree=26582512/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=275536 CPUtime=1422.05 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 68254 0 0 0 141983 222 0 0 20 0 1 0 329831652 282148864 68135 33554432000 4194304 8989770 140734959274080 140734959273344 4451817 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 68884 68135 473 1171 0 67661 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 275536
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26323
/proc/meminfo: memFree=26568184/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=289872 CPUtime=1482.03 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 71838 0 0 0 147971 232 0 0 20 0 1 0 329831652 296828928 71719 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 72468 71719 473 1171 0 71245 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 289872
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26323
/proc/meminfo: memFree=26568680/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=289872 CPUtime=1542.02 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 71838 0 0 0 153958 244 0 0 20 0 1 0 329831652 296828928 71719 33554432000 4194304 8989770 140734959274080 140734959273576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 72468 71719 473 1171 0 71245 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 289872
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26324
/proc/meminfo: memFree=26586608/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=271440 CPUtime=1602.01 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 71838 0 0 0 159946 255 0 0 20 0 1 0 329831652 277954560 67111 33554432000 4194304 8989770 140734959274080 140734959273344 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 67860 67111 473 1171 0 66637 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 271440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 26401
/proc/meminfo: memFree=26383328/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=234576 CPUtime=1662 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 71840 0 0 0 165935 265 0 0 20 0 1 0 329831652 240205824 57895 33554432000 4194304 8989770 140734959274080 140734959272000 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 58644 57895 473 1171 0 57421 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 234576
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26402
/proc/meminfo: memFree=26383444/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=234576 CPUtime=1721.99 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 71840 0 0 0 171925 274 0 0 20 0 1 0 329831652 240205824 57895 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 58644 57895 473 1171 0 57421 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 234576
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26402
/proc/meminfo: memFree=26382948/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=234576 CPUtime=1781.98 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 71840 0 0 0 177915 283 0 0 20 0 1 0 329831652 240205824 57895 33554432000 4194304 8989770 140734959274080 140734959273576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 58644 57895 473 1171 0 57421 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 234576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 26402
/proc/meminfo: memFree=26382680/32873844 swapFree=7628/7628
[pid=26286] ppid=26284 vsize=234576 CPUtime=1800.09 cores=1,3,5,7
/proc/26286/stat : 26286 (toysat) R 26284 26286 25747 0 -1 4202496 71840 0 0 0 179724 285 0 0 20 0 1 0 329831652 240205824 57895 33554432000 4194304 8989770 140734959274080 140734959273344 4209591 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 58644 57895 473 1171 0 57421 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 234576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1797.24
CPU system time (s): 2.85656
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 289872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.24
system time used= 2.85656
maximum resident set size= 286876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71840
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= 49
involuntary context switches= 1857
runsolver used 3.9334 second user time and 9.81151 second system time
The end