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-3706790-1338118412/watcher-3706790-1338118412 -o /tmp/evaluation-result-3706790-1338118412/solver-3706790-1338118412 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706790-1338118412.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.84 1.98 1.99 3/176 10922
/proc/meminfo: memFree=30155156/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 836 0 0 0 0 0 0 0 20 0 1 0 277965258 7405568 756 33554432000 4194304 8973514 140736625656448 140736625655712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 1808 756 413 1167 0 589 0
[startup+0.076927 s]
/proc/loadavg: 1.84 1.98 1.99 3/176 10922
/proc/meminfo: memFree=30155156/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=11328 CPUtime=0.07 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 2100 0 0 0 7 0 0 0 20 0 1 0 277965258 11599872 2020 33554432000 4194304 8973514 140736625656448 140736625655712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 2832 2020 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100258 s]
/proc/loadavg: 1.84 1.98 1.99 3/176 10922
/proc/meminfo: memFree=30155156/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=14400 CPUtime=0.09 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 2624 0 0 0 9 0 0 0 20 0 1 0 277965258 14745600 2544 33554432000 4194304 8973514 140736625656448 140736625655712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 3600 2544 417 1167 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400
[startup+0.300215 s]
/proc/loadavg: 1.84 1.98 1.99 3/176 10922
/proc/meminfo: memFree=30155156/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 6196 0 0 0 28 1 0 0 20 0 1 0 277965258 28377088 6116 33554432000 4194304 8973514 140736625656448 140736625655944 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 6928 6116 417 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.70022 s]
/proc/loadavg: 1.84 1.98 1.99 3/176 10922
/proc/meminfo: memFree=30155156/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=50240 CPUtime=0.69 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 11768 0 0 0 66 3 0 0 20 0 1 0 277965258 51445760 11688 33554432000 4194304 8973514 140736625656448 140736625655944 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 12560 11694 418 1167 0 11341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50240
[startup+1.50021 s]
/proc/loadavg: 1.84 1.98 1.99 3/177 10923
/proc/meminfo: memFree=30015392/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=123968 CPUtime=1.49 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 30261 0 0 0 144 5 0 0 20 0 1 0 277965258 126943232 30181 33554432000 4194304 8973514 140736625656448 140736625655944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 30992 30181 418 1167 0 29773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123968
[startup+3.10027 s]
/proc/loadavg: 1.84 1.98 1.99 3/177 10923
/proc/meminfo: memFree=29937248/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=144448 CPUtime=3.09 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 35425 0 0 0 303 6 0 0 20 0 1 0 277965258 147914752 35345 33554432000 4194304 8973514 140736625656448 140736625655944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 36112 35345 456 1167 0 34893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144448
[startup+6.30022 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29929328/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=144448 CPUtime=6.29 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 35425 0 0 0 622 7 0 0 20 0 1 0 277965258 147914752 35345 33554432000 4194304 8973514 140736625656448 140736625655712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 36112 35345 456 1167 0 34893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144448
[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29888220/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=158784 CPUtime=12.69 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 38798 0 0 0 1260 9 0 0 20 0 1 0 277965258 162594816 38718 33554432000 4194304 8973514 140736625656448 140736625655944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 39696 38718 456 1167 0 38477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 158784
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29806268/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=188480 CPUtime=25.49 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 46433 0 0 0 2536 13 0 0 20 0 1 0 277965258 193003520 46353 33554432000 4194304 8973514 140736625656448 140736625655944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 47120 46353 456 1167 0 45901 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 188480
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29675276/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=245824 CPUtime=51.08 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 60622 0 0 0 5087 21 0 0 20 0 1 0 277965258 251723776 60542 33554432000 4194304 8973514 140736625656448 140736625655712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 61456 60542 456 1167 0 60237 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 245824
[startup+102.306 s]
/proc/loadavg: 1.98 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29471464/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=354368 CPUtime=102.27 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 87660 0 0 0 10193 34 0 0 20 0 1 0 277965258 362872832 87580 33554432000 4194304 8973514 140736625656448 140736625655944 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 88592 87580 456 1167 0 87373 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 354368
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29293056/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=459840 CPUtime=162.27 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 114124 0 0 0 16178 49 0 0 20 0 1 0 277965258 470876160 114044 33554432000 4194304 8973514 140736625656448 140736625655944 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 114960 114044 456 1167 0 113741 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 459840
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10923
/proc/meminfo: memFree=29141188/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=549952 CPUtime=222.26 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 136801 0 0 0 22165 61 0 0 20 0 1 0 277965258 563150848 136721 33554432000 4194304 8973514 140736625656448 140736625655944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 137488 136721 456 1167 0 136269 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 549952
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10924
/proc/meminfo: memFree=29018456/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=631872 CPUtime=282.25 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 157170 0 0 0 28154 71 0 0 20 0 1 0 277965258 647036928 157090 33554432000 4194304 8973514 140736625656448 140736625655944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 157968 157090 456 1167 0 156749 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 631872
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10924
/proc/meminfo: memFree=28894612/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=704576 CPUtime=342.24 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 175297 0 0 0 34143 81 0 0 20 0 1 0 277965258 721485824 175217 33554432000 4194304 8973514 140736625656448 140736625655712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 176144 175217 456 1167 0 174925 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 704576
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 10927
/proc/meminfo: memFree=28796184/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=764992 CPUtime=402.21 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 190352 0 0 0 40131 90 0 0 20 0 1 0 277965258 783351808 190248 33554432000 4194304 8973514 140736625656448 140736625655712 4209363 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 191248 190248 456 1167 0 190029 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 764992
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10927
/proc/meminfo: memFree=28700088/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=822336 CPUtime=462.18 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 204950 0 0 0 46119 99 0 0 20 0 1 0 277965258 842072064 204817 33554432000 4194304 8973514 140736625656448 140736625655712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 205584 204817 456 1167 0 204365 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 822336
[startup+522.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10927
/proc/meminfo: memFree=28622988/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=868416 CPUtime=522.14 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 216412 0 0 0 52106 108 0 0 20 0 1 0 277965258 889257984 216234 33554432000 4194304 8973514 140736625656448 140736625655712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 217104 216234 456 1167 0 215885 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 868416
[startup+582.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 10928
/proc/meminfo: memFree=28547996/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=910400 CPUtime=582.1 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 226915 0 0 0 58095 115 0 0 20 0 1 0 277965258 932249600 226691 33554432000 4194304 8973514 140736625656448 140736625655944 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 227600 226691 456 1167 0 226381 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 910400
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10928
/proc/meminfo: memFree=28305568/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1033280 CPUtime=821.94 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 257784 0 0 0 82056 138 0 0 20 0 1 0 277965258 1058078720 257387 33554432000 4194304 8973514 140736625656448 140736625655712 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 258320 257387 456 1167 0 257101 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 1033280
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 10928
/proc/meminfo: memFree=28249308/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1060928 CPUtime=881.9 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 264867 0 0 0 88047 143 0 0 20 0 1 0 277965258 1086390272 264433 33554432000 4194304 8973514 140736625656448 140736625655944 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 265232 264433 456 1167 0 264013 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 1060928
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10929
/proc/meminfo: memFree=28190924/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1091648 CPUtime=941.87 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 272554 0 0 0 94038 149 0 0 20 0 1 0 277965258 1117847552 272088 33554432000 4194304 8973514 140736625656448 140736625655944 4209376 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 272912 272088 456 1167 0 271693 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 1091648
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10932
/proc/meminfo: memFree=28129328/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1111104 CPUtime=1001.85 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 277316 0 0 0 100032 153 0 0 20 0 1 0 277965258 1137770496 276837 33554432000 4194304 8973514 140736625656448 140736625655712 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 277776 276837 456 1167 0 276557 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 1111104
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10932
/proc/meminfo: memFree=28083668/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1142848 CPUtime=1061.84 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 285221 0 0 0 106028 156 0 0 20 0 1 0 277965258 1170276352 284736 33554432000 4194304 8973514 140736625656448 140736625655712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 285712 284736 456 1167 0 284493 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 1142848
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10932
/proc/meminfo: memFree=28032212/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1163328 CPUtime=1121.84 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 290499 0 0 0 112024 160 0 0 20 0 1 0 277965258 1191247872 290014 33554432000 4194304 8973514 140736625656448 140736625655712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 290832 290014 456 1167 0 289613 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1163328
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10932
/proc/meminfo: memFree=27967484/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1196096 CPUtime=1181.83 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 298667 0 0 0 118018 165 0 0 20 0 1 0 277965258 1224802304 298182 33554432000 4194304 8973514 140736625656448 140736625655712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 299024 298182 456 1167 0 297805 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1196096
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10933
/proc/meminfo: memFree=27928920/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1218624 CPUtime=1241.82 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 304128 0 0 0 124012 170 0 0 20 0 1 0 277965258 1247870976 303643 33554432000 4194304 8973514 140736625656448 140736625655712 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 304656 303643 456 1167 0 303437 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1218624
[startup+1302.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 10933
/proc/meminfo: memFree=27871136/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1242176 CPUtime=1301.81 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 310030 0 0 0 130007 174 0 0 20 0 1 0 277965258 1271988224 309545 33554432000 4194304 8973514 140736625656448 140736625655712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 310544 309545 456 1167 0 309325 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1242176
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10933
/proc/meminfo: memFree=27831084/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1264704 CPUtime=1361.8 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 315788 0 0 0 136002 178 0 0 20 0 1 0 277965258 1295056896 315303 33554432000 4194304 8973514 140736625656448 140736625655712 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 316176 315303 456 1167 0 314957 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1264704
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10933
/proc/meminfo: memFree=27785328/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1276992 CPUtime=1421.8 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 318725 0 0 0 141999 181 0 0 20 0 1 0 277965258 1307639808 318240 33554432000 4194304 8973514 140736625656448 140736625655712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 319248 318240 456 1167 0 318029 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1276992
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10933
/proc/meminfo: memFree=27745064/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1299520 CPUtime=1481.78 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 324384 0 0 0 147993 185 0 0 20 0 1 0 277965258 1330708480 323899 33554432000 4194304 8973514 140736625656448 140736625655712 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 324880 323899 456 1167 0 323661 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1299520
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10934
/proc/meminfo: memFree=27703184/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1324096 CPUtime=1541.77 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 330579 0 0 0 153988 189 0 0 20 0 1 0 277965258 1355874304 330094 33554432000 4194304 8973514 140736625656448 140736625655712 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 331024 330094 456 1167 0 329805 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1324096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10937
/proc/meminfo: memFree=27659556/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1348672 CPUtime=1601.76 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 336886 0 0 0 159984 192 0 0 20 0 1 0 277965258 1381040128 336401 33554432000 4194304 8973514 140736625656448 140736625655944 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 337168 336401 456 1167 0 335949 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1348672
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10960
/proc/meminfo: memFree=27615216/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1374272 CPUtime=1661.75 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 343179 0 0 0 165978 197 0 0 20 0 1 0 277965258 1407254528 342694 33554432000 4194304 8973514 140736625656448 140736625655712 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 343568 342694 456 1167 0 342349 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1374272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10960
/proc/meminfo: memFree=27586468/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1386560 CPUtime=1721.75 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 346223 0 0 0 171973 202 0 0 20 0 1 0 277965258 1419837440 345738 33554432000 4194304 8973514 140736625656448 140736625655712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 346640 345738 456 1167 0 345421 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1386560
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10960
/proc/meminfo: memFree=27539624/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1412160 CPUtime=1781.74 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 352758 0 0 0 177969 205 0 0 20 0 1 0 277965258 1446051840 352273 33554432000 4194304 8973514 140736625656448 140736625655712 4214550 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 353040 352273 456 1167 0 351821 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1412160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.06 2.01 2.00 2/174 10961
/proc/meminfo: memFree=28744248/32873648 swapFree=7368/7368
[pid=10922] ppid=10920 vsize=1425472 CPUtime=1800.05 cores=1,3,5,7
/proc/10922/stat : 10922 (toysat) R 10920 10922 3829 0 -1 4202496 355966 0 0 0 179799 206 0 0 20 0 1 0 277965258 1459683328 355481 33554432000 4194304 8973514 140736625656448 140736625655712 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10922/statm: 356368 355481 456 1167 0 355149 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1425472
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.63
CPU time (s): 1800.08
CPU user time (s): 1797.99
CPU system time (s): 2.08268
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1425472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 2.08268
maximum resident set size= 1421924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355966
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= 408
involuntary context switches= 1836
runsolver used 3.02254 second user time and 8.93164 second system time
The end