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-3712079-1338180319/watcher-3712079-1338180319 -o /tmp/evaluation-result-3712079-1338180319/solver-3712079-1338180319 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712079-1338180319.wbo
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.00 2.00 3/172 19133
/proc/meminfo: memFree=31283728/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 1 0 284160299 6356992 720 33554432000 4194304 8973514 140734682015376 140734546249912 7858672 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 1552 720 422 1167 0 333 0
[startup+0.00641793 s]
/proc/loadavg: 2.00 2.00 2.00 3/172 19133
/proc/meminfo: memFree=31283728/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 284160299 6356992 735 33554432000 4194304 8973514 140734682015376 140734546249912 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 1552 735 422 1167 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6208
[startup+0.100208 s]
/proc/loadavg: 2.00 2.00 2.00 3/172 19133
/proc/meminfo: memFree=31283728/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=10304 CPUtime=0.09 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 1752 0 0 0 9 0 0 0 20 0 1 0 284160299 10551296 1673 33554432000 4194304 8973514 140734682015376 140734546249912 7716779 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 2576 1673 454 1167 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10304
[startup+0.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/172 19133
/proc/meminfo: memFree=31283728/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=10304 CPUtime=0.29 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 1896 0 0 0 29 0 0 0 20 0 1 0 284160299 10551296 1817 33554432000 4194304 8973514 140734682015376 140734546249912 4415744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 2576 1817 464 1167 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304
[startup+0.700215 s]
/proc/loadavg: 2.00 2.00 2.00 3/172 19133
/proc/meminfo: memFree=31283728/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=12352 CPUtime=0.69 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 2218 0 0 0 69 0 0 0 20 0 1 0 284160299 12648448 2139 33554432000 4194304 8973514 140734682015376 140734682014872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 3088 2139 464 1167 0 1869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12352
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19139
/proc/meminfo: memFree=31269536/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=13376 CPUtime=1.49 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 2551 0 0 0 149 0 0 0 20 0 1 0 284160299 13697024 2472 33554432000 4194304 8973514 140734682015376 140734682014872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 3344 2472 464 1167 0 2125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13376
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19139
/proc/meminfo: memFree=31265180/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=15424 CPUtime=3.09 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 3177 0 0 0 308 1 0 0 20 0 1 0 284160299 15794176 3098 33554432000 4194304 8973514 140734682015376 140734682014872 4415843 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 3856 3098 464 1167 0 2637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15424
[startup+6.30023 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 19139
/proc/meminfo: memFree=31255508/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=19520 CPUtime=6.29 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 4202 0 0 0 625 4 0 0 20 0 1 0 284160299 19988480 4123 33554432000 4194304 8973514 140734682015376 140734682014872 7732784 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 4880 4123 465 1167 0 3661 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19520
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 19139
/proc/meminfo: memFree=31241336/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=29760 CPUtime=12.68 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 6516 0 0 0 1262 6 0 0 20 0 1 0 284160299 30474240 6437 33554432000 4194304 8973514 140734682015376 140734682014872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 7440 6437 465 1167 0 6221 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29760
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 19139
/proc/meminfo: memFree=31212964/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=42048 CPUtime=25.49 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 9842 0 0 0 2536 13 0 0 20 0 1 0 284160299 43057152 9755 33554432000 4194304 8973514 140734682015376 140734682014640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 10512 9755 465 1167 0 9293 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42048
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 19139
/proc/meminfo: memFree=31168912/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=61504 CPUtime=51.08 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 14719 0 0 0 5083 25 0 0 20 0 1 0 284160299 62980096 14619 33554432000 4194304 8973514 140734682015376 140734682014640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 15376 14619 465 1167 0 14157 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61504
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 19139
/proc/meminfo: memFree=31117192/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=90176 CPUtime=102.28 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 21679 0 0 0 10177 51 0 0 20 0 1 0 284160299 92340224 21579 33554432000 4194304 8973514 140734682015376 140734682014872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 22544 21579 465 1167 0 21325 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 90176
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19139
/proc/meminfo: memFree=31084084/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=113728 CPUtime=162.26 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 27833 0 0 0 16155 71 0 0 20 0 1 0 284160299 116457472 27477 33554432000 4194304 8973514 140734682015376 140734682014640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 28432 27477 465 1167 0 27213 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 113728
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19139
/proc/meminfo: memFree=31048664/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=136256 CPUtime=222.22 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 33698 0 0 0 22131 91 0 0 20 0 1 0 284160299 139526144 33307 33554432000 4194304 8973514 140734682015376 140734682014640 4463496 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 34064 33307 465 1167 0 32845 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 136256
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19140
/proc/meminfo: memFree=31029348/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=136256 CPUtime=282.22 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 33698 0 0 0 28119 103 0 0 20 0 1 0 284160299 139526144 33307 33554432000 4194304 8973514 140734682015376 140734682014872 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 34064 33307 465 1167 0 32845 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 136256
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19143
/proc/meminfo: memFree=31029396/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=136256 CPUtime=342.21 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 33698 0 0 0 34102 119 0 0 20 0 1 0 284160299 139526144 33307 33554432000 4194304 8973514 140734682015376 140734682014640 4415701 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 34064 33307 465 1167 0 32845 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 136256
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 19143
/proc/meminfo: memFree=31011300/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=136256 CPUtime=402.2 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 33698 0 0 0 40088 132 0 0 20 0 1 0 284160299 139526144 33307 33554432000 4194304 8973514 140734682015376 140734682014640 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 34064 33307 465 1167 0 32845 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 136256
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19143
/proc/meminfo: memFree=31011300/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=136256 CPUtime=462.19 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 33698 0 0 0 46077 142 0 0 20 0 1 0 284160299 139526144 33307 33554432000 4194304 8973514 140734682015376 140734682014872 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 34064 33307 465 1167 0 32845 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 136256
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19143
/proc/meminfo: memFree=31011228/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=136256 CPUtime=522.18 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 33698 0 0 0 52063 155 0 0 20 0 1 0 284160299 139526144 33307 33554432000 4194304 8973514 140734682015376 140734682014640 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 34064 33307 465 1167 0 32845 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 136256
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19144
/proc/meminfo: memFree=31011352/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=136256 CPUtime=582.17 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 33698 0 0 0 58048 169 0 0 20 0 1 0 284160299 139526144 33307 33554432000 4194304 8973514 140734682015376 140734682014640 4414896 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 34064 33307 465 1167 0 32845 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 136256
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19144
/proc/meminfo: memFree=31009232/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=129088 CPUtime=822.14 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 34979 0 0 0 81999 215 0 0 20 0 1 0 284160299 132186112 31515 33554432000 4194304 8973514 140734682015376 140734682014640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 32272 31515 465 1167 0 31053 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 129088
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19145
/proc/meminfo: memFree=31008984/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=129088 CPUtime=882.12 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 34979 0 0 0 87986 226 0 0 20 0 1 0 284160299 132186112 31515 33554432000 4194304 8973514 140734682015376 140734682014640 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 32272 31515 465 1167 0 31053 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 129088
[startup+942.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/176 19148
/proc/meminfo: memFree=31008976/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=129088 CPUtime=942.11 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 34979 0 0 0 93974 237 0 0 20 0 1 0 284160299 132186112 31515 33554432000 4194304 8973514 140734682015376 140734682014872 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 32272 31515 465 1167 0 31053 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 129088
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 19171
/proc/meminfo: memFree=31008984/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=129088 CPUtime=1002.1 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 34979 0 0 0 99962 248 0 0 20 0 1 0 284160299 132186112 31515 33554432000 4194304 8973514 140734682015376 140734682014872 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 32272 31515 465 1167 0 31053 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 129088
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 19171
/proc/meminfo: memFree=31008992/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=129088 CPUtime=1062.09 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 34979 0 0 0 105951 258 0 0 20 0 1 0 284160299 132186112 31515 33554432000 4194304 8973514 140734682015376 140734682014640 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 32272 31515 465 1167 0 31053 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 129088
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19171
/proc/meminfo: memFree=31008992/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=129088 CPUtime=1122.08 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 34979 0 0 0 111940 268 0 0 20 0 1 0 284160299 132186112 31515 33554432000 4194304 8973514 140734682015376 140734682014640 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 32272 31515 465 1167 0 31053 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 129088
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19172
/proc/meminfo: memFree=31017672/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=119872 CPUtime=1182.08 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 34979 0 0 0 117928 280 0 0 20 0 1 0 284160299 122748928 29211 33554432000 4194304 8973514 140734682015376 140734682014640 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 29968 29211 465 1167 0 28749 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 119872
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19172
/proc/meminfo: memFree=31017548/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=119872 CPUtime=1242.07 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 34979 0 0 0 123916 291 0 0 20 0 1 0 284160299 122748928 29211 33554432000 4194304 8973514 140734682015376 140734682014640 6577040 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 29968 29211 465 1167 0 28749 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 119872
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19172
/proc/meminfo: memFree=31009488/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=128064 CPUtime=1302.07 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 37027 0 0 0 129905 302 0 0 20 0 1 0 284160299 131137536 31259 33554432000 4194304 8973514 140734682015376 140734682014640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 32016 31259 465 1167 0 30797 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 128064
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19172
/proc/meminfo: memFree=31009356/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=128064 CPUtime=1362.05 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 37030 0 0 0 135893 312 0 0 20 0 1 0 284160299 131137536 31259 33554432000 4194304 8973514 140734682015376 140734682014640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 32016 31259 465 1167 0 30797 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 128064
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19172
/proc/meminfo: memFree=31004024/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=134208 CPUtime=1422.05 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 38395 0 0 0 141882 323 0 0 20 0 1 0 284160299 137428992 32624 33554432000 4194304 8973514 140734682015376 140734682014872 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 33552 32624 465 1167 0 32333 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 134208
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/174 19172
/proc/meminfo: memFree=30996096/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=141376 CPUtime=1482.03 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 40358 0 0 0 147873 330 0 0 20 0 1 0 284160299 144769024 34587 33554432000 4194304 8973514 140734682015376 140734682014640 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 35344 34587 465 1167 0 34125 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 141376
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 19176
/proc/meminfo: memFree=30996080/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=141376 CPUtime=1542.03 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 40358 0 0 0 153863 340 0 0 20 0 1 0 284160299 144769024 34587 33554432000 4194304 8973514 140734682015376 140734682014872 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 35344 34587 465 1167 0 34125 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 141376
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19176
/proc/meminfo: memFree=30996136/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=141376 CPUtime=1602.01 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 40360 0 0 0 159852 349 0 0 20 0 1 0 284160299 144769024 34587 33554432000 4194304 8973514 140734682015376 140734682014640 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 35344 34587 465 1167 0 34125 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 141376
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19176
/proc/meminfo: memFree=30996384/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=141376 CPUtime=1662 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 40360 0 0 0 165841 359 0 0 20 0 1 0 284160299 144769024 34587 33554432000 4194304 8973514 140734682015376 140734682014640 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 35344 34587 465 1167 0 34125 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 141376
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19176
/proc/meminfo: memFree=30996632/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=141376 CPUtime=1721.99 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 40360 0 0 0 171829 370 0 0 20 0 1 0 284160299 144769024 34587 33554432000 4194304 8973514 140734682015376 140734682014640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 35344 34587 465 1167 0 34125 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 141376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19176
/proc/meminfo: memFree=30995888/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=141376 CPUtime=1781.98 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 40360 0 0 0 177818 380 0 0 20 0 1 0 284160299 144769024 34587 33554432000 4194304 8973514 140734682015376 140734682014640 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 35344 34587 465 1167 0 34125 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 141376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19177
/proc/meminfo: memFree=30992788/32873844 swapFree=6088/6088
[pid=19133] ppid=19131 vsize=141376 CPUtime=1800.09 cores=1,3,5,7
/proc/19133/stat : 19133 (toysat) R 19131 19133 15656 0 -1 4202496 40360 0 0 0 179625 384 0 0 20 0 1 0 284160299 144769024 34587 33554432000 4194304 8973514 140734682015376 140734682014640 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19133/statm: 35344 34587 465 1167 0 34125 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 141376
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.1
CPU user time (s): 1796.25
CPU system time (s): 3.84642
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 141376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.25
system time used= 3.84641
maximum resident set size= 138348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40360
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= 65
involuntary context switches= 1850
runsolver used 3.46947 second user time and 8.13476 second system time
The end