Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 1691.99 | 1692.42 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb |
MD5SUM | cdc1e49bcf2e6b6913c93a683c821b72 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.227965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452941-1177999401/instance-452941-1177999401.opb 0.00/0.00 c File size is 10539 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.01 0.00/0.01 c Switching off LPR mode. 26.98/27.01 c 101 792 1281 11153 8 4390 7322 101 4809 0.02 26.98/27.01 c 252 792 1432 21125 14 4664 8055 252 7875 0.03 26.98/27.01 c 477 792 1657 35912 21 5040 8861 477 9173 0.05 26.98/27.01 c 816 792 1996 56180 28 5707 9748 816 9379 0.09 26.98/27.01 c 1324 792 2504 90935 36 6787 10723 1324 9594 0.14 26.98/27.01 c 2088 792 3268 142705 43 8333 11796 2088 8487 0.25 26.98/27.01 c 3234 792 4414 221121 50 10492 12976 3234 8555 0.38 26.98/27.01 c 4955 792 6135 330440 53 13899 14274 4955 7038 0.70 26.98/27.01 c 7539 792 8719 500447 57 19053 15702 7539 6287 1.20 26.98/27.01 c 11418 792 12598 739280 58 26803 17273 11418 4213 2.71 26.98/27.01 c 17240 792 18420 1106924 60 38458 19001 17240 3532 4.88 26.98/27.01 c 25978 792 17103 1001842 58 35850 20902 15923 2571 10.10 26.98/27.01 c 39088 792 19648 1138500 57 40886 22993 18468 2032 19.23 26.98/27.01 o 43 27.006 571.14/571.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 571.14/571.32 c 56380 792 12175 901833 74 26054 6672 10995 2087 27.01 571.14/571.32 c 56481 792 4618 311407 67 11101 7340 3438 2085 27.08 571.14/571.32 c 56733 772 4870 330326 67 11584 8075 3690 2092 27.11 571.14/571.32 c 57208 772 5345 372876 69 12535 8883 4165 2105 27.17 571.14/571.32 c 58021 772 6158 430410 69 14122 9772 4978 2126 27.29 571.14/571.32 c 59341 772 7478 513227 68 16711 10750 6298 2159 27.48 571.14/571.32 c 61423 772 9560 675922 70 20859 11826 8380 2201 27.90 571.14/571.32 c 64646 772 12783 891313 69 27347 13009 11603 2255 28.66 571.14/571.32 c 69582 772 10638 659631 62 22973 14310 9458 2334 29.80 571.14/571.32 c 77088 772 10237 573749 56 22158 15742 9057 2420 31.84 571.14/571.32 c 88450 772 13647 734226 53 28950 17317 12467 2092 42.27 571.14/571.32 c 105594 772 13158 766634 58 27961 19049 11978 1970 53.60 571.14/571.32 c 131413 769 19702 1103526 56 41110 20954 18522 1930 68.08 571.14/571.32 c 170245 769 14372 925965 64 30463 23050 13192 1673 101.70 571.14/571.32 c 228597 769 23397 1456889 62 48517 25356 22217 1333 171.43 571.14/571.32 c 316230 768 22720 1404394 61 47106 27892 21540 1223 258.41 571.14/571.32 c 447782 768 21723 1541397 70 45103 30682 20543 961 465.54 571.14/571.32 o 3 571.181 1691.96/1692.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1691.96/1692.41 c 546924 768 23105 1545242 66 48010 6668 21925 957 571.18 1691.96/1692.41 c 547024 758 4621 247980 53 11022 7335 3441 957 571.42 1691.96/1692.41 c 547279 758 4876 267719 54 11511 8069 3696 957 571.45 1691.96/1692.41 c 547754 758 5351 301720 56 12447 8876 4171 958 571.50 1691.96/1692.41 c 548567 758 6164 356908 57 14104 9764 4984 959 571.59 1691.96/1692.41 c 549887 758 7484 444427 59 16751 10741 6304 961 571.85 1691.96/1692.41 c 551968 758 9565 581210 60 20957 11816 8385 964 572.30 1691.96/1692.41 c 555192 758 12789 800137 62 27368 12998 11609 968 573.08 1691.96/1692.41 c 560128 758 10883 641376 58 23515 14298 9703 973 575.60 1691.96/1692.41 c 567635 758 11142 639116 57 24017 15728 9962 976 581.00 1691.96/1692.41 c 578997 750 14159 862666 60 30015 17301 12979 987 586.13 1691.96/1692.41 c 596142 750 13827 801361 57 29346 19032 12647 991 601.38 1691.96/1692.41 c 621961 714 10708 955197 89 23240 20936 9528 993 625.94 1691.96/1692.41 c 660793 714 16592 1064270 64 34959 23030 15412 989 667.76 1691.96/1692.41 c 719147 713 12491 765351 61 26757 25334 11311 998 720.45 1691.96/1692.41 c 806780 712 12706 761786 59 27152 27868 11526 983 820.16 1691.96/1692.41 c 938333 711 25874 1601447 61 53517 30655 24694 948 988.78 1691.96/1692.41 c 1135765 709 31091 1937609 62 63940 33721 29911 920 1233.61 1691.96/1692.41 c 1432018 697 18401 960288 52 38581 37094 17221 884 1619.89 1691.96/1692.41 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 -x14 -x15 x16 x17 -x18 -x19 -x20 -x21 x22 x23 -x24 x25 -x26 -x27 -x28 -x29 x30 -x31 1691.96/1692.41 v -x32 x33 -x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 x52 -x53 x54 -x55 -x56 x57 x58 -x59 1691.96/1692.41 v -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 x68 -x69 -x70 x71 x72 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 x86 -x87 1691.96/1692.41 v x88 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x153 -x154 x155 x156 x157 x158 -x159 1691.96/1692.41 v -x160 x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x105 -x106 x107 -x108 -x109 1691.96/1692.41 v -x110 -x111 -x112 x169 -x170 x171 x172 -x173 -x174 -x175 -x176 x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x177 -x178 -x179 1691.96/1692.41 v -x180 -x181 -x182 -x183 -x184 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 1691.96/1692.41 v x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 -x138 -x139 -x140 -x141 1691.96/1692.41 v x142 x143 -x144 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1691.96/1692.41 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1691.96/1692.41 c 49 1469207 9712 1510980 30319 1574785 29139 868 1691.98 1691.96/1692.41 c Objective: 3 1691.96/1692.41 s OPTIMUM FOUND 1691.96/1692.41 c Total time: 1691.98 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-452941-1177999401 -o ROOT/results/node27/solver-452941-1177999401 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452941-1177999401/instance-452941-1177999401.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/65 10122 /proc/meminfo: memFree=1786592/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=11748 CPUtime=0 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 212635982 12029952 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 2937 344 289 324 0 2004 0 [startup+0.105873 s] /proc/loadavg: 0.91 0.97 0.99 3/65 10122 /proc/meminfo: memFree=1786592/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=5232 CPUtime=0.1 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 704 0 0 0 10 0 0 0 18 0 1 0 212635982 5357568 671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 1308 672 310 324 0 378 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5232 [startup+0.201883 s] /proc/loadavg: 0.91 0.97 0.99 3/65 10122 /proc/meminfo: memFree=1786592/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=6008 CPUtime=0.19 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 897 0 0 0 19 0 0 0 18 0 1 0 212635982 6152192 864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 1502 864 310 324 0 572 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6008 [startup+0.301893 s] /proc/loadavg: 0.91 0.97 0.99 3/65 10122 /proc/meminfo: memFree=1786592/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=6528 CPUtime=0.29 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 1055 0 0 0 29 0 0 0 19 0 1 0 212635982 6684672 1022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 1632 1022 310 324 0 702 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6528 [startup+0.701932 s] /proc/loadavg: 0.91 0.97 0.99 3/65 10122 /proc/meminfo: memFree=1786592/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=8988 CPUtime=0.69 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 1656 0 0 0 69 0 0 0 22 0 1 0 212635982 9203712 1623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 2247 1624 310 324 0 1317 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8988 [startup+1.50201 s] /proc/loadavg: 0.91 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1779160/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=12348 CPUtime=1.49 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 2512 0 0 0 148 1 0 0 25 0 1 0 212635982 12644352 2479 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 3087 2479 310 324 0 2157 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12348 [startup+3.10117 s] /proc/loadavg: 0.92 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1776088/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=15472 CPUtime=3.09 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 3271 0 0 0 308 1 0 0 25 0 1 0 212635982 15843328 3238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 3868 3238 310 324 0 2938 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15472 [startup+6.30149 s] /proc/loadavg: 0.92 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1768344/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=22356 CPUtime=6.29 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 5009 0 0 0 627 2 0 0 25 0 1 0 212635982 22892544 4976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 5589 4976 310 324 0 4659 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22356 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1767328/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=23116 CPUtime=12.68 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 5202 0 0 0 1266 2 0 0 25 0 1 0 212635982 23670784 5169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 5779 5169 310 324 0 4849 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23116 [startup+25.5014 s] /proc/loadavg: 0.94 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1764512/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=25484 CPUtime=25.49 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 5786 0 0 0 2546 3 0 0 25 0 1 0 212635982 26095616 5753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 6371 5753 310 324 0 5441 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25484 [startup+51.102 s] /proc/loadavg: 0.96 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1761184/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=28716 CPUtime=51.08 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 6605 0 0 0 5105 3 0 0 25 0 1 0 212635982 29405184 6572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 7179 6572 311 324 0 6249 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28716 [startup+102.301 s] /proc/loadavg: 0.98 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1761248/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=28716 CPUtime=102.27 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 6605 0 0 0 10224 3 0 0 25 0 1 0 212635982 29405184 6572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 7179 6572 311 324 0 6249 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28716 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1761248/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=28716 CPUtime=162.25 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 6605 0 0 0 16222 3 0 0 25 0 1 0 212635982 29405184 6572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 7179 6572 311 324 0 6249 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28716 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1761056/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=28928 CPUtime=222.24 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 6652 0 0 0 22221 3 0 0 25 0 1 0 212635982 29622272 6619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 7232 6619 311 324 0 6302 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 28928 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1757600/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=32420 CPUtime=282.22 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 7527 0 0 0 28218 4 0 0 25 0 1 0 212635982 33198080 7494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8105 7494 311 324 0 7175 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 32420 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1757600/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=32416 CPUtime=342.2 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 7527 0 0 0 34216 4 0 0 25 0 1 0 212635982 33193984 7494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8104 7494 311 324 0 7174 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 32416 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1757216/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=32792 CPUtime=402.19 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 7620 0 0 0 40215 4 0 0 25 0 1 0 212635982 33579008 7587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8198 7587 311 324 0 7268 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 32792 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1757216/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=32748 CPUtime=462.17 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 7620 0 0 0 46213 4 0 0 25 0 1 0 212635982 33533952 7580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8187 7580 311 324 0 7257 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 32748 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1754144/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=35804 CPUtime=522.16 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8383 0 0 0 52211 5 0 0 25 0 1 0 212635982 36663296 8343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8951 8343 311 324 0 8021 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 35804 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1754144/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=35676 CPUtime=582.14 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8383 0 0 0 58209 5 0 0 25 0 1 0 212635982 36532224 8312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8919 8312 311 324 0 7989 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 35676 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1754144/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=35604 CPUtime=642.12 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8383 0 0 0 64207 5 0 0 25 0 1 0 212635982 36458496 8294 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8901 8294 311 324 0 7971 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 35604 ################ # More data... # ################ /proc/meminfo: memFree=1754720/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=35144 CPUtime=1062.02 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8383 0 0 0 106196 6 0 0 25 0 1 0 212635982 35987456 8179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8786 8179 311 324 0 7856 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 35144 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1754720/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=35144 CPUtime=1122 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8383 0 0 0 112194 6 0 0 25 0 1 0 212635982 35987456 8179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8786 8179 311 324 0 7856 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 35144 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1754720/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=35144 CPUtime=1181.99 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8383 0 0 0 118193 6 0 0 25 0 1 0 212635982 35987456 8179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 8786 8179 311 324 0 7856 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 35144 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1753888/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36060 CPUtime=1241.97 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8622 0 0 0 124191 6 0 0 25 0 1 0 212635982 36925440 8384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1898401 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9015 8384 311 324 0 8085 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 36060 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1753888/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36060 CPUtime=1301.97 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8724 0 0 0 130190 7 0 0 25 0 1 0 212635982 36925440 8384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9015 8384 311 324 0 8085 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 36060 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1753888/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36060 CPUtime=1361.95 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8792 0 0 0 136188 7 0 0 25 0 1 0 212635982 36925440 8384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551400 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9015 8384 311 324 0 8085 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 36060 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1753760/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36188 CPUtime=1421.94 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 8856 0 0 0 142187 7 0 0 25 0 1 0 212635982 37056512 8414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9047 8414 311 324 0 8117 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 36188 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1753056/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36840 CPUtime=1481.91 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9090 0 0 0 148184 7 0 0 25 0 1 0 212635982 37724160 8580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9210 8580 311 324 0 8280 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 36840 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10123 /proc/meminfo: memFree=1753056/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36840 CPUtime=1541.9 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9158 0 0 0 154183 7 0 0 25 0 1 0 212635982 37724160 8580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9210 8580 311 324 0 8280 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 36840 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1753056/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36840 CPUtime=1601.88 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9226 0 0 0 160181 7 0 0 25 0 1 0 212635982 37724160 8580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900050 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9210 8580 311 324 0 8280 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 36840 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1753056/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36852 CPUtime=1661.86 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9229 0 0 0 166179 7 0 0 25 0 1 0 212635982 37736448 8583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9213 8583 311 324 0 8283 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 36852 Solver just ended. Dumping a history of the last processes samples [startup+1664 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1753056/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36852 CPUtime=1663.56 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9266 0 0 0 166349 7 0 0 25 0 1 0 212635982 37736448 8583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9213 8583 311 324 0 8283 0 Current children cumulated CPU time (s) 1663.56 Current children cumulated vsize (KiB) 36852 [startup+1676.8 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1752992/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36852 CPUtime=1676.36 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9266 0 0 0 167629 7 0 0 25 0 1 0 212635982 37736448 8583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9213 8583 311 324 0 8283 0 Current children cumulated CPU time (s) 1676.36 Current children cumulated vsize (KiB) 36852 [startup+1683.2 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1752992/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36852 CPUtime=1682.76 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9266 0 0 0 168269 7 0 0 25 0 1 0 212635982 37736448 8583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9213 8583 311 324 0 8283 0 Current children cumulated CPU time (s) 1682.76 Current children cumulated vsize (KiB) 36852 [startup+1686.41 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1752992/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36852 CPUtime=1685.96 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9266 0 0 0 168589 7 0 0 25 0 1 0 212635982 37736448 8583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9213 8583 311 324 0 8283 0 Current children cumulated CPU time (s) 1685.96 Current children cumulated vsize (KiB) 36852 [startup+1689.6 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1752992/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36852 CPUtime=1689.16 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9266 0 0 0 168909 7 0 0 25 0 1 0 212635982 37736448 8583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9213 8583 311 324 0 8283 0 Current children cumulated CPU time (s) 1689.16 Current children cumulated vsize (KiB) 36852 [startup+1691.2 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1752992/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36852 CPUtime=1690.76 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9266 0 0 0 169069 7 0 0 25 0 1 0 212635982 37736448 8583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9213 8583 311 324 0 8283 0 Current children cumulated CPU time (s) 1690.76 Current children cumulated vsize (KiB) 36852 [startup+1692 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1752992/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36852 CPUtime=1691.56 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9266 0 0 0 169149 7 0 0 25 0 1 0 212635982 37736448 8583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9213 8583 311 324 0 8283 0 Current children cumulated CPU time (s) 1691.56 Current children cumulated vsize (KiB) 36852 [startup+1692.4 s] /proc/loadavg: 0.99 0.97 0.99 2/66 10125 /proc/meminfo: memFree=1752992/2055920 swapFree=4182936/4192956 [pid=10122] ppid=10120 vsize=36852 CPUtime=1691.96 /proc/10122/stat : 10122 (bsolo3.0.17) R 10120 10122 8878 0 -1 4194304 9266 0 0 0 169189 7 0 0 25 0 1 0 212635982 37736448 8583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10122/statm: 9213 8583 311 324 0 8283 0 Current children cumulated CPU time (s) 1691.96 Current children cumulated vsize (KiB) 36852 Child status: 0 Real time (s): 1692.42 CPU time (s): 1691.99 CPU user time (s): 1691.9 CPU system time (s): 0.086986 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 36976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1691.9 system time used= 0.086986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9270 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= 12 involuntary context switches= 2522 runsolver used 1.39079 second user time and 3.23351 second system time The end
Begin job on node27 on Tue May 1 06:03:21 UTC 2007 IDJOB= 452941 IDBENCH= 48008 IDSOLVER= 199 FILE ID= node27/452941-1177999401 PBS_JOBID= 4728219 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452941-1177999401/instance-452941-1177999401.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-452941-1177999401 -o ROOT/results/node27/solver-452941-1177999401 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452941-1177999401/instance-452941-1177999401.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72 RANDOM SEED= 85306353 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1787000 kB Buffers: 30564 kB Cached: 163524 kB SwapCached: 3996 kB Active: 74384 kB Inactive: 129952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787000 kB SwapTotal: 4192956 kB SwapFree: 4182936 kB Dirty: 6584 kB Writeback: 0 kB Mapped: 16172 kB Slab: 50560 kB Committed_AS: 2363516 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node27 on Tue May 1 06:31:33 UTC 2007