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-3731878-1338688174/watcher-3731878-1338688174 -o /tmp/evaluation-result-3731878-1338688174/solver-3731878-1338688174 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731878-1338688174.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: 2.05 2.04 2.00 3/174 26836
/proc/meminfo: memFree=28397364/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) D 26834 26836 25229 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 334942854 2723840 47 33554432000 134512640 135840783 4289064208 4289062244 11355076 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/26836/statm: 665 47 37 325 0 32 0
[startup+0.0389239 s]
/proc/loadavg: 2.05 2.04 2.00 3/174 26836
/proc/meminfo: memFree=28397364/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=5892 CPUtime=0.02 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 858 0 0 0 2 0 0 0 20 0 1 0 334942854 6033408 744 33554432000 134512640 135840783 4289064208 4289056668 1410096 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26836/statm: 1473 744 344 325 0 409 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5892
[startup+0.100209 s]
/proc/loadavg: 2.05 2.04 2.00 3/174 26836
/proc/meminfo: memFree=28397364/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=6056 CPUtime=0.09 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 914 0 0 0 9 0 0 0 20 0 1 0 334942854 6201344 774 33554432000 134512640 135840783 4289064208 4289063152 134574704 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26836/statm: 1514 774 349 325 0 450 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6056
[startup+0.300174 s]
/proc/loadavg: 2.05 2.04 2.00 3/174 26836
/proc/meminfo: memFree=28397364/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=7352 CPUtime=0.29 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 1236 0 0 0 29 0 0 0 20 0 1 0 334942854 7528448 1096 33554432000 134512640 135840783 4289064208 4289063344 11864733 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26836/statm: 1838 1096 349 325 0 774 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7352
[startup+0.700174 s]
/proc/loadavg: 2.05 2.04 2.00 3/174 26836
/proc/meminfo: memFree=28397364/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=9560 CPUtime=0.68 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 1790 0 0 0 68 0 0 0 20 0 1 0 334942854 9789440 1650 33554432000 134512640 135840783 4289064208 4289063296 11864895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26836/statm: 2390 1650 349 325 0 1326 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9560
[startup+1.50018 s]
/proc/loadavg: 2.05 2.04 2.00 3/175 26837
/proc/meminfo: memFree=28390528/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=12548 CPUtime=1.48 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 2539 0 0 0 148 0 0 0 20 0 1 0 334942854 12849152 2399 33554432000 134512640 135840783 4289064208 4289063568 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26836/statm: 3137 2399 349 325 0 2073 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12548
[startup+3.10018 s]
/proc/loadavg: 2.04 2.04 2.00 3/175 26837
/proc/meminfo: memFree=28386676/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=17220 CPUtime=3.08 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 3720 0 0 0 308 0 0 0 20 0 1 0 334942854 17633280 3580 33554432000 134512640 135840783 4289064208 4289063568 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26836/statm: 4305 3580 349 325 0 3241 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17220
[startup+6.3002 s]
/proc/loadavg: 2.04 2.04 2.00 3/175 26837
/proc/meminfo: memFree=28378988/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=23676 CPUtime=6.28 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 5315 0 0 0 627 1 0 0 20 0 1 0 334942854 24244224 5175 33554432000 134512640 135840783 4289064208 4289063568 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26836/statm: 5919 5175 349 325 0 4855 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23676
[startup+12.7002 s]
/proc/loadavg: 2.04 2.04 2.00 3/175 26837
/proc/meminfo: memFree=28367076/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=34796 CPUtime=12.68 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 8092 0 0 0 1266 2 0 0 20 0 1 0 334942854 35631104 7952 33554432000 134512640 135840783 4289064208 4289063568 134551063 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26836/statm: 8699 7952 349 325 0 7635 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34796
[startup+25.5003 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 26837
/proc/meminfo: memFree=28350084/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=51472 CPUtime=25.48 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 12265 0 0 0 2545 3 0 0 20 0 1 0 334942854 52707328 12125 33554432000 134512640 135840783 4289064208 4289063568 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 12868 12125 349 325 0 11804 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51472
[startup+51.1003 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 26840
/proc/meminfo: memFree=28340756/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=60264 CPUtime=51.06 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 14508 0 0 0 5103 3 0 0 20 0 1 0 334942854 61710336 14311 33554432000 134512640 135840783 4289064208 4289063568 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 15066 14311 349 325 0 14002 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 60264
[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 26840
/proc/meminfo: memFree=28302652/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=98220 CPUtime=102.25 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 24028 0 0 0 10217 8 0 0 20 0 1 0 334942854 100577280 23817 33554432000 134512640 135840783 4289064208 4289063568 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 24555 23817 349 325 0 23491 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 98220
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 26840
/proc/meminfo: memFree=28265740/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=135920 CPUtime=162.23 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 33455 0 0 0 16210 13 0 0 20 0 1 0 334942854 139182080 33233 33554432000 134512640 135840783 4289064208 4289063568 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 33980 33233 349 325 0 32916 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 135920
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26841
/proc/meminfo: memFree=28234308/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=166872 CPUtime=222.19 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 41229 0 0 0 22202 17 0 0 20 0 1 0 334942854 170876928 40978 33554432000 134512640 135840783 4289064208 4289061280 11867431 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 41718 40978 349 325 0 40654 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 166872
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26841
/proc/meminfo: memFree=28223520/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=176924 CPUtime=282.19 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 43825 0 0 0 28200 19 0 0 20 0 1 0 334942854 181170176 43475 33554432000 134512640 135840783 4289064208 4289063568 134551061 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 44231 43475 349 325 0 43167 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 176924
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26841
/proc/meminfo: memFree=28223188/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=176924 CPUtime=342.17 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 43836 0 0 0 34198 19 0 0 20 0 1 0 334942854 181170176 43506 33554432000 134512640 135840783 4289064208 4289063568 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 44231 43506 349 325 0 43167 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 176924
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 26841
/proc/meminfo: memFree=28223312/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=176924 CPUtime=402.16 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 43836 0 0 0 40197 19 0 0 20 0 1 0 334942854 181170176 43506 33554432000 134512640 135840783 4289064208 4289063444 11862100 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 44231 43506 349 325 0 43167 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 176924
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26841
/proc/meminfo: memFree=28219344/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=181676 CPUtime=462.15 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 45001 0 0 0 46196 19 0 0 20 0 1 0 334942854 186036224 44671 33554432000 134512640 135840783 4289064208 4289063440 11492095 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 45419 44671 349 325 0 44355 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 181676
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26842
/proc/meminfo: memFree=28211024/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=189688 CPUtime=522.13 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 47002 0 0 0 52193 20 0 0 20 0 1 0 334942854 194240512 46666 33554432000 134512640 135840783 4289064208 4289063568 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 47422 46666 349 325 0 46358 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 189688
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26842
/proc/meminfo: memFree=28211148/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=189688 CPUtime=582.13 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 47002 0 0 0 58193 20 0 0 20 0 1 0 334942854 194240512 46666 33554432000 134512640 135840783 4289064208 4289063568 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 47422 46666 349 325 0 46358 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 189688
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26869
/proc/meminfo: memFree=28163796/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=237272 CPUtime=822.08 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 58948 0 0 0 82181 27 0 0 20 0 1 0 334942854 242966528 58589 33554432000 134512640 135840783 4289064208 4289060320 11867431 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 59318 58589 349 325 0 58254 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 237272
[startup+882.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 26869
/proc/meminfo: memFree=28152200/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=245340 CPUtime=882.07 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 61071 0 0 0 88179 28 0 0 20 0 1 0 334942854 251228160 60593 33554432000 134512640 135840783 4289064208 4289063560 15222984 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 61335 60593 349 325 0 60271 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 245340
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26869
/proc/meminfo: memFree=28152200/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=245340 CPUtime=942.06 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 61071 0 0 0 94178 28 0 0 20 0 1 0 334942854 251228160 60593 33554432000 134512640 135840783 4289064208 4289063460 11872801 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 61335 60593 349 325 0 60271 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 245340
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 26869
/proc/meminfo: memFree=28152136/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=245340 CPUtime=1002.05 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 61072 0 0 0 100177 28 0 0 20 0 1 0 334942854 251228160 60593 33554432000 134512640 135840783 4289064208 4289063568 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 61335 60593 349 325 0 60271 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 245340
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26869
/proc/meminfo: memFree=28151696/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=245340 CPUtime=1062.04 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 61075 0 0 0 106176 28 0 0 20 0 1 0 334942854 251228160 60593 33554432000 134512640 135840783 4289064208 4289063568 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 61335 60593 349 325 0 60271 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 245340
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26870
/proc/meminfo: memFree=28151944/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=245340 CPUtime=1122.03 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 61075 0 0 0 112175 28 0 0 20 0 1 0 334942854 251228160 60593 33554432000 134512640 135840783 4289064208 4289063568 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 61335 60593 349 325 0 60271 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 245340
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26870
/proc/meminfo: memFree=28151944/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=245340 CPUtime=1182.02 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 61075 0 0 0 118174 28 0 0 20 0 1 0 334942854 251228160 60593 33554432000 134512640 135840783 4289064208 4289063568 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 61335 60593 349 325 0 60271 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 245340
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26873
/proc/meminfo: memFree=28152060/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=245340 CPUtime=1242.01 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 61075 0 0 0 124173 28 0 0 20 0 1 0 334942854 251228160 60593 33554432000 134512640 135840783 4289064208 4289063568 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 61335 60593 349 325 0 60271 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 245340
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26873
/proc/meminfo: memFree=28152068/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=245368 CPUtime=1302.01 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 61082 0 0 0 130173 28 0 0 20 0 1 0 334942854 251256832 60600 33554432000 134512640 135840783 4289064208 4289063568 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 61342 60600 349 325 0 60278 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 245368
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26873
/proc/meminfo: memFree=28141652/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=255684 CPUtime=1361.99 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 63797 0 0 0 136170 29 0 0 20 0 1 0 334942854 261820416 63184 33554432000 134512640 135840783 4289064208 4289063236 11854178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 63921 63184 349 325 0 62857 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 255684
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26874
/proc/meminfo: memFree=28141704/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=255684 CPUtime=1421.99 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 63802 0 0 0 142170 29 0 0 20 0 1 0 334942854 261820416 63184 33554432000 134512640 135840783 4289064208 4289063568 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 63921 63184 349 325 0 62857 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 255684
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 26874
/proc/meminfo: memFree=28141704/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=255684 CPUtime=1481.97 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 63802 0 0 0 148168 29 0 0 20 0 1 0 334942854 261820416 63184 33554432000 134512640 135840783 4289064208 4289063568 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 63921 63184 349 325 0 62857 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 255684
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26874
/proc/meminfo: memFree=28141828/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=255684 CPUtime=1541.96 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 63802 0 0 0 154167 29 0 0 20 0 1 0 334942854 261820416 63184 33554432000 134512640 135840783 4289064208 4289063568 134551646 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 63921 63184 349 325 0 62857 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 255684
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26874
/proc/meminfo: memFree=28141704/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=255684 CPUtime=1601.95 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 63802 0 0 0 160166 29 0 0 20 0 1 0 334942854 261820416 63184 33554432000 134512640 135840783 4289064208 4289063504 11492095 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 63921 63184 349 325 0 62857 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 255684
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26951
/proc/meminfo: memFree=28169796/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=255684 CPUtime=1661.94 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 63802 0 0 0 166165 29 0 0 20 0 1 0 334942854 261820416 63184 33554432000 134512640 135840783 4289064208 4289063568 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 63921 63184 349 325 0 62857 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 255684
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26952
/proc/meminfo: memFree=28170068/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=255684 CPUtime=1721.93 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 63802 0 0 0 172164 29 0 0 20 0 1 0 334942854 261820416 63184 33554432000 134512640 135840783 4289064208 4289063504 134572295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 63921 63184 349 325 0 62857 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 255684
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26952
/proc/meminfo: memFree=28168080/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=255684 CPUtime=1781.92 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 63802 0 0 0 178163 29 0 0 20 0 1 0 334942854 261820416 63184 33554432000 134512640 135840783 4289064208 4289063568 134550948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 63921 63184 349 325 0 62857 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 255684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26952
/proc/meminfo: memFree=28167212/32873852 swapFree=7624/7624
[pid=26836] ppid=26834 vsize=255684 CPUtime=1800.03 cores=0,2,4,6
/proc/26836/stat : 26836 (bsolo3.0.17) R 26834 26836 25229 0 -1 4202496 63802 0 0 0 179974 29 0 0 20 0 1 0 334942854 261820416 63184 33554432000 134512640 135840783 4289064208 4289063568 134551009 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26836/statm: 63921 63184 349 325 0 62857 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 255684
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.04
CPU user time (s): 1799.74
CPU system time (s): 0.297954
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 256208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.297954
maximum resident set size= 253260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63805
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= 135
involuntary context switches= 1964
runsolver used 2.92955 second user time and 9.15461 second system time
The end