Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 1120 | 88.6585 | 88.7351 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 9b4418c5c34f37121cd9ad7732df64ff |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1120 |
Best CPU time to get the best result obtained on this benchmark | 8.64668 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/363611-1177029934/instance-363611-1177029934.opb 0.00/0.00 c File size is 3601 bytes. 0.00/0.00 c Highest Coefficient sum: 15494 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 89 Constr: 28 2/15/11 Lit: 309 Watch. Lit: 138 0.00/0.00 c Obj. Vars: 85 (95.5056 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 88 28 309 11 138 558 0 0 0.00 0.00/0.01 c Initial Lower Bound: 945 0.00/0.01 c Initial Path Cost: 0 0.00/0.01 o 2175 0.004 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 34 88 63 1932 30 288 726 35 8500 0.00 0.00/0.03 o 1723 0.025 * 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 46 88 76 2465 32 392 726 48 1840 0.03 0.00/0.05 o 1655 0.041 * 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 48 88 80 2672 33 475 726 52 1170 0.04 0.00/0.06 o 1643 0.054 0.05/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.08 c 55 88 88 3027 34 560 726 60 1018 0.05 0.05/0.08 o 1590 0.079 * 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 98 88 136 5227 38 725 726 108 1240 0.08 0.09/0.15 c 198 88 258 10731 41 970 799 230 1584 0.12 0.09/0.15 o 1537 0.143 * 0.18/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.22 c 216 88 279 11479 41 1085 726 251 1510 0.14 0.18/0.22 c 318 88 424 17853 42 1375 799 396 1691 0.19 0.18/0.22 o 1509 0.215 * 0.18/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.24 c 355 88 462 19212 41 1516 726 434 1651 0.21 0.18/0.24 o 1486 0.23 * 0.18/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.24 c 367 88 475 19565 41 1619 726 447 1595 0.23 0.18/0.24 o 1260 0.238 * 1.78/1.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.78/1.84 c 367 88 476 19649 41 1692 726 448 1542 0.24 1.78/1.84 c 468 88 587 23099 39 1906 799 559 1630 0.29 1.78/1.84 c 718 88 439 13657 31 1049 879 411 1613 0.45 1.78/1.84 c 1194 88 652 20909 32 1471 967 624 1730 0.69 1.78/1.84 c 2007 88 609 21590 35 1392 1064 581 1891 1.06 1.78/1.84 c 3331 88 561 16019 28 1290 1171 533 1853 1.80 1.78/1.84 o 1238 1.837 * 1.78/1.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.78/1.89 c 3373 88 609 17582 28 1468 726 581 1836 1.84 1.78/1.89 o 1153 1.88 3.59/3.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.66 c 3440 88 691 20147 29 1707 726 663 1829 1.88 3.59/3.66 c 3540 88 451 13321 29 1069 799 423 1825 1.94 3.59/3.66 c 3790 88 820 27334 33 1811 879 792 1832 2.07 3.59/3.66 c 4265 88 742 18778 25 1649 967 714 1832 2.33 3.59/3.66 c 5079 88 974 32910 33 2119 1064 946 1827 2.78 3.59/3.66 c 6401 88 1044 34657 33 2264 1171 1016 1834 3.49 3.59/3.66 o 1148 3.651 * 16.68/16.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.68/16.70 c 6695 88 868 28098 32 1984 726 840 1833 3.65 16.68/16.70 c 6795 88 546 17154 31 1261 799 518 1832 3.71 16.68/16.70 c 7045 88 491 14744 30 1150 879 463 1836 3.84 16.68/16.70 c 7521 88 670 19919 29 1515 967 642 1852 4.06 16.68/16.70 c 8335 88 961 28595 29 2093 1064 933 1855 4.49 16.68/16.70 c 9655 88 1067 34481 32 2303 1171 1039 1889 5.11 16.68/16.70 c 11737 88 794 27079 34 1757 1289 766 1888 6.22 16.68/16.70 c 14960 88 972 33117 34 2119 1418 944 1904 7.85 16.68/16.70 c 19896 88 915 26355 28 1997 1560 887 1914 10.39 16.68/16.70 c 27402 88 1416 42716 30 2999 1717 1388 1954 14.02 16.68/16.70 o 1147 16.693 * 30.48/30.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.48/30.55 c 32817 88 1417 47111 33 3085 726 1389 1965 16.69 30.48/30.55 c 32919 88 524 16850 32 1216 799 496 1966 16.74 30.48/30.55 c 33173 88 429 13520 31 1025 879 401 1967 16.86 30.48/30.55 c 33649 88 752 21882 29 1672 967 724 1970 17.08 30.48/30.55 c 34462 88 528 15550 29 1224 1064 500 1974 17.46 30.48/30.55 c 35782 88 915 28787 31 1999 1171 887 1976 18.11 30.48/30.55 c 37863 88 882 27727 31 1932 1289 854 1982 19.10 30.48/30.55 c 41086 88 888 31339 35 1946 1418 860 1991 20.63 30.48/30.55 c 46022 88 887 27826 31 1948 1560 859 2003 22.97 30.48/30.55 c 53528 88 1172 37839 32 2513 1717 1144 2001 26.75 30.48/30.55 o 1136 30.54 * 40.35/40.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.35/40.43 c 60999 88 927 27687 29 2103 726 899 1997 30.54 40.35/40.43 c 61100 88 531 16044 30 1233 799 503 1997 30.59 40.35/40.43 c 61350 88 540 15780 29 1250 879 512 1997 30.72 40.35/40.43 c 61825 88 874 24459 27 1914 967 846 1997 30.95 40.35/40.43 c 62638 88 951 34159 35 2073 1064 923 1997 31.35 40.35/40.43 c 63958 87 888 25020 28 1940 1171 860 1997 32.01 40.35/40.43 c 66039 87 616 17783 28 1405 1289 588 2005 32.92 40.35/40.43 c 69262 87 754 21949 29 1675 1418 726 2001 34.60 40.35/40.43 c 74198 87 1254 34788 27 2675 1560 1226 1997 37.14 40.35/40.43 o 1120 40.392 * 88.61/88.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 88.61/88.73 c 80346 87 1210 36062 29 2658 724 1182 1989 40.39 88.61/88.73 c 80446 87 531 14943 28 1230 797 503 1988 40.45 88.61/88.73 c 80696 87 518 14193 27 1205 877 490 1988 40.58 88.61/88.73 c 81172 87 650 20742 31 1470 965 622 1990 40.78 88.61/88.73 c 81985 87 848 25692 30 1864 1062 820 1991 41.17 88.61/88.73 c 83305 87 773 24497 31 1713 1169 745 1991 41.84 88.61/88.73 c 85387 87 808 23427 28 1787 1286 780 1993 42.82 88.61/88.73 c 88610 86 847 23177 27 1860 1415 819 1989 44.53 88.61/88.73 c 93546 86 1358 42524 31 2884 1557 1330 1990 47.00 88.61/88.73 c 101052 86 810 24914 30 1787 1713 782 1993 50.69 88.61/88.73 c 112413 84 1135 35461 31 2435 1885 1107 1987 56.56 88.61/88.73 c 129557 83 1715 47868 27 3591 2074 1687 1973 65.66 88.61/88.73 c 155376 80 2102 58443 27 4365 2282 2074 1959 79.29 88.61/88.73 v x1 x2 -x3 -x4 -x5 -x8 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 88.61/88.73 v -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 88.61/88.73 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 88.61/88.73 v x86 -x87 -x88 -x89 -x6 x7 -x9 -x10 88.61/88.73 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 88.61/88.73 c 65 172255 7289 189644 1836 35816 1808 1942 88.66 88.61/88.73 c Objective: 1120 88.61/88.73 s OPTIMUM FOUND 88.61/88.73 c Total time: 88.656 s
OK 1120
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-363611-1177029934 -o ROOT/results/node41/solver-363611-1177029934 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363611-1177029934/instance-363611-1177029934.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: 1.20 1.06 1.01 3/77 23722 /proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956 [pid=23722] ppid=23720 vsize=3828 CPUtime=0 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 162 0 1 0 0 0 0 0 18 0 1 0 150905295 3919872 142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1932152 0 0 4096 0 0 0 0 17 0 0 0 /proc/23722/statm: 945 133 110 324 0 14 0 [startup+0.0732689 s] /proc/loadavg: 1.20 1.06 1.01 3/77 23722 /proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956 [pid=23722] ppid=23720 vsize=20560 CPUtime=0.05 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 2082 0 3 0 5 0 0 0 18 0 1 0 150905295 21053440 592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 5140 588 391 324 0 4209 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 20560 [startup+0.101271 s] /proc/loadavg: 1.20 1.06 1.01 3/77 23722 /proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956 [pid=23722] ppid=23720 vsize=12588 CPUtime=0.09 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 2362 0 3 0 8 1 0 0 18 0 1 0 150905295 12890112 600 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3147 600 392 324 0 2216 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12588 [startup+0.301288 s] /proc/loadavg: 1.20 1.06 1.01 3/77 23722 /proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956 [pid=23722] ppid=23720 vsize=13032 CPUtime=0.29 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 4037 0 3 0 27 2 0 0 19 0 1 0 150905295 13344768 676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397765 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3258 677 392 324 0 2327 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13032 [startup+0.701322 s] /proc/loadavg: 1.20 1.06 1.01 3/77 23722 /proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956 [pid=23722] ppid=23720 vsize=13232 CPUtime=0.68 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 11247 0 3 0 63 5 0 0 23 0 1 0 150905295 13549568 694 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397765 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3308 695 392 324 0 2377 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13232 [startup+1.50139 s] /proc/loadavg: 1.20 1.06 1.01 2/78 23723 /proc/meminfo: memFree=1797144/2055920 swapFree=4152388/4192956 [pid=23722] ppid=23720 vsize=12876 CPUtime=1.49 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 23812 0 3 0 136 13 0 0 25 0 1 0 150905295 13185024 720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3219 720 392 324 0 2288 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12876 [startup+3.10253 s] /proc/loadavg: 1.18 1.06 1.01 2/78 23723 /proc/meminfo: memFree=1796760/2055920 swapFree=4152388/4192956 [pid=23722] ppid=23720 vsize=13192 CPUtime=3.08 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 51035 0 3 0 279 29 0 0 25 0 1 0 150905295 13508608 724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3298 724 392 324 0 2367 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13192 [startup+6.30181 s] /proc/loadavg: 1.18 1.06 1.01 2/78 23723 /proc/meminfo: memFree=1796768/2055920 swapFree=4152388/4192956 [pid=23722] ppid=23720 vsize=12868 CPUtime=6.28 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 104495 0 3 0 568 60 0 0 25 0 1 0 150905295 13176832 721 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3217 721 392 324 0 2286 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 12868 [startup+12.7014 s] /proc/loadavg: 1.15 1.05 1.01 2/78 23723 /proc/meminfo: memFree=1796512/2055920 swapFree=4152388/4192956 [pid=23722] ppid=23720 vsize=13660 CPUtime=12.68 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 140709 0 3 0 1180 88 0 0 25 0 1 0 150905295 13987840 843 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3375 842 392 324 0 2444 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13660 [startup+25.5015 s] /proc/loadavg: 1.13 1.05 1.01 2/78 23723 /proc/meminfo: memFree=1796448/2055920 swapFree=4152452/4192956 [pid=23722] ppid=23720 vsize=13488 CPUtime=25.48 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 166095 0 3 0 2431 117 0 0 25 0 1 0 150905295 13811712 869 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3412 870 392 324 0 2481 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13488 [startup+51.1017 s] /proc/loadavg: 1.08 1.05 1.00 2/78 23723 /proc/meminfo: memFree=1796448/2055920 swapFree=4152452/4192956 [pid=23722] ppid=23720 vsize=13624 CPUtime=51.04 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 292623 0 3 0 4884 220 0 0 25 0 1 0 150905295 13950976 876 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3406 877 392 324 0 2475 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 13624 Solver just ended. Dumping a history of the last processes samples [startup+63.9018 s] /proc/loadavg: 1.06 1.04 1.00 2/78 23723 /proc/meminfo: memFree=1796448/2055920 swapFree=4152452/4192956 [pid=23722] ppid=23720 vsize=13460 CPUtime=63.84 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 412809 0 3 0 6087 297 0 0 25 0 1 0 150905295 13783040 876 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586754 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3365 876 392 324 0 2434 0 Current children cumulated CPU time (s) 63.84 Current children cumulated vsize (KiB) 13460 [startup+76.7019 s] /proc/loadavg: 1.05 1.04 1.00 2/78 23723 /proc/meminfo: memFree=1796448/2055920 swapFree=4152452/4192956 [pid=23722] ppid=23720 vsize=13464 CPUtime=76.64 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 521887 0 3 0 7284 380 0 0 25 0 1 0 150905295 13787136 887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3406 887 392 324 0 2475 0 Current children cumulated CPU time (s) 76.64 Current children cumulated vsize (KiB) 13464 [startup+83.1015 s] /proc/loadavg: 1.05 1.04 1.00 2/78 23723 /proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956 [pid=23722] ppid=23720 vsize=13948 CPUtime=83.02 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 586101 0 3 0 7875 427 0 0 25 0 1 0 150905295 14282752 891 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397765 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3366 887 392 324 0 2435 0 Current children cumulated CPU time (s) 83.02 Current children cumulated vsize (KiB) 13948 [startup+86.3018 s] /proc/loadavg: 1.05 1.04 1.00 2/78 23723 /proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956 [pid=23722] ppid=23720 vsize=13464 CPUtime=86.22 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 631120 0 3 0 8169 453 0 0 25 0 1 0 150905295 13787136 887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3366 887 392 324 0 2435 0 Current children cumulated CPU time (s) 86.22 Current children cumulated vsize (KiB) 13464 [startup+87.9019 s] /proc/loadavg: 1.04 1.04 1.00 2/78 23723 /proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956 [pid=23722] ppid=23720 vsize=13464 CPUtime=87.82 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 652925 0 3 0 8316 466 0 0 25 0 1 0 150905295 13787136 887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134707318 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3366 887 392 324 0 2435 0 Current children cumulated CPU time (s) 87.82 Current children cumulated vsize (KiB) 13464 [startup+88.302 s] /proc/loadavg: 1.04 1.04 1.00 2/78 23723 /proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956 [pid=23722] ppid=23720 vsize=13784 CPUtime=88.21 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 658283 0 3 0 8352 469 0 0 25 0 1 0 150905295 14114816 890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3486 891 392 324 0 2555 0 Current children cumulated CPU time (s) 88.21 Current children cumulated vsize (KiB) 13784 [startup+88.703 s] /proc/loadavg: 1.04 1.04 1.00 2/78 23723 /proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956 [pid=23722] ppid=23720 vsize=13948 CPUtime=88.61 /proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 663885 0 3 0 8389 472 0 0 25 0 1 0 150905295 14282752 892 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23722/statm: 3487 893 392 324 0 2556 0 Current children cumulated CPU time (s) 88.61 Current children cumulated vsize (KiB) 13948 Child status: 0 Real time (s): 88.7351 CPU time (s): 88.6585 CPU user time (s): 83.9232 CPU system time (s): 4.73528 CPU usage (%): 99.9137 Max. virtual memory (cumulated for all children) (KiB): 20560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 83.9232 system time used= 4.73528 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 664318 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 2079 runsolver used 0.073988 second user time and 0.25796 second system time The end
Begin job on node41 on Fri Apr 20 00:45:34 UTC 2007 IDJOB= 363611 IDBENCH= 1868 IDSOLVER= 163 FILE ID= node41/363611-1177029934 PBS_JOBID= 4630618 Free space on /tmp= 66344 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363611-1177029934/instance-363611-1177029934.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-363611-1177029934 -o ROOT/results/node41/solver-363611-1177029934 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363611-1177029934/instance-363611-1177029934.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED= 488529829 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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 : 5914.62 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.232 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: 1799480 kB Buffers: 36432 kB Cached: 143264 kB SwapCached: 2748 kB Active: 85568 kB Inactive: 117832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1799480 kB SwapTotal: 4192956 kB SwapFree: 4152388 kB Dirty: 4508 kB Writeback: 0 kB Mapped: 31420 kB Slab: 38336 kB Committed_AS: 2570512 kB PageTables: 2008 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= 66344 MiB End job on node41 on Fri Apr 20 00:47:03 UTC 2007