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-3707324-1338133010/watcher-3707324-1338133010 -o /tmp/evaluation-result-3707324-1338133010/solver-3707324-1338133010 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707324-1338133010.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: 1.98 2.00 2.00 3/174 13052
/proc/meminfo: memFree=29865544/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 796 0 0 0 0 0 0 0 20 0 1 0 279426423 6356992 718 33554432000 4194304 8973514 140734816441952 140735692547752 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 1552 722 416 1167 0 333 0
[startup+0.0285011 s]
/proc/loadavg: 1.98 2.00 2.00 3/174 13052
/proc/meminfo: memFree=29865544/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 1214 0 0 0 2 0 0 0 20 0 1 0 279426423 8454144 1136 33554432000 4194304 8973514 140734816441952 140735692547752 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 2064 1136 418 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100274 s]
/proc/loadavg: 1.98 2.00 2.00 3/174 13052
/proc/meminfo: memFree=29865544/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 2403 0 0 0 9 0 0 0 20 0 1 0 279426423 13697024 2325 33554432000 4194304 8973514 140734816441952 140735692547752 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 3344 2325 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300304 s]
/proc/loadavg: 1.98 2.00 2.00 3/174 13052
/proc/meminfo: memFree=29865544/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=31808 CPUtime=0.28 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 7233 0 0 0 27 1 0 0 20 0 1 0 279426423 32571392 7155 33554432000 4194304 8973514 140734816441952 140735692547752 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 7952 7155 429 1167 0 6733 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31808
[startup+0.700319 s]
/proc/loadavg: 1.98 2.00 2.00 3/174 13052
/proc/meminfo: memFree=29865544/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=53312 CPUtime=0.69 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 12641 0 0 0 66 3 0 0 20 0 1 0 279426423 54591488 12563 33554432000 4194304 8973514 140734816441952 140734816441448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 13328 12563 458 1167 0 12109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53312
[startup+1.50032 s]
/proc/loadavg: 1.98 2.00 2.00 3/175 13053
/proc/meminfo: memFree=29795600/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=81984 CPUtime=1.48 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 19641 0 0 0 144 4 0 0 20 0 1 0 279426423 83951616 19563 33554432000 4194304 8973514 140734816441952 140734816441448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 20496 19563 458 1167 0 19277 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 81984
[startup+3.10032 s]
/proc/loadavg: 1.98 2.00 2.00 3/175 13053
/proc/meminfo: memFree=29788268/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=89152 CPUtime=3.08 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 21578 0 0 0 303 5 0 0 20 0 1 0 279426423 91291648 21500 33554432000 4194304 8973514 140734816441952 140734816441448 4424824 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 22288 21500 458 1167 0 21069 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 89152
[startup+6.30029 s]
/proc/loadavg: 1.98 2.00 2.00 3/175 13053
/proc/meminfo: memFree=29775000/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=99392 CPUtime=6.29 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 23985 0 0 0 622 7 0 0 20 0 1 0 279426423 101777408 23907 33554432000 4194304 8973514 140734816441952 140734816439872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 24848 23907 458 1167 0 23629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99392
[startup+12.7003 s]
/proc/loadavg: 1.98 2.00 2.00 3/175 13053
/proc/meminfo: memFree=29753464/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=120896 CPUtime=12.69 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 29377 0 0 0 1260 9 0 0 20 0 1 0 279426423 123797504 29299 33554432000 4194304 8973514 140734816441952 140734816439872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 30224 29299 458 1167 0 29005 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120896
[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 2.00 3/175 13054
/proc/meminfo: memFree=29728440/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=150592 CPUtime=25.49 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 36880 0 0 0 2536 13 0 0 20 0 1 0 279426423 154206208 36802 33554432000 4194304 8973514 140734816441952 140734816423936 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 37648 36802 458 1167 0 36429 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 150592
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 13054
/proc/meminfo: memFree=29672680/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=206912 CPUtime=51.08 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 50950 0 0 0 5088 20 0 0 20 0 1 0 279426423 211877888 50872 33554432000 4194304 8973514 140734816441952 140734816441448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 51728 50872 458 1167 0 50509 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 206912
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 13054
/proc/meminfo: memFree=29601736/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=280640 CPUtime=102.26 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 69384 0 0 0 10195 31 0 0 20 0 1 0 279426423 287375360 69295 33554432000 4194304 8973514 140734816441952 140734816441448 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 70160 69295 458 1167 0 68941 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 280640
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 13054
/proc/meminfo: memFree=29543692/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=322624 CPUtime=162.19 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 79953 0 0 0 16179 40 0 0 20 0 1 0 279426423 330366976 79816 33554432000 4194304 8973514 140734816441952 140734816440128 6570576 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 80656 79816 458 1167 0 79437 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 322624
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 13057
/proc/meminfo: memFree=29520412/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=350272 CPUtime=222.15 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 86758 0 0 0 22170 45 0 0 20 0 1 0 279426423 358678528 86575 33554432000 4194304 8973514 140734816441952 140734816441216 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 87568 86575 458 1167 0 86349 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 350272
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 13057
/proc/meminfo: memFree=29500364/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=378944 CPUtime=282.13 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 94071 0 0 0 28163 50 0 0 20 0 1 0 279426423 388038656 93863 33554432000 4194304 8973514 140734816441952 140734816441216 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 94736 93863 458 1167 0 93517 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 378944
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 13058
/proc/meminfo: memFree=29467192/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=400448 CPUtime=342.12 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 99339 0 0 0 34157 55 0 0 20 0 1 0 279426423 410058752 99131 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 100112 99131 458 1167 0 98893 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 400448
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 13058
/proc/meminfo: memFree=29464084/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=413760 CPUtime=402.11 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 102889 0 0 0 40151 60 0 0 20 0 1 0 279426423 423690240 102681 33554432000 4194304 8973514 140734816441952 140734816440128 4459404 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 103440 102681 458 1167 0 102221 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 413760
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13058
/proc/meminfo: memFree=29436068/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=434240 CPUtime=462.11 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 108009 0 0 0 46147 64 0 0 20 0 1 0 279426423 444661760 107801 33554432000 4194304 8973514 140734816441952 140734816440128 7681399 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 108560 107801 458 1167 0 107341 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 434240
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13058
/proc/meminfo: memFree=29418904/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=455744 CPUtime=522.1 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 113232 0 0 0 52142 68 0 0 20 0 1 0 279426423 466681856 113024 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 113936 113024 458 1167 0 112717 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 455744
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13058
/proc/meminfo: memFree=29392136/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=479296 CPUtime=582.08 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 119032 0 0 0 58136 72 0 0 20 0 1 0 279426423 490799104 118824 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 119824 118824 458 1167 0 118605 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 479296
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 13062
/proc/meminfo: memFree=29290916/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=567360 CPUtime=882.03 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 141162 0 0 0 88114 89 0 0 20 0 1 0 279426423 580976640 140938 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 141840 140938 458 1167 0 140621 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 567360
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13063
/proc/meminfo: memFree=29274248/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=579648 CPUtime=942.02 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 144297 0 0 0 94111 91 0 0 20 0 1 0 279426423 593559552 144073 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 144912 144073 458 1167 0 143693 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 579648
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 13063
/proc/meminfo: memFree=29274076/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=592960 CPUtime=1002.01 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 147459 0 0 0 100108 93 0 0 20 0 1 0 279426423 607191040 147235 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 148240 147235 458 1167 0 147021 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 592960
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 13102
/proc/meminfo: memFree=29322136/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=605248 CPUtime=1062 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 150710 0 0 0 106104 96 0 0 20 0 1 0 279426423 619773952 150483 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 151312 150483 458 1167 0 150093 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 605248
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13102
/proc/meminfo: memFree=29307284/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=616512 CPUtime=1121.98 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 153516 0 0 0 112099 99 0 0 20 0 1 0 279426423 631308288 153283 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 154128 153283 458 1167 0 152909 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 616512
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13102
/proc/meminfo: memFree=29294988/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=628800 CPUtime=1181.98 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 156520 0 0 0 118096 102 0 0 20 0 1 0 279426423 643891200 156287 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 157200 156287 458 1167 0 155981 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 628800
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 13102
/proc/meminfo: memFree=29281976/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=641088 CPUtime=1241.96 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 159670 0 0 0 124093 103 0 0 20 0 1 0 279426423 656474112 159437 33554432000 4194304 8973514 140734816441952 140734816440128 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 160272 159437 458 1167 0 159053 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 641088
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13103
/proc/meminfo: memFree=29264608/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=654400 CPUtime=1301.96 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 162985 0 0 0 130091 105 0 0 20 0 1 0 279426423 670105600 162752 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 163600 162752 458 1167 0 162381 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 654400
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13103
/proc/meminfo: memFree=29255928/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=667712 CPUtime=1361.95 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 166197 0 0 0 136087 108 0 0 20 0 1 0 279426423 683737088 165964 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 166928 165964 458 1167 0 165709 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 667712
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13106
/proc/meminfo: memFree=29238932/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=680000 CPUtime=1421.94 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 169327 0 0 0 142084 110 0 0 20 0 1 0 279426423 696320000 169094 33554432000 4194304 8973514 140734816441952 140734816441448 7681392 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 170000 169094 458 1167 0 168781 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 680000
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 13129
/proc/meminfo: memFree=29222936/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=696384 CPUtime=1481.93 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 173352 0 0 0 148080 113 0 0 20 0 1 0 279426423 713097216 173119 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 174096 173119 458 1167 0 172877 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 696384
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 13129
/proc/meminfo: memFree=29212180/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=710720 CPUtime=1541.92 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 176930 0 0 0 154077 115 0 0 20 0 1 0 279426423 727777280 176694 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 177680 176694 458 1167 0 176461 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 710720
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 13130
/proc/meminfo: memFree=29208012/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=710720 CPUtime=1601.91 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 176934 0 0 0 160074 117 0 0 20 0 1 0 279426423 727777280 176694 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 177680 176694 458 1167 0 176461 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 710720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 13130
/proc/meminfo: memFree=29194748/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=721984 CPUtime=1661.9 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 179825 0 0 0 166071 119 0 0 20 0 1 0 279426423 739311616 179585 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 180496 179585 458 1167 0 179277 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 721984
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 13130
/proc/meminfo: memFree=29180860/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=737344 CPUtime=1721.89 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 183706 0 0 0 172068 121 0 0 20 0 1 0 279426423 755040256 183466 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 184336 183466 458 1167 0 183117 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 737344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 13130
/proc/meminfo: memFree=29166484/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=749632 CPUtime=1781.88 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 186745 0 0 0 178064 124 0 0 20 0 1 0 279426423 767623168 186505 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 187408 186505 458 1167 0 186189 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 749632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13131
/proc/meminfo: memFree=29166724/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=749632 CPUtime=1800.08 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 186745 0 0 0 179884 124 0 0 20 0 1 0 279426423 767623168 186505 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 187408 186505 458 1167 0 186189 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 749632
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/175 13131
/proc/meminfo: memFree=29166724/32873852 swapFree=7624/7624
[pid=13052] ppid=13050 vsize=749632 CPUtime=1800.08 cores=1,3,5,7
/proc/13052/stat : 13052 (toysat) R 13050 13052 12056 0 -1 4202496 186745 0 0 0 179884 124 0 0 20 0 1 0 279426423 767623168 186505 33554432000 4194304 8973514 140734816441952 140734816440128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13052/statm: 187408 186505 458 1167 0 186189 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 749632
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1798.85
CPU system time (s): 1.25681
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 749632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.25681
maximum resident set size= 746020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186745
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= 171
involuntary context switches= 1842
runsolver used 3.37149 second user time and 8.88565 second system time
The end