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-3724572-1338635134/watcher-3724572-1338635134 -o /tmp/evaluation-result-3724572-1338635134/solver-3724572-1338635134 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724572-1338635134.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: 1.86 1.97 1.90 3/176 16296
/proc/meminfo: memFree=27711436/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 846 0 0 0 0 0 0 0 20 0 1 0 329639470 7421952 767 33554432000 4194304 8989770 140736096332592 140736720119304 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 1812 767 426 1171 0 589 0
[startup+0.0911321 s]
/proc/loadavg: 1.86 1.97 1.90 3/176 16296
/proc/meminfo: memFree=27711436/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=12368 CPUtime=0.08 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 2217 0 0 0 8 0 0 0 20 0 1 0 329639470 12664832 2138 33554432000 4194304 8989770 140736096332592 140736096332088 5798160 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 3092 2138 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368
[startup+0.100342 s]
/proc/loadavg: 1.86 1.97 1.90 3/176 16296
/proc/meminfo: memFree=27711436/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 2380 0 0 0 9 0 0 0 20 0 1 0 329639470 12664832 2301 33554432000 4194304 8989770 140736096332592 140736096332088 5397314 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 3092 2301 437 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300296 s]
/proc/loadavg: 1.86 1.97 1.90 3/176 16296
/proc/meminfo: memFree=27711436/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=17488 CPUtime=0.29 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 3672 0 0 0 29 0 0 0 20 0 1 0 329639470 17907712 3593 33554432000 4194304 8989770 140736096332592 140736096332088 5383791 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 4372 3593 449 1171 0 3149 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17488
[startup+0.700227 s]
/proc/loadavg: 1.86 1.97 1.90 3/176 16296
/proc/meminfo: memFree=27711436/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=17488 CPUtime=0.69 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 3672 0 0 0 69 0 0 0 20 0 1 0 329639470 17907712 3593 33554432000 4194304 8989770 140736096332592 140736096332088 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 4372 3593 449 1171 0 3149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17488
[startup+1.50029 s]
/proc/loadavg: 1.86 1.97 1.90 3/177 16297
/proc/meminfo: memFree=27698640/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=21584 CPUtime=1.49 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 4709 0 0 0 148 1 0 0 20 0 1 0 329639470 22102016 4630 33554432000 4194304 8989770 140736096332592 140736096332088 7416642 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 5396 4630 462 1171 0 4173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21584
[startup+3.1003 s]
/proc/loadavg: 1.86 1.97 1.90 3/177 16297
/proc/meminfo: memFree=27692316/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=22608 CPUtime=3.09 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 4965 0 0 0 307 2 0 0 20 0 1 0 329639470 23150592 4886 33554432000 4194304 8989770 140736096332592 140736096332088 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 5652 4886 462 1171 0 4429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22608
[startup+6.3003 s]
/proc/loadavg: 1.87 1.97 1.90 3/177 16297
/proc/meminfo: memFree=27691076/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=22608 CPUtime=6.29 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 4965 0 0 0 626 3 0 0 20 0 1 0 329639470 23150592 4886 33554432000 4194304 8989770 140736096332592 140736096332088 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 5652 4886 462 1171 0 4429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22608
[startup+12.7003 s]
/proc/loadavg: 1.96 1.98 1.91 3/176 16297
/proc/meminfo: memFree=27689672/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=22608 CPUtime=12.69 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 4965 0 0 0 1263 6 0 0 20 0 1 0 329639470 23150592 4886 33554432000 4194304 8989770 140736096332592 140736096332088 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 5652 4886 462 1171 0 4429 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22608
[startup+25.5003 s]
/proc/loadavg: 1.97 1.98 1.91 3/177 16298
/proc/meminfo: memFree=27682456/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=23632 CPUtime=25.49 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 5221 0 0 0 2538 11 0 0 20 0 1 0 329639470 24199168 5142 33554432000 4194304 8989770 140736096332592 140736096332088 7688471 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 5908 5142 462 1171 0 4685 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23632
[startup+51.1002 s]
/proc/loadavg: 1.98 1.98 1.91 3/177 16298
/proc/meminfo: memFree=27673604/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=24656 CPUtime=51.09 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 5477 0 0 0 5087 22 0 0 20 0 1 0 329639470 25247744 5398 33554432000 4194304 8989770 140736096332592 140736096332088 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 6164 5398 462 1171 0 4941 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24656
[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 16298
/proc/meminfo: memFree=27598760/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=76880 CPUtime=102.26 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 18560 0 0 0 10186 40 0 0 20 0 1 0 329639470 78725120 18459 33554432000 4194304 8989770 140736096332592 140736096331856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 19220 18459 462 1171 0 17997 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 76880
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 16298
/proc/meminfo: memFree=27523352/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=133200 CPUtime=162.25 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 32640 0 0 0 16166 59 0 0 20 0 1 0 329639470 136396800 32539 33554432000 4194304 8989770 140736096332592 140736096331856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 33300 32539 462 1171 0 32077 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 133200
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 16298
/proc/meminfo: memFree=27470808/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=170064 CPUtime=222.23 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 41858 0 0 0 22145 78 0 0 20 0 1 0 329639470 174145536 41755 33554432000 4194304 8989770 140736096332592 140736096331856 4214368 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 42516 41755 462 1171 0 41293 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 170064
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 16301
/proc/meminfo: memFree=27437596/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=199760 CPUtime=282.2 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 49325 0 0 0 28124 96 0 0 20 0 1 0 329639470 204554240 49179 33554432000 4194304 8989770 140736096332592 140736096332088 7686861 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 49940 49179 462 1171 0 48717 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 199760
[startup+342.3 s]
/proc/loadavg: 2.05 2.00 1.91 3/177 16302
/proc/meminfo: memFree=27393060/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=227408 CPUtime=342.18 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 56247 0 0 0 34107 111 0 0 20 0 1 0 329639470 232865792 56091 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 56852 56091 462 1171 0 55629 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 227408
[startup+402.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/177 16302
/proc/meminfo: memFree=27345536/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=258128 CPUtime=402.17 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 63927 0 0 0 40092 125 0 0 20 0 1 0 329639470 264323072 63771 33554432000 4194304 8989770 140736096332592 140736096331856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 64532 63771 462 1171 0 63309 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 258128
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 16302
/proc/meminfo: memFree=27300256/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=290896 CPUtime=462.16 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 71951 0 0 0 46077 139 0 0 20 0 1 0 329639470 297877504 71795 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 72724 71795 462 1171 0 71501 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 290896
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 16302
/proc/meminfo: memFree=27262188/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=318544 CPUtime=522.15 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 78858 0 0 0 52061 154 0 0 20 0 1 0 329639470 326189056 78702 33554432000 4194304 8989770 140736096332592 140736096331856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 79636 78702 462 1171 0 78413 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 318544
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 16302
/proc/meminfo: memFree=27232168/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=348240 CPUtime=582.11 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 86357 0 0 0 58044 167 0 0 20 0 1 0 329639470 356597760 86165 33554432000 4194304 8989770 140736096332592 140736096331856 7710386 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 87060 86165 462 1171 0 85837 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 348240
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 16303
/proc/meminfo: memFree=27181964/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=396368 CPUtime=822.06 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 98555 0 0 0 81996 210 0 0 20 0 1 0 329639470 405880832 98333 33554432000 4194304 8989770 140736096332592 140736096331856 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 99092 98333 464 1171 0 97869 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 396368
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 16306
/proc/meminfo: memFree=27181832/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=397392 CPUtime=882.04 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 98571 0 0 0 87986 218 0 0 20 0 1 0 329639470 406929408 98349 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 99348 98349 464 1171 0 98125 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 397392
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 16307
/proc/meminfo: memFree=27182088/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=397392 CPUtime=942.04 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 98571 0 0 0 93974 230 0 0 20 0 1 0 329639470 406929408 98349 33554432000 4194304 8989770 140736096332592 140736096332088 6586375 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 99348 98349 464 1171 0 98125 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 397392
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16307
/proc/meminfo: memFree=27169664/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=397392 CPUtime=1002.03 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 98577 0 0 0 99964 239 0 0 20 0 1 0 329639470 406929408 98349 33554432000 4194304 8989770 140736096332592 140736096332088 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 99348 98349 464 1171 0 98125 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 397392
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16307
/proc/meminfo: memFree=27169600/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=397392 CPUtime=1062.02 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 98577 0 0 0 105952 250 0 0 20 0 1 0 329639470 406929408 98349 33554432000 4194304 8989770 140736096332592 140736096331856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 99348 98349 464 1171 0 98125 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 397392
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16307
/proc/meminfo: memFree=27161168/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=406608 CPUtime=1122.01 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 100912 0 0 0 111941 260 0 0 20 0 1 0 329639470 416366592 100684 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 101652 100684 464 1171 0 100429 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 406608
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16307
/proc/meminfo: memFree=27136908/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=406608 CPUtime=1182 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 101121 0 0 0 117927 273 0 0 20 0 1 0 329639470 416366592 100893 33554432000 4194304 8989770 140736096332592 140736096331912 4209278 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 101652 100893 464 1171 0 100429 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 406608
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16309
/proc/meminfo: memFree=27130576/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=406608 CPUtime=1241.99 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 101121 0 0 0 123913 286 0 0 20 0 1 0 329639470 416366592 100893 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 101652 100893 464 1171 0 100429 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 406608
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 16309
/proc/meminfo: memFree=27130212/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=406608 CPUtime=1301.99 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 101121 0 0 0 129902 297 0 0 20 0 1 0 329639470 416366592 100893 33554432000 4194304 8989770 140736096332592 140736096332088 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 101652 100893 464 1171 0 100429 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 406608
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 16309
/proc/meminfo: memFree=27111240/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=406608 CPUtime=1361.97 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 101121 0 0 0 135888 309 0 0 20 0 1 0 329639470 416366592 100893 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 101652 100893 464 1171 0 100429 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 406608
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 16309
/proc/meminfo: memFree=27105900/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=406608 CPUtime=1421.97 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 101121 0 0 0 141876 321 0 0 20 0 1 0 329639470 416366592 100893 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 101652 100893 464 1171 0 100429 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 406608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16312
/proc/meminfo: memFree=27101552/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=406608 CPUtime=1481.95 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 101121 0 0 0 147862 333 0 0 20 0 1 0 329639470 416366592 100893 33554432000 4194304 8989770 140736096332592 140736096331856 4209357 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 101652 100893 464 1171 0 100429 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 406608
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16313
/proc/meminfo: memFree=27101468/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=406608 CPUtime=1541.94 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 101121 0 0 0 153851 343 0 0 20 0 1 0 329639470 416366592 100893 33554432000 4194304 8989770 140736096332592 140736096331856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 101652 100893 464 1171 0 100429 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 406608
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16313
/proc/meminfo: memFree=27072060/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=436304 CPUtime=1601.94 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 108545 0 0 0 159840 354 0 0 20 0 1 0 329639470 446775296 108317 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 109076 108317 464 1171 0 107853 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 436304
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16313
/proc/meminfo: memFree=27027420/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=467024 CPUtime=1661.93 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 116095 0 0 0 165829 364 0 0 20 0 1 0 329639470 478232576 115867 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 116756 115867 464 1171 0 115533 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 467024
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16313
/proc/meminfo: memFree=26998156/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=497744 CPUtime=1721.92 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 123745 0 0 0 171817 375 0 0 20 0 1 0 329639470 509689856 123517 33554432000 4194304 8989770 140736096332592 140736096332088 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 124436 123517 464 1171 0 123213 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 497744
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 16314
/proc/meminfo: memFree=27267444/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=503888 CPUtime=1781.91 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 125441 0 0 0 177806 385 0 0 20 0 1 0 329639470 515981312 125213 33554432000 4194304 8989770 140736096332592 140736096331856 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 125972 125213 464 1171 0 124749 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 503888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 16352
/proc/meminfo: memFree=27266556/32873844 swapFree=7372/7372
[pid=16296] ppid=16294 vsize=503888 CPUtime=1800.01 cores=1,3,5,7
/proc/16296/stat : 16296 (toysat) R 16294 16296 15814 0 -1 4202496 125443 0 0 0 179614 387 0 0 20 0 1 0 329639470 515981312 125213 33554432000 4194304 8989770 140736096332592 140736096331856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16296/statm: 125972 125213 464 1171 0 124749 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 503888
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.42
CPU time (s): 1800.03
CPU user time (s): 1796.15
CPU system time (s): 3.88541
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 503888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.15
system time used= 3.88541
maximum resident set size= 500852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125443
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= 159
involuntary context switches= 1847
runsolver used 3.87141 second user time and 9.90349 second system time
The end