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-3706624-1338112430/watcher-3706624-1338112430 -o /tmp/evaluation-result-3706624-1338112430/solver-3706624-1338112430 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706624-1338112430.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.05 2.01 1.98 4/176 12087
/proc/meminfo: memFree=31247484/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 819 0 0 0 0 0 0 0 20 0 1 0 277371553 7405568 740 33554432000 4194304 8973514 140734818741008 140736247588872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 1808 740 413 1167 0 589 0
[startup+0.0389149 s]
/proc/loadavg: 2.05 2.01 1.98 4/176 12087
/proc/meminfo: memFree=31247484/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=9280 CPUtime=0.03 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 1437 0 0 0 3 0 0 0 20 0 1 0 277371553 9502720 1358 33554432000 4194304 8973514 140734818741008 140736247588872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 2320 1358 413 1167 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9280
[startup+0.100281 s]
/proc/loadavg: 2.05 2.01 1.98 4/176 12087
/proc/meminfo: memFree=31247484/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 2447 0 0 0 9 0 0 0 20 0 1 0 277371553 13697024 2368 33554432000 4194304 8973514 140734818741008 140736247588872 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 3344 2368 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300295 s]
/proc/loadavg: 2.05 2.01 1.98 4/176 12087
/proc/meminfo: memFree=31247484/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=26688 CPUtime=0.29 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 5957 0 0 0 28 1 0 0 20 0 1 0 277371553 27328512 5878 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 6672 5878 430 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688
[startup+0.700226 s]
/proc/loadavg: 2.05 2.01 1.98 4/176 12087
/proc/meminfo: memFree=31247484/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=26688 CPUtime=0.69 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 5957 0 0 0 68 1 0 0 20 0 1 0 277371553 27328512 5878 33554432000 4194304 8973514 140734818741008 140734818740504 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 6672 5878 430 1167 0 5453 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26688
[startup+1.50022 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 12088
/proc/meminfo: memFree=31224180/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=26688 CPUtime=1.49 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 5957 0 0 0 148 1 0 0 20 0 1 0 277371553 27328512 5878 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 6672 5878 430 1167 0 5453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26688
[startup+3.10029 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 12088
/proc/meminfo: memFree=31223428/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=31808 CPUtime=3.09 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 7237 0 0 0 307 2 0 0 20 0 1 0 277371553 32571392 7158 33554432000 4194304 8973514 140734818741008 140734818740504 4481500 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 7952 7158 430 1167 0 6733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31808
[startup+6.3003 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 12088
/proc/meminfo: memFree=31216584/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=31808 CPUtime=6.29 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 7237 0 0 0 626 3 0 0 20 0 1 0 277371553 32571392 7158 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 7952 7158 430 1167 0 6733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31808
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 12088
/proc/meminfo: memFree=31212268/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=32832 CPUtime=12.69 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 7510 0 0 0 1262 7 0 0 20 0 1 0 277371553 33619968 7431 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 8208 7431 447 1167 0 6989 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32832
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 12088
/proc/meminfo: memFree=31191280/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=53312 CPUtime=25.48 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 12641 0 0 0 2532 16 0 0 20 0 1 0 277371553 54591488 12562 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 13328 12562 458 1167 0 12109 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53312
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 12088
/proc/meminfo: memFree=31173952/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=66624 CPUtime=51.08 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 15973 0 0 0 5082 26 0 0 20 0 1 0 277371553 68222976 15890 33554432000 4194304 8973514 140734818741008 140734818739008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 16656 15890 458 1167 0 15437 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66624
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 12088
/proc/meminfo: memFree=31148656/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=83008 CPUtime=102.26 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 20091 0 0 0 10181 45 0 0 20 0 1 0 277371553 85000192 19986 33554432000 4194304 8973514 140734818741008 140734818740272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 20752 19986 458 1167 0 19533 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 83008
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12088
/proc/meminfo: memFree=31130908/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=91200 CPUtime=162.24 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 22139 0 0 0 16165 59 0 0 20 0 1 0 277371553 93388800 22034 33554432000 4194304 8973514 140734818741008 140734818740504 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 22800 22034 458 1167 0 21581 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 91200
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12088
/proc/meminfo: memFree=31117252/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=99392 CPUtime=222.23 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 24193 0 0 0 22146 77 0 0 20 0 1 0 277371553 101777408 24082 33554432000 4194304 8973514 140734818741008 140734818740504 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 24848 24082 458 1167 0 23629 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 99392
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12088
/proc/meminfo: memFree=31093616/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=113728 CPUtime=282.21 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 27777 0 0 0 28127 94 0 0 20 0 1 0 277371553 116457472 27666 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 28432 27666 458 1167 0 27213 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 113728
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 12089
/proc/meminfo: memFree=31087520/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=118848 CPUtime=342.2 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 29063 0 0 0 34106 114 0 0 20 0 1 0 277371553 121700352 28946 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 29712 28946 458 1167 0 28493 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 118848
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 1.99 3/178 12092
/proc/meminfo: memFree=31077340/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=129088 CPUtime=402.19 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 31623 0 0 0 40086 133 0 0 20 0 1 0 277371553 132186112 31506 33554432000 4194304 8973514 140734818741008 140734818740272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 32272 31506 458 1167 0 31053 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 129088
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/178 12115
/proc/meminfo: memFree=31060972/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=142400 CPUtime=462.19 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 34951 0 0 0 46066 153 0 0 20 0 1 0 277371553 145817600 34834 33554432000 4194304 8973514 140734818741008 140734818740272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 35600 34834 458 1167 0 34381 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 142400
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 12115
/proc/meminfo: memFree=31048864/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=151616 CPUtime=522.17 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 37261 0 0 0 52040 177 0 0 20 0 1 0 277371553 155254784 37138 33554432000 4194304 8973514 140734818741008 140734818740504 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 37904 37138 458 1167 0 36685 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 151616
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12115
/proc/meminfo: memFree=31037632/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=158784 CPUtime=582.16 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 39053 0 0 0 58023 193 0 0 20 0 1 0 277371553 162594816 38930 33554432000 4194304 8973514 140734818741008 140734818740504 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 39696 38930 458 1167 0 38477 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 158784
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12116
/proc/meminfo: memFree=30985584/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=194624 CPUtime=822.12 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 48019 0 0 0 81943 269 0 0 20 0 1 0 277371553 199294976 47890 33554432000 4194304 8973514 140734818741008 140734818740504 4214538 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 48656 47890 458 1167 0 47437 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 194624
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12116
/proc/meminfo: memFree=30969248/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=205888 CPUtime=882.11 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 50841 0 0 0 87920 291 0 0 20 0 1 0 277371553 210829312 50706 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 51472 50706 458 1167 0 50253 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 205888
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12117
/proc/meminfo: memFree=30958940/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=211008 CPUtime=942.09 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 52121 0 0 0 93899 310 0 0 20 0 1 0 277371553 216072192 51986 33554432000 4194304 8973514 140734818741008 140734818740272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 52752 51986 458 1167 0 51533 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 211008
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12120
/proc/meminfo: memFree=30948764/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=221248 CPUtime=1002.09 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 54681 0 0 0 99879 330 0 0 20 0 1 0 277371553 226557952 54546 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 55312 54546 458 1167 0 54093 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 221248
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12120
/proc/meminfo: memFree=30942852/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=226368 CPUtime=1062.07 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 55969 0 0 0 105857 350 0 0 20 0 1 0 277371553 231800832 55826 33554432000 4194304 8973514 140734818741008 140734818740272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 56592 55826 458 1167 0 55373 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 226368
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12120
/proc/meminfo: memFree=30932372/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=235584 CPUtime=1122.06 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 58273 0 0 0 111840 366 0 0 20 0 1 0 277371553 241238016 58130 33554432000 4194304 8973514 140734818741008 140734818740272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 58896 58130 458 1167 0 57677 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 235584
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12120
/proc/meminfo: memFree=30918416/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=244800 CPUtime=1182.05 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 60431 0 0 0 117821 384 0 0 20 0 1 0 277371553 250675200 60288 33554432000 4194304 8973514 140734818741008 140734818740272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 61200 60288 458 1167 0 59981 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 244800
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12121
/proc/meminfo: memFree=30906760/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=250944 CPUtime=1242.04 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 62113 0 0 0 123805 399 0 0 20 0 1 0 277371553 256966656 61970 33554432000 4194304 8973514 140734818741008 140734818740504 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 62736 61970 458 1167 0 61517 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 250944
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12121
/proc/meminfo: memFree=30895020/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=258112 CPUtime=1302.04 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 63910 0 0 0 129787 417 0 0 20 0 1 0 277371553 264306688 63762 33554432000 4194304 8973514 140734818741008 140734818740272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 64528 63762 458 1167 0 63309 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 258112
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12121
/proc/meminfo: memFree=30887760/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=265280 CPUtime=1362.02 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 65704 0 0 0 135768 434 0 0 20 0 1 0 277371553 271646720 65554 33554432000 4194304 8973514 140734818741008 140734818740504 7716772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 66320 65554 458 1167 0 65101 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 265280
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12121
/proc/meminfo: memFree=30880744/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=272448 CPUtime=1422.02 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 67496 0 0 0 141751 451 0 0 20 0 1 0 277371553 278986752 67346 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 68112 67346 458 1167 0 66893 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 272448
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 12121
/proc/meminfo: memFree=30873800/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=279616 CPUtime=1482 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 69288 0 0 0 147733 467 0 0 20 0 1 0 277371553 286326784 69138 33554432000 4194304 8973514 140734818741008 140734818740272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 69904 69138 458 1167 0 68685 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 279616
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12122
/proc/meminfo: memFree=30866608/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=286784 CPUtime=1541.99 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 71080 0 0 0 153715 484 0 0 20 0 1 0 277371553 293666816 70930 33554432000 4194304 8973514 140734818741008 140734818740504 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 71696 70930 458 1167 0 70477 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 286784
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 12125
/proc/meminfo: memFree=30856216/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=290880 CPUtime=1601.97 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 72114 0 0 0 159699 498 0 0 20 0 1 0 277371553 297861120 71954 33554432000 4194304 8973514 140734818741008 140734818740272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 72720 71954 458 1167 0 71501 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 290880
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12125
/proc/meminfo: memFree=30849528/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=298048 CPUtime=1661.96 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 73906 0 0 0 165682 514 0 0 20 0 1 0 277371553 305201152 73746 33554432000 4194304 8973514 140734818741008 140734818740504 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 74512 73746 458 1167 0 73293 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 298048
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12125
/proc/meminfo: memFree=30841276/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=306240 CPUtime=1721.95 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 75954 0 0 0 171666 529 0 0 20 0 1 0 277371553 313589760 75794 33554432000 4194304 8973514 140734818741008 140734818740272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 76560 75794 458 1167 0 75341 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 306240
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12125
/proc/meminfo: memFree=30833464/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=313408 CPUtime=1781.94 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 77746 0 0 0 177650 544 0 0 20 0 1 0 277371553 320929792 77586 33554432000 4194304 8973514 140734818741008 140734818740272 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 78352 77586 458 1167 0 77133 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 313408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 12164
/proc/meminfo: memFree=30934064/32873844 swapFree=7108/7108
[pid=12087] ppid=12085 vsize=313408 CPUtime=1800.05 cores=1,3,5,7
/proc/12087/stat : 12087 (toysat) R 12085 12087 9022 0 -1 4202496 77746 0 0 0 179457 548 0 0 20 0 1 0 277371553 320929792 77586 33554432000 4194304 8973514 140734818741008 140734818740272 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12087/statm: 78352 77586 458 1167 0 77133 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 313408
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.41
CPU time (s): 1800.06
CPU user time (s): 1794.58
CPU system time (s): 5.48617
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 313408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 5.48616
maximum resident set size= 310344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77746
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= 84
involuntary context switches= 1884
runsolver used 3.63245 second user time and 9.57454 second system time
The end