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-3725080-1338633312/watcher-3725080-1338633312 -o /tmp/evaluation-result-3725080-1338633312/solver-3725080-1338633312 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725080-1338633312.opb
running on 4 cores: 0,2,4,6
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.09 2.04 1.71 3/176 10087
/proc/meminfo: memFree=28129800/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/10087/stat : 10087 (runsolver) D 10085 10087 9951 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 329456629 12095488 50 33554432000 4194304 5436572 140737306848160 140737306844456 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/10087/statm: 2953 50 31 304 0 2645 0
[startup+0.0306221 s]
/proc/loadavg: 2.09 2.04 1.71 3/176 10087
/proc/meminfo: memFree=28129800/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=8272 CPUtime=0.02 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 1137 0 0 0 2 0 0 0 20 0 1 0 329456629 8470528 1056 33554432000 4194304 8989770 140735145250320 140737306844344 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 2068 1056 431 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100271 s]
/proc/loadavg: 2.09 2.04 1.71 3/176 10087
/proc/meminfo: memFree=28129800/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=12368 CPUtime=0.08 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 2245 0 0 0 8 0 0 0 20 0 1 0 329456629 12664832 2164 33554432000 4194304 8989770 140735145250320 140737306844344 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 3092 2164 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368
[startup+0.300263 s]
/proc/loadavg: 2.09 2.04 1.71 3/176 10087
/proc/meminfo: memFree=28129800/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=27728 CPUtime=0.29 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 6103 0 0 0 28 1 0 0 20 0 1 0 329456629 28393472 6022 33554432000 4194304 8989770 140735145250320 140737306844344 4213859 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 6932 6030 431 1171 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27728
[startup+0.700265 s]
/proc/loadavg: 2.09 2.04 1.71 3/176 10087
/proc/meminfo: memFree=28129800/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=48208 CPUtime=0.69 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 11330 0 0 0 67 2 0 0 20 0 1 0 329456629 49364992 11249 33554432000 4194304 8989770 140735145250320 140735145249584 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 12052 11249 431 1171 0 10829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48208
[startup+1.50028 s]
/proc/loadavg: 2.09 2.04 1.71 3/177 10088
/proc/meminfo: memFree=28070388/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=116816 CPUtime=1.49 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 28487 0 0 0 144 5 0 0 20 0 1 0 329456629 119619584 28406 33554432000 4194304 8989770 140735145250320 140735145249584 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 29204 28406 436 1171 0 27981 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116816
[startup+3.10027 s]
/proc/loadavg: 2.09 2.04 1.71 3/177 10088
/proc/meminfo: memFree=28001568/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=133200 CPUtime=3.09 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 32615 0 0 0 303 6 0 0 20 0 1 0 329456629 136396800 32534 33554432000 4194304 8989770 140735145250320 140735145249584 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 33300 32534 462 1171 0 32077 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 133200
[startup+6.30027 s]
/proc/loadavg: 2.08 2.04 1.71 3/177 10088
/proc/meminfo: memFree=28001320/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=133200 CPUtime=6.28 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 32626 0 0 0 621 7 0 0 20 0 1 0 329456629 136396800 32545 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 33300 32545 473 1171 0 32077 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 133200
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 1.72 3/177 10088
/proc/meminfo: memFree=27999600/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=135248 CPUtime=12.69 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 33138 0 0 0 1259 10 0 0 20 0 1 0 329456629 138493952 33057 33554432000 4194304 8989770 140735145250320 140735145249816 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 33812 33057 473 1171 0 32589 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 135248
[startup+25.5003 s]
/proc/loadavg: 1.98 2.02 1.72 3/177 10127
/proc/meminfo: memFree=28066968/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=155728 CPUtime=25.48 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 38155 0 0 0 2533 15 0 0 20 0 1 0 329456629 159465472 38074 33554432000 4194304 8989770 140735145250320 140735145248320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 38932 38074 473 1171 0 37709 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 155728
[startup+51.1003 s]
/proc/loadavg: 1.99 2.02 1.72 3/177 10127
/proc/meminfo: memFree=28008888/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=203856 CPUtime=51.07 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 50187 0 0 0 5079 28 0 0 20 0 1 0 329456629 208748544 50087 33554432000 4194304 8989770 140735145250320 140735145249584 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 50964 50087 473 1171 0 49741 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 203856
[startup+102.306 s]
/proc/loadavg: 1.99 2.01 1.73 3/177 10127
/proc/meminfo: memFree=27916924/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=287824 CPUtime=102.26 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 71293 0 0 0 10174 52 0 0 20 0 1 0 329456629 294731776 71176 33554432000 4194304 8989770 140735145250320 140735145249584 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 71956 71176 473 1171 0 70733 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 287824
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 1.75 3/177 10127
/proc/meminfo: memFree=27861524/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=338000 CPUtime=162.24 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 83866 0 0 0 16144 80 0 0 20 0 1 0 329456629 346112000 83747 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 84500 83747 475 1171 0 83277 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 338000
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.76 3/177 10127
/proc/meminfo: memFree=27809348/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=386128 CPUtime=222.22 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 95913 0 0 0 22114 108 0 0 20 0 1 0 329456629 395395072 95779 33554432000 4194304 8989770 140735145250320 140735145249816 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 96532 95779 475 1171 0 95309 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 386128
[startup+282.3 s]
/proc/loadavg: 2.09 2.03 1.78 3/177 10128
/proc/meminfo: memFree=27785336/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=412752 CPUtime=282.21 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 102576 0 0 0 28088 133 0 0 20 0 1 0 329456629 422658048 102435 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 103188 102435 475 1171 0 101965 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 412752
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 1.79 3/178 10131
/proc/meminfo: memFree=27707144/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=487504 CPUtime=342.2 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 121264 0 0 0 34066 154 0 0 20 0 1 0 329456629 499204096 121123 33554432000 4194304 8989770 140735145250320 140735145249816 7675501 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 121876 121123 475 1171 0 120653 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 487504
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.80 3/177 10131
/proc/meminfo: memFree=27709696/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=484432 CPUtime=402.19 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 121264 0 0 0 40046 173 0 0 20 0 1 0 329456629 496058368 120355 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 121108 120355 475 1171 0 119885 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 484432
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/177 10131
/proc/meminfo: memFree=27705728/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=484432 CPUtime=462.18 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 121264 0 0 0 46024 194 0 0 20 0 1 0 329456629 496058368 120355 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 121108 120355 475 1171 0 119885 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 484432
[startup+522.3 s]
/proc/loadavg: 2.06 2.02 1.83 3/177 10131
/proc/meminfo: memFree=27699216/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=484432 CPUtime=522.17 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 121265 0 0 0 52002 215 0 0 20 0 1 0 329456629 496058368 120355 33554432000 4194304 8989770 140735145250320 140735145249584 4438244 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 121108 120355 475 1171 0 119885 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 484432
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 1.83 3/177 10132
/proc/meminfo: memFree=27695964/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=488528 CPUtime=582.14 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 122313 0 0 0 57974 240 0 0 20 0 1 0 329456629 500252672 121379 33554432000 4194304 8989770 140735145250320 140735145249816 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 122132 121379 475 1171 0 120909 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 488528
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 10133
/proc/meminfo: memFree=27675136/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=503888 CPUtime=822.11 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 131529 0 0 0 81878 333 0 0 20 0 1 0 329456629 515981312 125219 33554432000 4194304 8989770 140735145250320 140735145249816 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 125972 125219 475 1171 0 124749 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 503888
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 10134
/proc/meminfo: memFree=27652012/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=524368 CPUtime=882.1 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 136649 0 0 0 87851 359 0 0 20 0 1 0 329456629 536952832 130339 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 131092 130339 475 1171 0 129869 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 524368
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 10137
/proc/meminfo: memFree=27651760/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=524368 CPUtime=942.09 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 136651 0 0 0 93829 380 0 0 20 0 1 0 329456629 536952832 130339 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 131092 130339 475 1171 0 129869 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 524368
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 10137
/proc/meminfo: memFree=27651880/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=524368 CPUtime=1002.08 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 136651 0 0 0 99821 387 0 0 20 0 1 0 329456629 536952832 130339 33554432000 4194304 8989770 140735145250320 140735145248256 4204374 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 131092 130339 475 1171 0 129869 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 524368
[startup+1062.3 s]
/proc/loadavg: 2.12 2.03 1.89 3/177 10137
/proc/meminfo: memFree=27651384/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=524368 CPUtime=1062.07 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 136651 0 0 0 105799 408 0 0 20 0 1 0 329456629 536952832 130339 33554432000 4194304 8989770 140735145250320 140735145249584 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 131092 130339 475 1171 0 129869 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 524368
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 1.90 3/177 10137
/proc/meminfo: memFree=27639356/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=536656 CPUtime=1122.06 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 139723 0 0 0 111777 429 0 0 20 0 1 0 329456629 549535744 133411 33554432000 4194304 8989770 140735145250320 140735145249584 4213768 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 134164 133411 475 1171 0 132941 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 536656
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 1.91 3/177 10138
/proc/meminfo: memFree=27639232/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=536656 CPUtime=1182.06 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 139723 0 0 0 117753 453 0 0 20 0 1 0 329456629 549535744 133411 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 134164 133411 475 1171 0 132941 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 536656
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/177 10138
/proc/meminfo: memFree=27577852/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=596048 CPUtime=1242.05 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 154385 0 0 0 123731 474 0 0 20 0 1 0 329456629 610353152 148073 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 149012 148073 475 1171 0 147789 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 596048
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 10138
/proc/meminfo: memFree=27544580/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=634960 CPUtime=1302.04 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 164304 0 0 0 129708 496 0 0 20 0 1 0 329456629 650199040 157987 33554432000 4194304 8989770 140735145250320 140735145248256 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 158740 157987 475 1171 0 157517 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 634960
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 10138
/proc/meminfo: memFree=27544328/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=634960 CPUtime=1362.02 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 164311 0 0 0 135686 516 0 0 20 0 1 0 329456629 650199040 157987 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 158740 157987 475 1171 0 157517 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 634960
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10138
/proc/meminfo: memFree=27544388/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=634960 CPUtime=1422.01 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 164311 0 0 0 141663 538 0 0 20 0 1 0 329456629 650199040 157987 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 158740 157987 475 1171 0 157517 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 634960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10139
/proc/meminfo: memFree=27541784/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=634960 CPUtime=1481.99 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 164311 0 0 0 147651 548 0 0 20 0 1 0 329456629 650199040 157987 33554432000 4194304 8989770 140735145250320 140735145249584 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 158740 157987 475 1171 0 157517 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 634960
[startup+1542.3 s]
/proc/loadavg: 2.11 2.03 1.92 3/178 10142
/proc/meminfo: memFree=27615000/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=558160 CPUtime=1541.99 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 164311 0 0 0 153631 568 0 0 20 0 1 0 329456629 571555840 138787 33554432000 4194304 8989770 140735145250320 140735145249816 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 139540 138787 475 1171 0 138317 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 558160
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/178 10165
/proc/meminfo: memFree=27612024/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=558160 CPUtime=1601.98 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 164311 0 0 0 159609 589 0 0 20 0 1 0 329456629 571555840 138787 33554432000 4194304 8989770 140735145250320 140735145249584 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 139540 138787 475 1171 0 138317 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 558160
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/177 10165
/proc/meminfo: memFree=27612280/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=558160 CPUtime=1661.97 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 164311 0 0 0 165589 608 0 0 20 0 1 0 329456629 571555840 138787 33554432000 4194304 8989770 140735145250320 140735145248256 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 139540 138787 475 1171 0 138317 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 558160
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 10165
/proc/meminfo: memFree=27559704/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=611408 CPUtime=1721.96 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 177623 0 0 0 171569 627 0 0 20 0 1 0 329456629 626081792 152099 33554432000 4194304 8989770 140735145250320 140735145249584 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 152852 152099 475 1171 0 151629 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 611408
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 10166
/proc/meminfo: memFree=27567220/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=603216 CPUtime=1781.95 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 177623 0 0 0 177546 649 0 0 20 0 1 0 329456629 617693184 150051 33554432000 4194304 8989770 140735145250320 140735145249816 4437920 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 150804 150051 475 1171 0 149581 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 603216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 10166
/proc/meminfo: memFree=27566972/32873844 swapFree=7384/7384
[pid=10087] ppid=10085 vsize=603216 CPUtime=1800.05 cores=0,2,4,6
/proc/10087/stat : 10087 (toysat) R 10085 10087 9951 0 -1 4202496 177623 0 0 0 179349 656 0 0 20 0 1 0 329456629 617693184 150051 33554432000 4194304 8989770 140735145250320 140735145249816 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10087/statm: 150804 150051 475 1171 0 149581 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 603216
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.07
CPU user time (s): 1793.5
CPU system time (s): 6.571
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 634960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.5
system time used= 6.571
maximum resident set size= 631948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177623
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= 102
involuntary context switches= 1872
runsolver used 3.39048 second user time and 8.97564 second system time
The end