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-3724160-1338631520/watcher-3724160-1338631520 -o /tmp/evaluation-result-3724160-1338631520/solver-3724160-1338631520 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724160-1338631520.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: 0.23 0.05 0.02 3/176 24908
/proc/meminfo: memFree=31558920/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 816 0 0 0 0 0 0 0 20 0 1 0 329278959 6373376 737 33554432000 4194304 8989770 140733511383872 140737278149432 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 1556 737 428 1171 0 333 0
[startup+0.0187771 s]
/proc/loadavg: 0.23 0.05 0.02 3/176 24908
/proc/meminfo: memFree=31558920/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=7248 CPUtime=0.01 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 1086 0 0 0 1 0 0 0 20 0 1 0 329278959 7421952 1007 33554432000 4194304 8989770 140733511383872 140737278149432 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 1812 1007 429 1171 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7248
[startup+0.100262 s]
/proc/loadavg: 0.23 0.05 0.02 3/176 24908
/proc/meminfo: memFree=31558920/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=10320 CPUtime=0.09 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 1775 0 0 0 9 0 0 0 20 0 1 0 329278959 10567680 1696 33554432000 4194304 8989770 140733511383872 140733511383368 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 2580 1696 457 1171 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10320
[startup+0.300248 s]
/proc/loadavg: 0.23 0.05 0.02 3/176 24908
/proc/meminfo: memFree=31558920/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=11344 CPUtime=0.29 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 2144 0 0 0 29 0 0 0 20 0 1 0 329278959 11616256 2065 33554432000 4194304 8989770 140733511383872 140733511383368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 2836 2065 457 1171 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11344
[startup+0.700261 s]
/proc/loadavg: 0.23 0.05 0.02 3/176 24908
/proc/meminfo: memFree=31558920/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=15440 CPUtime=0.69 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 3168 0 0 0 68 1 0 0 20 0 1 0 329278959 15810560 3089 33554432000 4194304 8989770 140733511383872 140733511383368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 3860 3089 457 1171 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15440
[startup+1.50031 s]
/proc/loadavg: 0.23 0.05 0.02 3/177 24909
/proc/meminfo: memFree=31546264/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=20560 CPUtime=1.49 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 4351 0 0 0 148 1 0 0 20 0 1 0 329278959 21053440 4272 33554432000 4194304 8989770 140733511383872 140733511383368 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 5140 4272 459 1171 0 3917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20560
[startup+3.10026 s]
/proc/loadavg: 0.23 0.05 0.02 3/177 24909
/proc/meminfo: memFree=31540436/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=30800 CPUtime=3.09 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 7010 0 0 0 306 3 0 0 20 0 1 0 329278959 31539200 6931 33554432000 4194304 8989770 140733511383872 140733511383368 4438190 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 7700 6931 459 1171 0 6477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30800
[startup+6.30031 s]
/proc/loadavg: 0.29 0.06 0.02 2/172 24971
/proc/meminfo: memFree=31538272/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=36944 CPUtime=6.28 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 8546 0 0 0 624 4 0 0 20 0 1 0 329278959 37830656 8467 33554432000 4194304 8989770 140733511383872 140733511383136 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 9236 8467 459 1171 0 8013 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36944
[startup+12.7003 s]
/proc/loadavg: 0.35 0.08 0.03 3/177 24985
/proc/meminfo: memFree=31471972/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=50256 CPUtime=12.69 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 12130 0 0 0 1261 8 0 0 20 0 1 0 329278959 51462144 11795 33554432000 4194304 8989770 140733511383872 140733511383368 4435107 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 12564 11795 459 1171 0 11341 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50256
[startup+25.5002 s]
/proc/loadavg: 0.71 0.17 0.06 3/177 25023
/proc/meminfo: memFree=31206272/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=63568 CPUtime=25.48 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 15462 0 0 0 2532 16 0 0 20 0 1 0 329278959 65093632 15123 33554432000 4194304 8989770 140733511383872 140733511383368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 15892 15123 459 1171 0 14669 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63568
[startup+51.1003 s]
/proc/loadavg: 1.15 0.32 0.11 3/177 25023
/proc/meminfo: memFree=31165932/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=61520 CPUtime=51.07 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 19057 0 0 0 5076 31 0 0 20 0 1 0 329278959 62996480 14611 33554432000 4194304 8989770 140733511383872 140733511383368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 15380 14611 459 1171 0 14157 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 61520
[startup+102.307 s]
/proc/loadavg: 1.63 0.58 0.20 3/177 25061
/proc/meminfo: memFree=30717660/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=103504 CPUtime=102.26 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 31908 0 0 0 10172 54 0 0 20 0 1 0 329278959 105988096 24890 33554432000 4194304 8989770 140733511383872 140733511383368 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 25876 24890 459 1171 0 24653 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 103504
[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.31 3/177 25061
/proc/meminfo: memFree=30719240/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=99408 CPUtime=162.25 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 32137 0 0 0 16143 82 0 0 20 0 1 0 329278959 101793792 24083 33554432000 4194304 8989770 140733511383872 140733511383136 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 24852 24083 459 1171 0 23629 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99408
[startup+222.3 s]
/proc/loadavg: 1.98 1.06 0.42 3/177 25061
/proc/meminfo: memFree=30692424/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=127056 CPUtime=222.24 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 40073 0 0 0 22113 111 0 0 20 0 1 0 329278959 130105344 30995 33554432000 4194304 8989770 140733511383872 140733511383368 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 31764 30995 459 1171 0 30541 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 127056
[startup+282.3 s]
/proc/loadavg: 1.99 1.23 0.52 3/178 25065
/proc/meminfo: memFree=30692196/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=127056 CPUtime=282.22 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 40073 0 0 0 28095 127 0 0 20 0 1 0 329278959 130105344 30995 33554432000 4194304 8989770 140733511383872 140733511383368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 31764 30995 459 1171 0 30541 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 127056
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.61 3/177 25065
/proc/meminfo: memFree=30678840/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=140368 CPUtime=342.21 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 43401 0 0 0 34077 144 0 0 20 0 1 0 329278959 143736832 34323 33554432000 4194304 8989770 140733511383872 140733511383136 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 35092 34323 459 1171 0 33869 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 140368
[startup+402.3 s]
/proc/loadavg: 2.06 1.49 0.70 3/177 25065
/proc/meminfo: memFree=30674652/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=144464 CPUtime=402.21 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 44425 0 0 0 40059 162 0 0 20 0 1 0 329278959 147931136 35347 33554432000 4194304 8989770 140733511383872 140733511383136 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 36116 35347 459 1171 0 34893 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 144464
[startup+462.3 s]
/proc/loadavg: 2.02 1.58 0.78 3/177 25065
/proc/meminfo: memFree=30674680/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=144464 CPUtime=462.19 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 44425 0 0 0 46037 182 0 0 20 0 1 0 329278959 147931136 35347 33554432000 4194304 8989770 140733511383872 140733511383368 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 36116 35347 459 1171 0 34893 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 144464
[startup+522.3 s]
/proc/loadavg: 2.01 1.66 0.85 3/177 25065
/proc/meminfo: memFree=30674832/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=144464 CPUtime=522.18 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 44425 0 0 0 52011 207 0 0 20 0 1 0 329278959 147931136 35347 33554432000 4194304 8989770 140733511383872 140733511383368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 36116 35347 459 1171 0 34893 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 144464
[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.92 3/177 25066
/proc/meminfo: memFree=30674768/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=144464 CPUtime=582.18 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 44425 0 0 0 57986 232 0 0 20 0 1 0 329278959 147931136 35347 33554432000 4194304 8989770 140733511383872 140733511383136 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 36116 35347 459 1171 0 34893 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 144464
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.07 1.89 1.16 3/177 25066
/proc/meminfo: memFree=30646696/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=172112 CPUtime=822.12 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 51354 0 0 0 81904 308 0 0 20 0 1 0 329278959 176242688 42259 33554432000 4194304 8989770 140733511383872 140733511383136 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 43028 42259 459 1171 0 41805 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 172112
[startup+882.3 s]
/proc/loadavg: 2.10 1.92 1.22 3/178 25070
/proc/meminfo: memFree=30639612/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=179280 CPUtime=882.12 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 53146 0 0 0 87888 324 0 0 20 0 1 0 329278959 183582720 44051 33554432000 4194304 8989770 140733511383872 140733511383368 7688471 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 44820 44051 459 1171 0 43597 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 179280
[startup+942.3 s]
/proc/loadavg: 2.03 1.93 1.27 3/177 25070
/proc/meminfo: memFree=30639876/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=179280 CPUtime=942.11 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 53146 0 0 0 93869 342 0 0 20 0 1 0 329278959 183582720 44051 33554432000 4194304 8989770 140733511383872 140733511383136 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 44820 44051 459 1171 0 43597 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 179280
[startup+1002.3 s]
/proc/loadavg: 2.01 1.94 1.31 3/177 25070
/proc/meminfo: memFree=30640000/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=179280 CPUtime=1002.1 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 53146 0 0 0 99850 360 0 0 20 0 1 0 329278959 183582720 44051 33554432000 4194304 8989770 140733511383872 140733511381824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 44820 44051 459 1171 0 43597 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 179280
[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.35 3/177 25070
/proc/meminfo: memFree=30639876/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=179280 CPUtime=1062.09 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 53146 0 0 0 105831 378 0 0 20 0 1 0 329278959 183582720 44051 33554432000 4194304 8989770 140733511383872 140733511383136 4361346 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 44820 44051 459 1171 0 43597 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 179280
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.39 3/177 25070
/proc/meminfo: memFree=30638884/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=180304 CPUtime=1122.08 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 53338 0 0 0 111812 396 0 0 20 0 1 0 329278959 184631296 44243 33554432000 4194304 8989770 140733511383872 140733511383136 7697332 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 45076 44243 459 1171 0 43853 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 180304
[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/177 25071
/proc/meminfo: memFree=30622016/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1182.07 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57500 0 0 0 117790 417 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383136 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 196688
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/177 25071
/proc/meminfo: memFree=30622092/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1242.05 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 123770 435 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383368 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 196688
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/177 25071
/proc/meminfo: memFree=30621844/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1302.05 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 129749 456 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383136 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 196688
[startup+1362.3 s]
/proc/loadavg: 2.11 2.00 1.53 3/177 25071
/proc/meminfo: memFree=30622092/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1362.04 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 135726 478 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 196688
[startup+1422.31 s]
/proc/loadavg: 2.07 2.01 1.56 3/177 25071
/proc/meminfo: memFree=30622216/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1422.03 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 141704 499 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383136 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 196688
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.59 3/178 25075
/proc/meminfo: memFree=30622340/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1482.02 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 147684 518 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 196688
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.61 3/177 25075
/proc/meminfo: memFree=30622340/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1542 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 153661 539 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383136 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 196688
[startup+1602.3 s]
/proc/loadavg: 2.11 2.04 1.64 3/177 25075
/proc/meminfo: memFree=30622216/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1602 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 159635 565 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383136 4209410 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 196688
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 1.66 3/177 25075
/proc/meminfo: memFree=30622216/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1661.98 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 165609 589 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383368 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 196688
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 1.68 3/177 25075
/proc/meminfo: memFree=30622216/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1721.98 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 171586 612 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383136 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 196688
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 1.70 3/178 25077
/proc/meminfo: memFree=30621968/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1781.97 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 177566 631 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383136 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 196688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.03 1.71 3/178 25077
/proc/meminfo: memFree=30622332/32873844 swapFree=7116/7116
[pid=24908] ppid=24906 vsize=196688 CPUtime=1800.08 cores=1,3,5,7
/proc/24908/stat : 24908 (toysat) R 24906 24908 24826 0 -1 4202496 57511 0 0 0 179368 640 0 0 20 0 1 0 329278959 201408512 48403 33554432000 4194304 8989770 140733511383872 140733511383136 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24908/statm: 49172 48403 459 1171 0 47949 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 196688
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.08
CPU user time (s): 1793.68
CPU system time (s): 6.40103
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 196688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.68
system time used= 6.40103
maximum resident set size= 193612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57511
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= 72
involuntary context switches= 1849
runsolver used 3.49047 second user time and 9.27459 second system time
The end