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-3706461-1338242319/watcher-3706461-1338242319 -o /tmp/evaluation-result-3706461-1338242319/solver-3706461-1338242319 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706461-1338242319.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17685
/proc/meminfo: memFree=28788108/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 802 0 0 0 0 0 0 0 20 0 1 0 290356973 6356992 723 33554432000 4194304 8973514 140735770728512 140736735747784 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 1552 726 411 1167 0 333 0
[startup+0.083687 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17685
/proc/meminfo: memFree=28788108/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=11328 CPUtime=0.07 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 1985 0 0 0 7 0 0 0 20 0 1 0 290356973 11599872 1906 33554432000 4194304 8973514 140735770728512 140736735747784 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 2832 1906 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100333 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17685
/proc/meminfo: memFree=28788108/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 2249 0 0 0 9 0 0 0 20 0 1 0 290356973 12648448 2170 33554432000 4194304 8973514 140735770728512 140736735747784 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 3088 2170 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300289 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17685
/proc/meminfo: memFree=28788108/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=23616 CPUtime=0.28 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 5076 0 0 0 28 0 0 0 20 0 1 0 290356973 24182784 4997 33554432000 4194304 8973514 140735770728512 140736735747784 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 5904 5003 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23616
[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17685
/proc/meminfo: memFree=28788108/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=41024 CPUtime=0.69 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 9546 0 0 0 68 1 0 0 20 0 1 0 290356973 42008576 9467 33554432000 4194304 8973514 140735770728512 140736735747784 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 10256 9467 434 1167 0 9037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41024
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17686
/proc/meminfo: memFree=28706764/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=41024 CPUtime=1.49 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 9546 0 0 0 148 1 0 0 20 0 1 0 290356973 42008576 9467 33554432000 4194304 8973514 140735770728512 140735770728008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 10256 9467 434 1167 0 9037 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41024
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17686
/proc/meminfo: memFree=28706360/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=51264 CPUtime=3.09 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 12106 0 0 0 307 2 0 0 20 0 1 0 290356973 52494336 12027 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 12816 12027 434 1167 0 11597 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51264
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17686
/proc/meminfo: memFree=28677452/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=54336 CPUtime=6.29 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 12874 0 0 0 626 3 0 0 20 0 1 0 290356973 55640064 12795 33554432000 4194304 8973514 140735770728512 140735770728008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 13584 12795 434 1167 0 12365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54336
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17686
/proc/meminfo: memFree=28676896/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=54336 CPUtime=12.69 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 12897 0 0 0 1263 6 0 0 20 0 1 0 290356973 55640064 12818 33554432000 4194304 8973514 140735770728512 140735770711608 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 13584 12818 457 1167 0 12365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54336
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17686
/proc/meminfo: memFree=28665960/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=65600 CPUtime=25.49 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 15713 0 0 0 2538 11 0 0 20 0 1 0 290356973 67174400 15634 33554432000 4194304 8973514 140735770728512 140735770728008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 16400 15634 457 1167 0 15181 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65600
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17686
/proc/meminfo: memFree=28664812/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=66624 CPUtime=51.08 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 15969 0 0 0 5091 17 0 0 20 0 1 0 290356973 68222976 15890 33554432000 4194304 8973514 140735770728512 140735770727776 4213772 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 16656 15890 457 1167 0 15437 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66624
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17689
/proc/meminfo: memFree=28630812/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=66624 CPUtime=102.28 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 15979 0 0 0 10199 29 0 0 20 0 1 0 290356973 68222976 15890 33554432000 4194304 8973514 140735770728512 140735770726464 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 16656 15890 457 1167 0 15437 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 66624
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 17711
/proc/meminfo: memFree=28623416/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=162.26 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 16183 43 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 69696
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17711
/proc/meminfo: memFree=28623356/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=222.25 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 22169 56 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770726464 4209168 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 69696
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17711
/proc/meminfo: memFree=28623300/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=282.24 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 28153 71 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 69696
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17712
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=342.23 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 34138 85 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770728008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 69696
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17712
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=402.22 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 40123 99 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 69696
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17712
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=462.21 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 46109 112 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770728008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 69696
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17712
/proc/meminfo: memFree=28623416/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=522.2 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 52093 127 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770726464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 69696
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17712
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=582.2 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 58080 140 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770726464 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 69696
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17716
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=882.15 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 88007 208 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 69696
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17717
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=942.14 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 93992 222 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770726464 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 69696
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17717
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1002.13 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 99978 235 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 69696
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17717
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1062.12 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 105964 248 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 69696
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17717
/proc/meminfo: memFree=28623416/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1122.11 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 111951 260 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770728008 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 69696
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17717
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1182.1 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 117936 274 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 69696
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17718
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1242.09 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 123923 286 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 69696
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17721
/proc/meminfo: memFree=28623408/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1302.09 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 129909 300 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 69696
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17721
/proc/meminfo: memFree=28623416/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1362.07 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 135893 314 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770726528 4209344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 69696
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17721
/proc/meminfo: memFree=28623664/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1422.07 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 141881 326 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770726528 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 69696
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17721
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1482.05 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 147866 339 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770726464 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 69696
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17722
/proc/meminfo: memFree=28623664/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1542.05 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 153852 353 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 69696
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17722
/proc/meminfo: memFree=28623788/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1602.04 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 159838 366 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 69696
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17722
/proc/meminfo: memFree=28623664/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1662.03 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 165824 379 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 69696
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17722
/proc/meminfo: memFree=28623788/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1722.02 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 171810 392 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 69696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17722
/proc/meminfo: memFree=28623540/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1782.01 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 177794 407 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770727776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 69696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 17723
/proc/meminfo: memFree=28761328/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1800.01 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 179591 410 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770728008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 69696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 17723
/proc/meminfo: memFree=28761328/32873844 swapFree=7116/7116
[pid=17685] ppid=17683 vsize=69696 CPUtime=1800.01 cores=1,3,5,7
/proc/17685/stat : 17685 (toysat) R 17683 17685 16905 0 -1 4202496 16753 0 0 0 179591 410 0 0 20 0 1 0 290356973 71368704 16658 33554432000 4194304 8973514 140735770728512 140735770728008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17685/statm: 17424 16658 457 1167 0 16205 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 69696
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1795.92
CPU system time (s): 4.10637
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 69696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.92
system time used= 4.10637
maximum resident set size= 66632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16753
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= 19
involuntary context switches= 1864
runsolver used 3.74143 second user time and 9.92349 second system time
The end