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-3706525-1338225601/watcher-3706525-1338225601 -o /tmp/evaluation-result-3706525-1338225601/solver-3706525-1338225601 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706525-1338225601.opb
running on 4 cores: 0,2,4,6
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/177 1774
/proc/meminfo: memFree=29027332/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 793 0 0 0 0 0 0 0 20 0 1 0 288685059 6356992 713 33554432000 4194304 8973514 140735735557984 140733436582456 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 1552 713 411 1167 0 333 0
[startup+0.0973281 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1774
/proc/meminfo: memFree=29027332/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 288685059 12648448 2276 33554432000 4194304 8973514 140735735557984 140735735557480 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1774
/proc/meminfo: memFree=29027332/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 288685059 12648448 2276 33554432000 4194304 8973514 140735735557984 140735735557480 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300331 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1774
/proc/meminfo: memFree=29027332/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=23616 CPUtime=0.29 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 5172 0 0 0 29 0 0 0 20 0 1 0 288685059 24182784 5092 33554432000 4194304 8973514 140735735557984 140735735557480 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 5904 5092 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616
[startup+0.700312 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1774
/proc/meminfo: memFree=29027332/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=40000 CPUtime=0.69 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 9291 0 0 0 68 1 0 0 20 0 1 0 288685059 40960000 9211 33554432000 4194304 8973514 140735735557984 140735735557480 4481908 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 10000 9211 435 1167 0 8781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40000
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1775
/proc/meminfo: memFree=28991572/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=40000 CPUtime=1.49 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 9291 0 0 0 148 1 0 0 20 0 1 0 288685059 40960000 9211 33554432000 4194304 8973514 140735735557984 140735735557480 5383692 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 10000 9211 435 1167 0 8781 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40000
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1775
/proc/meminfo: memFree=28991076/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=48192 CPUtime=3.09 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 11351 0 0 0 307 2 0 0 20 0 1 0 288685059 49348608 11271 33554432000 4194304 8973514 140735735557984 140735735557480 4435907 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 12048 11271 447 1167 0 10829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48192
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1775
/proc/meminfo: memFree=28982760/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=53312 CPUtime=6.29 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 12642 0 0 0 626 3 0 0 20 0 1 0 288685059 54591488 12562 33554432000 4194304 8973514 140735735557984 140735735557480 4209220 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 13328 12562 458 1167 0 12109 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53312
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1775
/proc/meminfo: memFree=28963092/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=67648 CPUtime=12.69 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 16226 0 0 0 1264 5 0 0 20 0 1 0 288685059 69271552 16146 33554432000 4194304 8973514 140735735557984 140735735557088 7688852 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 16912 16146 458 1167 0 15693 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67648
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1775
/proc/meminfo: memFree=28963340/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=67648 CPUtime=25.49 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 16226 0 0 0 2539 10 0 0 20 0 1 0 288685059 69271552 16146 33554432000 4194304 8973514 140735735557984 140735735557480 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 16912 16146 458 1167 0 15693 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67648
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1775
/proc/meminfo: memFree=28961324/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=69696 CPUtime=51.08 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 16738 0 0 0 5091 17 0 0 20 0 1 0 288685059 71368704 16658 33554432000 4194304 8973514 140735735557984 140735735557480 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 17424 16658 458 1167 0 16205 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69696
[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 1775
/proc/meminfo: memFree=28959888/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=70720 CPUtime=102.28 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 16994 0 0 0 10195 33 0 0 20 0 1 0 288685059 72417280 16914 33554432000 4194304 8973514 140735735557984 140735735557480 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 17680 16914 458 1167 0 16461 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 70720
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1775
/proc/meminfo: memFree=28957648/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=73792 CPUtime=162.25 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 17775 0 0 0 16174 51 0 0 20 0 1 0 288685059 75563008 17682 33554432000 4194304 8973514 140735735557984 140735735555904 7716772 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 18448 17682 458 1167 0 17229 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 73792
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1775
/proc/meminfo: memFree=28945496/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=85056 CPUtime=222.25 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 20591 0 0 0 22157 68 0 0 20 0 1 0 288685059 87097344 20498 33554432000 4194304 8973514 140735735557984 140735735557480 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 21264 20498 458 1167 0 20045 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 85056
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1776
/proc/meminfo: memFree=28945992/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=85056 CPUtime=282.23 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 20591 0 0 0 28140 83 0 0 20 0 1 0 288685059 87097344 20498 33554432000 4194304 8973514 140735735557984 140735735555968 7717297 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 21264 20498 458 1167 0 20045 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 85056
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1776
/proc/meminfo: memFree=28943768/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=87104 CPUtime=342.23 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 21103 0 0 0 34122 101 0 0 20 0 1 0 288685059 89194496 21010 33554432000 4194304 8973514 140735735557984 140735735557248 4209612 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 21776 21010 458 1167 0 20557 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 87104
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1820
/proc/meminfo: memFree=30394640/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=88128 CPUtime=402.22 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 21359 0 0 0 40101 121 0 0 20 0 1 0 288685059 90243072 21266 33554432000 4194304 8973514 140735735557984 140735735557248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 22032 21266 458 1167 0 20813 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 88128
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1820
/proc/meminfo: memFree=30363636/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=89152 CPUtime=462.21 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 21615 0 0 0 46083 138 0 0 20 0 1 0 288685059 91291648 21522 33554432000 4194304 8973514 140735735557984 140735735557248 7716861 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 22288 21522 458 1167 0 21069 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 89152
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1820
/proc/meminfo: memFree=30358208/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=89152 CPUtime=522.2 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 21615 0 0 0 52065 155 0 0 20 0 1 0 288685059 91291648 21522 33554432000 4194304 8973514 140735735557984 140735735557480 4204685 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 22288 21522 458 1167 0 21069 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 89152
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1821
/proc/meminfo: memFree=30357200/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=90176 CPUtime=582.19 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 21871 0 0 0 58047 172 0 0 20 0 1 0 288685059 92340224 21778 33554432000 4194304 8973514 140735735557984 140735735557248 4213862 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 22544 21778 458 1167 0 21325 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 90176
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1824
/proc/meminfo: memFree=30356888/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=91200 CPUtime=822.16 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 22128 0 0 0 81979 237 0 0 20 0 1 0 288685059 93388800 22034 33554432000 4194304 8973514 140735735557984 140735735557480 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 22800 22034 458 1167 0 21581 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 91200
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1825
/proc/meminfo: memFree=30355896/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=92224 CPUtime=882.15 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 22384 0 0 0 87962 253 0 0 20 0 1 0 288685059 94437376 22290 33554432000 4194304 8973514 140735735557984 140735735557248 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 23056 22290 458 1167 0 21837 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 92224
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1826
/proc/meminfo: memFree=30348820/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=92224 CPUtime=942.14 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 22384 0 0 0 93942 272 0 0 20 0 1 0 288685059 94437376 22290 33554432000 4194304 8973514 140735735557984 140735735557248 4415209 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 23056 22290 458 1167 0 21837 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 92224
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1826
/proc/meminfo: memFree=30347712/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=93248 CPUtime=1002.12 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 22640 0 0 0 99926 286 0 0 20 0 1 0 288685059 95485952 22546 33554432000 4194304 8973514 140735735557984 140735735557248 4208846 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 23312 22546 458 1167 0 22093 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 93248
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1826
/proc/meminfo: memFree=30347396/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=93248 CPUtime=1062.12 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 22640 0 0 0 105909 303 0 0 20 0 1 0 288685059 95485952 22546 33554432000 4194304 8973514 140735735557984 140735735557480 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 23312 22546 458 1167 0 22093 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 93248
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1826
/proc/meminfo: memFree=30347208/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=93248 CPUtime=1122.11 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 22640 0 0 0 111891 320 0 0 20 0 1 0 288685059 95485952 22546 33554432000 4194304 8973514 140735735557984 140735735557480 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 23312 22546 458 1167 0 22093 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 93248
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1828
/proc/meminfo: memFree=30346092/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=94272 CPUtime=1182.1 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 22896 0 0 0 117873 337 0 0 20 0 1 0 288685059 96534528 22802 33554432000 4194304 8973514 140735735557984 140735735557480 7694476 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 23568 22802 458 1167 0 22349 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 94272
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 1834
/proc/meminfo: memFree=30344472/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=95296 CPUtime=1242.09 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23152 0 0 0 123853 356 0 0 20 0 1 0 288685059 97583104 23058 33554432000 4194304 8973514 140735735557984 140735735557248 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 23824 23058 458 1167 0 22605 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 95296
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 1834
/proc/meminfo: memFree=30344540/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=95296 CPUtime=1302.08 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23152 0 0 0 129836 372 0 0 20 0 1 0 288685059 97583104 23058 33554432000 4194304 8973514 140735735557984 140735735557248 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 23824 23058 458 1167 0 22605 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 95296
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1834
/proc/meminfo: memFree=30340444/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=96320 CPUtime=1362.08 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23408 0 0 0 135819 389 0 0 20 0 1 0 288685059 98631680 23314 33554432000 4194304 8973514 140735735557984 140735735557248 4213921 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 24080 23314 458 1167 0 22861 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 96320
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1834
/proc/meminfo: memFree=30339204/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=96320 CPUtime=1422.07 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23408 0 0 0 141801 406 0 0 20 0 1 0 288685059 98631680 23314 33554432000 4194304 8973514 140735735557984 140735735557480 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 24080 23314 458 1167 0 22861 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 96320
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1836
/proc/meminfo: memFree=30339576/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=96320 CPUtime=1482.06 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23408 0 0 0 147786 420 0 0 20 0 1 0 288685059 98631680 23314 33554432000 4194304 8973514 140735735557984 140735735557480 4209309 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 24080 23314 458 1167 0 22861 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 96320
[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 1836
/proc/meminfo: memFree=30339700/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=96320 CPUtime=1542.05 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23408 0 0 0 153768 437 0 0 20 0 1 0 288685059 98631680 23314 33554432000 4194304 8973514 140735735557984 140735735557248 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 24080 23314 458 1167 0 22861 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 96320
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1836
/proc/meminfo: memFree=30338212/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=97344 CPUtime=1602.04 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23664 0 0 0 159750 454 0 0 20 0 1 0 288685059 99680256 23570 33554432000 4194304 8973514 140735735557984 140735735557480 7401296 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 24336 23570 458 1167 0 23117 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 97344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1836
/proc/meminfo: memFree=30338212/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=97344 CPUtime=1662.03 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23664 0 0 0 165731 472 0 0 20 0 1 0 288685059 99680256 23570 33554432000 4194304 8973514 140735735557984 140735735557248 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 24336 23570 458 1167 0 23117 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 97344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1836
/proc/meminfo: memFree=30338336/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=97344 CPUtime=1722.01 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23664 0 0 0 171712 489 0 0 20 0 1 0 288685059 99680256 23570 33554432000 4194304 8973514 140735735557984 140735735557248 4209344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 24336 23570 458 1167 0 23117 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 97344
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 1838
/proc/meminfo: memFree=30338024/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=97344 CPUtime=1782.01 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23665 0 0 0 177698 503 0 0 20 0 1 0 288685059 99680256 23570 33554432000 4194304 8973514 140735735557984 140735735557480 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 24336 23570 458 1167 0 23117 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 97344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 1843
/proc/meminfo: memFree=30337892/32873844 swapFree=7116/7116
[pid=1774] ppid=1772 vsize=97344 CPUtime=1800.01 cores=0,2,4,6
/proc/1774/stat : 1774 (toysat) R 1772 1774 31934 0 -1 4202496 23665 0 0 0 179493 508 0 0 20 0 1 0 288685059 99680256 23570 33554432000 4194304 8973514 140735735557984 140735735557248 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1774/statm: 24336 23570 458 1167 0 23117 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 97344
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.31
CPU time (s): 1800.02
CPU user time (s): 1794.93
CPU system time (s): 5.08823
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 97344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 5.08823
maximum resident set size= 94280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23665
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= 18
involuntary context switches= 1854
runsolver used 1.74373 second user time and 10.6404 second system time
The end