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-3724872-1338649613/watcher-3724872-1338649613 -o /tmp/evaluation-result-3724872-1338649613/solver-3724872-1338649613 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724872-1338649613.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: 1.96 2.01 2.00 3/176 26262
/proc/meminfo: memFree=31335032/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 832 0 0 0 0 0 0 0 20 0 1 0 331088272 7421952 753 33554432000 4194304 8989770 140734245281392 140734602933384 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 1812 753 424 1171 0 589 0
[startup+0.0557531 s]
/proc/loadavg: 1.96 2.01 2.00 3/176 26262
/proc/meminfo: memFree=31335032/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=9296 CPUtime=0.04 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 1473 0 0 0 4 0 0 0 20 0 1 0 331088272 9519104 1394 33554432000 4194304 8989770 140734245281392 140734602933384 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 2324 1394 431 1171 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9296
[startup+0.100325 s]
/proc/loadavg: 1.96 2.01 2.00 3/176 26262
/proc/meminfo: memFree=31335032/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 2113 0 0 0 9 0 0 0 20 0 1 0 331088272 11616256 2034 33554432000 4194304 8989770 140734245281392 140734602933384 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 2836 2034 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300329 s]
/proc/loadavg: 1.96 2.01 2.00 3/176 26262
/proc/meminfo: memFree=31335032/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=22608 CPUtime=0.29 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 4929 0 0 0 29 0 0 0 20 0 1 0 331088272 23150592 4850 33554432000 4194304 8989770 140734245281392 140734602933384 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 5652 4850 431 1171 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22608
[startup+0.700324 s]
/proc/loadavg: 1.96 2.01 2.00 3/176 26262
/proc/meminfo: memFree=31335032/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=46160 CPUtime=0.69 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 10817 0 0 0 67 2 0 0 20 0 1 0 331088272 47267840 10738 33554432000 4194304 8989770 140734245281392 140734602933384 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 11540 10738 431 1171 0 10317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46160
[startup+1.50033 s]
/proc/loadavg: 1.96 2.01 2.00 3/177 26263
/proc/meminfo: memFree=31271892/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=98384 CPUtime=1.48 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 23873 0 0 0 143 5 0 0 20 0 1 0 331088272 100745216 23794 33554432000 4194304 8989770 140734245281392 140734245280888 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 24596 23794 431 1171 0 23373 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 98384
[startup+3.10035 s]
/proc/loadavg: 1.96 2.01 2.00 3/177 26263
/proc/meminfo: memFree=31210388/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=221264 CPUtime=3.09 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 54381 0 0 0 298 11 0 0 20 0 1 0 331088272 226574336 54302 33554432000 4194304 8989770 140734245281392 140734245279360 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 55316 54302 431 1171 0 54093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 221264
[startup+6.30035 s]
/proc/loadavg: 1.97 2.01 2.00 3/177 26263
/proc/meminfo: memFree=30954948/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=408656 CPUtime=6.29 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 101400 0 0 0 611 18 0 0 20 0 1 0 331088272 418463744 101321 33554432000 4194304 8989770 140734245281392 140734245280888 4209595 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 102164 101327 447 1171 0 100941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 408656
[startup+12.7003 s]
/proc/loadavg: 1.97 2.01 2.00 3/177 26263
/proc/meminfo: memFree=30863204/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=506960 CPUtime=12.69 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 126040 0 0 0 1245 24 0 0 20 0 1 0 331088272 519127040 125961 33554432000 4194304 8989770 140734245281392 140734245280496 4457679 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 126740 125961 448 1171 0 125517 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 506960
[startup+25.5004 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 26263
/proc/meminfo: memFree=30791532/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=546896 CPUtime=25.48 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 136038 0 0 0 2521 27 0 0 20 0 1 0 331088272 560021504 135959 33554432000 4194304 8989770 140734245281392 140734245280888 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 136724 135959 462 1171 0 135501 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 546896
[startup+51.1004 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 26263
/proc/meminfo: memFree=30773304/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=565328 CPUtime=51.08 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 140646 0 0 0 5078 30 0 0 20 0 1 0 331088272 578895872 140567 33554432000 4194304 8989770 140734245281392 140734245280888 4446276 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 141332 140567 462 1171 0 140109 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 565328
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 26263
/proc/meminfo: memFree=30738936/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=599120 CPUtime=102.27 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 149103 0 0 0 10183 44 0 0 20 0 1 0 331088272 613498880 149020 33554432000 4194304 8989770 140734245281392 140734245280888 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 149780 149020 462 1171 0 148557 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 599120
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 26264
/proc/meminfo: memFree=30727680/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=610384 CPUtime=162.25 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 151931 0 0 0 16172 53 0 0 20 0 1 0 331088272 625033216 151836 33554432000 4194304 8989770 140734245281392 140734245280656 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 152596 151836 462 1171 0 151373 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 610384
[startup+222.306 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 26267
/proc/meminfo: memFree=30709968/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=627792 CPUtime=222.23 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 156312 0 0 0 22156 67 0 0 20 0 1 0 331088272 642859008 156188 33554432000 4194304 8989770 140734245281392 140734245280888 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 156948 156188 462 1171 0 155725 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 627792
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 26267
/proc/meminfo: memFree=30686692/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=652368 CPUtime=282.2 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 162248 0 0 0 28127 93 0 0 20 0 1 0 331088272 668024832 162104 33554432000 4194304 8989770 140734245281392 140734245263360 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 163092 162104 462 1171 0 161869 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 652368
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 26267
/proc/meminfo: memFree=30666756/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=671824 CPUtime=342.19 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 167211 0 0 0 34101 118 0 0 20 0 1 0 331088272 687947776 167064 33554432000 4194304 8989770 140734245281392 140734245280888 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 167956 167064 462 1171 0 166733 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 671824
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 26267
/proc/meminfo: memFree=30644232/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=694352 CPUtime=402.14 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 173000 0 0 0 40074 140 0 0 20 0 1 0 331088272 711016448 172806 33554432000 4194304 8989770 140734245281392 140734245280656 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 173588 172806 462 1171 0 172365 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 694352
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26268
/proc/meminfo: memFree=30635564/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=703568 CPUtime=462.11 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 175207 0 0 0 46051 160 0 0 20 0 1 0 331088272 720453632 174990 33554432000 4194304 8989770 140734245281392 140734245280656 7953280 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 175892 174990 462 1171 0 174669 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 703568
[startup+522.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 26268
/proc/meminfo: memFree=30629408/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=709712 CPUtime=522.07 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 176797 0 0 0 52023 184 0 0 20 0 1 0 331088272 726745088 176547 33554432000 4194304 8989770 140734245281392 140734245280888 6832825 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 177428 176547 462 1171 0 176205 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 709712
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26268
/proc/meminfo: memFree=30624128/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=714832 CPUtime=582.07 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 178175 0 0 0 58000 207 0 0 20 0 1 0 331088272 731987968 177925 33554432000 4194304 8989770 140734245281392 140734245280888 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 178708 177925 462 1171 0 177485 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 714832
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.02 1.48 1.79 2/172 26297
/proc/meminfo: memFree=30769280/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=742480 CPUtime=822.03 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 184955 0 0 0 81918 285 0 0 20 0 1 0 331088272 760299520 184705 33554432000 4194304 8989770 140734245281392 140734245263360 4208823 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 185620 184705 462 1171 0 184397 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 742480
[startup+882.306 s]
/proc/loadavg: 1.01 1.39 1.73 2/171 26297
/proc/meminfo: memFree=30766560/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=744528 CPUtime=882.03 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 185622 0 0 0 87899 304 0 0 20 0 1 0 331088272 762396672 185372 33554432000 4194304 8989770 140734245281392 140734245280656 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 186132 185372 462 1171 0 184909 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 744528
[startup+942.3 s]
/proc/loadavg: 1.00 1.32 1.68 2/171 26297
/proc/meminfo: memFree=30756268/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=754768 CPUtime=942.01 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 188182 0 0 0 93886 315 0 0 20 0 1 0 331088272 772882432 187932 33554432000 4194304 8989770 140734245281392 140734245279360 4204320 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 188692 187932 462 1171 0 187469 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 754768
[startup+1002.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/171 26297
/proc/meminfo: memFree=30740768/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=770128 CPUtime=1002 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 192022 0 0 0 99873 327 0 0 20 0 1 0 331088272 788611072 191772 33554432000 4194304 8989770 140734245281392 140734245280888 7424317 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 192532 191772 462 1171 0 191309 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 770128
[startup+1062.3 s]
/proc/loadavg: 1.00 1.21 1.60 2/171 26298
/proc/meminfo: memFree=30736580/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=774224 CPUtime=1061.98 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 193055 0 0 0 105862 336 0 0 20 0 1 0 331088272 792805376 192796 33554432000 4194304 8989770 140734245281392 140734245280888 4205046 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 193556 192796 462 1171 0 192333 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 774224
[startup+1122.3 s]
/proc/loadavg: 1.00 1.17 1.56 2/171 26298
/proc/meminfo: memFree=30722720/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=788560 CPUtime=1121.98 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 196551 0 0 0 111851 347 0 0 20 0 1 0 331088272 807485440 196290 33554432000 4194304 8989770 140734245281392 140734245280888 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 197140 196290 462 1171 0 195917 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 788560
[startup+1182.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/171 26298
/proc/meminfo: memFree=30714164/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=796752 CPUtime=1181.97 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 198689 0 0 0 117842 355 0 0 20 0 1 0 331088272 815874048 198428 33554432000 4194304 8989770 140734245281392 140734245280656 4209382 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 199188 198428 462 1171 0 197965 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 796752
[startup+1242.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/171 26298
/proc/meminfo: memFree=30707592/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=802896 CPUtime=1241.96 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 200225 0 0 0 123833 363 0 0 20 0 1 0 331088272 822165504 199964 33554432000 4194304 8989770 140734245281392 140734245280888 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 200724 199964 462 1171 0 199501 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 802896
[startup+1302.3 s]
/proc/loadavg: 1.00 1.08 1.45 2/171 26298
/proc/meminfo: memFree=30696556/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=814160 CPUtime=1301.95 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 203041 0 0 0 129820 375 0 0 20 0 1 0 331088272 833699840 202780 33554432000 4194304 8989770 140734245281392 140734245280656 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 203540 202780 462 1171 0 202317 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 814160
[startup+1362.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/171 26298
/proc/meminfo: memFree=30678824/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=831568 CPUtime=1361.94 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 207393 0 0 0 135807 387 0 0 20 0 1 0 331088272 851525632 207132 33554432000 4194304 8989770 140734245281392 140734245280656 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 207892 207132 462 1171 0 206669 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 831568
[startup+1422.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/172 26302
/proc/meminfo: memFree=30672988/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=838736 CPUtime=1421.93 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 208957 0 0 0 141796 397 0 0 20 0 1 0 331088272 858865664 208696 33554432000 4194304 8989770 140734245281392 140734245280656 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 209684 208696 462 1171 0 208461 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 838736
[startup+1482.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/171 26302
/proc/meminfo: memFree=30668160/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=842832 CPUtime=1481.93 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 210209 0 0 0 147783 410 0 0 20 0 1 0 331088272 863059968 209948 33554432000 4194304 8989770 140734245281392 140734245280656 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 210708 209948 462 1171 0 209485 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 842832
[startup+1542.31 s]
/proc/loadavg: 1.00 1.03 1.34 2/171 26302
/proc/meminfo: memFree=30661712/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=850000 CPUtime=1541.92 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 211800 0 0 0 153767 425 0 0 20 0 1 0 331088272 870400000 211539 33554432000 4194304 8989770 140734245281392 140734245280656 7732173 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 212500 211539 462 1171 0 211277 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 850000
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/171 26302
/proc/meminfo: memFree=30659532/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=852048 CPUtime=1601.9 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 212344 0 0 0 159751 439 0 0 20 0 1 0 331088272 872497152 212074 33554432000 4194304 8989770 140734245281392 140734245280656 4425787 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 213012 212074 462 1171 0 211789 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 852048
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/171 26302
/proc/meminfo: memFree=30653456/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=858192 CPUtime=1661.89 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 213919 0 0 0 165737 452 0 0 20 0 1 0 331088272 878788608 213649 33554432000 4194304 8989770 140734245281392 140734245279616 4426168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 214548 213649 462 1171 0 213325 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 858192
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/172 26304
/proc/meminfo: memFree=30646628/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=864336 CPUtime=1721.88 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 215556 0 0 0 171724 464 0 0 20 0 1 0 331088272 885080064 215286 33554432000 4194304 8989770 140734245281392 140734245280656 4208833 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 216084 215286 462 1171 0 214861 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 864336
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/171 26304
/proc/meminfo: memFree=30642544/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=868432 CPUtime=1781.87 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 216531 0 0 0 177710 477 0 0 20 0 1 0 331088272 889274368 216261 33554432000 4194304 8989770 140734245281392 140734245280888 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 217108 216261 462 1171 0 215885 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 868432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.25 2/171 26304
/proc/meminfo: memFree=30642544/32873844 swapFree=7116/7116
[pid=26262] ppid=26260 vsize=868432 CPUtime=1800.08 cores=0,2,4,6
/proc/26262/stat : 26262 (toysat) R 26260 26262 24826 0 -1 4202496 216618 0 0 0 179527 481 0 0 20 0 1 0 331088272 889274368 216348 33554432000 4194304 8989770 140734245281392 140734245280496 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/26262/statm: 217108 216348 462 1171 0 215885 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 868432
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.51
CPU time (s): 1800.09
CPU user time (s): 1795.27
CPU system time (s): 4.81627
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 868432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.27
system time used= 4.81627
maximum resident set size= 865392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216618
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= 199
involuntary context switches= 1843
runsolver used 3.50147 second user time and 8.42272 second system time
The end