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-3729510-1338678799/watcher-3729510-1338678799 -o /tmp/evaluation-result-3729510-1338678799/solver-3729510-1338678799 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729510-1338678799.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: 1.89 1.00 1.14 3/176 10773
/proc/meminfo: memFree=25925188/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=4772 CPUtime=0 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 334003998 4886528 404 33554432000 134512640 135840783 4287207216 4287206032 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 1193 404 327 325 0 108 0
[startup+0.0789271 s]
/proc/loadavg: 1.89 1.00 1.14 3/176 10773
/proc/meminfo: memFree=25925188/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=5608 CPUtime=0.07 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 739 0 0 0 7 0 0 0 20 0 1 0 334003998 5742592 654 33554432000 134512640 135840783 4287207216 4287204476 2857964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 1402 654 346 325 0 338 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5608
[startup+0.100256 s]
/proc/loadavg: 1.89 1.00 1.14 3/176 10773
/proc/meminfo: memFree=25925188/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=5740 CPUtime=0.09 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 767 0 0 0 9 0 0 0 20 0 1 0 334003998 5877760 682 33554432000 134512640 135840783 4287207216 4287205488 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 1435 682 346 325 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5740
[startup+0.30022 s]
/proc/loadavg: 1.89 1.00 1.14 3/176 10773
/proc/meminfo: memFree=25925188/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=6648 CPUtime=0.29 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 1009 0 0 0 29 0 0 0 20 0 1 0 334003998 6807552 924 33554432000 134512640 135840783 4287207216 4287205648 134545942 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 1662 924 346 325 0 598 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6648
[startup+0.700223 s]
/proc/loadavg: 1.89 1.00 1.14 3/176 10773
/proc/meminfo: memFree=25925188/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=7556 CPUtime=0.69 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 1221 0 0 0 69 0 0 0 20 0 1 0 334003998 7737344 1136 33554432000 134512640 135840783 4287207216 4287206576 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 1889 1136 346 325 0 825 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7556
[startup+1.50022 s]
/proc/loadavg: 1.89 1.00 1.14 3/177 10774
/proc/meminfo: memFree=25914756/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=8076 CPUtime=1.49 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 1367 0 0 0 149 0 0 0 20 0 1 0 334003998 8269824 1282 33554432000 134512640 135840783 4287207216 4287206512 134572562 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 2019 1282 346 325 0 955 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8076
[startup+3.10021 s]
/proc/loadavg: 1.89 1.00 1.14 3/177 10774
/proc/meminfo: memFree=25905316/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=8844 CPUtime=3.09 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 1554 0 0 0 309 0 0 0 20 0 1 0 334003998 9056256 1469 33554432000 134512640 135840783 4287207216 4287205568 134573354 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 2211 1469 346 325 0 1147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8844
[startup+6.30022 s]
/proc/loadavg: 1.89 1.02 1.14 3/177 10774
/proc/meminfo: memFree=25881036/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=9368 CPUtime=6.29 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 1699 0 0 0 629 0 0 0 20 0 1 0 334003998 9592832 1614 33554432000 134512640 135840783 4287207216 4287206576 134550738 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 2342 1614 346 325 0 1278 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9368
[startup+12.7002 s]
/proc/loadavg: 1.90 1.03 1.15 3/177 10774
/proc/meminfo: memFree=25843396/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=10000 CPUtime=12.69 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 1843 0 0 0 1269 0 0 0 20 0 1 0 334003998 10240000 1758 33554432000 134512640 135840783 4287207216 4287206540 14664807 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 2500 1758 346 325 0 1436 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10000
[startup+25.5002 s]
/proc/loadavg: 1.92 1.08 1.16 3/177 10774
/proc/meminfo: memFree=25764896/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=11164 CPUtime=25.48 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 2141 0 0 0 2548 0 0 0 20 0 1 0 334003998 11431936 2056 33554432000 134512640 135840783 4287207216 4287206528 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 2791 2056 346 325 0 1727 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11164
[startup+51.1002 s]
/proc/loadavg: 2.01 1.17 1.19 3/177 10774
/proc/meminfo: memFree=25625488/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=11924 CPUtime=51.08 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 2326 0 0 0 5108 0 0 0 20 0 1 0 334003998 12210176 2241 33554432000 134512640 135840783 4287207216 4287206576 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 2981 2241 346 325 0 1917 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11924
[startup+102.306 s]
/proc/loadavg: 2.00 1.29 1.23 3/177 10774
/proc/meminfo: memFree=25411616/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=12952 CPUtime=102.28 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 2594 0 0 0 10228 0 0 0 20 0 1 0 334003998 13262848 2509 33554432000 134512640 135840783 4287207216 4287206576 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 3238 2509 346 325 0 2174 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12952
[startup+162.3 s]
/proc/loadavg: 2.00 1.42 1.27 3/177 10774
/proc/meminfo: memFree=25213244/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=13428 CPUtime=162.26 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 2699 0 0 0 16226 0 0 0 20 0 1 0 334003998 13750272 2614 33554432000 134512640 135840783 4287207216 4287206576 134551353 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 3357 2614 346 325 0 2293 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13428
[startup+222.3 s]
/proc/loadavg: 2.00 1.52 1.31 3/177 10774
/proc/meminfo: memFree=24849704/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=14248 CPUtime=222.25 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 2906 0 0 0 22225 0 0 0 20 0 1 0 334003998 14589952 2819 33554432000 134512640 135840783 4287207216 4287206576 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 3562 2819 346 325 0 2498 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 14248
[startup+282.3 s]
/proc/loadavg: 2.00 1.61 1.35 3/177 10775
/proc/meminfo: memFree=24527972/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=14240 CPUtime=282.24 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 2906 0 0 0 28224 0 0 0 20 0 1 0 334003998 14581760 2819 33554432000 134512640 135840783 4287207216 4287206568 14694605 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 3560 2819 346 325 0 2496 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14240
[startup+342.3 s]
/proc/loadavg: 2.00 1.68 1.39 3/177 10775
/proc/meminfo: memFree=24241424/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=15856 CPUtime=342.24 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3315 0 0 0 34223 1 0 0 20 0 1 0 334003998 16236544 3228 33554432000 134512640 135840783 4287207216 4287206572 134521208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 3964 3228 346 325 0 2900 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 15856
[startup+402.3 s]
/proc/loadavg: 2.00 1.73 1.43 3/177 10775
/proc/meminfo: memFree=23950812/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=15828 CPUtime=402.23 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3315 0 0 0 40222 1 0 0 20 0 1 0 334003998 16207872 3228 33554432000 134512640 135840783 4287207216 4287206576 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 3957 3228 346 325 0 2893 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 15828
[startup+462.3 s]
/proc/loadavg: 2.00 1.78 1.46 3/178 10778
/proc/meminfo: memFree=23705204/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=15828 CPUtime=462.22 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3315 0 0 0 46221 1 0 0 20 0 1 0 334003998 16207872 3228 33554432000 134512640 135840783 4287207216 4287206576 134551179 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 3957 3228 346 325 0 2893 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 15828
[startup+522.3 s]
/proc/loadavg: 2.08 1.83 1.50 3/177 10778
/proc/meminfo: memFree=23478212/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=16296 CPUtime=522.21 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3418 0 0 0 52220 1 0 0 20 0 1 0 334003998 16687104 3331 33554432000 134512640 135840783 4287207216 4287206576 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4074 3331 346 325 0 3010 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 16296
[startup+582.3 s]
/proc/loadavg: 2.03 1.86 1.52 3/176 10778
/proc/meminfo: memFree=23231240/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=16288 CPUtime=582.2 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3418 0 0 0 58219 1 0 0 20 0 1 0 334003998 16678912 3331 33554432000 134512640 135840783 4287207216 4287206528 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4072 3331 346 325 0 3008 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 16288
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27223100/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=17536 CPUtime=1062.13 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3735 0 0 0 106212 1 0 0 20 0 1 0 334003998 17956864 3643 33554432000 134512640 135840783 4287207216 4287206576 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4384 3643 346 325 0 3320 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 17536
[startup+1122.3 s]
/proc/loadavg: 2.01 2.32 2.00 3/177 10823
/proc/meminfo: memFree=27222676/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=17528 CPUtime=1122.12 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3735 0 0 0 112211 1 0 0 20 0 1 0 334003998 17948672 3643 33554432000 134512640 135840783 4287207216 4287206576 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4382 3643 346 325 0 3318 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 17528
[startup+1182.3 s]
/proc/loadavg: 2.04 2.28 2.00 3/177 10823
/proc/meminfo: memFree=27222800/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=17520 CPUtime=1182.11 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3735 0 0 0 118210 1 0 0 20 0 1 0 334003998 17940480 3643 33554432000 134512640 135840783 4287207216 4287206576 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4380 3643 346 325 0 3316 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 17520
[startup+1242.31 s]
/proc/loadavg: 2.01 2.22 2.00 3/177 10824
/proc/meminfo: memFree=27220692/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18004 CPUtime=1242.1 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3855 0 0 0 124209 1 0 0 20 0 1 0 334003998 18436096 3763 33554432000 134512640 135840783 4287207216 4287206576 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4501 3763 346 325 0 3437 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 18004
[startup+1302.3 s]
/proc/loadavg: 2.00 2.18 2.00 3/177 10900
/proc/meminfo: memFree=27225612/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18004 CPUtime=1302.09 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3855 0 0 0 130208 1 0 0 20 0 1 0 334003998 18436096 3763 33554432000 134512640 135840783 4287207216 4287206576 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4501 3763 346 325 0 3437 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 18004
[startup+1362.3 s]
/proc/loadavg: 2.00 2.14 2.00 3/177 10900
/proc/meminfo: memFree=27223440/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=17984 CPUtime=1362.08 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3855 0 0 0 136207 1 0 0 20 0 1 0 334003998 18415616 3763 33554432000 134512640 135840783 4287207216 4287206576 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4496 3763 346 325 0 3432 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 17984
[startup+1422.3 s]
/proc/loadavg: 2.00 2.12 2.00 3/177 10900
/proc/meminfo: memFree=27222384/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=17984 CPUtime=1422.07 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3855 0 0 0 142206 1 0 0 20 0 1 0 334003998 18415616 3763 33554432000 134512640 135840783 4287207216 4287206640 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4496 3763 346 325 0 3432 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 17984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.09 2.00 3/177 10900
/proc/meminfo: memFree=27220708/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18496 CPUtime=1482.06 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 148205 1 0 0 20 0 1 0 334003998 18939904 3883 33554432000 134512640 135840783 4287207216 4287206528 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4624 3883 346 325 0 3560 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 18496
[startup+1542.3 s]
/proc/loadavg: 2.10 2.10 2.01 3/177 10901
/proc/meminfo: memFree=27221204/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18492 CPUtime=1542.05 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 154204 1 0 0 20 0 1 0 334003998 18935808 3883 33554432000 134512640 135840783 4287207216 4287206528 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4623 3883 346 325 0 3559 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 18492
[startup+1602.3 s]
/proc/loadavg: 2.07 2.10 2.01 3/178 10904
/proc/meminfo: memFree=27219308/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18456 CPUtime=1602.04 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 160203 1 0 0 20 0 1 0 334003998 18898944 3883 33554432000 134512640 135840783 4287207216 4287206528 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4614 3883 346 325 0 3550 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 18456
[startup+1662.3 s]
/proc/loadavg: 2.02 2.08 2.00 3/178 10904
/proc/meminfo: memFree=27220212/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18456 CPUtime=1662.03 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 166202 1 0 0 20 0 1 0 334003998 18898944 3883 33554432000 134512640 135840783 4287207216 4287206352 3074821 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4614 3883 346 325 0 3550 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 18456
Solver just ended. Dumping a history of the last processes samples
[startup+1665.4 s]
/proc/loadavg: 2.02 2.07 2.00 3/177 10904
/proc/meminfo: memFree=27220220/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18456 CPUtime=1665.13 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 166512 1 0 0 20 0 1 0 334003998 18898944 3883 33554432000 134512640 135840783 4287207216 4287206528 134550933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4614 3883 346 325 0 3550 0
Current children cumulated CPU time (s) 1665.13
Current children cumulated vsize (KiB) 18456
[startup+1691 s]
/proc/loadavg: 2.01 2.07 2.00 3/177 10904
/proc/meminfo: memFree=27220344/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18456 CPUtime=1690.73 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 169072 1 0 0 20 0 1 0 334003998 18898944 3883 33554432000 134512640 135840783 4287207216 4287206568 14694577 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4614 3883 346 325 0 3550 0
Current children cumulated CPU time (s) 1690.73
Current children cumulated vsize (KiB) 18456
[startup+1697.4 s]
/proc/loadavg: 2.01 2.07 2.00 3/177 10904
/proc/meminfo: memFree=27220344/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18344 CPUtime=1697.13 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 169712 1 0 0 20 0 1 0 334003998 18784256 3858 33554432000 134512640 135840783 4287207216 4287206496 3079833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4586 3858 346 325 0 3522 0
Current children cumulated CPU time (s) 1697.13
Current children cumulated vsize (KiB) 18344
[startup+1703.8 s]
/proc/loadavg: 2.01 2.06 2.00 3/177 10904
/proc/meminfo: memFree=27220272/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18344 CPUtime=1703.53 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 170352 1 0 0 20 0 1 0 334003998 18784256 3858 33554432000 134512640 135840783 4287207216 4287206576 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4586 3858 346 325 0 3522 0
Current children cumulated CPU time (s) 1703.53
Current children cumulated vsize (KiB) 18344
[startup+1707 s]
/proc/loadavg: 2.01 2.06 2.00 3/177 10904
/proc/meminfo: memFree=27220396/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18344 CPUtime=1706.73 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 170672 1 0 0 20 0 1 0 334003998 18784256 3858 33554432000 134512640 135840783 4287207216 4287206576 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4586 3858 346 325 0 3522 0
Current children cumulated CPU time (s) 1706.73
Current children cumulated vsize (KiB) 18344
[startup+1707.8 s]
/proc/loadavg: 2.01 2.06 2.00 3/177 10904
/proc/meminfo: memFree=27220396/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18344 CPUtime=1707.53 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 170752 1 0 0 20 0 1 0 334003998 18784256 3858 33554432000 134512640 135840783 4287207216 4287206528 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4586 3858 346 325 0 3522 0
Current children cumulated CPU time (s) 1707.53
Current children cumulated vsize (KiB) 18344
[startup+1708.2 s]
/proc/loadavg: 2.01 2.06 2.00 3/177 10904
/proc/meminfo: memFree=27220396/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18344 CPUtime=1707.93 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 170792 1 0 0 20 0 1 0 334003998 18784256 3858 33554432000 134512640 135840783 4287207216 4287206576 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4586 3858 346 325 0 3522 0
Current children cumulated CPU time (s) 1707.93
Current children cumulated vsize (KiB) 18344
[startup+1708.4 s]
/proc/loadavg: 2.01 2.06 2.00 3/177 10904
/proc/meminfo: memFree=27220396/32873648 swapFree=7368/7368
[pid=10773] ppid=10771 vsize=18344 CPUtime=1708.13 cores=1,3,5,7
/proc/10773/stat : 10773 (bsolo3.0.17) R 10771 10773 10459 0 -1 4202496 3976 0 0 0 170812 1 0 0 20 0 1 0 334003998 18784256 3858 33554432000 134512640 135840783 4287207216 4287206576 134550826 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10773/statm: 4586 3858 346 325 0 3522 0
Current children cumulated CPU time (s) 1708.13
Current children cumulated vsize (KiB) 18344
Child status: 0
Real time (s): 1708.42
CPU time (s): 1708.15
CPU user time (s): 1708.14
CPU system time (s): 0.011998
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 18500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.14
system time used= 0.011998
maximum resident set size= 15532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3979
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= 13
involuntary context switches= 1762
runsolver used 2.54761 second user time and 7.2299 second system time
The end