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-3729107-1338678629/watcher-3729107-1338678629 -o /tmp/evaluation-result-3729107-1338678629/solver-3729107-1338678629 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729107-1338678629.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: 0.07 0.30 1.00 2/177 24708
/proc/meminfo: memFree=28214676/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=2888 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4194304 99 0 0 0 0 0 0 0 20 0 1 0 333991465 2957312 52 33554432000 134512640 135840783 4293725440 4293723300 9740535 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24708/statm: 722 52 40 325 0 33 0
[startup+0.023321 s]
/proc/loadavg: 0.07 0.30 1.00 2/177 24708
/proc/meminfo: memFree=28214676/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) D 24706 24708 24661 0 -1 4194304 167 0 1 0 0 0 0 0 20 0 1 0 333991465 4583424 119 33554432000 134512640 135840783 4293725440 4293724360 9680193 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 1 0 0
/proc/24708/statm: 1119 119 101 325 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4476
[startup+0.100226 s]
/proc/loadavg: 0.07 0.30 1.00 2/177 24708
/proc/meminfo: memFree=28214676/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=6116 CPUtime=0.06 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 868 0 2 0 6 0 0 0 20 0 1 0 333991465 6262784 799 33554432000 134512640 135840783 4293725440 4293724800 134550910 0 0 4096 16384 0 0 0 17 0 0 0 2 0 0
/proc/24708/statm: 1529 799 347 325 0 465 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6116
[startup+0.300178 s]
/proc/loadavg: 0.07 0.30 1.00 2/177 24708
/proc/meminfo: memFree=28214676/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=9852 CPUtime=0.26 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 1783 0 2 0 26 0 0 0 20 0 1 0 333991465 10088448 1714 33554432000 134512640 135840783 4293725440 4293721416 134584986 0 0 4096 16384 0 0 0 17 0 0 0 2 0 0
/proc/24708/statm: 2463 1714 347 325 0 1399 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9852
[startup+0.700177 s]
/proc/loadavg: 0.07 0.30 1.00 2/177 24708
/proc/meminfo: memFree=28214676/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=14492 CPUtime=0.66 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 2944 0 2 0 66 0 0 0 20 0 1 0 333991465 14839808 2875 33554432000 134512640 135840783 4293725440 4293721504 10249511 0 0 4096 16384 0 0 0 17 0 0 0 2 0 0
/proc/24708/statm: 3623 2875 347 325 0 2559 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 14492
[startup+1.50019 s]
/proc/loadavg: 0.07 0.30 1.00 3/178 24709
/proc/meminfo: memFree=28187860/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=20024 CPUtime=1.46 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 4322 0 2 0 145 1 0 0 20 0 1 0 333991465 20504576 4253 33554432000 134512640 135840783 4293725440 4293724752 134550779 0 0 4096 16384 0 0 0 17 0 0 0 2 0 0
/proc/24708/statm: 5006 4253 347 325 0 3942 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 20024
[startup+3.10021 s]
/proc/loadavg: 0.07 0.30 1.00 3/178 24709
/proc/meminfo: memFree=28173344/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=28004 CPUtime=3.06 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 6327 0 2 0 305 1 0 0 20 0 1 0 333991465 28676096 6258 33554432000 134512640 135840783 4293725440 4293724800 134551048 0 0 4096 16384 0 0 0 17 0 0 0 2 0 0
/proc/24708/statm: 7001 6258 347 325 0 5937 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 28004
[startup+6.30026 s]
/proc/loadavg: 0.30 0.35 1.01 3/178 24709
/proc/meminfo: memFree=28142468/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=39860 CPUtime=6.26 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 9277 0 2 0 624 2 0 0 20 0 1 0 333991465 40816640 9208 33554432000 134512640 135840783 4293725440 4293721440 10249511 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 9965 9208 347 325 0 8901 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 39860
[startup+12.7003 s]
/proc/loadavg: 0.44 0.37 1.02 3/178 24709
/proc/meminfo: memFree=28125000/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=46420 CPUtime=12.65 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 10946 0 2 0 1263 2 0 0 20 0 1 0 333991465 47534080 10869 33554432000 134512640 135840783 4293725440 4293724864 134546114 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 11605 10869 347 325 0 10541 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 46420
[startup+25.5003 s]
/proc/loadavg: 0.78 0.45 1.03 3/178 24709
/proc/meminfo: memFree=28113948/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=50628 CPUtime=25.45 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 11999 0 2 0 2542 3 0 0 20 0 1 0 333991465 51843072 11914 33554432000 134512640 135840783 4293725440 4293724800 134551528 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 12657 11914 347 325 0 11593 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 50628
[startup+51.1002 s]
/proc/loadavg: 1.20 0.58 1.06 3/177 24709
/proc/meminfo: memFree=28096176/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=59132 CPUtime=51.03 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 14136 0 2 0 5100 3 0 0 20 0 1 0 333991465 60551168 14045 33554432000 134512640 135840783 4293725440 4293724800 134551264 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 14783 14045 347 325 0 13719 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 59132
[startup+102.306 s]
/proc/loadavg: 1.65 0.79 1.10 3/177 24709
/proc/meminfo: memFree=28081148/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=66668 CPUtime=102.23 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 16019 0 2 0 10220 3 0 0 20 0 1 0 333991465 68268032 15928 33554432000 134512640 135840783 4293725440 4293724660 10246788 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 16667 15928 347 325 0 15603 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 66668
[startup+162.3 s]
/proc/loadavg: 1.87 1.01 1.16 3/177 24709
/proc/meminfo: memFree=28066556/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=73028 CPUtime=162.21 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 17624 0 2 0 16217 4 0 0 20 0 1 0 333991465 74780672 17521 33554432000 134512640 135840783 4293725440 4293724800 134550863 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 18257 17521 347 325 0 17193 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 73028
[startup+222.3 s]
/proc/loadavg: 1.95 1.19 1.21 3/177 24709
/proc/meminfo: memFree=28059044/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=80224 CPUtime=222.2 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 19429 0 2 0 22216 4 0 0 20 0 1 0 333991465 82149376 19324 33554432000 134512640 135840783 4293725440 4293724800 134551175 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 20056 19324 347 325 0 18992 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 80224
[startup+282.3 s]
/proc/loadavg: 1.98 1.33 1.25 3/177 24710
/proc/meminfo: memFree=28051720/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=80224 CPUtime=282.2 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 19433 0 2 0 28215 5 0 0 20 0 1 0 333991465 82149376 19324 33554432000 134512640 135840783 4293725440 4293724800 134551186 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 20056 19324 347 325 0 18992 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 80224
[startup+342.3 s]
/proc/loadavg: 1.99 1.45 1.30 3/177 24710
/proc/meminfo: memFree=28051340/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=80220 CPUtime=342.19 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 19433 0 2 0 34214 5 0 0 20 0 1 0 333991465 82145280 19324 33554432000 134512640 135840783 4293725440 4293724800 134551104 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 20055 19324 347 325 0 18991 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 80220
[startup+402.3 s]
/proc/loadavg: 1.99 1.55 1.34 3/177 24710
/proc/meminfo: memFree=28042464/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=80456 CPUtime=402.17 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 19589 0 2 0 40212 5 0 0 20 0 1 0 333991465 82386944 19381 33554432000 134512640 135840783 4293725440 4293724800 134551071 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 20114 19381 347 325 0 19050 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 80456
[startup+462.3 s]
/proc/loadavg: 2.05 1.64 1.38 3/177 24710
/proc/meminfo: memFree=28038616/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=83024 CPUtime=462.16 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 20233 0 2 0 46211 5 0 0 20 0 1 0 333991465 85016576 20023 33554432000 134512640 135840783 4293725440 4293724740 10254899 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 20756 20023 347 325 0 19692 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 83024
[startup+522.3 s]
/proc/loadavg: 2.06 1.72 1.42 3/177 24710
/proc/meminfo: memFree=28038120/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=84748 CPUtime=522.15 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 20664 0 2 0 52210 5 0 0 20 0 1 0 333991465 86781952 20454 33554432000 134512640 135840783 4293725440 4293724800 134551175 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 21187 20454 347 325 0 20123 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 84748
[startup+582.3 s]
/proc/loadavg: 2.02 1.77 1.46 3/177 24713
/proc/meminfo: memFree=28033952/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=88860 CPUtime=582.14 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 22136 0 2 0 58208 6 0 0 20 0 1 0 333991465 90992640 21486 33554432000 134512640 135840783 4293725440 4293724800 134551513 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 22215 21486 347 325 0 21151 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 88860
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.89 1.57 3/177 24714
/proc/meminfo: memFree=28020308/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=92504 CPUtime=822.11 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 23322 0 2 0 82204 7 0 0 20 0 1 0 333991465 94724096 22397 33554432000 134512640 135840783 4293725440 4293724764 1389671 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 23126 22397 347 325 0 22062 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 92504
[startup+882.3 s]
/proc/loadavg: 2.00 1.91 1.59 3/177 24714
/proc/meminfo: memFree=28020556/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=91704 CPUtime=882.1 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 23322 0 2 0 88203 7 0 0 20 0 1 0 333991465 93904896 22199 33554432000 134512640 135840783 4293725440 4293724800 134551084 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 22926 22199 347 325 0 21862 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 91704
[startup+942.3 s]
/proc/loadavg: 2.00 1.92 1.62 3/177 24715
/proc/meminfo: memFree=28012620/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=100076 CPUtime=942.09 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25448 0 2 0 94201 8 0 0 20 0 1 0 333991465 102477824 24291 33554432000 134512640 135840783 4293725440 4293724800 134551312 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 25019 24291 347 325 0 23955 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 100076
[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.64 3/177 24715
/proc/meminfo: memFree=28012736/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=100076 CPUtime=1002.08 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25452 0 2 0 100200 8 0 0 20 0 1 0 333991465 102477824 24291 33554432000 134512640 135840783 4293725440 4293724800 134551048 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 25019 24291 347 325 0 23955 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 100076
[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.66 3/177 24715
/proc/meminfo: memFree=28004052/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=100076 CPUtime=1062.07 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25452 0 2 0 106199 8 0 0 20 0 1 0 333991465 102477824 24291 33554432000 134512640 135840783 4293725440 4293724800 134550804 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 25019 24291 347 325 0 23955 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 100076
[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.67 3/177 24715
/proc/meminfo: memFree=28004176/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=100076 CPUtime=1122.06 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25452 0 2 0 112198 8 0 0 20 0 1 0 333991465 102477824 24291 33554432000 134512640 135840783 4293725440 4293724800 134550902 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 25019 24291 347 325 0 23955 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 100076
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.69 3/178 24718
/proc/meminfo: memFree=28002424/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=100076 CPUtime=1182.05 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25452 0 2 0 118197 8 0 0 20 0 1 0 333991465 102477824 24291 33554432000 134512640 135840783 4293725440 4293724628 10244054 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 25019 24291 347 325 0 23955 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 100076
[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.71 3/177 24719
/proc/meminfo: memFree=28003056/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=100580 CPUtime=1242.04 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25547 0 2 0 124196 8 0 0 20 0 1 0 333991465 102993920 24386 33554432000 134512640 135840783 4293725440 4293724800 134550893 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 25145 24386 347 325 0 24081 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 100580
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/177 24719
/proc/meminfo: memFree=28003056/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=99984 CPUtime=1302.04 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25547 0 2 0 130196 8 0 0 20 0 1 0 333991465 102383616 24269 33554432000 134512640 135840783 4293725440 4293724800 134551104 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 24996 24269 347 325 0 23932 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 99984
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/177 24719
/proc/meminfo: memFree=27999024/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=99984 CPUtime=1362.02 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25547 0 2 0 136194 8 0 0 20 0 1 0 333991465 102383616 24269 33554432000 134512640 135840783 4293725440 4293724800 134550863 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 24996 24269 347 325 0 23932 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 99984
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 24719
/proc/meminfo: memFree=27999644/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=99920 CPUtime=1422.02 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25616 0 2 0 142194 8 0 0 20 0 1 0 333991465 102318080 24253 33554432000 134512640 135840783 4293725440 4293724864 134546114 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 24980 24253 347 325 0 23916 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 99920
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/177 24719
/proc/meminfo: memFree=27999580/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=99920 CPUtime=1482 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25616 0 2 0 148192 8 0 0 20 0 1 0 333991465 102318080 24253 33554432000 134512640 135840783 4293725440 4293724800 134551081 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 24980 24253 347 325 0 23916 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 99920
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 24720
/proc/meminfo: memFree=27999952/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=99920 CPUtime=1541.99 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 25616 0 2 0 154191 8 0 0 20 0 1 0 333991465 102318080 24253 33554432000 134512640 135840783 4293725440 4293724800 134551084 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 24980 24253 347 325 0 23916 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 99920
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/177 24720
/proc/meminfo: memFree=27989904/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=110360 CPUtime=1601.98 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 28233 0 2 0 160189 9 0 0 20 0 1 0 333991465 113008640 26831 33554432000 134512640 135840783 4293725440 4293724800 134550913 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 27590 26831 347 325 0 26526 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 110360
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/177 24720
/proc/meminfo: memFree=27982340/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=110364 CPUtime=1661.97 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 28233 0 2 0 166188 9 0 0 20 0 1 0 333991465 113012736 26831 33554432000 134512640 135840783 4293725440 4293724736 9874175 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 27591 26831 347 325 0 26527 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 110364
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.81 3/177 24720
/proc/meminfo: memFree=27982396/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=110364 CPUtime=1721.96 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 28236 0 2 0 172187 9 0 0 20 0 1 0 333991465 113012736 26831 33554432000 134512640 135840783 4293725440 4293724800 134551081 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 27591 26831 347 325 0 26527 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 110364
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 24723
/proc/meminfo: memFree=27982100/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=110364 CPUtime=1781.95 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 28236 0 2 0 178186 9 0 0 20 0 1 0 333991465 113012736 26831 33554432000 134512640 135840783 4293725440 4293724752 134551093 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 27591 26831 347 325 0 26527 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 110364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.97 1.82 2/177 24724
/proc/meminfo: memFree=28106252/32873844 swapFree=7116/7116
[pid=24708] ppid=24706 vsize=110364 CPUtime=1800.05 cores=0,2,4,6
/proc/24708/stat : 24708 (bsolo3.0.17) R 24706 24708 24661 0 -1 4202496 28236 0 2 0 179996 9 0 0 20 0 1 0 333991465 113012736 26831 33554432000 134512640 135840783 4293725440 4293721440 10247614 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/24708/statm: 27591 26831 347 325 0 26527 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 110364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.97
CPU system time (s): 0.099984
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 110364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.099984
maximum resident set size= 107472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28239
page faults= 2
swaps= 0
block input operations= 48
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 1939
runsolver used 3.60945 second user time and 8.74567 second system time
The end