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-3733176-1338693486/watcher-3733176-1338693486 -o /tmp/evaluation-result-3733176-1338693486/solver-3733176-1338693486 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733176-1338693486.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: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) D 634 636 31541 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 335474263 2723840 48 33554432000 134512640 135840783 4286972832 4286970868 5489604 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/636/statm: 665 48 37 325 0 32 0
[startup+0.00932392 s]
/proc/loadavg: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=6940 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 484 0 0 0 0 0 0 0 20 0 1 0 335474263 7106560 421 33554432000 134512640 135840783 4286972832 4286972032 134527382 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 1735 422 330 325 0 109 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6940
[startup+0.10026 s]
/proc/loadavg: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=12300 CPUtime=0.09 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 2128 0 0 0 9 0 0 0 20 0 1 0 335474263 12595200 2065 33554432000 134512640 135840783 4286972832 4286971536 2499879 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 3075 2065 648 325 0 1449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12300
[startup+0.300297 s]
/proc/loadavg: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=21436 CPUtime=0.28 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 5239 0 0 0 28 0 0 0 20 0 1 0 335474263 21950464 4614 33554432000 134512640 135840783 4286972832 4286956508 12715056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 5359 4614 345 325 0 4295 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21436
[startup+0.700299 s]
/proc/loadavg: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=21436 CPUtime=0.68 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 5239 0 0 0 67 1 0 0 20 0 1 0 335474263 21950464 4614 33554432000 134512640 135840783 4286972832 4286956508 12715056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 5359 4614 345 325 0 4295 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21436
[startup+1.50025 s]
/proc/loadavg: 4.72 3.24 2.47 3/178 637
/proc/meminfo: memFree=28123488/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=31820 CPUtime=1.49 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 9271 0 0 0 146 3 0 0 20 0 1 0 335474263 32583680 7224 33554432000 134512640 135840783 4286972832 4286957248 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 7955 7224 350 325 0 6891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31820
[startup+3.10027 s]
/proc/loadavg: 4.72 3.24 2.47 3/178 637
/proc/meminfo: memFree=28098196/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=72180 CPUtime=3.09 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 19353 0 0 0 305 4 0 0 20 0 1 0 335474263 73912320 17306 33554432000 134512640 135840783 4286972832 4286957312 134574496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 18045 17306 350 325 0 16981 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72180
[startup+6.3003 s]
/proc/loadavg: 4.50 3.22 2.46 3/178 637
/proc/meminfo: memFree=28036940/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=124592 CPUtime=6.28 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 32456 0 0 0 622 6 0 0 20 0 1 0 335474263 127582208 30409 33554432000 134512640 135840783 4286972832 4286972192 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 31148 30409 350 325 0 30084 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 124592
[startup+12.7003 s]
/proc/loadavg: 4.30 3.20 2.46 3/178 637
/proc/meminfo: memFree=27970228/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=196452 CPUtime=12.68 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 50422 0 0 0 1258 10 0 0 20 0 1 0 335474263 201166848 48375 33554432000 134512640 135840783 4286972832 4286957152 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 49113 48375 350 325 0 48049 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 196452
[startup+25.5003 s]
/proc/loadavg: 3.79 3.14 2.45 3/178 637
/proc/meminfo: memFree=27790812/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=359644 CPUtime=25.48 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 91211 0 0 0 2531 17 0 0 20 0 1 0 335474263 368275456 89164 33554432000 134512640 135840783 4286972832 4286957152 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 89911 89164 350 325 0 88847 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 359644
[startup+51.1003 s]
/proc/loadavg: 3.18 3.05 2.44 3/178 637
/proc/meminfo: memFree=27653128/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=497636 CPUtime=51.07 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 125713 0 0 0 5081 26 0 0 20 0 1 0 335474263 509579264 123666 33554432000 134512640 135840783 4286972832 4286972192 134550893 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/636/statm: 124409 123666 350 325 0 123345 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 497636
[startup+102.307 s]
/proc/loadavg: 2.51 2.88 2.42 3/177 638
/proc/meminfo: memFree=27462716/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=687800 CPUtime=102.26 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 173258 0 0 0 10188 38 0 0 20 0 1 0 335474263 704307200 171211 33554432000 134512640 135840783 4286972832 4286957184 134586540 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/636/statm: 171950 171211 350 325 0 170886 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 687800
[startup+162.3 s]
/proc/loadavg: 2.19 2.72 2.39 3/178 641
/proc/meminfo: memFree=27211824/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=941008 CPUtime=162.24 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 236568 0 0 0 16169 55 0 0 20 0 1 0 335474263 963592192 234521 33554432000 134512640 135840783 4286972832 4286972192 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 235252 234521 350 325 0 234188 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 941008
[startup+222.3 s]
/proc/loadavg: 2.07 2.59 2.36 3/177 641
/proc/meminfo: memFree=27002796/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1094620 CPUtime=222.23 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 274967 0 0 0 22158 65 0 0 20 0 1 0 335474263 1120890880 272920 33554432000 134512640 135840783 4286972832 4286957000 134584993 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 273655 272920 350 325 0 272591 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1094620
[startup+282.3 s]
/proc/loadavg: 2.02 2.48 2.33 3/177 641
/proc/meminfo: memFree=26945908/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1152000 CPUtime=282.23 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 289320 0 0 0 28154 69 0 0 20 0 1 0 335474263 1179648000 287273 33554432000 134512640 135840783 4286972832 4286972192 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 288000 287273 350 325 0 286936 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1152000
[startup+342.3 s]
/proc/loadavg: 2.01 2.39 2.31 3/177 641
/proc/meminfo: memFree=26894848/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1203084 CPUtime=342.22 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 302067 0 0 0 34148 74 0 0 20 0 1 0 335474263 1231958016 300020 33554432000 134512640 135840783 4286972832 4286972192 134550878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 300771 300020 350 325 0 299707 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1203084
[startup+402.3 s]
/proc/loadavg: 2.00 2.31 2.29 3/177 642
/proc/meminfo: memFree=26840208/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1257700 CPUtime=402.19 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 315746 0 0 0 40141 78 0 0 20 0 1 0 335474263 1287884800 313684 33554432000 134512640 135840783 4286972832 4286972192 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 314425 313684 350 325 0 313361 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1257700
[startup+462.3 s]
/proc/loadavg: 2.00 2.25 2.27 3/177 642
/proc/meminfo: memFree=26790140/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1307288 CPUtime=462.16 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 328181 0 0 0 46134 82 0 0 20 0 1 0 335474263 1338662912 326093 33554432000 134512640 135840783 4286972832 4286972112 2502286 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 326822 326093 350 325 0 325758 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1307288
[startup+522.3 s]
/proc/loadavg: 2.00 2.20 2.25 3/178 643
/proc/meminfo: memFree=26699516/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1402592 CPUtime=522.14 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 352032 0 0 0 52126 88 0 0 20 0 1 0 335474263 1436254208 349923 33554432000 134512640 135840783 4286972832 4286972192 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 350648 349923 350 325 0 349584 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1402592
[startup+582.3 s]
/proc/loadavg: 2.03 2.18 2.24 3/177 682
/proc/meminfo: memFree=27009856/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1585668 CPUtime=582.12 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 397801 0 0 0 58111 101 0 0 20 0 1 0 335474263 1623724032 395688 33554432000 134512640 135840783 4286972832 4286957084 2124546 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 396417 395688 350 325 0 395353 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1585668
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.02 2.09 2.17 3/177 686
/proc/meminfo: memFree=25442660/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=882.05 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410487 0 0 0 88100 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1635888
[startup+942.3 s]
/proc/loadavg: 2.04 2.09 2.17 3/177 686
/proc/meminfo: memFree=25306288/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=942.04 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410487 0 0 0 94099 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1635888
[startup+1002.3 s]
/proc/loadavg: 2.05 2.08 2.16 3/177 687
/proc/meminfo: memFree=25085968/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1002.02 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410500 0 0 0 100097 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1635888
[startup+1062.3 s]
/proc/loadavg: 2.05 2.08 2.15 3/177 687
/proc/meminfo: memFree=24961872/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1062.01 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410507 0 0 0 106096 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1635888
[startup+1122.3 s]
/proc/loadavg: 2.10 2.09 2.15 3/177 687
/proc/meminfo: memFree=24867164/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1121.99 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410515 0 0 0 112094 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551312 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1635888
[startup+1182.3 s]
/proc/loadavg: 2.07 2.08 2.15 3/177 687
/proc/meminfo: memFree=24804696/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1181.98 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410530 0 0 0 118093 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1635888
[startup+1242.3 s]
/proc/loadavg: 2.06 2.08 2.14 3/177 687
/proc/meminfo: memFree=24731192/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1241.96 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410544 0 0 0 124091 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1635888
[startup+1302.3 s]
/proc/loadavg: 2.05 2.08 2.13 3/177 688
/proc/meminfo: memFree=24664136/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1301.96 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410545 0 0 0 130091 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1635888
[startup+1362.3 s]
/proc/loadavg: 2.05 2.08 2.13 3/178 691
/proc/meminfo: memFree=24515976/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1361.94 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 136089 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1635888
[startup+1422.31 s]
/proc/loadavg: 2.05 2.07 2.12 3/177 691
/proc/meminfo: memFree=24279684/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1421.94 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 142089 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1635888
[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.12 3/177 691
/proc/meminfo: memFree=24159308/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1481.92 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 148087 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1635888
[startup+1542.3 s]
/proc/loadavg: 2.09 2.08 2.11 3/177 691
/proc/meminfo: memFree=24159460/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1541.91 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 154086 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1635888
[startup+1602.3 s]
/proc/loadavg: 2.07 2.08 2.11 3/177 692
/proc/meminfo: memFree=24159240/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1601.9 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 160085 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1635888
[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.10 3/177 692
/proc/meminfo: memFree=24159268/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1661.89 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 166084 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1635888
[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.10 3/177 692
/proc/meminfo: memFree=24159436/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1721.89 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 172084 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1635888
[startup+1782.3 s]
/proc/loadavg: 2.05 2.07 2.09 3/177 692
/proc/meminfo: memFree=24112824/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1683440 CPUtime=1781.88 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 422434 0 0 0 178079 109 0 0 20 0 1 0 335474263 1723842560 420134 33554432000 134512640 135840783 4286972832 4286972192 134550910 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 420860 420134 350 325 0 419796 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1683440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.10 2.08 2.09 3/177 692
/proc/meminfo: memFree=24062588/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1732952 CPUtime=1800.08 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 434796 0 0 0 179895 113 0 0 20 0 1 0 335474263 1774542848 432496 33554432000 134512640 135840783 4286972832 4286972192 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 433238 432496 350 325 0 432174 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1732952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.10 2.08 2.09 3/177 692
/proc/meminfo: memFree=24062588/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1732952 CPUtime=1800.08 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 434796 0 0 0 179895 113 0 0 20 0 1 0 335474263 1774542848 432496 33554432000 134512640 135840783 4286972832 4286972192 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 433238 432496 350 325 0 432174 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1732952
Child status: 15
Real time (s): 1800.52
CPU time (s): 1800.11
CPU user time (s): 1798.96
CPU system time (s): 1.14982
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 1732952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.14982
maximum resident set size= 1729984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434799
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= 194
involuntary context switches= 2702
runsolver used 3.55346 second user time and 10.1715 second system time
The end