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-3737232-1338714620/watcher-3737232-1338714620 -o /tmp/evaluation-result-3737232-1338714620/solver-3737232-1338714620 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737232-1338714620.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: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=2428 CPUtime=0 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) D 23332 23334 23291 0 -1 4194304 80 0 1 0 0 0 0 0 20 0 1 0 337590505 2486272 35 33554432000 134512640 135840783 4292910912 4292909340 7232058 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/23334/statm: 607 35 26 325 0 32 0
[startup+0.055615 s]
/proc/loadavg: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=7400 CPUtime=0.01 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 1177 0 4 0 1 0 0 0 20 0 1 0 337590505 7577600 1099 33554432000 134512640 135840783 4292910912 4292910000 7742759 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 1850 1102 339 325 0 786 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7400
[startup+0.100231 s]
/proc/loadavg: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=8144 CPUtime=0.06 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 1374 0 4 0 6 0 0 0 20 0 1 0 337590505 8339456 1296 33554432000 134512640 135840783 4292910912 4292832900 7737291 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 2036 1296 345 325 0 972 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8144
[startup+0.300184 s]
/proc/loadavg: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=11076 CPUtime=0.25 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 2120 0 4 0 25 0 0 0 20 0 1 0 337590505 11341824 2022 33554432000 134512640 135840783 4292910912 4292907696 7742759 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 2769 2022 349 325 0 1705 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 11076
[startup+0.700183 s]
/proc/loadavg: 1.00 1.30 1.67 2/176 23334
/proc/meminfo: memFree=28768912/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=15828 CPUtime=0.65 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 3318 0 4 0 65 0 0 0 20 0 1 0 337590505 16207872 3220 33554432000 134512640 135840783 4292910912 4292907936 134547402 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 3957 3220 349 325 0 2893 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 15828
[startup+1.50019 s]
/proc/loadavg: 1.08 1.31 1.67 4/178 23336
/proc/meminfo: memFree=28741700/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=23312 CPUtime=1.45 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 5194 0 4 0 145 0 0 0 20 0 1 0 337590505 23871488 5096 33554432000 134512640 135840783 4292910912 4292907680 7742759 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 5828 5096 349 325 0 4764 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 23312
[startup+3.1002 s]
/proc/loadavg: 1.08 1.31 1.67 4/178 23336
/proc/meminfo: memFree=28729672/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=29736 CPUtime=3.06 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 6788 0 4 0 305 1 0 0 20 0 1 0 337590505 30449664 6690 33554432000 134512640 135840783 4292910912 4292910272 134550804 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 7434 6690 349 325 0 6370 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 29736
[startup+6.3002 s]
/proc/loadavg: 1.15 1.33 1.68 4/178 23336
/proc/meminfo: memFree=28726556/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=30876 CPUtime=6.25 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 7075 0 4 0 624 1 0 0 20 0 1 0 337590505 31617024 6981 33554432000 134512640 135840783 4292910912 4292910272 134550893 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 7719 6981 349 325 0 6655 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 30876
[startup+12.7002 s]
/proc/loadavg: 1.22 1.34 1.68 4/178 23336
/proc/meminfo: memFree=28723024/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=32928 CPUtime=12.65 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 7590 0 4 0 1264 1 0 0 20 0 1 0 337590505 33718272 7496 33554432000 134512640 135840783 4292910912 4292910272 134551175 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 8232 7496 349 325 0 7168 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 32928
[startup+25.5002 s]
/proc/loadavg: 1.39 1.37 1.68 4/178 23336
/proc/meminfo: memFree=28722092/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=31648 CPUtime=25.44 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 7856 0 4 0 2543 1 0 0 20 0 1 0 337590505 32407552 7174 33554432000 134512640 135840783 4292910912 4292909984 7740140 0 0 4096 16384 0 0 0 17 0 0 0 3 0 0
/proc/23334/statm: 7912 7174 349 325 0 6848 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 31648
[startup+51.1003 s]
/proc/loadavg: 1.60 1.42 1.69 4/177 23336
/proc/meminfo: memFree=28717632/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=35108 CPUtime=51.03 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 8741 0 4 0 5102 1 0 0 20 0 1 0 337590505 35950592 8058 33554432000 134512640 135840783 4292910912 4292910272 134550910 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 8777 8058 349 325 0 7713 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 35108
[startup+102.307 s]
/proc/loadavg: 1.82 1.50 1.70 4/177 23336
/proc/meminfo: memFree=28713224/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=38100 CPUtime=102.22 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 9471 0 4 0 10221 1 0 0 20 0 1 0 337590505 39014400 8793 33554432000 134512640 135840783 4292910912 4292910272 134551048 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9525 8793 349 325 0 8461 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 38100
[startup+162.3 s]
/proc/loadavg: 1.93 1.59 1.72 4/177 23336
/proc/meminfo: memFree=28708820/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=39980 CPUtime=162.21 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 9940 0 4 0 16220 1 0 0 20 0 1 0 337590505 40939520 9261 33554432000 134512640 135840783 4292910912 4292910272 134551093 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9995 9261 349 325 0 8931 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 39980
[startup+222.3 s]
/proc/loadavg: 1.97 1.66 1.74 4/177 23336
/proc/meminfo: memFree=28708568/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=39900 CPUtime=222.2 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 9949 0 4 0 22219 1 0 0 20 0 1 0 337590505 40857600 9258 33554432000 134512640 135840783 4292910912 4292910272 134551084 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9975 9258 349 325 0 8911 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 39900
[startup+282.3 s]
/proc/loadavg: 1.99 1.72 1.75 4/177 23337
/proc/meminfo: memFree=28706024/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41032 CPUtime=282.2 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 10464 0 4 0 28218 2 0 0 20 0 1 0 337590505 42016768 9541 33554432000 134512640 135840783 4292910912 4292910272 134550902 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10258 9541 349 325 0 9194 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 41032
[startup+342.3 s]
/proc/loadavg: 1.99 1.77 1.76 4/177 23337
/proc/meminfo: memFree=28709184/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=37968 CPUtime=342.19 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 10464 0 4 0 34217 2 0 0 20 0 1 0 337590505 38879232 8775 33554432000 134512640 135840783 4292910912 4292910272 134551058 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9492 8775 349 325 0 8428 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 37968
[startup+402.3 s]
/proc/loadavg: 1.99 1.81 1.77 4/177 23337
/proc/meminfo: memFree=28707880/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=39724 CPUtime=402.18 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 10887 0 4 0 40216 2 0 0 20 0 1 0 337590505 40677376 9197 33554432000 134512640 135840783 4292910912 4292907984 134547774 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9931 9197 349 325 0 8867 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 39724
[startup+462.3 s]
/proc/loadavg: 1.99 1.84 1.78 4/177 23337
/proc/meminfo: memFree=28706392/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=39716 CPUtime=462.17 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 10898 0 4 0 46215 2 0 0 20 0 1 0 337590505 40669184 9208 33554432000 134512640 135840783 4292910912 4292910224 134550804 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 9929 9208 349 325 0 8865 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 39716
[startup+522.3 s]
/proc/loadavg: 1.99 1.87 1.79 4/177 23337
/proc/meminfo: memFree=28704840/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41644 CPUtime=522.16 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11380 0 4 0 52214 2 0 0 20 0 1 0 337590505 42643456 9689 33554432000 134512640 135840783 4292910912 4292910272 134550910 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10411 9689 349 325 0 9347 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 41644
[startup+582.3 s]
/proc/loadavg: 1.99 1.89 1.81 4/178 23341
/proc/meminfo: memFree=28704536/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41644 CPUtime=582.15 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11384 0 4 0 58213 2 0 0 20 0 1 0 337590505 42643456 9693 33554432000 134512640 135840783 4292910912 4292910272 134551175 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10411 9693 349 325 0 9347 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 41644
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.94 1.84 4/177 23341
/proc/meminfo: memFree=28704032/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41592 CPUtime=822.11 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11903 0 4 0 82209 2 0 0 20 0 1 0 337590505 42590208 9681 33554432000 134512640 135840783 4292910912 4292910336 134546112 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10398 9681 349 325 0 9334 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 41592
[startup+882.3 s]
/proc/loadavg: 1.99 1.95 1.84 4/176 23341
/proc/meminfo: memFree=28704164/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41468 CPUtime=882.1 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11903 0 4 0 88208 2 0 0 20 0 1 0 337590505 42463232 9650 33554432000 134512640 135840783 4292910912 4292910336 134546112 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10367 9650 349 325 0 9303 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 41468
[startup+942.3 s]
/proc/loadavg: 1.99 1.95 1.85 4/177 23342
/proc/meminfo: memFree=28704156/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41412 CPUtime=942.09 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11912 0 4 0 94207 2 0 0 20 0 1 0 337590505 42405888 9636 33554432000 134512640 135840783 4292910912 4292910272 134550893 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10353 9636 349 325 0 9289 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 41412
[startup+1002.3 s]
/proc/loadavg: 1.99 1.96 1.85 4/177 23342
/proc/meminfo: memFree=28704280/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=41472 CPUtime=1002.08 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 11916 0 4 0 100206 2 0 0 20 0 1 0 337590505 42467328 9639 33554432000 134512640 135840783 4292910912 4292910336 134546112 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10368 9639 349 325 0 9304 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 41472
[startup+1062.3 s]
/proc/loadavg: 2.03 1.98 1.86 4/177 23342
/proc/meminfo: memFree=28700928/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=43484 CPUtime=1062.07 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 12441 0 4 0 106205 2 0 0 20 0 1 0 337590505 44527616 10154 33554432000 134512640 135840783 4292910912 4292910264 1419469 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10871 10154 349 325 0 9807 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 43484
[startup+1122.3 s]
/proc/loadavg: 2.01 1.98 1.87 4/177 23342
/proc/meminfo: memFree=28701052/32873844 swapFree=6876/6876
[pid=23334] ppid=23332 vsize=43524 CPUtime=1122.06 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 12447 0 4 0 112204 2 0 0 20 0 1 0 337590505 44568576 10160 33554432000 134512640 135840783 4292910912 4292910272 134551058 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10881 10160 349 325 0 9817 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 43524
[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.88 4/178 23345
/proc/meminfo: memFree=28700276/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=43524 CPUtime=1182.05 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 12449 0 4 0 118203 2 0 0 20 0 1 0 337590505 44568576 10162 33554432000 134512640 135840783 4292910912 4292910272 134551175 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 10881 10162 349 325 0 9817 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 43524
[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.88 4/177 23346
/proc/meminfo: memFree=28698076/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45852 CPUtime=1242.05 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13018 0 4 0 124202 3 0 0 20 0 1 0 337590505 46952448 10731 33554432000 134512640 135840783 4292910912 4292910272 134551048 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11463 10731 349 325 0 10399 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 45852
[startup+1302.3 s]
/proc/loadavg: 2.08 1.99 1.89 4/177 23346
/proc/meminfo: memFree=28697888/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45840 CPUtime=1302.05 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13029 0 4 0 130202 3 0 0 20 0 1 0 337590505 46940160 10741 33554432000 134512640 135840783 4292910912 4292910272 134550878 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11460 10741 349 325 0 10396 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 45840
[startup+1362.3 s]
/proc/loadavg: 2.03 1.99 1.90 4/177 23346
/proc/meminfo: memFree=28696028/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45908 CPUtime=1362.03 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13038 0 4 0 136200 3 0 0 20 0 1 0 337590505 47009792 10750 33554432000 134512640 135840783 4292910912 4292910272 134550804 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11477 10750 349 325 0 10413 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 45908
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.90 4/177 23346
/proc/meminfo: memFree=28695964/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45964 CPUtime=1422.03 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13047 0 4 0 142200 3 0 0 20 0 1 0 337590505 47067136 10759 33554432000 134512640 135840783 4292910912 4292910272 134550899 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11491 10759 349 325 0 10427 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 45964
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/178 23347
/proc/meminfo: memFree=28695708/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45912 CPUtime=1482.01 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13047 0 4 0 148198 3 0 0 20 0 1 0 337590505 47013888 10759 33554432000 134512640 135840783 4292910912 4292910224 134550764 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11478 10759 349 325 0 10414 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 45912
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.92 4/177 23348
/proc/meminfo: memFree=28696212/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45876 CPUtime=1542.01 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13047 0 4 0 154198 3 0 0 20 0 1 0 337590505 46977024 10752 33554432000 134512640 135840783 4292910912 4292910272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11469 10752 349 325 0 10405 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 45876
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 1.92 4/177 23348
/proc/meminfo: memFree=28696212/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=45876 CPUtime=1602 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13047 0 4 0 160197 3 0 0 20 0 1 0 337590505 46977024 10752 33554432000 134512640 135840783 4292910912 4292910224 134551104 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 11469 10752 349 325 0 10405 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 45876
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.92 4/177 23348
/proc/meminfo: memFree=28693916/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=48364 CPUtime=1661.99 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13672 0 4 0 166196 3 0 0 20 0 1 0 337590505 49524736 11374 33554432000 134512640 135840783 4292910912 4292910048 7740046 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 12091 11374 349 325 0 11027 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 48364
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.92 4/177 23348
/proc/meminfo: memFree=28693792/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=48444 CPUtime=1721.98 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13692 0 4 0 172195 3 0 0 20 0 1 0 337590505 49606656 11389 33554432000 134512640 135840783 4292910912 4292910272 134550779 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 12111 11389 349 325 0 11047 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 48444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23351
/proc/meminfo: memFree=28693116/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=48404 CPUtime=1781.97 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13692 0 4 0 178194 3 0 0 20 0 1 0 337590505 49565696 11384 33554432000 134512640 135840783 4292910912 4292910272 134550863 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 12101 11384 349 325 0 11037 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 48404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23352
/proc/meminfo: memFree=28693412/32873844 swapFree=6872/6872
[pid=23334] ppid=23332 vsize=48404 CPUtime=1800.07 cores=0,2,4,6
/proc/23334/stat : 23334 (bsolo3.0.17) R 23332 23334 23291 0 -1 4202496 13692 0 4 0 180004 3 0 0 20 0 1 0 337590505 49565696 11384 33554432000 134512640 135840783 4292910912 4292910272 134551004 0 0 4096 16384 0 0 0 17 4 0 0 3 0 0
/proc/23334/statm: 12101 11384 349 325 0 11037 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 48404
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.08
CPU user time (s): 1800.05
CPU system time (s): 0.033994
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 48444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.033994
maximum resident set size= 45556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13696
page faults= 4
swaps= 0
block input operations= 2192
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 2020
runsolver used 3.24051 second user time and 9.47456 second system time
The end