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-3712084-1338182121/watcher-3712084-1338182121 -o /tmp/evaluation-result-3712084-1338182121/solver-3712084-1338182121 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712084-1338182121.wbo
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.84 1.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 796 0 0 0 0 0 0 0 20 0 1 0 284340556 6356992 717 33554432000 4194304 8973514 140735361731792 140734261897272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 1552 717 422 1167 0 333 0
[startup+0.0832371 s]
/proc/loadavg: 1.84 1.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=10304 CPUtime=0.07 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 1886 0 0 0 7 0 0 0 20 0 1 0 284340556 10551296 1807 33554432000 4194304 8973514 140735361731792 140734261897272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 2576 1807 454 1167 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10304
[startup+0.100234 s]
/proc/loadavg: 1.84 1.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 2142 0 0 0 9 0 0 0 20 0 1 0 284340556 11599872 2063 33554432000 4194304 8973514 140735361731792 140734261897272 4414833 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 2832 2063 454 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.300195 s]
/proc/loadavg: 1.84 1.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=12352 CPUtime=0.29 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 2339 0 0 0 29 0 0 0 20 0 1 0 284340556 12648448 2260 33554432000 4194304 8973514 140735361731792 140735361731288 4415744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 3088 2260 454 1167 0 1869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12352
[startup+0.70021 s]
/proc/loadavg: 1.84 1.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=13376 CPUtime=0.69 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 2654 0 0 0 69 0 0 0 20 0 1 0 284340556 13697024 2575 33554432000 4194304 8973514 140735361731792 140735361731288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 3344 2575 454 1167 0 2125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13376
[startup+1.50024 s]
/proc/loadavg: 1.84 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31263560/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=15424 CPUtime=1.48 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 3166 0 0 0 148 0 0 0 20 0 1 0 284340556 15794176 3087 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 3856 3087 454 1167 0 2637 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15424
[startup+3.10018 s]
/proc/loadavg: 1.84 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31258724/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=19520 CPUtime=3.09 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 4074 0 0 0 308 1 0 0 20 0 1 0 284340556 19988480 3995 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 4880 3995 465 1167 0 3661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19520
[startup+6.30019 s]
/proc/loadavg: 1.85 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31246076/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=25664 CPUtime=6.29 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 5738 0 0 0 627 2 0 0 20 0 1 0 284340556 26279936 5659 33554432000 4194304 8973514 140735361731792 140735361731288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 6416 5659 466 1167 0 5197 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25664
[startup+12.7002 s]
/proc/loadavg: 1.86 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31228612/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=34880 CPUtime=12.69 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 8045 0 0 0 1264 5 0 0 20 0 1 0 284340556 35717120 7968 33554432000 4194304 8973514 140735361731792 140735361731288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 8720 7968 466 1167 0 7501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34880
[startup+25.5002 s]
/proc/loadavg: 1.89 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31191064/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=58432 CPUtime=25.48 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 13917 0 0 0 2539 9 0 0 20 0 1 0 284340556 59834368 13832 33554432000 4194304 8973514 140735361731792 140735361731056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 14608 13832 466 1167 0 13389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58432
[startup+51.1002 s]
/proc/loadavg: 1.93 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31141416/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=88128 CPUtime=51.06 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 21385 0 0 0 5089 17 0 0 20 0 1 0 284340556 90243072 21280 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 22032 21280 466 1167 0 20813 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 88128
[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31086900/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=107584 CPUtime=102.24 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 27543 0 0 0 10190 34 0 0 20 0 1 0 284340556 110166016 26144 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 26896 26144 466 1167 0 25677 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 107584
[startup+162.3 s]
/proc/loadavg: 2.05 1.99 1.99 3/175 19255
/proc/meminfo: memFree=31042944/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=130112 CPUtime=162.23 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 33175 0 0 0 16174 49 0 0 20 0 1 0 284340556 133234688 31776 33554432000 4194304 8973514 140735361731792 140735361731288 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 32528 31776 466 1167 0 31309 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 130112
[startup+222.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/175 19255
/proc/meminfo: memFree=30972624/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=162880 CPUtime=222.22 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 41372 0 0 0 22163 59 0 0 20 0 1 0 284340556 166789120 39968 33554432000 4194304 8973514 140735361731792 140735361731056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 40720 39968 466 1167 0 39501 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 162880
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/176 19258
/proc/meminfo: memFree=30929908/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=202816 CPUtime=282.19 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 51384 0 0 0 28152 67 0 0 20 0 1 0 284340556 207683584 49952 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 50704 49952 466 1167 0 49485 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 202816
[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30915188/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=202816 CPUtime=342.18 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 51384 0 0 0 34144 74 0 0 20 0 1 0 284340556 207683584 49952 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 50704 49952 466 1167 0 49485 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 202816
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30890888/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=202816 CPUtime=402.18 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 51384 0 0 0 40135 83 0 0 20 0 1 0 284340556 207683584 49952 33554432000 4194304 8973514 140735361731792 140735361731056 4424580 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 50704 49952 466 1167 0 49485 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 202816
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30879604/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=202816 CPUtime=462.16 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 51384 0 0 0 46125 91 0 0 20 0 1 0 284340556 207683584 49952 33554432000 4194304 8973514 140735361731792 140735361731288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 50704 49952 466 1167 0 49485 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 202816
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30844364/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=228416 CPUtime=522.16 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 57546 0 0 0 52117 99 0 0 20 0 1 0 284340556 233897984 56106 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57104 56106 466 1167 0 55885 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 228416
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30804484/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=582.14 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61892 0 0 0 58107 107 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 244800
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 19260
/proc/meminfo: memFree=30758536/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=822.11 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61892 0 0 0 82079 132 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731056 6817368 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 244800
[startup+882.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/176 19263
/proc/meminfo: memFree=30749364/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=882.1 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61895 0 0 0 88069 141 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 244800
[startup+942.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 19264
/proc/meminfo: memFree=30749420/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=942.09 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61895 0 0 0 94062 147 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731288 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 244800
[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/175 19264
/proc/meminfo: memFree=30749408/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=1002.07 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61895 0 0 0 100054 153 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 244800
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 19264
/proc/meminfo: memFree=30749444/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=1062.06 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61895 0 0 0 106047 159 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 244800
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/174 19264
/proc/meminfo: memFree=30748584/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1122.06 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62407 0 0 0 112040 166 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731288 4459452 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 246848
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 19265
/proc/meminfo: memFree=30747644/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1182.04 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 118031 173 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 246848
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 19266
/proc/meminfo: memFree=30746784/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1242.04 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 124023 181 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 246848
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19266
/proc/meminfo: memFree=30744676/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1302.04 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 130016 188 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 246848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19266
/proc/meminfo: memFree=30745232/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1362.02 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 136006 196 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 246848
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19266
/proc/meminfo: memFree=30744736/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1422.02 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 141998 204 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 246848
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19269
/proc/meminfo: memFree=30744688/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1482 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 147987 213 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 246848
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19270
/proc/meminfo: memFree=30728988/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1541.99 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 153981 218 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731288 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 246848
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19270
/proc/meminfo: memFree=30738976/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1601.99 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 159972 227 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 230464
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 19270
/proc/meminfo: memFree=30738976/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1661.98 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 165963 235 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 230464
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19270
/proc/meminfo: memFree=30739140/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1721.97 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 171954 243 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 7662133 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 230464
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19270
/proc/meminfo: memFree=30738520/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1781.96 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 177947 249 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 230464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19270
/proc/meminfo: memFree=30738644/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1800.06 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 179754 252 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 230464
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.55
CPU system time (s): 2.52362
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 246848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 2.52362
maximum resident set size= 243840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62408
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= 97
involuntary context switches= 1850
runsolver used 3.19951 second user time and 8.35573 second system time
The end