Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -26 | 1800.04 | 1802.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_2.opb |
MD5SUM | 597624b9879736416e28e0a242fe0005 |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 294.838 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1260 |
Sum of products size (including duplicates) | 2520 |
Number of different products | 630 |
Sum of products size | 1260 |
0.00/0.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/454026-1178019940/instance-454026-1178019940.opb 0.00/0.01 c File size is 15118 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.008 s 0.00/0.02 c Var: 1360 Constr: 2720 1360/100/1260 Lit: 10080 Watch. Lit: 7560 0.00/0.02 c Obj. Vars: 100 (7.35294 % of total variables) 0.00/0.02 c Pre-processing Time: 0.018 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 100 630 1890 3 1260 209 0 0 0.02 0.00/0.02 c Switching off LPR mode. 0.00/0.02 o -22 0.018 0.05/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.08 c 0 100 631 1990 3 1284 976 1 0 0.02 0.05/0.08 c 100 100 731 9442 12 1484 1074 101 4347 0.02 0.05/0.08 c 350 100 981 27979 28 1984 1182 351 9210 0.04 0.05/0.08 c 825 100 1456 63221 43 2934 1301 826 11000 0.07 0.05/0.08 o -23 0.076 4.58/4.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.60 c 829 100 1461 63620 43 2967 1009 831 10907 0.08 4.58/4.60 c 930 100 1562 71043 45 3169 1110 932 10813 0.09 4.58/4.60 c 1182 100 1814 89567 49 3673 1222 1184 10844 0.11 4.58/4.60 c 1657 100 2289 124281 54 4623 1345 1659 11046 0.15 4.58/4.60 c 2470 100 3102 183868 59 6249 1480 2472 9880 0.25 4.58/4.60 c 3791 100 2360 128745 54 4743 1629 1730 8899 0.43 4.58/4.60 c 5873 100 2294 123763 53 4611 1792 1664 8089 0.73 4.58/4.60 c 9096 100 3288 195638 59 6599 1972 2658 6534 1.39 4.58/4.60 c 14033 100 3581 216917 60 7185 2170 2951 5765 2.43 4.58/4.60 c 21539 100 3829 233590 61 7681 2388 3199 5299 4.06 4.58/4.60 o -24 4.592 153.33/153.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 153.33/153.46 c 24162 100 3938 243375 61 7923 1043 3308 5261 4.59 153.33/153.46 c 24263 100 1254 47132 37 2532 1148 624 5251 4.62 153.33/153.46 c 24514 100 1505 65259 43 3034 1263 875 5283 4.64 153.33/153.46 c 24990 100 1981 99601 50 3986 1390 1351 5335 4.68 153.33/153.46 c 25803 100 2794 158053 56 5612 1530 2164 5383 4.79 153.33/153.46 c 27123 100 2012 101048 50 4048 1684 1382 5469 4.96 153.33/153.46 c 29204 100 1934 95597 49 3892 1853 1304 5476 5.33 153.33/153.46 c 32427 100 2906 165242 56 5836 2039 2276 5483 5.91 153.33/153.46 c 37365 100 3143 181837 57 6310 2243 2513 5396 6.92 153.33/153.46 c 44871 100 3290 193025 58 6604 2468 2660 5130 8.75 153.33/153.46 c 56232 100 1865 90018 48 3754 2715 1235 4963 11.33 153.33/153.46 c 73377 100 2895 163795 56 5814 2987 2265 4648 15.79 153.33/153.46 c 99196 100 3313 194210 58 6650 3286 2683 4279 23.18 153.33/153.46 c 138030 100 3504 207691 59 7032 3615 2874 3938 35.05 153.33/153.46 c 196383 100 5414 345508 63 10852 3977 4784 3573 54.96 153.33/153.46 c 284016 100 3447 203468 59 6918 4375 2817 3269 86.87 153.33/153.46 c 415569 100 4967 313169 63 9958 4813 4337 2980 139.45 153.33/153.46 o -25 153.406 859.35/859.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 859.35/859.69 c 450475 100 6233 404095 64 12515 1076 5603 2936 153.41 859.35/859.69 c 450577 100 1271 47817 37 2567 1184 641 2934 153.53 859.35/859.69 c 450828 100 1522 65838 43 3069 1303 892 2936 153.55 859.35/859.69 c 451303 100 1997 99680 49 4019 1434 1367 2938 153.59 859.35/859.69 c 452116 100 2810 157723 56 5645 1578 2180 2941 153.70 859.35/859.69 c 453437 100 2006 99643 49 4037 1736 1376 2946 153.87 859.35/859.69 c 455518 100 1891 91196 48 3807 1910 1261 2953 154.25 859.35/859.69 c 458741 100 2824 157116 55 5673 2102 2194 2963 154.81 859.35/859.69 c 463678 100 2992 168828 56 6009 2313 2362 2975 155.82 859.35/859.69 c 471184 100 3025 170761 56 6075 2545 2395 2991 157.51 859.35/859.69 c 482545 100 3978 238581 59 7981 2800 3348 3006 160.50 859.35/859.69 c 499691 100 2031 100959 49 4087 3081 1401 3024 165.22 859.35/859.69 c 525511 100 4895 304469 62 9815 3390 4265 3057 171.89 859.35/859.69 c 564343 100 4390 267998 61 8805 3730 3760 3083 183.05 859.35/859.69 c 622695 100 5263 328020 62 10551 4104 4633 3067 203.02 859.35/859.69 c 710327 100 4985 309872 62 9995 4515 4355 3043 233.36 859.35/859.69 c 841879 100 3881 231634 59 7787 4967 3251 2964 283.99 859.35/859.69 c 1039312 100 3234 185344 57 6493 5464 2604 2823 368.08 859.35/859.69 c 1335565 100 7239 470552 65 14503 6011 6609 2613 511.08 859.35/859.69 c 1780048 100 5902 375817 63 11829 6613 5272 2394 743.25 859.35/859.69 o -26 859.453 1800.02/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.61 c 1979794 100 6389 410117 64 12829 1109 5759 2303 859.45 1800.02/1800.61 c 1979896 100 1288 47916 37 2602 1220 658 2303 859.51 1800.02/1800.61 c 1980147 100 1539 65564 42 3104 1343 909 2303 859.53 1800.02/1800.61 c 1980622 100 2014 99026 49 4054 1478 1384 2304 859.58 1800.02/1800.61 c 1981436 100 2828 156063 55 5682 1626 2198 2304 859.67 1800.02/1800.61 c 1982756 100 2003 97534 48 4032 1789 1373 2305 859.88 1800.02/1800.61 c 1984837 100 1854 87131 46 3734 1968 1224 2307 860.18 1800.02/1800.61 c 1988061 100 2773 151315 54 5572 2165 2143 2310 860.63 1800.02/1800.61 c 1992997 100 2888 158967 55 5802 2382 2258 2313 861.55 1800.02/1800.61 c 2000504 100 2843 155329 54 5712 2621 2213 2316 863.41 1800.02/1800.61 c 2011865 100 3655 213308 58 7336 2884 3025 2323 865.79 1800.02/1800.61 c 2029009 100 4169 248130 59 8364 3173 3539 2332 869.80 1800.02/1800.61 c 2054828 100 3734 217445 58 7494 3491 3104 2343 876.89 1800.02/1800.61 c 2093661 100 2607 139702 53 5240 3841 1977 2357 888.02 1800.02/1800.61 c 2152013 100 5727 357451 62 11480 4226 5097 2372 907.24 1800.02/1800.61 c 2239645 100 3951 233494 59 7928 4649 3321 2379 941.09 1800.02/1800.61 c 2371198 100 4238 252764 59 8502 5114 3608 2389 992.38 1800.02/1800.61 c 2568631 100 3709 214996 57 7444 5626 3079 2376 1080.76 1800.02/1800.61 c 2864885 100 6209 391115 62 12444 6189 5579 2364 1211.64 1800.02/1800.61 c 3309367 100 4383 262543 59 8792 6808 3753 2269 1458.12 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 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 1800.02/1800.61 v -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 1800.02/1800.61 v -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 x64 -x65 x66 -x67 x68 -x69 x70 -x71 x72 -x73 x74 x75 x76 -x77 x78 -x79 -x80 x81 -x82 -x83 1800.02/1800.61 v x84 -x85 -x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 x95 -x96 x97 -x98 x99 x100 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 71 3897425 272084 4219672 6266 395937 5636 2165 1800.03 1800.02/1800.61 c Objective: -26 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 c Total time: 1800.03 s
OK -26
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-454026-1178019940 -o ROOT/results/node17/solver-454026-1178019940 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454026-1178019940/instance-454026-1178019940.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.92 0.97 0.96 3/77 14280 /proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=1408 CPUtime=0 /proc/14280/stat : 14280 (bsolo3.0.17) D 14278 14280 14108 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 249911504 1441792 24 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2859812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/14280/statm: 352 24 19 324 0 3 0 [startup+0.0648559 s] /proc/loadavg: 0.92 0.97 0.96 3/77 14280 /proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=5112 CPUtime=0.05 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 683 0 0 0 5 0 0 0 18 0 1 0 249911504 5234688 649 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573529 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14280/statm: 1278 649 311 324 0 348 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5112 [startup+0.101856 s] /proc/loadavg: 0.92 0.97 0.96 3/77 14280 /proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=5376 CPUtime=0.08 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 768 0 0 0 8 0 0 0 18 0 1 0 249911504 5505024 734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14280/statm: 1344 734 311 324 0 414 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5376 [startup+0.30188 s] /proc/loadavg: 0.92 0.97 0.96 3/77 14280 /proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=7204 CPUtime=0.28 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1198 0 0 0 28 0 0 0 19 0 1 0 249911504 7376896 1164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14280/statm: 1801 1164 311 324 0 871 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 7204 [startup+0.701922 s] /proc/loadavg: 0.92 0.97 0.96 3/77 14280 /proc/meminfo: memFree=1801408/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=7332 CPUtime=0.68 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1251 0 0 0 68 0 0 0 23 0 1 0 249911504 7507968 1217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3301058 0 0 4096 16384 0 0 0 17 0 0 0 /proc/14280/statm: 1833 1217 311 324 0 903 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7332 [startup+1.502 s] /proc/loadavg: 0.92 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1797432/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=7588 CPUtime=1.48 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1308 0 0 0 147 1 0 0 25 0 1 0 249911504 7770112 1274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 1897 1274 311 324 0 967 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7588 [startup+3.10117 s] /proc/loadavg: 0.92 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1797240/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=7972 CPUtime=3.08 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1390 0 0 0 307 1 0 0 25 0 1 0 249911504 8163328 1356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 1993 1356 311 324 0 1063 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7972 [startup+6.3015 s] /proc/loadavg: 0.93 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1796600/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=8092 CPUtime=6.28 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1438 0 0 0 627 1 0 0 25 0 1 0 249911504 8286208 1404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2023 1404 311 324 0 1093 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8092 [startup+12.7012 s] /proc/loadavg: 0.93 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1796344/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=8476 CPUtime=12.68 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1520 0 0 0 1267 1 0 0 25 0 1 0 249911504 8679424 1486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2119 1486 311 324 0 1189 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8476 [startup+25.5015 s] /proc/loadavg: 0.95 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1795768/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=8988 CPUtime=25.47 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1671 0 0 0 2546 1 0 0 25 0 1 0 249911504 9203712 1637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2247 1637 311 324 0 1317 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 8988 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1795448/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=9348 CPUtime=51.06 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1756 0 0 0 5105 1 0 0 25 0 1 0 249911504 9572352 1722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3290995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2337 1722 311 324 0 1407 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 9348 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1794616/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=10124 CPUtime=102.25 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 1954 0 0 0 10223 2 0 0 25 0 1 0 249911504 10366976 1920 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2531 1920 311 324 0 1601 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 10124 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1794168/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=10596 CPUtime=162.23 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2062 0 0 0 16221 2 0 0 25 0 1 0 249911504 10850304 2028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2649 2028 311 324 0 1719 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 10596 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1794168/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=10328 CPUtime=222.22 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2062 0 0 0 22219 3 0 0 25 0 1 0 249911504 10575872 1973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2582 1973 311 324 0 1652 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 10328 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1794232/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=10252 CPUtime=282.2 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2062 0 0 0 28217 3 0 0 25 0 1 0 249911504 10498048 1954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2563 1954 311 324 0 1633 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 10252 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1793976/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=10712 CPUtime=342.19 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2160 0 0 0 34215 4 0 0 25 0 1 0 249911504 10969088 2052 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2678 2052 311 324 0 1748 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 10712 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1793400/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=11224 CPUtime=402.17 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2287 0 0 0 40213 4 0 0 25 0 1 0 249911504 11493376 2179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2806 2179 311 324 0 1876 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 11224 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14281 /proc/meminfo: memFree=1793528/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=11224 CPUtime=462.16 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2290 0 0 0 46211 5 0 0 25 0 1 0 249911504 11493376 2182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3301067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2806 2182 311 324 0 1876 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 11224 [startup+522.301 s] /proc/loadavg: 1.04 0.99 0.97 2/78 14281 /proc/meminfo: memFree=1793016/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=11732 CPUtime=522.13 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2424 0 0 0 52208 5 0 0 25 0 1 0 249911504 12013568 2316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2933 2316 311 324 0 2003 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 11732 [startup+582.302 s] /proc/loadavg: 1.05 1.00 0.97 2/78 14281 /proc/meminfo: memFree=1793016/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=11732 CPUtime=582.13 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2424 0 0 0 58207 6 0 0 25 0 1 0 249911504 12013568 2316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2933 2316 311 324 0 2003 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 11732 [startup+642.302 s] /proc/loadavg: 1.05 1.01 0.98 2/78 14281 /proc/meminfo: memFree=1793016/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=11732 CPUtime=642.11 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2426 0 0 0 64205 6 0 0 25 0 1 0 249911504 12013568 2318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 2933 2318 311 324 0 2003 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 11732 ################ # More data... # ################ /proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12356 CPUtime=1001.92 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 100183 9 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3089 2476 311 324 0 2159 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 12356 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 14479 /proc/meminfo: memFree=1792120/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12356 CPUtime=1061.9 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 106181 9 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3089 2476 311 324 0 2159 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 12356 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 14479 /proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12356 CPUtime=1121.89 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 112179 10 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3089 2476 311 324 0 2159 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 12356 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14479 /proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12356 CPUtime=1181.87 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 118177 10 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3089 2476 311 324 0 2159 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 12356 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14479 /proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12356 CPUtime=1241.86 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 124175 11 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3089 2476 311 324 0 2159 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 12356 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14479 /proc/meminfo: memFree=1792120/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12356 CPUtime=1301.84 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 130173 11 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3089 2476 311 324 0 2159 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 12356 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14479 /proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12356 CPUtime=1361.83 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 136171 12 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3089 2476 311 324 0 2159 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 12356 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14479 /proc/meminfo: memFree=1792184/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12356 CPUtime=1421.81 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2584 0 0 0 142169 12 0 0 25 0 1 0 249911504 12652544 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3089 2476 311 324 0 2159 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 12356 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14479 /proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12484 CPUtime=1481.79 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2599 0 0 0 148167 12 0 0 25 0 1 0 249911504 12783616 2491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3121 2491 311 324 0 2191 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 12484 [startup+1542.3 s] /proc/loadavg: 1.06 1.03 1.01 2/78 14479 /proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12484 CPUtime=1541.78 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 154165 13 0 0 25 0 1 0 249911504 12783616 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3121 2499 311 324 0 2191 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 12484 [startup+1602.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 14479 /proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12484 CPUtime=1601.76 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 160163 13 0 0 25 0 1 0 249911504 12783616 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3121 2499 311 324 0 2191 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 12484 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 14479 /proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12484 CPUtime=1661.75 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 166161 14 0 0 25 0 1 0 249911504 12783616 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3121 2499 311 324 0 2191 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 12484 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14479 /proc/meminfo: memFree=1792120/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12484 CPUtime=1721.73 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 172159 14 0 0 25 0 1 0 249911504 12783616 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3121 2499 311 324 0 2191 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 12484 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14479 /proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12468 CPUtime=1781.72 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 178157 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3117 2499 311 324 0 2187 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 12468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14479 /proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12468 CPUtime=1800.02 /proc/14280/stat : 14280 (bsolo3.0.17) R 14278 14280 14108 0 -1 4194304 2607 0 0 0 179987 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3291020 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3117 2499 311 324 0 2187 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 12468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14479 /proc/meminfo: memFree=1792056/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12468 CPUtime=1800.02 /proc/14280/stat : 14280 (bsolo3.0.17) S 14278 14280 14108 0 -1 4194304 2607 0 0 0 179987 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3117 2499 311 324 0 2187 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 12468 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 1/79 14480 /proc/meminfo: memFree=1792048/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12468 CPUtime=1800.02 /proc/14280/stat : 14280 (bsolo3.0.17) S 14278 14280 14108 0 -1 4194304 2607 0 0 0 179987 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3117 2499 311 324 0 2187 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 12468 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 1/79 14480 /proc/meminfo: memFree=1792048/2055920 swapFree=4140116/4192956 [pid=14280] ppid=14278 vsize=12468 CPUtime=1800.02 /proc/14280/stat : 14280 (bsolo3.0.17) S 14278 14280 14108 0 -1 4194304 2607 0 0 0 179987 15 0 0 25 0 1 0 249911504 12767232 2499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/14280/statm: 3117 2499 311 324 0 2187 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 12468 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.62 CPU time (s): 1800.04 CPU user time (s): 1799.88 CPU system time (s): 0.155976 CPU usage (%): 99.8569 Max. virtual memory (cumulated for all children) (KiB): 12484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.155976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2607 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= 2313 runsolver used 1.2898 second user time and 4.00639 second system time The end
Begin job on node17 on Tue May 1 11:45:40 UTC 2007 IDJOB= 454026 IDBENCH= 48169 IDSOLVER= 199 FILE ID= node17/454026-1178019940 PBS_JOBID= 4728332 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454026-1178019940/instance-454026-1178019940.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-454026-1178019940 -o ROOT/results/node17/solver-454026-1178019940 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454026-1178019940/instance-454026-1178019940.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 597624b9879736416e28e0a242fe0005 RANDOM SEED= 755853296 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1801816 kB Buffers: 31548 kB Cached: 141592 kB SwapCached: 15016 kB Active: 61424 kB Inactive: 134420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1801816 kB SwapTotal: 4192956 kB SwapFree: 4140116 kB Dirty: 6620 kB Writeback: 0 kB Mapped: 29752 kB Slab: 43768 kB Committed_AS: 7415024 kB PageTables: 1796 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 node17 on Tue May 1 12:15:43 UTC 2007