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-3706134-1338155868/watcher-3706134-1338155868 -o /tmp/evaluation-result-3706134-1338155868/solver-3706134-1338155868 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706134-1338155868.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.03 2.05 2.00 3/176 24147
/proc/meminfo: memFree=26713472/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 789 0 0 0 0 0 0 0 20 0 1 0 281715401 6356992 709 33554432000 4194304 8973514 140735087456624 140735708731848 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 1552 710 415 1167 0 333 0
[startup+0.0872069 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 24147
/proc/meminfo: memFree=26713472/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=11328 CPUtime=0.08 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 2100 0 0 0 8 0 0 0 20 0 1 0 281715401 11599872 2020 33554432000 4194304 8973514 140735087456624 140735708731848 6660260 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 2832 2020 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328
[startup+0.100253 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 24147
/proc/meminfo: memFree=26713472/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=11328 CPUtime=0.09 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 2100 0 0 0 9 0 0 0 20 0 1 0 281715401 11599872 2020 33554432000 4194304 8973514 140735087456624 140735708731848 6660204 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 2832 2020 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.300227 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 24147
/proc/meminfo: memFree=26713472/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=22592 CPUtime=0.29 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 4948 0 0 0 29 0 0 0 20 0 1 0 281715401 23134208 4868 33554432000 4194304 8973514 140735087456624 140735708731848 4442816 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 5648 4868 444 1167 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22592
[startup+0.700222 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 24147
/proc/meminfo: memFree=26713472/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=22592 CPUtime=0.69 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 4948 0 0 0 69 0 0 0 20 0 1 0 281715401 23134208 4868 33554432000 4194304 8973514 140735087456624 140735087455888 6571953 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 5648 4868 444 1167 0 4429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22592
[startup+1.50023 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 24148
/proc/meminfo: memFree=26695452/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=24640 CPUtime=1.49 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 5211 0 0 0 148 1 0 0 20 0 1 0 281715401 25231360 5131 33554432000 4194304 8973514 140735087456624 140735087456120 5383077 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 6160 5131 444 1167 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24640
[startup+3.10023 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 24148
/proc/meminfo: memFree=26692352/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=27712 CPUtime=3.09 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 6131 0 0 0 308 1 0 0 20 0 1 0 281715401 28377088 6051 33554432000 4194304 8973514 140735087456624 140735087454592 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 6928 6059 444 1167 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27712
[startup+6.30027 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 24148
/proc/meminfo: memFree=26682928/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=36928 CPUtime=6.29 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 8532 0 0 0 626 3 0 0 20 0 1 0 281715401 37814272 8452 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 9232 8452 444 1167 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36928
[startup+12.7003 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 24148
/proc/meminfo: memFree=26665584/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=53312 CPUtime=12.69 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 12628 0 0 0 1264 5 0 0 20 0 1 0 281715401 54591488 12548 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 13328 12548 444 1167 0 12109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53312
[startup+25.5003 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 24148
/proc/meminfo: memFree=26637444/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=79936 CPUtime=25.48 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 19285 0 0 0 2538 10 0 0 20 0 1 0 281715401 81854464 19205 33554432000 4194304 8973514 140735087456624 140735087455888 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 19984 19205 445 1167 0 18765 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79936
[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 24148
/proc/meminfo: memFree=26616116/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=97344 CPUtime=51.08 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 23637 0 0 0 5089 19 0 0 20 0 1 0 281715401 99680256 23557 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 24336 23557 445 1167 0 23117 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 97344
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 24148
/proc/meminfo: memFree=26566524/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=134208 CPUtime=102.28 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 32853 0 0 0 10193 35 0 0 20 0 1 0 281715401 137428992 32773 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 33552 32773 445 1167 0 32333 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 134208
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 24152
/proc/meminfo: memFree=26575808/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=115776 CPUtime=162.26 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 32853 0 0 0 16175 51 0 0 20 0 1 0 281715401 118554624 28165 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 28944 28165 445 1167 0 27725 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 115776
[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 24175
/proc/meminfo: memFree=26587340/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=96320 CPUtime=222.26 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 34133 0 0 0 22154 72 0 0 20 0 1 0 281715401 98631680 23301 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 24080 23301 445 1167 0 22861 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 96320
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24175
/proc/meminfo: memFree=26570688/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=99392 CPUtime=282.25 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 36949 0 0 0 28132 93 0 0 20 0 1 0 281715401 101777408 24069 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 24848 24069 445 1167 0 23629 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 99392
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24175
/proc/meminfo: memFree=26565400/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=100416 CPUtime=342.21 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 42108 0 0 0 34108 113 0 0 20 0 1 0 281715401 102825984 24081 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 25104 24081 445 1167 0 23885 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 100416
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24175
/proc/meminfo: memFree=26519148/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=131136 CPUtime=402.2 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 50037 0 0 0 40086 134 0 0 20 0 1 0 281715401 134283264 32010 33554432000 4194304 8973514 140735087456624 140735087456120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 32784 32010 445 1167 0 31565 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 131136
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24176
/proc/meminfo: memFree=26475252/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=173120 CPUtime=462.19 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 60419 0 0 0 46067 152 0 0 20 0 1 0 281715401 177274880 42392 33554432000 4194304 8973514 140735087456624 140735087456120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 43280 42392 445 1167 0 42061 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 173120
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24176
/proc/meminfo: memFree=26519708/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=115776 CPUtime=522.19 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 62069 0 0 0 52045 174 0 0 20 0 1 0 281715401 118554624 28170 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 28944 28170 445 1167 0 27725 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 115776
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24215
/proc/meminfo: memFree=27021936/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=78912 CPUtime=582.17 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 64629 0 0 0 58023 194 0 0 20 0 1 0 281715401 80805888 18954 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 19728 18954 445 1167 0 18509 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 78912
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=26922612/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=127040 CPUtime=882.13 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 132478 0 0 0 87908 305 0 0 20 0 1 0 281715401 130088960 30986 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 31760 30986 445 1167 0 30541 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 127040
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=26894580/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=148544 CPUtime=942.12 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 138366 0 0 0 93888 324 0 0 20 0 1 0 281715401 152109056 36362 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 37136 36362 445 1167 0 35917 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 148544
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=26835380/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=186432 CPUtime=1002.09 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 147857 0 0 0 99871 338 0 0 20 0 1 0 281715401 190906368 45834 33554432000 4194304 8973514 140735087456624 140735087456120 4208855 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 46608 45834 445 1167 0 45389 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 186432
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=26855104/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=160832 CPUtime=1062.09 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 151444 0 0 0 105852 357 0 0 20 0 1 0 281715401 164691968 39434 33554432000 4194304 8973514 140735087456624 140735087456120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 40208 39434 445 1167 0 38989 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 160832
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=26878512/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=136256 CPUtime=1122.08 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 157332 0 0 0 111832 376 0 0 20 0 1 0 281715401 139526144 33290 33554432000 4194304 8973514 140735087456624 140735087455888 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 34064 33290 445 1167 0 32845 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 136256
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=26843420/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=175168 CPUtime=1182.06 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 166881 0 0 0 117813 393 0 0 20 0 1 0 281715401 179372032 42839 33554432000 4194304 8973514 140735087456624 140735087455888 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 43792 42839 445 1167 0 42573 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 175168
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=26919016/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=133184 CPUtime=1242.06 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 172952 0 0 0 123790 416 0 0 20 0 1 0 281715401 136380416 32522 33554432000 4194304 8973514 140735087456624 140735087455888 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 33296 32522 445 1167 0 32077 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 133184
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=26966384/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=103488 CPUtime=1302.05 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 177585 0 0 0 129768 437 0 0 20 0 1 0 281715401 105971712 25098 33554432000 4194304 8973514 140735087456624 140735087456120 4441196 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 25872 25098 445 1167 0 24653 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 103488
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24224
/proc/meminfo: memFree=26963572/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=109632 CPUtime=1362.03 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 190675 0 0 0 135742 461 0 0 20 0 1 0 281715401 112263168 26406 33554432000 4194304 8973514 140735087456624 140735087456120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 27408 26406 445 1167 0 26189 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 109632
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24224
/proc/meminfo: memFree=26933908/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=123968 CPUtime=1422.02 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 205509 0 0 0 141719 483 0 0 20 0 1 0 281715401 126943232 30218 33554432000 4194304 8973514 140735087456624 140735087456120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 30992 30218 445 1167 0 29773 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 123968
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24224
/proc/meminfo: memFree=26942448/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=111680 CPUtime=1482 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 209605 0 0 0 147698 502 0 0 20 0 1 0 281715401 114360320 27146 33554432000 4194304 8973514 140735087456624 140735087456120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 27920 27146 445 1167 0 26701 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 111680
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24224
/proc/meminfo: memFree=26966944/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=119872 CPUtime=1542 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 217797 0 0 0 153676 524 0 0 20 0 1 0 281715401 122748928 29194 33554432000 4194304 8973514 140735087456624 140735087456120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 29968 29194 445 1167 0 28749 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 119872
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24224
/proc/meminfo: memFree=26974176/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=95296 CPUtime=1601.99 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 223432 0 0 0 159652 547 0 0 20 0 1 0 281715401 97583104 23050 33554432000 4194304 8973514 140735087456624 140735087456120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 23824 23050 445 1167 0 22605 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 95296
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24225
/proc/meminfo: memFree=26987788/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=99392 CPUtime=1661.97 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 230609 0 0 0 165630 567 0 0 20 0 1 0 281715401 101777408 24074 33554432000 4194304 8973514 140735087456624 140735087456120 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/24147/statm: 24848 24074 445 1167 0 23629 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 99392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24225
/proc/meminfo: memFree=26945628/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=100416 CPUtime=1721.96 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 244326 0 0 0 171607 589 0 0 20 0 1 0 281715401 102825984 24216 33554432000 4194304 8973514 140735087456624 140735087455888 7695532 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 25104 24216 445 1167 0 23885 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 100416
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24225
/proc/meminfo: memFree=26954552/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=107584 CPUtime=1781.95 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 258521 0 0 0 177584 611 0 0 20 0 1 0 281715401 110166016 26122 33554432000 4194304 8973514 140735087456624 140735087455888 4545524 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 26896 26122 445 1167 0 25677 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 107584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24225
/proc/meminfo: memFree=26933776/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=115776 CPUtime=1800.05 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 262362 0 0 0 179389 616 0 0 20 0 1 0 281715401 118554624 28170 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 28944 28170 445 1167 0 27725 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 115776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24225
/proc/meminfo: memFree=26933776/32873844 swapFree=6088/6088
[pid=24147] ppid=24145 vsize=115776 CPUtime=1800.05 cores=0,2,4,6
/proc/24147/stat : 24147 (toysat) R 24145 24147 21557 0 -1 4202496 262362 0 0 0 179389 616 0 0 20 0 1 0 281715401 118554624 28170 33554432000 4194304 8973514 140735087456624 140735087456120 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/24147/statm: 28944 28170 445 1167 0 27725 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 115776
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1793.89
CPU system time (s): 6.17106
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 200768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.89
system time used= 6.17106
maximum resident set size= 197672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262362
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= 112
involuntary context switches= 2326
runsolver used 3.19151 second user time and 9.13361 second system time
The end