Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -26 | 1800.01 | 1800.64 |
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.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/454020-1178019546/instance-454020-1178019546.opb 0.00/0.00 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.007 s 0.00/0.01 c Var: 1360 Constr: 2720 1360/100/1260 Lit: 10080 Watch. Lit: 7560 0.00/0.01 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.04/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.08 c 0 100 631 1990 3 1284 976 1 0 0.02 0.04/0.08 c 100 100 731 9442 12 1484 1074 101 4166 0.02 0.04/0.08 c 350 100 981 27979 28 1984 1182 351 8750 0.04 0.04/0.08 c 825 100 1456 63221 43 2934 1301 826 10443 0.08 0.04/0.08 o -23 0.081 4.69/4.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.73 c 829 100 1461 63620 43 2967 1009 831 10234 0.08 4.69/4.73 c 930 100 1562 71043 45 3169 1110 932 10108 0.09 4.69/4.73 c 1182 100 1814 89567 49 3673 1222 1184 10102 0.12 4.69/4.73 c 1657 100 2289 124281 54 4623 1345 1659 10356 0.16 4.69/4.73 c 2470 100 3102 183868 59 6249 1480 2472 9216 0.27 4.69/4.73 c 3791 100 2360 128745 54 4743 1629 1730 8295 0.46 4.69/4.73 c 5873 100 2294 123763 53 4611 1792 1664 7481 0.79 4.69/4.73 c 9096 100 3288 195638 59 6599 1972 2658 6162 1.48 4.69/4.73 c 14033 100 3581 216917 60 7185 2170 2951 5531 2.54 4.69/4.73 c 21539 100 3829 233590 61 7681 2388 3199 5135 4.19 4.69/4.73 o -24 4.728 156.24/156.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 156.24/156.32 c 24162 100 3938 243375 61 7923 1043 3308 5110 4.73 156.24/156.32 c 24263 100 1254 47132 37 2532 1148 624 5101 4.76 156.24/156.32 c 24514 100 1505 65259 43 3034 1263 875 5132 4.78 156.24/156.32 c 24990 100 1981 99601 50 3986 1390 1351 5183 4.82 156.24/156.32 c 25803 100 2794 158053 56 5612 1530 2164 5231 4.93 156.24/156.32 c 27123 100 2012 101048 50 4048 1684 1382 5319 5.10 156.24/156.32 c 29204 100 1934 95597 49 3892 1853 1304 5332 5.48 156.24/156.32 c 32427 100 2906 165242 56 5836 2039 2276 5344 6.07 156.24/156.32 c 37365 100 3143 181837 57 6310 2243 2513 5268 7.09 156.24/156.32 c 44871 100 3290 193025 58 6604 2468 2660 5015 8.95 156.24/156.32 c 56232 100 1865 90018 48 3754 2715 1235 4849 11.60 156.24/156.32 c 73377 100 2895 163795 56 5814 2987 2265 4525 16.21 156.24/156.32 c 99196 100 3313 194210 58 6650 3286 2683 4171 23.78 156.24/156.32 c 138030 100 3504 207691 59 7032 3615 2874 3838 35.95 156.24/156.32 c 196383 100 5414 345508 63 10852 3977 4784 3492 56.23 156.24/156.32 c 284016 100 3447 203468 59 6918 4375 2817 3199 88.77 156.24/156.32 c 415569 100 4967 313169 63 9958 4813 4337 2923 142.17 156.24/156.32 o -25 156.265 870.03/870.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 870.03/870.38 c 450475 100 6233 404095 64 12515 1076 5603 2882 156.26 870.03/870.38 c 450577 100 1271 47817 37 2567 1184 641 2881 156.39 870.03/870.38 c 450828 100 1522 65838 43 3069 1303 892 2882 156.41 870.03/870.38 c 451303 100 1997 99680 49 4019 1434 1367 2884 156.45 870.03/870.38 c 452116 100 2810 157723 56 5645 1578 2180 2887 156.56 870.03/870.38 c 453437 100 2006 99643 49 4037 1736 1376 2892 156.74 870.03/870.38 c 455518 100 1891 91196 48 3807 1910 1261 2899 157.13 870.03/870.38 c 458741 100 2824 157116 55 5673 2102 2194 2908 157.70 870.03/870.38 c 463678 100 2992 168828 56 6009 2313 2362 2921 158.73 870.03/870.38 c 471184 100 3025 170761 56 6075 2545 2395 2936 160.45 870.03/870.38 c 482545 100 3978 238581 59 7981 2800 3348 2951 163.51 870.03/870.38 c 499691 100 2031 100959 49 4087 3081 1401 2968 168.31 870.03/870.38 c 525511 100 4895 304469 62 9815 3390 4265 2999 175.18 870.03/870.38 c 564343 100 4390 267998 61 8805 3730 3760 3025 186.55 870.03/870.38 c 622695 100 5263 328020 62 10551 4104 4633 3010 206.82 870.03/870.38 c 710327 100 4985 309872 62 9995 4515 4355 2988 237.68 870.03/870.38 c 841879 100 3881 231634 59 7787 4967 3251 2911 289.11 870.03/870.38 c 1039312 100 3234 185344 57 6493 5464 2604 2778 374.10 870.03/870.38 c 1335565 100 7239 470552 65 14503 6011 6609 2575 518.64 870.03/870.38 c 1780048 100 5902 375817 63 11829 6613 5272 2363 752.99 870.03/870.38 o -26 870.116 1799.96/1800.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.63 c 1979794 100 6389 410117 64 12829 1109 5759 2275 870.12 1799.96/1800.63 c 1979896 100 1288 47916 37 2602 1220 658 2275 870.17 1799.96/1800.63 c 1980147 100 1539 65564 42 3104 1343 909 2275 870.19 1799.96/1800.63 c 1980622 100 2014 99026 49 4054 1478 1384 2275 870.24 1799.96/1800.63 c 1981436 100 2828 156063 55 5682 1626 2198 2276 870.34 1799.96/1800.63 c 1982756 100 2003 97534 48 4032 1789 1373 2277 870.56 1799.96/1800.63 c 1984837 100 1854 87131 46 3734 1968 1224 2279 870.86 1799.96/1800.63 c 1988061 100 2773 151315 54 5572 2165 2143 2281 871.32 1799.96/1800.63 c 1992997 100 2888 158967 55 5802 2382 2258 2284 872.26 1799.96/1800.63 c 2000504 100 2843 155329 54 5712 2621 2213 2288 874.17 1799.96/1800.63 c 2011865 100 3655 213308 58 7336 2884 3025 2295 876.61 1799.96/1800.63 c 2029009 100 4169 248130 59 8364 3173 3539 2303 880.68 1799.96/1800.63 c 2054828 100 3734 217445 58 7494 3491 3104 2314 887.90 1799.96/1800.63 c 2093661 100 2607 139702 53 5240 3841 1977 2328 899.29 1799.96/1800.63 c 2152013 100 5727 357451 62 11480 4226 5097 2342 918.81 1799.96/1800.63 c 2239645 100 3951 233494 59 7928 4649 3321 2350 953.03 1799.96/1800.63 c 2371198 100 4238 252764 59 8502 5114 3608 2359 1004.94 1799.96/1800.63 c 2568631 100 3709 214996 57 7444 5626 3079 2347 1094.27 1799.96/1800.63 c 2864885 100 6209 391115 62 12444 6189 5579 2336 1226.39 1799.96/1800.63 c 3309367 100 4383 262543 59 8792 6808 3753 2243 1475.27 1799.96/1800.63 c Resources Exceeded 1799.96/1800.63 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 1799.96/1800.63 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 1799.96/1800.63 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 1799.96/1800.63 v x84 -x85 -x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 x95 -x96 x97 -x98 x99 x100 1799.96/1800.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.63 c 71 3859074 269434 4178249 5699 355152 5069 2143 1800.00 1799.96/1800.63 c Objective: -26 1799.96/1800.63 s SATISFIABLE 1799.96/1800.63 c Total time: 1800 s
OK -26
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-454020-1178019546 -o ROOT/results/node62/solver-454020-1178019546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454020-1178019546/instance-454020-1178019546.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.14 1.00 0.98 3/64 17563 /proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=11752 CPUtime=0 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 120530607 12034048 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2938 347 292 324 0 2003 0 [startup+0.0516721 s] /proc/loadavg: 1.14 1.00 0.98 3/64 17563 /proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=4980 CPUtime=0.04 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 659 0 0 0 4 0 0 0 18 0 1 0 120530607 5099520 624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 1245 624 313 324 0 314 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4980 [startup+0.101677 s] /proc/loadavg: 1.14 1.00 0.98 3/64 17563 /proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=5508 CPUtime=0.09 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 774 0 0 0 9 0 0 0 18 0 1 0 120530607 5640192 739 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 1377 739 313 324 0 446 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5508 [startup+0.301701 s] /proc/loadavg: 1.14 1.00 0.98 3/64 17563 /proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=7076 CPUtime=0.29 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1177 0 0 0 29 0 0 0 19 0 1 0 120530607 7245824 1142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 1769 1142 313 324 0 838 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7076 [startup+0.701748 s] /proc/loadavg: 1.14 1.00 0.98 3/64 17563 /proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=7332 CPUtime=0.69 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1254 0 0 0 69 0 0 0 22 0 1 0 120530607 7507968 1219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 1833 1219 313 324 0 902 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7332 [startup+1.50184 s] /proc/loadavg: 1.14 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1796456/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=7588 CPUtime=1.49 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1297 0 0 0 148 1 0 0 25 0 1 0 120530607 7770112 1262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 1897 1262 313 324 0 966 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7588 [startup+3.10103 s] /proc/loadavg: 1.14 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1795688/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=7972 CPUtime=3.09 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1393 0 0 0 307 2 0 0 25 0 1 0 120530607 8163328 1358 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 1993 1358 313 324 0 1062 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7972 [startup+6.3014 s] /proc/loadavg: 1.12 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1795448/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=8092 CPUtime=6.29 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1441 0 0 0 626 3 0 0 25 0 1 0 120530607 8286208 1406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2023 1406 313 324 0 1092 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8092 [startup+12.7012 s] /proc/loadavg: 1.11 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1795416/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=8476 CPUtime=12.69 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1523 0 0 0 1263 6 0 0 25 0 1 0 120530607 8679424 1488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2119 1488 313 324 0 1188 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8476 [startup+25.5017 s] /proc/loadavg: 1.09 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1794648/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=8988 CPUtime=25.48 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1674 0 0 0 2539 9 0 0 25 0 1 0 120530607 9203712 1639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2247 1639 313 324 0 1316 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8988 [startup+51.1017 s] /proc/loadavg: 1.06 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1794392/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=9348 CPUtime=51.07 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1759 0 0 0 5091 16 0 0 25 0 1 0 120530607 9572352 1724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2337 1724 313 324 0 1406 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9348 [startup+102.306 s] /proc/loadavg: 1.02 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1793624/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=10124 CPUtime=102.26 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1957 0 0 0 10198 28 0 0 25 0 1 0 120530607 10366976 1922 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2531 1922 313 324 0 1600 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10124 [startup+162.302 s] /proc/loadavg: 1.01 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1793176/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=10624 CPUtime=162.23 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2065 0 0 0 16179 44 0 0 25 0 1 0 120530607 10878976 2030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2656 2030 313 324 0 1725 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 10624 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1793176/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=10336 CPUtime=222.22 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2065 0 0 0 22162 60 0 0 25 0 1 0 120530607 10584064 1977 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2584 1977 313 324 0 1653 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 10336 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1793240/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=10260 CPUtime=282.2 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2065 0 0 0 28142 78 0 0 25 0 1 0 120530607 10506240 1958 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2565 1958 313 324 0 1634 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 10260 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1792984/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=10724 CPUtime=342.18 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2163 0 0 0 34128 90 0 0 25 0 1 0 120530607 10981376 2054 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2681 2054 313 324 0 1750 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 10724 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1792472/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=11224 CPUtime=402.17 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2290 0 0 0 40112 105 0 0 25 0 1 0 120530607 11493376 2181 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2806 2181 313 324 0 1875 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 11224 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1792408/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=11224 CPUtime=462.15 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2293 0 0 0 46096 119 0 0 25 0 1 0 120530607 11493376 2184 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2806 2184 313 324 0 1875 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 11224 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1791832/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=11732 CPUtime=522.13 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2425 0 0 0 52083 130 0 0 25 0 1 0 120530607 12013568 2316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2933 2316 313 324 0 2002 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 11732 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1791960/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=11732 CPUtime=582.11 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2427 0 0 0 58067 144 0 0 25 0 1 0 120530607 12013568 2318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2933 2318 313 324 0 2002 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 11732 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17564 /proc/meminfo: memFree=1791896/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=11732 CPUtime=642.1 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2429 0 0 0 64054 156 0 0 25 0 1 0 120530607 12013568 2320 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 2933 2320 313 324 0 2002 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 11732 ################ # More data... # ################ /proc/meminfo: memFree=1791128/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12356 CPUtime=1121.96 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 111929 267 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3089 2478 313 324 0 2158 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 12356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17566 /proc/meminfo: memFree=1791128/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12356 CPUtime=1181.94 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 117914 280 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3089 2478 313 324 0 2158 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 12356 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17566 /proc/meminfo: memFree=1791128/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12356 CPUtime=1241.92 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 123900 292 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3089 2478 313 324 0 2158 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 12356 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17566 /proc/meminfo: memFree=1791128/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12356 CPUtime=1301.9 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 129888 302 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3089 2478 313 324 0 2158 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 12356 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/71 17740 /proc/meminfo: memFree=1789720/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12356 CPUtime=1361.8 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 135866 314 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3089 2478 313 324 0 2158 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 12356 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790744/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12356 CPUtime=1421.78 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 141852 326 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3089 2478 313 324 0 2158 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 12356 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790744/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12484 CPUtime=1481.75 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2600 0 0 0 147838 337 0 0 25 0 1 0 120530607 12783616 2491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3121 2491 313 324 0 2190 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 12484 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790936/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12484 CPUtime=1541.74 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 153824 350 0 0 25 0 1 0 120530607 12783616 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3121 2501 313 324 0 2190 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 12484 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790936/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12484 CPUtime=1601.72 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 159811 361 0 0 25 0 1 0 120530607 12783616 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3121 2501 313 324 0 2190 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 12484 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12484 CPUtime=1661.7 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 165794 376 0 0 25 0 1 0 120530607 12783616 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3121 2501 313 324 0 2190 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 12484 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12484 CPUtime=1721.69 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 171781 388 0 0 25 0 1 0 120530607 12783616 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3121 2501 313 324 0 2190 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 12484 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12468 CPUtime=1781.66 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 177766 400 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3117 2501 313 324 0 2186 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 12468 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12468 CPUtime=1791.27 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 178724 403 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3117 2501 313 324 0 2186 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 12468 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12468 CPUtime=1794.47 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179043 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3117 2501 313 324 0 2186 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 12468 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12468 CPUtime=1797.66 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179362 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3117 2501 313 324 0 2186 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 12468 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12468 CPUtime=1799.26 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179522 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3117 2501 313 324 0 2186 0 Current children cumulated CPU time (s) 1799.26 Current children cumulated vsize (KiB) 12468 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12468 CPUtime=1799.66 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179562 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3117 2501 313 324 0 2186 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (KiB) 12468 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12468 CPUtime=1799.85 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179581 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3117 2501 313 324 0 2186 0 Current children cumulated CPU time (s) 1799.85 Current children cumulated vsize (KiB) 12468 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.98 2/65 17764 /proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956 [pid=17563] ppid=17561 vsize=12468 CPUtime=1799.96 /proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179592 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17563/statm: 3117 2501 313 324 0 2186 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 12468 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.01 CPU user time (s): 1795.95 CPU system time (s): 4.05038 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 12484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.95 system time used= 4.05038 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2611 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= 3500 runsolver used 1.46178 second user time and 3.50947 second system time The end
Begin job on node62 on Tue May 1 11:39:06 UTC 2007 IDJOB= 454020 IDBENCH= 48169 IDSOLVER= 163 FILE ID= node62/454020-1178019546 PBS_JOBID= 4728321 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454020-1178019546/instance-454020-1178019546.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-454020-1178019546 -o ROOT/results/node62/solver-454020-1178019546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454020-1178019546/instance-454020-1178019546.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 597624b9879736416e28e0a242fe0005 RANDOM SEED= 819523488 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.216 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.216 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: 1800520 kB Buffers: 27844 kB Cached: 153732 kB SwapCached: 2296 kB Active: 79216 kB Inactive: 113100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800520 kB SwapTotal: 4192956 kB SwapFree: 4184544 kB Dirty: 6716 kB Writeback: 0 kB Mapped: 16932 kB Slab: 49024 kB Committed_AS: 1371292 kB PageTables: 1464 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 node62 on Tue May 1 12:09:07 UTC 2007