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-3729679-1338679573/watcher-3729679-1338679573 -o /tmp/evaluation-result-3729679-1338679573/solver-3729679-1338679573 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729679-1338679573.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: 4.61 2.99 2.00 3/177 10818
/proc/meminfo: memFree=27227300/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 334081400 4583424 156 33554432000 134512640 135840783 4290278688 4290277656 2508640 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 1119 156 134 325 0 39 0
[startup+0.102287 s]
/proc/loadavg: 4.61 2.99 2.00 3/177 10818
/proc/meminfo: memFree=27227300/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=5736 CPUtime=0.09 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 779 0 0 0 9 0 0 0 20 0 1 0 334081400 5873664 695 33554432000 134512640 135840783 4290278688 4290278048 134551294 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 1434 695 346 325 0 370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5736
[startup+0.200257 s]
/proc/loadavg: 4.61 2.99 2.00 3/177 10818
/proc/meminfo: memFree=27227300/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=6396 CPUtime=0.19 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 927 0 0 0 19 0 0 0 20 0 1 0 334081400 6549504 843 33554432000 134512640 135840783 4290278688 4290277776 3074697 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 1599 843 346 325 0 535 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6396
[startup+0.300241 s]
/proc/loadavg: 4.61 2.99 2.00 3/177 10818
/proc/meminfo: memFree=27227300/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=6784 CPUtime=0.29 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 1027 0 0 0 29 0 0 0 20 0 1 0 334081400 6946816 943 33554432000 134512640 135840783 4290278688 4290278048 134550820 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 1696 943 346 325 0 632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6784
[startup+0.700212 s]
/proc/loadavg: 4.61 2.99 2.00 3/177 10818
/proc/meminfo: memFree=27227300/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=7568 CPUtime=0.68 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 1245 0 0 0 68 0 0 0 20 0 1 0 334081400 7749632 1161 33554432000 134512640 135840783 4290278688 4290278000 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 1892 1161 346 325 0 828 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7568
[startup+1.50021 s]
/proc/loadavg: 4.61 2.99 2.00 3/178 10819
/proc/meminfo: memFree=27224160/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=7828 CPUtime=1.48 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 1306 0 0 0 148 0 0 0 20 0 1 0 334081400 8015872 1222 33554432000 134512640 135840783 4290278688 4290278048 134551368 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 1957 1222 346 325 0 893 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7828
[startup+3.10022 s]
/proc/loadavg: 4.61 2.99 2.00 3/178 10819
/proc/meminfo: memFree=27223168/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=8600 CPUtime=3.08 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 1481 0 0 0 308 0 0 0 20 0 1 0 334081400 8806400 1397 33554432000 134512640 135840783 4290278688 4290278048 134551179 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 2150 1397 346 325 0 1086 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8600
[startup+6.30022 s]
/proc/loadavg: 4.40 2.97 2.00 3/178 10819
/proc/meminfo: memFree=27224712/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=8860 CPUtime=6.28 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 1571 0 0 0 628 0 0 0 20 0 1 0 334081400 9072640 1487 33554432000 134512640 135840783 4290278688 4290278048 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 2215 1487 346 325 0 1151 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8860
[startup+12.7002 s]
/proc/loadavg: 4.21 2.95 2.00 3/178 10819
/proc/meminfo: memFree=27224780/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=9648 CPUtime=12.68 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 1748 0 0 0 1268 0 0 0 20 0 1 0 334081400 9879552 1664 33554432000 134512640 135840783 4290278688 4290278000 9364104 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 2412 1664 346 325 0 1348 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9648
[startup+25.5002 s]
/proc/loadavg: 3.72 2.91 2.00 3/178 10819
/proc/meminfo: memFree=27225780/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=10168 CPUtime=25.48 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 1890 0 0 0 2548 0 0 0 20 0 1 0 334081400 10412032 1806 33554432000 134512640 135840783 4290278688 4290278040 8968377 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 2542 1806 346 325 0 1478 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10168
[startup+51.1003 s]
/proc/loadavg: 3.13 2.83 2.00 3/178 10819
/proc/meminfo: memFree=27225768/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=11332 CPUtime=51.07 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 2168 0 0 0 5107 0 0 0 20 0 1 0 334081400 11603968 2082 33554432000 134512640 135840783 4290278688 4290278048 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10818/statm: 2833 2082 346 325 0 1769 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11332
[startup+102.3 s]
/proc/loadavg: 2.53 2.72 2.00 3/177 10819
/proc/meminfo: memFree=27224472/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=12328 CPUtime=102.26 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 2432 0 0 0 10226 0 0 0 20 0 1 0 334081400 12623872 2345 33554432000 134512640 135840783 4290278688 4290278048 134551671 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3082 2345 346 325 0 2018 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12328
[startup+162.3 s]
/proc/loadavg: 2.23 2.60 2.00 3/177 10820
/proc/meminfo: memFree=27223604/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=13032 CPUtime=162.25 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 2599 0 0 0 16225 0 0 0 20 0 1 0 334081400 13344768 2512 33554432000 134512640 135840783 4290278688 4290278016 9355231 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3258 2512 346 325 0 2194 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13032
[startup+222.306 s]
/proc/loadavg: 2.12 2.50 2.00 3/177 10820
/proc/meminfo: memFree=27222984/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=13412 CPUtime=222.24 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 2696 0 0 0 22224 0 0 0 20 0 1 0 334081400 13733888 2609 33554432000 134512640 135840783 4290278688 4290277968 3079776 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3353 2609 346 325 0 2289 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 13412
[startup+282.3 s]
/proc/loadavg: 2.04 2.41 2.00 3/178 10823
/proc/meminfo: memFree=27222976/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=13868 CPUtime=282.24 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 2822 0 0 0 28223 1 0 0 20 0 1 0 334081400 14200832 2735 33554432000 134512640 135840783 4290278688 4290278048 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3467 2735 346 325 0 2403 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 13868
[startup+342.3 s]
/proc/loadavg: 2.01 2.33 2.00 3/177 10823
/proc/meminfo: memFree=27222676/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=14124 CPUtime=342.23 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 2873 0 0 0 34222 1 0 0 20 0 1 0 334081400 14462976 2785 33554432000 134512640 135840783 4290278688 4290278048 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3531 2785 346 325 0 2467 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14124
[startup+402.3 s]
/proc/loadavg: 2.05 2.28 2.00 3/177 10823
/proc/meminfo: memFree=27222676/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=14120 CPUtime=402.22 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 2876 0 0 0 40221 1 0 0 20 0 1 0 334081400 14458880 2788 33554432000 134512640 135840783 4290278688 4290278040 8968372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3530 2788 346 325 0 2466 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 14120
[startup+462.3 s]
/proc/loadavg: 2.02 2.23 2.00 3/177 10824
/proc/meminfo: memFree=27220692/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=15492 CPUtime=462.21 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 3219 0 0 0 46220 1 0 0 20 0 1 0 334081400 15863808 3131 33554432000 134512640 135840783 4290278688 4290278048 134550904 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3873 3131 346 325 0 2809 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 15492
Solver just ended. Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 2.01 2.21 2.00 3/177 10824
/proc/meminfo: memFree=27221064/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=15492 CPUtime=486.3 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 3219 0 0 0 48629 1 0 0 20 0 1 0 334081400 15863808 3131 33554432000 134512640 135840783 4290278688 4290278048 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3873 3131 346 325 0 2809 0
Current children cumulated CPU time (s) 486.3
Current children cumulated vsize (KiB) 15492
[startup+492.8 s]
/proc/loadavg: 2.01 2.20 2.00 3/177 10824
/proc/meminfo: memFree=27221064/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=15492 CPUtime=492.71 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 3219 0 0 0 49270 1 0 0 20 0 1 0 334081400 15863808 3131 33554432000 134512640 135840783 4290278688 4290278112 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3873 3131 346 325 0 2809 0
Current children cumulated CPU time (s) 492.71
Current children cumulated vsize (KiB) 15492
[startup+499.2 s]
/proc/loadavg: 2.01 2.20 2.00 3/177 10824
/proc/meminfo: memFree=27221064/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=15488 CPUtime=499.1 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 3219 0 0 0 49909 1 0 0 20 0 1 0 334081400 15859712 3131 33554432000 134512640 135840783 4290278688 4290278048 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3872 3131 346 325 0 2808 0
Current children cumulated CPU time (s) 499.1
Current children cumulated vsize (KiB) 15488
[startup+500.8 s]
/proc/loadavg: 2.01 2.20 2.00 3/177 10824
/proc/meminfo: memFree=27221064/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=15488 CPUtime=500.7 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 3219 0 0 0 50069 1 0 0 20 0 1 0 334081400 15859712 3131 33554432000 134512640 135840783 4290278688 4290278048 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3872 3131 346 325 0 2808 0
Current children cumulated CPU time (s) 500.7
Current children cumulated vsize (KiB) 15488
[startup+502.4 s]
/proc/loadavg: 2.01 2.20 2.00 3/177 10824
/proc/meminfo: memFree=27221064/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=15488 CPUtime=502.3 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 3219 0 0 0 50229 1 0 0 20 0 1 0 334081400 15859712 3131 33554432000 134512640 135840783 4290278688 4290278048 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3872 3131 346 325 0 2808 0
Current children cumulated CPU time (s) 502.3
Current children cumulated vsize (KiB) 15488
[startup+503.2 s]
/proc/loadavg: 2.01 2.20 2.00 3/177 10824
/proc/meminfo: memFree=27221064/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=15488 CPUtime=503.1 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 3219 0 0 0 50309 1 0 0 20 0 1 0 334081400 15859712 3131 33554432000 134512640 135840783 4290278688 4290278048 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3872 3131 346 325 0 2808 0
Current children cumulated CPU time (s) 503.1
Current children cumulated vsize (KiB) 15488
[startup+503.6 s]
/proc/loadavg: 2.01 2.20 2.00 3/177 10824
/proc/meminfo: memFree=27221064/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=15488 CPUtime=503.5 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 3219 0 0 0 50349 1 0 0 20 0 1 0 334081400 15859712 3131 33554432000 134512640 135840783 4290278688 4290278048 134551339 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3872 3131 346 325 0 2808 0
Current children cumulated CPU time (s) 503.5
Current children cumulated vsize (KiB) 15488
[startup+503.7 s]
/proc/loadavg: 2.01 2.20 2.00 3/177 10824
/proc/meminfo: memFree=27221064/32873648 swapFree=7368/7368
[pid=10818] ppid=10816 vsize=15488 CPUtime=503.6 cores=0,2,4,6
/proc/10818/stat : 10818 (bsolo3.0.17) R 10816 10818 10459 0 -1 4202496 3219 0 0 0 50359 1 0 0 20 0 1 0 334081400 15859712 3131 33554432000 134512640 135840783 4290278688 4290278048 134550972 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10818/statm: 3872 3131 346 325 0 2808 0
Current children cumulated CPU time (s) 503.6
Current children cumulated vsize (KiB) 15488
Child status: 0
Real time (s): 503.764
CPU time (s): 503.671
CPU user time (s): 503.658
CPU system time (s): 0.012998
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 15504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 503.658
system time used= 0.012998
maximum resident set size= 12524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3222
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= 17
involuntary context switches= 773
runsolver used 2.81357 second user time and 3.14052 second system time
The end