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-3730316-1338680839/watcher-3730316-1338680839 -o /tmp/evaluation-result-3730316-1338680839/solver-3730316-1338680839 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730316-1338680839.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: 2.00 2.00 1.87 4/176 31912
/proc/meminfo: memFree=28506268/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=12512 CPUtime=0 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 334209590 12812288 392 33554432000 134512640 135840783 4292841264 4292839680 6001959 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 3128 392 324 325 0 2060 0
[startup+0.0790571 s]
/proc/loadavg: 2.00 2.00 1.87 4/176 31912
/proc/meminfo: memFree=28506268/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=5724 CPUtime=0.07 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 756 0 0 0 7 0 0 0 20 0 1 0 334209590 5861376 688 33554432000 134512640 135840783 4292841264 4292840624 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 1431 689 346 325 0 367 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5724
[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 1.87 4/176 31912
/proc/meminfo: memFree=28506268/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=5852 CPUtime=0.09 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 803 0 0 0 9 0 0 0 20 0 1 0 334209590 5992448 735 33554432000 134512640 135840783 4292841264 4292838912 6001959 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 1463 735 346 325 0 399 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5852
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 1.87 4/176 31912
/proc/meminfo: memFree=28506268/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=7408 CPUtime=0.29 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 1180 0 0 0 29 0 0 0 20 0 1 0 334209590 7585792 1112 33554432000 134512640 135840783 4292841264 4292840592 1806321 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 1852 1112 346 325 0 788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7408
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 1.87 4/176 31912
/proc/meminfo: memFree=28506268/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=10244 CPUtime=0.68 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 1897 0 0 0 68 0 0 0 20 0 1 0 334209590 10489856 1829 33554432000 134512640 135840783 4292841264 4292840576 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 2561 1829 346 325 0 1497 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10244
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 31913
/proc/meminfo: memFree=28498936/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=13984 CPUtime=1.49 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 2830 0 0 0 148 1 0 0 20 0 1 0 334209590 14319616 2762 33554432000 134512640 135840783 4292841264 4292840624 134551104 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 3496 2762 346 325 0 2432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13984
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 31913
/proc/meminfo: memFree=28494348/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=18488 CPUtime=3.09 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 3958 0 0 0 308 1 0 0 20 0 1 0 334209590 18931712 3890 33554432000 134512640 135840783 4292841264 4292840624 134550804 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 4622 3890 346 325 0 3558 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18488
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 31913
/proc/meminfo: memFree=28486660/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=24552 CPUtime=6.28 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 5463 0 0 0 627 1 0 0 20 0 1 0 334209590 25141248 5395 33554432000 134512640 135840783 4292841264 4292837952 6001959 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 6138 5395 346 325 0 5074 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24552
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 31913
/proc/meminfo: memFree=28477276/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=33564 CPUtime=12.68 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 7712 0 0 0 1266 2 0 0 20 0 1 0 334209590 34369536 7644 33554432000 134512640 135840783 4292841264 4292838084 5988629 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 8391 7644 346 325 0 7327 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33564
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 1.88 3/177 31913
/proc/meminfo: memFree=28470704/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=39324 CPUtime=25.48 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 9163 0 0 0 2545 3 0 0 20 0 1 0 334209590 40267776 9095 33554432000 134512640 135840783 4292841264 4292840624 134551186 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 9831 9095 346 325 0 8767 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39324
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.88 3/177 31913
/proc/meminfo: memFree=28465744/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=44584 CPUtime=51.08 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 10477 0 0 0 5104 4 0 0 20 0 1 0 334209590 45654016 10409 33554432000 134512640 135840783 4292841264 4292840576 134550804 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31912/statm: 11146 10409 346 325 0 10082 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44584
[startup+102.307 s]
/proc/loadavg: 2.08 2.02 1.89 3/177 31913
/proc/meminfo: memFree=28434124/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=48652 CPUtime=102.27 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 11495 0 0 0 10223 4 0 0 20 0 1 0 334209590 49819648 11427 33554432000 134512640 135840783 4292841264 4292840624 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 12163 11427 346 325 0 11099 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48652
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 1.90 3/177 31913
/proc/meminfo: memFree=28427936/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=54408 CPUtime=162.25 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 12948 0 0 0 16220 5 0 0 20 0 1 0 334209590 55713792 12869 33554432000 134512640 135840783 4292841264 4292840624 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 13602 12869 346 325 0 12538 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54408
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 31917
/proc/meminfo: memFree=28424492/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=57972 CPUtime=222.22 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 13855 0 0 0 22217 5 0 0 20 0 1 0 334209590 59363328 13763 33554432000 134512640 135840783 4292841264 4292840624 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 14493 13763 346 325 0 13429 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 57972
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 31917
/proc/meminfo: memFree=28422516/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=59976 CPUtime=282.21 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 14355 0 0 0 28216 5 0 0 20 0 1 0 334209590 61415424 14263 33554432000 134512640 135840783 4292841264 4292840624 134551455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 14994 14263 346 325 0 13930 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 59976
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31917
/proc/meminfo: memFree=28422640/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=59876 CPUtime=342.2 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 14360 0 0 0 34215 5 0 0 20 0 1 0 334209590 61313024 14238 33554432000 134512640 135840783 4292841264 4292840624 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 14969 14238 346 325 0 13905 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 59876
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31917
/proc/meminfo: memFree=28416436/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=66056 CPUtime=402.19 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 15909 0 0 0 40213 6 0 0 20 0 1 0 334209590 67641344 15785 33554432000 134512640 135840783 4292841264 4292840624 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 16514 15785 346 325 0 15450 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 66056
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31917
/proc/meminfo: memFree=28413584/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=68924 CPUtime=462.18 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 16651 0 0 0 46212 6 0 0 20 0 1 0 334209590 70578176 16504 33554432000 134512640 135840783 4292841264 4292838624 134573452 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 17231 16504 346 325 0 16167 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 68924
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31918
/proc/meminfo: memFree=28400936/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=68924 CPUtime=522.17 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 16652 0 0 0 52211 6 0 0 20 0 1 0 334209590 70578176 16505 33554432000 134512640 135840783 4292841264 4292840620 1419424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 17231 16505 346 325 0 16167 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 68924
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31918
/proc/meminfo: memFree=28400924/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=68908 CPUtime=582.17 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 16652 0 0 0 58211 6 0 0 20 0 1 0 334209590 70561792 16501 33554432000 134512640 135840783 4292841264 4292840624 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 17227 16501 346 325 0 16163 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 68908
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31922
/proc/meminfo: memFree=28379696/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=72132 CPUtime=822.12 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 17503 0 0 0 82206 6 0 0 20 0 1 0 334209590 73863168 17307 33554432000 134512640 135840783 4292841264 4292840624 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18033 17307 346 325 0 16969 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 72132
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31945
/proc/meminfo: memFree=28379572/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=72132 CPUtime=882.11 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 17503 0 0 0 88205 6 0 0 20 0 1 0 334209590 73863168 17307 33554432000 134512640 135840783 4292841264 4292840624 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18033 17307 346 325 0 16969 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 72132
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31945
/proc/meminfo: memFree=28379332/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=72784 CPUtime=942.1 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 17634 0 0 0 94204 6 0 0 20 0 1 0 334209590 74530816 17438 33554432000 134512640 135840783 4292841264 4292840560 134572560 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18196 17438 346 325 0 17132 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 72784
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31945
/proc/meminfo: memFree=28379504/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=72072 CPUtime=1002.09 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 17674 0 0 0 100203 6 0 0 20 0 1 0 334209590 73801728 17292 33554432000 134512640 135840783 4292841264 4292840624 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18018 17292 346 325 0 16954 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 72072
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31945
/proc/meminfo: memFree=28360904/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=73040 CPUtime=1062.09 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 17884 0 0 0 106203 6 0 0 20 0 1 0 334209590 74792960 17502 33554432000 134512640 135840783 4292841264 4292840576 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18260 17502 346 325 0 17196 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 73040
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31946
/proc/meminfo: memFree=28346644/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=72788 CPUtime=1122.08 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 17884 0 0 0 112202 6 0 0 20 0 1 0 334209590 74534912 17471 33554432000 134512640 135840783 4292841264 4292840544 6004339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18197 17471 346 325 0 17133 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 72788
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 31946
/proc/meminfo: memFree=28344784/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=74916 CPUtime=1182.07 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 18384 0 0 0 118201 6 0 0 20 0 1 0 334209590 76713984 17971 33554432000 134512640 135840783 4292841264 4292840500 5996573 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18729 17971 346 325 0 17665 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 74916
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 31946
/proc/meminfo: memFree=28344504/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=74740 CPUtime=1242.06 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 18384 0 0 0 124200 6 0 0 20 0 1 0 334209590 76533760 17959 33554432000 134512640 135840783 4292841264 4292840500 5996573 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18685 17959 346 325 0 17621 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 74740
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31946
/proc/meminfo: memFree=28344440/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=74740 CPUtime=1302.05 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 18385 0 0 0 130199 6 0 0 20 0 1 0 334209590 76533760 17959 33554432000 134512640 135840783 4292841264 4292840624 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18685 17959 346 325 0 17621 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 74740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 6/177 31946
/proc/meminfo: memFree=28344316/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=74740 CPUtime=1362.04 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 18385 0 0 0 136198 6 0 0 20 0 1 0 334209590 76533760 17959 33554432000 134512640 135840783 4292841264 4292840624 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18685 17959 346 325 0 17621 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 74740
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32064
/proc/meminfo: memFree=28596392/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=74740 CPUtime=1422.03 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 18385 0 0 0 142197 6 0 0 20 0 1 0 334209590 76533760 17959 33554432000 134512640 135840783 4292841264 4292840624 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18685 17959 346 325 0 17621 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 74740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32065
/proc/meminfo: memFree=28595304/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=74744 CPUtime=1482.02 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 18386 0 0 0 148196 6 0 0 20 0 1 0 334209590 76537856 17960 33554432000 134512640 135840783 4292841264 4292840624 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 18686 17960 346 325 0 17622 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 74744
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 32065
/proc/meminfo: memFree=28550536/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=77788 CPUtime=1542.02 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 19184 0 0 0 154195 7 0 0 20 0 1 0 334209590 79654912 18716 33554432000 134512640 135840783 4292841264 4292840624 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 19447 18716 346 325 0 18383 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 77788
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 32065
/proc/meminfo: memFree=28487608/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=79624 CPUtime=1602.01 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 19638 0 0 0 160194 7 0 0 20 0 1 0 334209590 81534976 19170 33554432000 134512640 135840783 4292841264 4292840592 1806303 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 19906 19170 346 325 0 18842 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 79624
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 32065
/proc/meminfo: memFree=28443956/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=80896 CPUtime=1662 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 19934 0 0 0 166193 7 0 0 20 0 1 0 334209590 82837504 19466 33554432000 134512640 135840783 4292841264 4292840624 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 20224 19466 346 325 0 19160 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 80896
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 32065
/proc/meminfo: memFree=28405824/32873844 swapFree=7116/7116
[pid=31912] ppid=31910 vsize=80896 CPUtime=1721.99 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 19935 0 0 0 172192 7 0 0 20 0 1 0 334209590 82837504 19466 33554432000 134512640 135840783 4292841264 4292840576 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 20224 19466 346 325 0 19160 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 80896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 32066
/proc/meminfo: memFree=28358208/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=80700 CPUtime=1781.98 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 19935 0 0 0 178191 7 0 0 20 0 1 0 334209590 82636800 19449 33554432000 134512640 135840783 4292841264 4292840624 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 20175 19449 346 325 0 19111 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 80700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 32066
/proc/meminfo: memFree=28341468/32873844 swapFree=7112/7112
[pid=31912] ppid=31910 vsize=80700 CPUtime=1800.08 cores=1,3,5,7
/proc/31912/stat : 31912 (bsolo3.0.17) R 31910 31912 31541 0 -1 4202496 19935 0 0 0 180001 7 0 0 20 0 1 0 334209590 82636800 19449 33554432000 134512640 135840783 4292841264 4292840616 1815048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31912/statm: 20175 19449 346 325 0 19111 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 80700
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.09
CPU user time (s): 1800.02
CPU system time (s): 0.073988
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 80896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.073988
maximum resident set size= 77864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19938
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= 43
involuntary context switches= 1937
runsolver used 3.81242 second user time and 9.8735 second system time
The end