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-3706572-1338237898/watcher-3706572-1338237898 -o /tmp/evaluation-result-3706572-1338237898/solver-3706572-1338237898 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706572-1338237898.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.00 2.00 1.97 3/174 13749
/proc/meminfo: memFree=28418972/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 836 0 0 0 0 0 0 0 20 0 1 0 289915304 7405568 758 33554432000 4194304 8973514 140734228072688 140735812518568 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 1808 758 413 1167 0 589 0
[startup+0.025615 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 13749
/proc/meminfo: memFree=28418972/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 1092 0 0 0 2 0 0 0 20 0 1 0 289915304 8454144 1014 33554432000 4194304 8973514 140734228072688 140735812518568 7858672 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 2064 1014 413 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256
[startup+0.100214 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 13749
/proc/meminfo: memFree=28418972/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 2122 0 0 0 9 0 0 0 20 0 1 0 289915304 12648448 2044 33554432000 4194304 8973514 140734228072688 140735812518568 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 3088 2044 413 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 13749
/proc/meminfo: memFree=28418972/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=22592 CPUtime=0.28 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 4909 0 0 0 28 0 0 0 20 0 1 0 289915304 23134208 4831 33554432000 4194304 8973514 140734228072688 140734228072184 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 5648 4831 413 1167 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22592
[startup+0.70024 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 13749
/proc/meminfo: memFree=28418972/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=44096 CPUtime=0.69 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 10290 0 0 0 67 2 0 0 20 0 1 0 289915304 45154304 10212 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 11024 10212 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=28355560/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=93248 CPUtime=1.49 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 22578 0 0 0 145 4 0 0 20 0 1 0 289915304 95485952 22500 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 23312 22500 418 1167 0 22093 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93248
[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=28296660/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=207936 CPUtime=3.09 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 51250 0 0 0 299 10 0 0 20 0 1 0 289915304 212926464 51172 33554432000 4194304 8973514 140734228072688 140734228071528 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 51984 51172 418 1167 0 50765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 207936
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=28035156/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=376896 CPUtime=6.29 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 93490 0 0 0 612 17 0 0 20 0 1 0 289915304 385941504 93412 33554432000 4194304 8973514 140734228072688 140734228072184 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 94224 93412 418 1167 0 93005 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 376896
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=27595864/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=814144 CPUtime=12.68 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 202821 0 0 0 1234 34 0 0 20 0 1 0 289915304 833683456 202743 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 203536 202743 431 1167 0 202317 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 814144
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=27405588/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1004608 CPUtime=25.48 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 250446 0 0 0 2504 44 0 0 20 0 1 0 289915304 1028718592 250363 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 251152 250363 435 1167 0 249933 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1004608
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=27354592/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1054784 CPUtime=51.07 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 262997 0 0 0 5056 51 0 0 20 0 1 0 289915304 1080098816 262907 33554432000 4194304 8973514 140734228072688 140734228070656 4209206 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 263696 262907 435 1167 0 262477 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1054784
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=27353656/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1054784 CPUtime=102.26 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 262999 0 0 0 10166 60 0 0 20 0 1 0 289915304 1080098816 262907 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 263696 262907 435 1167 0 262477 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1054784
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=27353560/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1054784 CPUtime=162.24 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 263000 0 0 0 16154 70 0 0 20 0 1 0 289915304 1080098816 262907 33554432000 4194304 8973514 140734228072688 140734228072184 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 263696 262907 435 1167 0 262477 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1054784
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=27352364/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1054784 CPUtime=222.22 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 263003 0 0 0 22141 81 0 0 20 0 1 0 289915304 1080098816 262907 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 263696 262907 435 1167 0 262477 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1054784
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13750
/proc/meminfo: memFree=27335288/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=282.21 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267100 0 0 0 28129 92 0 0 20 0 1 0 289915304 1096876032 267003 33554432000 4194304 8973514 140734228072688 140734228072184 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/13749/statm: 267792 267003 435 1167 0 266573 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1071168
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 13754
/proc/meminfo: memFree=27335372/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=342.17 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267137 0 0 0 34114 103 0 0 20 0 1 0 289915304 1096876032 267003 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267003 435 1167 0 266573 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1071168
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13754
/proc/meminfo: memFree=27335916/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=402.15 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267166 0 0 0 40102 113 0 0 20 0 1 0 289915304 1096876032 267003 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267003 435 1167 0 266573 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1071168
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13754
/proc/meminfo: memFree=27335820/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=462.12 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267186 0 0 0 46090 122 0 0 20 0 1 0 289915304 1096876032 267003 33554432000 4194304 8973514 140734228072688 140734228071952 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267003 435 1167 0 266573 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1071168
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13754
/proc/meminfo: memFree=27334732/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=522.12 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267187 0 0 0 52079 133 0 0 20 0 1 0 289915304 1096876032 267003 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267003 435 1167 0 266573 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1071168
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13754
/proc/meminfo: memFree=27332652/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=582.1 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267187 0 0 0 58068 142 0 0 20 0 1 0 289915304 1096876032 267003 33554432000 4194304 8973514 140734228072688 140734228070656 4214048 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267003 435 1167 0 266573 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1071168
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13755
/proc/meminfo: memFree=27331988/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=822.07 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 82024 183 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228071952 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1071168
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13755
/proc/meminfo: memFree=27331740/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=882.06 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 88015 191 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1071168
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 13759
/proc/meminfo: memFree=27331860/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=942.05 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 94004 201 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1071168
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 13782
/proc/meminfo: memFree=27330544/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1002.03 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 99992 211 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1071168
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13782
/proc/meminfo: memFree=27330676/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1062.03 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 105981 222 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 4208870 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1071168
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/175 13782
/proc/meminfo: memFree=27330432/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1122.02 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 111971 231 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 4208870 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1071168
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 1.98 3/175 13782
/proc/meminfo: memFree=27330308/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1182.01 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 117959 242 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228071952 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1071168
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/175 13783
/proc/meminfo: memFree=27330060/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1242 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 123950 250 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228070656 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1071168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/175 13783
/proc/meminfo: memFree=27329936/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1302 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 129940 260 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228071952 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1071168
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/175 13783
/proc/meminfo: memFree=27329812/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1361.99 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 135928 271 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1071168
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 13783
/proc/meminfo: memFree=27329996/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1421.98 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 141918 280 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1071168
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 13783
/proc/meminfo: memFree=27330120/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1481.97 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 147906 291 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1071168
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 13787
/proc/meminfo: memFree=27329508/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1541.96 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 153896 300 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228071952 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1071168
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/175 13787
/proc/meminfo: memFree=27329516/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1601.95 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 159884 311 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1071168
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 1.99 3/175 13787
/proc/meminfo: memFree=27329516/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1661.93 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 165872 321 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228071952 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1071168
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/175 13787
/proc/meminfo: memFree=27328648/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1721.93 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 171859 334 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1071168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/175 13787
/proc/meminfo: memFree=27327904/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1781.92 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 177848 344 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228072184 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1071168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.99 2/173 13788
/proc/meminfo: memFree=27370596/32873624 swapFree=7104/7104
[pid=13749] ppid=13747 vsize=1071168 CPUtime=1800.02 cores=1,3,5,7
/proc/13749/stat : 13749 (toysat) R 13747 13749 13062 0 -1 4202496 267189 0 0 0 179656 346 0 0 20 0 1 0 289915304 1096876032 267008 33554432000 4194304 8973514 140734228072688 140734228071952 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/13749/statm: 267792 267008 435 1167 0 266573 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1071168
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.04
CPU user time (s): 1796.57
CPU system time (s): 3.46847
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 1071168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.57
system time used= 3.46847
maximum resident set size= 1068032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267189
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= 111
involuntary context switches= 5301
runsolver used 3.24251 second user time and 8.73267 second system time
The end