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-3707316-1338133231/watcher-3707316-1338133231 -o /tmp/evaluation-result-3707316-1338133231/solver-3707316-1338133231 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707316-1338133231.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.01 2.00 3/177 2303
/proc/meminfo: memFree=28943812/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 279448932 7405568 744 33554432000 4194304 8973514 140733461651888 140735360979816 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 1808 744 416 1167 0 589 0
[startup+0.0711439 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2303
/proc/meminfo: memFree=28943812/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=15424 CPUtime=0.06 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 2908 0 0 0 6 0 0 0 20 0 1 0 279448932 15794176 2829 33554432000 4194304 8973514 140733461651888 140735360979816 4213859 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 3856 2838 429 1167 0 2637 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15424
[startup+0.100291 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2303
/proc/meminfo: memFree=28943812/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=15424 CPUtime=0.09 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 3060 0 0 0 9 0 0 0 20 0 1 0 279448932 15794176 2981 33554432000 4194304 8973514 140733461651888 140735360979816 6661572 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 3856 2981 458 1167 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15424
[startup+0.300203 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2303
/proc/meminfo: memFree=28943812/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=20544 CPUtime=0.29 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 4209 0 0 0 29 0 0 0 20 0 1 0 279448932 21037056 4130 33554432000 4194304 8973514 140733461651888 140735360979816 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 5136 4130 458 1167 0 3917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20544
[startup+0.700237 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2303
/proc/meminfo: memFree=28943812/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=22592 CPUtime=0.68 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 4958 0 0 0 68 0 0 0 20 0 1 0 279448932 23134208 4879 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 5648 4879 458 1167 0 4429 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22592
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2304
/proc/meminfo: memFree=28923864/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=29760 CPUtime=1.48 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 6750 0 0 0 147 1 0 0 20 0 1 0 279448932 30474240 6671 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 7440 6671 458 1167 0 6221 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29760
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2304
/proc/meminfo: memFree=28915308/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=41024 CPUtime=3.09 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 9481 0 0 0 307 2 0 0 20 0 1 0 279448932 42008576 9410 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 10256 9410 458 1167 0 9037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41024
[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2304
/proc/meminfo: memFree=28894292/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=59456 CPUtime=6.29 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 14175 0 0 0 625 4 0 0 20 0 1 0 279448932 60882944 14104 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 14864 14104 458 1167 0 13645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59456
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2304
/proc/meminfo: memFree=28864316/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=83008 CPUtime=12.69 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 20320 0 0 0 1262 7 0 0 20 0 1 0 279448932 85000192 19993 33554432000 4194304 8973514 140733461651888 140733461651152 6566032 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 20752 19993 459 1167 0 19533 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83008
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2304
/proc/meminfo: memFree=28860244/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=87104 CPUtime=25.48 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 23144 0 0 0 2537 11 0 0 20 0 1 0 279448932 89194496 21017 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 21776 21017 459 1167 0 20557 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87104
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2304
/proc/meminfo: memFree=28839832/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=107584 CPUtime=51.07 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 31342 0 0 0 5086 21 0 0 20 0 1 0 279448932 110166016 26137 33554432000 4194304 8973514 140733461651888 140733461651384 7674007 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 26896 26137 459 1167 0 25677 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 107584
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2304
/proc/meminfo: memFree=28830980/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=116800 CPUtime=102.27 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 42618 0 0 0 10190 37 0 0 20 0 1 0 279448932 119603200 28441 33554432000 4194304 8973514 140733461651888 140733461651384 6570508 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 29200 28441 459 1167 0 27981 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 116800
[startup+162.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/176 2304
/proc/meminfo: memFree=28807052/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=140352 CPUtime=162.25 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 49021 0 0 0 16170 55 0 0 20 0 1 0 279448932 143720448 34329 33554432000 4194304 8973514 140733461651888 140733461651384 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 35088 34329 459 1167 0 33869 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 140352
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 2305
/proc/meminfo: memFree=28828644/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=117824 CPUtime=222.23 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 59773 0 0 0 22153 70 0 0 20 0 1 0 279448932 120651776 28697 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 29456 28697 459 1167 0 28237 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 117824
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2305
/proc/meminfo: memFree=28810824/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=132160 CPUtime=282.21 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 85397 0 0 0 28130 91 0 0 20 0 1 0 279448932 135331840 32281 33554432000 4194304 8973514 140733461651888 140733461651384 7667411 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 33040 32281 459 1167 0 31821 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 132160
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 2305
/proc/meminfo: memFree=28784216/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=160832 CPUtime=342.19 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 98461 0 0 0 34111 108 0 0 20 0 1 0 279448932 164691968 39449 33554432000 4194304 8973514 140733461651888 140733461651384 4427744 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 40208 39449 459 1167 0 38989 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 160832
[startup+402.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 2305
/proc/meminfo: memFree=28815440/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=135232 CPUtime=402.18 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 108190 0 0 0 40093 125 0 0 20 0 1 0 279448932 138477568 33049 33554432000 4194304 8973514 140733461651888 140733461651152 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 33808 33049 459 1167 0 32589 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 135232
[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 2305
/proc/meminfo: memFree=28801088/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=144448 CPUtime=462.17 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 121506 0 0 0 46073 144 0 0 20 0 1 0 279448932 147914752 35353 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 36112 35353 459 1167 0 34893 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 144448
[startup+522.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 2306
/proc/meminfo: memFree=28805140/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=144448 CPUtime=522.15 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 139184 0 0 0 52053 162 0 0 20 0 1 0 279448932 147914752 35353 33554432000 4194304 8973514 140733461651888 140733461650992 4208857 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 36112 35353 459 1167 0 34893 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 144448
[startup+582.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/178 2309
/proc/meminfo: memFree=28769492/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=179264 CPUtime=582.13 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 150719 0 0 0 58033 180 0 0 20 0 1 0 279448932 183566336 44057 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/2303/statm: 44816 44057 459 1167 0 43597 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 179264
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2349
/proc/meminfo: memFree=28461120/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=152640 CPUtime=882.05 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 206316 0 0 0 87943 262 0 0 20 0 1 0 279448932 156303360 37401 33554432000 4194304 8973514 140733461651888 140733461651152 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 38160 37401 459 1167 0 36941 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 152640
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2349
/proc/meminfo: memFree=28453748/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=132160 CPUtime=942.05 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 219884 0 0 0 93923 282 0 0 20 0 1 0 279448932 135331840 32281 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 33040 32281 459 1167 0 31821 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 132160
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2349
/proc/meminfo: memFree=28422052/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=148544 CPUtime=1002.03 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 234732 0 0 0 99905 298 0 0 20 0 1 0 279448932 152109056 36377 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 37136 36377 459 1167 0 35917 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 148544
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2349
/proc/meminfo: memFree=28363312/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=207936 CPUtime=1062.03 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 252652 0 0 0 105886 317 0 0 20 0 1 0 279448932 212926464 51225 33554432000 4194304 8973514 140733461651888 140733461651384 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 51984 51225 459 1167 0 50765 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 207936
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2350
/proc/meminfo: memFree=28342332/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=229440 CPUtime=1122.01 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 265206 0 0 0 111868 333 0 0 20 0 1 0 279448932 234946560 56601 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 57360 56601 459 1167 0 56141 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 229440
[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 2353
/proc/meminfo: memFree=28401740/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=169024 CPUtime=1181.99 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 269063 0 0 0 117851 348 0 0 20 0 1 0 279448932 173080576 41497 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 42256 41497 459 1167 0 41037 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 169024
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 2376
/proc/meminfo: memFree=28346296/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=224320 CPUtime=1241.97 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 283675 0 0 0 123829 368 0 0 20 0 1 0 279448932 229703680 55321 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 56080 55321 459 1167 0 54861 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 224320
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2376
/proc/meminfo: memFree=28406212/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=164928 CPUtime=1301.97 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 296995 0 0 0 129809 388 0 0 20 0 1 0 279448932 168886272 40473 33554432000 4194304 8973514 140733461651888 140733461651152 6570584 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 41232 40473 459 1167 0 40013 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 164928
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2376
/proc/meminfo: memFree=28400120/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=171072 CPUtime=1361.95 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 316195 0 0 0 135789 406 0 0 20 0 1 0 279448932 175177728 42009 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 42768 42009 459 1167 0 41549 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 171072
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2377
/proc/meminfo: memFree=28365152/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=201792 CPUtime=1421.94 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 324387 0 0 0 141774 420 0 0 20 0 1 0 279448932 206635008 49689 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 50448 49689 459 1167 0 49229 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 201792
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2377
/proc/meminfo: memFree=28381432/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=172096 CPUtime=1481.93 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 334627 0 0 0 147756 437 0 0 20 0 1 0 279448932 176226304 42265 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 43024 42265 459 1167 0 41805 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 172096
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 2377
/proc/meminfo: memFree=28307828/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=215104 CPUtime=1541.92 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 354339 0 0 0 153738 454 0 0 20 0 1 0 279448932 220266496 53017 33554432000 4194304 8973514 140733461651888 140733461651152 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 53776 53017 459 1167 0 52557 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 215104
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2378
/proc/meminfo: memFree=28357060/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=164928 CPUtime=1601.92 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 361254 0 0 0 159721 471 0 0 20 0 1 0 279448932 168886272 40473 33554432000 4194304 8973514 140733461651888 140733461651384 4213733 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 41232 40473 459 1167 0 40013 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 164928
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2378
/proc/meminfo: memFree=28332556/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=189504 CPUtime=1661.89 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 373820 0 0 0 165702 487 0 0 20 0 1 0 279448932 194052096 46617 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 47376 46617 459 1167 0 46157 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 189504
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2379
/proc/meminfo: memFree=28367320/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=152640 CPUtime=1721.87 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 387144 0 0 0 171683 504 0 0 20 0 1 0 279448932 156303360 37401 33554432000 4194304 8973514 140733461651888 140733461651384 4361830 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 38160 37401 459 1167 0 36941 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 152640
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2382
/proc/meminfo: memFree=28356492/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=164928 CPUtime=1781.86 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 410971 0 0 0 177664 522 0 0 20 0 1 0 279448932 168886272 40473 33554432000 4194304 8973514 140733461651888 140733461651384 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 41232 40473 459 1167 0 40013 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 164928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2382
/proc/meminfo: memFree=28340784/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=181312 CPUtime=1800.05 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 415078 0 0 0 179479 526 0 0 20 0 1 0 279448932 185663488 44569 33554432000 4194304 8973514 140733461651888 140733461651384 6662196 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 45328 44569 459 1167 0 44109 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 181312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2382
/proc/meminfo: memFree=28340784/32873648 swapFree=6844/6844
[pid=2303] ppid=2301 vsize=181312 CPUtime=1800.05 cores=1,3,5,7
/proc/2303/stat : 2303 (toysat) R 2301 2303 32696 0 -1 4202496 415078 0 0 0 179479 526 0 0 20 0 1 0 279448932 185663488 44569 33554432000 4194304 8973514 140733461651888 140733461651384 6662196 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/2303/statm: 45328 44569 459 1167 0 44109 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 181312
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1794.79
CPU system time (s): 5.2692
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 247872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 5.2692
maximum resident set size= 244836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415078
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= 266
involuntary context switches= 2255
runsolver used 3.18252 second user time and 9.73152 second system time
The end