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-3706252-1338312749/watcher-3706252-1338312749 -o /tmp/evaluation-result-3706252-1338312749/solver-3706252-1338312749 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706252-1338312749.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.90 1.79 1.77 3/176 3544
/proc/meminfo: memFree=29914964/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 297401026 7405568 744 33554432000 4194304 8973514 140737002939840 140734026853896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 1808 744 415 1167 0 589 0
[startup+0.106109 s]
/proc/loadavg: 1.90 1.79 1.77 3/176 3544
/proc/meminfo: memFree=29914964/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 2357 0 0 0 9 0 0 0 20 0 1 0 297401026 12648448 2278 33554432000 4194304 8973514 140737002939840 140734026853896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 3088 2278 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.200269 s]
/proc/loadavg: 1.90 1.79 1.77 3/176 3544
/proc/meminfo: memFree=29914964/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=17472 CPUtime=0.18 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 3637 0 0 0 18 0 0 0 20 0 1 0 297401026 17891328 3558 33554432000 4194304 8973514 140737002939840 140734026853896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 4368 3558 418 1167 0 3149 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 17472
[startup+0.300287 s]
/proc/loadavg: 1.90 1.79 1.77 3/176 3544
/proc/meminfo: memFree=29914964/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 6048 0 0 0 28 1 0 0 20 0 1 0 297401026 28377088 5969 33554432000 4194304 8973514 140737002939840 140734026853896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 6928 5969 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712
[startup+0.700243 s]
/proc/loadavg: 1.90 1.79 1.77 3/176 3544
/proc/meminfo: memFree=29914964/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=46144 CPUtime=0.69 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 10805 0 0 0 67 2 0 0 20 0 1 0 297401026 47251456 10726 33554432000 4194304 8973514 140737002939840 140737002939336 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 11536 10726 418 1167 0 10317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46144
[startup+1.50024 s]
/proc/loadavg: 1.90 1.79 1.77 3/177 3545
/proc/meminfo: memFree=29837820/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=110656 CPUtime=1.48 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 26933 0 0 0 143 5 0 0 20 0 1 0 297401026 113311744 26854 33554432000 4194304 8973514 140737002939840 140737002939336 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 27664 26854 418 1167 0 26445 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 110656
[startup+3.10024 s]
/proc/loadavg: 1.90 1.79 1.77 3/177 3545
/proc/meminfo: memFree=29770960/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=200768 CPUtime=3.09 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 49461 0 0 0 299 10 0 0 20 0 1 0 297401026 205586432 49382 33554432000 4194304 8973514 140737002939840 140737002939336 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 50192 49382 418 1167 0 48973 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 200768
[startup+6.30026 s]
/proc/loadavg: 1.91 1.79 1.77 3/177 3545
/proc/meminfo: memFree=29547632/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=414784 CPUtime=6.28 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 102859 0 0 0 609 19 0 0 20 0 1 0 297401026 424738816 102780 33554432000 4194304 8973514 140737002939840 140737002939336 4213859 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 103696 102788 418 1167 0 102477 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 414784
[startup+12.7003 s]
/proc/loadavg: 1.91 1.79 1.77 3/177 3545
/proc/meminfo: memFree=29357708/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=640064 CPUtime=12.69 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 159308 0 0 0 1240 29 0 0 20 0 1 0 297401026 655425536 159229 33554432000 4194304 8973514 140737002939840 140737002939104 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 160016 159229 435 1167 0 158797 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 640064
[startup+25.5003 s]
/proc/loadavg: 1.93 1.80 1.78 3/177 3545
/proc/meminfo: memFree=29258748/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=660544 CPUtime=25.48 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 164428 0 0 0 2517 31 0 0 20 0 1 0 297401026 676397056 164349 33554432000 4194304 8973514 140737002939840 140737002937856 4213504 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165136 164349 435 1167 0 163917 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 660544
[startup+51.1003 s]
/proc/loadavg: 1.95 1.82 1.78 3/177 3546
/proc/meminfo: memFree=29258880/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=660544 CPUtime=51.08 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 164428 0 0 0 5073 35 0 0 20 0 1 0 297401026 676397056 164349 33554432000 4194304 8973514 140737002939840 140737002937792 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165136 164349 435 1167 0 163917 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 660544
[startup+102.3 s]
/proc/loadavg: 1.98 1.84 1.79 3/177 3546
/proc/meminfo: memFree=29258800/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=660544 CPUtime=102.28 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 164428 0 0 0 10185 43 0 0 20 0 1 0 297401026 676397056 164349 33554432000 4194304 8973514 140737002939840 140737002937792 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165136 164349 435 1167 0 163917 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 660544
[startup+162.3 s]
/proc/loadavg: 2.03 1.88 1.81 3/177 3546
/proc/meminfo: memFree=29257592/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=661568 CPUtime=162.26 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 164684 0 0 0 16174 52 0 0 20 0 1 0 297401026 677445632 164605 33554432000 4194304 8973514 140737002939840 140737002939336 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165392 164605 435 1167 0 164173 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 661568
[startup+222.307 s]
/proc/loadavg: 2.05 1.92 1.82 3/177 3546
/proc/meminfo: memFree=29257748/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=661568 CPUtime=222.26 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 164684 0 0 0 22163 63 0 0 20 0 1 0 297401026 677445632 164605 33554432000 4194304 8973514 140737002939840 140737002939336 4204596 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165392 164605 435 1167 0 164173 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 661568
[startup+282.3 s]
/proc/loadavg: 2.02 1.93 1.83 3/177 3546
/proc/meminfo: memFree=29256784/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=662592 CPUtime=282.25 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 164940 0 0 0 28153 72 0 0 20 0 1 0 297401026 678494208 164861 33554432000 4194304 8973514 140737002939840 140737002939336 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165648 164861 435 1167 0 164429 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 662592
[startup+342.3 s]
/proc/loadavg: 2.00 1.94 1.83 3/177 3546
/proc/meminfo: memFree=29256196/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=662592 CPUtime=342.23 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 164941 0 0 0 34142 81 0 0 20 0 1 0 297401026 678494208 164861 33554432000 4194304 8973514 140737002939840 140737002939104 4209429 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165648 164861 435 1167 0 164429 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 662592
[startup+402.3 s]
/proc/loadavg: 2.00 1.95 1.84 3/177 3547
/proc/meminfo: memFree=29256224/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=662592 CPUtime=402.23 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 164943 0 0 0 40132 91 0 0 20 0 1 0 297401026 678494208 164861 33554432000 4194304 8973514 140737002939840 140737002939104 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165648 164861 435 1167 0 164429 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 662592
[startup+462.3 s]
/proc/loadavg: 2.00 1.95 1.84 3/178 3550
/proc/meminfo: memFree=29216316/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=662592 CPUtime=462.21 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 164948 0 0 0 46121 100 0 0 20 0 1 0 297401026 678494208 164861 33554432000 4194304 8973514 140737002939840 140737002937792 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165648 164861 435 1167 0 164429 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 662592
[startup+522.3 s]
/proc/loadavg: 2.00 1.96 1.85 3/177 3550
/proc/meminfo: memFree=29215680/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=663616 CPUtime=522.2 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 165204 0 0 0 52109 111 0 0 20 0 1 0 297401026 679542784 165117 33554432000 4194304 8973514 140737002939840 140737002939104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165904 165117 435 1167 0 164685 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 663616
[startup+582.3 s]
/proc/loadavg: 2.07 1.98 1.86 3/177 3550
/proc/meminfo: memFree=29214676/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=663616 CPUtime=582.2 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 165204 0 0 0 58100 120 0 0 20 0 1 0 297401026 679542784 165117 33554432000 4194304 8973514 140737002939840 140737002937792 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 165904 165117 435 1167 0 164685 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 663616
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.98 1.89 3/177 3551
/proc/meminfo: memFree=29169484/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=708672 CPUtime=822.16 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 176483 0 0 0 82059 157 0 0 20 0 1 0 297401026 725680128 176391 33554432000 4194304 8973514 140737002939840 140737002937792 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177168 176391 445 1167 0 175949 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 708672
[startup+882.307 s]
/proc/loadavg: 2.06 2.00 1.90 3/177 3551
/proc/meminfo: memFree=29168368/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=709696 CPUtime=882.16 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 176739 0 0 0 88050 166 0 0 20 0 1 0 297401026 726728704 176647 33554432000 4194304 8973514 140737002939840 140737002937856 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177424 176647 445 1167 0 176205 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 709696
[startup+942.3 s]
/proc/loadavg: 2.02 2.00 1.90 3/177 3551
/proc/meminfo: memFree=29167376/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=709696 CPUtime=942.14 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 176739 0 0 0 94039 175 0 0 20 0 1 0 297401026 726728704 176647 33554432000 4194304 8973514 140737002939840 140737002939104 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177424 176647 445 1167 0 176205 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 709696
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 3552
/proc/meminfo: memFree=29167500/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=709696 CPUtime=1002.13 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 176739 0 0 0 100029 184 0 0 20 0 1 0 297401026 726728704 176647 33554432000 4194304 8973514 140737002939840 140737002939104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177424 176647 445 1167 0 176205 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 709696
[startup+1062.3 s]
/proc/loadavg: 2.08 2.01 1.91 3/178 3555
/proc/meminfo: memFree=29167828/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=709696 CPUtime=1062.12 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 176739 0 0 0 106019 193 0 0 20 0 1 0 297401026 726728704 176647 33554432000 4194304 8973514 140737002939840 140737002939336 4213458 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177424 176647 445 1167 0 176205 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 709696
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 3555
/proc/meminfo: memFree=29166656/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=710720 CPUtime=1122.11 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 176995 0 0 0 112007 204 0 0 20 0 1 0 297401026 727777280 176903 33554432000 4194304 8973514 140737002939840 140737002939104 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177680 176903 445 1167 0 176461 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 710720
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 3555
/proc/meminfo: memFree=29166180/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=710720 CPUtime=1182.1 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 176995 0 0 0 117998 212 0 0 20 0 1 0 297401026 727777280 176903 33554432000 4194304 8973514 140737002939840 140737002939104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177680 176903 445 1167 0 176461 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 710720
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 3555
/proc/meminfo: memFree=29166056/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=710720 CPUtime=1242.09 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 176995 0 0 0 123989 220 0 0 20 0 1 0 297401026 727777280 176903 33554432000 4194304 8973514 140737002939840 140737002939104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177680 176903 445 1167 0 176461 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 710720
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 3556
/proc/meminfo: memFree=29166304/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=710720 CPUtime=1302.08 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 176995 0 0 0 129980 228 0 0 20 0 1 0 297401026 727777280 176903 33554432000 4194304 8973514 140737002939840 140737002937664 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177680 176903 445 1167 0 176461 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 710720
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 3556
/proc/meminfo: memFree=29165188/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=711744 CPUtime=1362.08 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 177251 0 0 0 135972 236 0 0 20 0 1 0 297401026 728825856 177159 33554432000 4194304 8973514 140737002939840 140737002937792 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177936 177159 445 1167 0 176717 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 711744
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 3556
/proc/meminfo: memFree=29165436/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=711744 CPUtime=1422.07 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 177251 0 0 0 141962 245 0 0 20 0 1 0 297401026 728825856 177159 33554432000 4194304 8973514 140737002939840 140737002939336 4214568 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177936 177159 445 1167 0 176717 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 711744
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 3556
/proc/meminfo: memFree=29165436/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=711744 CPUtime=1482.06 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 177251 0 0 0 147952 254 0 0 20 0 1 0 297401026 728825856 177159 33554432000 4194304 8973514 140737002939840 140737002939336 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177936 177159 445 1167 0 176717 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 711744
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 3556
/proc/meminfo: memFree=29165316/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=711744 CPUtime=1542.05 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 177254 0 0 0 153944 261 0 0 20 0 1 0 297401026 728825856 177162 33554432000 4194304 8973514 140737002939840 140737002939104 4209344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177936 177162 448 1167 0 176717 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 711744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 3557
/proc/meminfo: memFree=29164756/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=711744 CPUtime=1602.04 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 177254 0 0 0 159933 271 0 0 20 0 1 0 297401026 728825856 177162 33554432000 4194304 8973514 140737002939840 140737002939336 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177936 177162 448 1167 0 176717 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 711744
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 3560
/proc/meminfo: memFree=29165128/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=711744 CPUtime=1662.03 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 177254 0 0 0 165923 280 0 0 20 0 1 0 297401026 728825856 177162 33554432000 4194304 8973514 140737002939840 140737002939336 4205036 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177936 177162 448 1167 0 176717 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 711744
[startup+1722.3 s]
/proc/loadavg: 1.53 1.87 1.88 2/172 3607
/proc/meminfo: memFree=29849516/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=711744 CPUtime=1722.02 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 177254 0 0 0 171914 288 0 0 20 0 1 0 297401026 728825856 177162 33554432000 4194304 8973514 140737002939840 140737002939104 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177936 177162 448 1167 0 176717 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 711744
[startup+1782.3 s]
/proc/loadavg: 1.19 1.71 1.82 2/171 3607
/proc/meminfo: memFree=29849876/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=711744 CPUtime=1782.01 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 177254 0 0 0 177905 296 0 0 20 0 1 0 297401026 728825856 177162 33554432000 4194304 8973514 140737002939840 140737002939104 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177936 177162 448 1167 0 176717 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 711744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.14 1.66 1.80 2/171 3607
/proc/meminfo: memFree=29849752/32873648 swapFree=7372/7372
[pid=3544] ppid=3542 vsize=711744 CPUtime=1800.01 cores=1,3,5,7
/proc/3544/stat : 3544 (toysat) R 3542 3544 1716 0 -1 4202496 177254 0 0 0 179703 298 0 0 20 0 1 0 297401026 728825856 177162 33554432000 4194304 8973514 140737002939840 140737002939104 4214466 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3544/statm: 177936 177162 448 1167 0 176717 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 711744
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.31
CPU time (s): 1800.03
CPU user time (s): 1797.04
CPU system time (s): 2.98954
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 711744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.04
system time used= 2.98955
maximum resident set size= 708648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177254
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= 16
involuntary context switches= 1852
runsolver used 3.15952 second user time and 9.78551 second system time
The end