Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -25 | 1800.06 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb |
MD5SUM | a142d6d7b95394ce9dab5e7d7d075ea6 |
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 | -25 |
Best CPU time to get the best result obtained on this benchmark | 218.328 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -25 |
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 | 18 |
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) | 1252 |
Sum of products size (including duplicates) | 2504 |
Number of different products | 626 |
Sum of products size | 1252 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454101-1178021305/instance-454101-1178021305.opb 0.00/0.00 c File size is 15046 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.01 c Var: 1352 Constr: 2704 1352/100/1252 Lit: 10016 Watch. Lit: 7512 0.00/0.01 c Obj. Vars: 100 (7.39645 % of total variables) 0.01/0.02 c Pre-processing Time: 0.019 s 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 100 626 1878 3 1252 208 0 0 0.02 0.01/0.02 c Switching off LPR mode. 0.01/0.02 o -22 0.019 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 100 627 1978 3 1276 975 1 0 0.02 0.01/0.02 o -23 0.019 72.56/72.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.56/72.60 c 6 100 634 2534 3 1313 1008 8 300 0.02 72.56/72.60 c 106 100 734 9901 13 1513 1109 108 4076 0.03 72.56/72.60 c 357 100 985 28357 28 2015 1220 359 8302 0.04 72.56/72.60 c 833 100 1461 63376 43 2967 1343 835 9800 0.09 72.56/72.60 c 1646 100 2274 122985 54 4593 1478 1648 8572 0.19 72.56/72.60 c 2966 100 1532 68009 44 3087 1626 906 8037 0.37 72.56/72.60 c 5048 100 1483 63892 43 2989 1789 857 6624 0.76 72.56/72.60 c 8272 100 2490 137733 55 5003 1968 1864 6601 1.25 72.56/72.60 c 13208 100 2807 161289 57 5637 2165 2181 5976 2.21 72.56/72.60 c 20714 100 3075 180923 58 6173 2382 2449 5163 4.01 72.56/72.60 c 32076 100 1858 91634 49 3739 2621 1232 4843 6.62 72.56/72.60 c 49221 100 3184 188674 59 6391 2884 2558 4550 10.82 72.56/72.60 c 75041 100 4140 256570 61 8303 3173 3514 4198 17.87 72.56/72.60 c 113874 100 2241 119205 53 4505 3491 1615 3846 29.61 72.56/72.60 c 172228 100 2397 130061 54 4817 3841 1771 3738 46.06 72.56/72.60 o -24 72.578 101.56/101.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.56/101.60 c 243785 100 2617 145040 55 5281 1041 1991 3358 72.58 101.56/101.60 c 243885 100 2717 152298 56 5481 1146 2091 3359 72.59 101.56/101.60 c 244135 100 2967 170422 57 5981 1261 2341 3362 72.61 101.56/101.60 c 244610 100 1495 63543 42 3014 1388 869 3365 72.68 101.56/101.60 c 245423 100 2308 122326 53 4640 1527 1682 3372 72.77 101.56/101.60 c 246743 100 1540 67511 43 3104 1680 914 3381 72.96 101.56/101.60 c 248824 100 1467 62122 42 2958 1849 841 3395 73.28 101.56/101.60 c 252047 100 2445 132732 54 4914 2034 1819 3417 73.76 101.56/101.60 c 256984 100 2698 150933 55 5420 2238 2072 3431 74.88 101.56/101.60 c 264490 100 2887 163746 56 5798 2462 2261 3453 76.58 101.56/101.60 c 275851 100 4032 246523 61 8088 2709 3406 3493 78.97 101.56/101.60 c 292996 100 2438 131775 54 4900 2980 1812 3542 82.71 101.56/101.60 c 318815 100 2926 166762 56 5876 3279 2300 3538 90.09 101.56/101.60 c 357647 100 3281 192204 58 6586 3607 2655 3545 100.87 101.56/101.60 o -25 101.569 1800.04/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.60 c 360281 100 2784 157245 56 5617 1075 2158 3547 101.57 1800.04/1800.60 c 360381 100 2884 164399 57 5817 1183 2258 3547 101.59 1800.04/1800.60 c 360631 100 1219 44199 36 2463 1302 593 3547 101.65 1800.04/1800.60 c 361107 100 1695 78140 46 3415 1433 1069 3551 101.69 1800.04/1800.60 c 361921 100 2509 136071 54 5043 1577 1883 3555 101.79 1800.04/1800.60 c 363241 100 1717 78906 45 3459 1735 1091 3561 101.98 1800.04/1800.60 c 365322 100 1616 71763 44 3257 1909 990 3572 102.27 1800.04/1800.60 c 368546 100 2559 139046 54 5143 2100 1933 3586 102.77 1800.04/1800.60 c 373482 100 2746 151829 55 5517 2311 2120 3598 103.78 1800.04/1800.60 c 380989 100 2824 156984 55 5673 2543 2198 3616 105.36 1800.04/1800.60 c 392351 100 3798 227010 59 7621 2798 3172 3633 108.00 1800.04/1800.60 c 409495 100 4617 283753 61 9259 3078 3991 3633 112.70 1800.04/1800.61 c 435315 100 4698 290149 61 9421 3386 4072 3640 119.56 1800.04/1800.61 c 474148 100 4365 265746 60 8755 3725 3739 3628 130.67 1800.04/1800.61 c 532501 100 5419 342348 63 10863 4098 4793 3573 149.02 1800.04/1800.61 c 620133 100 5460 343333 62 10945 4508 4834 3500 177.14 1800.04/1800.61 c 751685 100 4810 297518 61 9645 4959 4184 3344 224.77 1800.04/1800.61 c 949117 100 4674 288721 61 9373 5455 4048 3070 309.11 1800.04/1800.61 c 1245369 100 5720 362681 63 11465 6001 5094 2801 444.50 1800.04/1800.61 c 1689851 100 5409 340221 62 10843 6602 4783 2528 668.38 1800.04/1800.61 c 2356680 100 7445 483073 64 14915 7263 6819 2218 1062.09 1800.04/1800.61 c 3357025 100 8590 563378 65 17205 7990 7964 2035 1649.12 1800.04/1800.61 c Caught signal: 15 1800.04/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 -x29 1800.04/1800.61 v -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 x56 1800.04/1800.61 v -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.04/1800.61 v -x84 x85 -x86 -x87 x88 x89 -x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 x99 -x100 1800.04/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.61 c 52 3586233 256345 3892140 9372 619493 8746 1992 1800.05 1800.04/1800.61 c Objective: -25 1800.04/1800.61 s SATISFIABLE 1800.04/1800.61 c Total time: 1800.05 s
OK -25
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-454101-1178021305 -o ROOT/results/node22/solver-454101-1178021305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454101-1178021305/instance-454101-1178021305.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.98 0.99 3/77 30117 /proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=19564 CPUtime=0 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 250048209 20033536 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 4891 330 278 324 0 3957 0 [startup+0.022339 s] /proc/loadavg: 0.92 0.98 0.99 3/77 30117 /proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=4736 CPUtime=0.01 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 578 0 0 0 1 0 0 0 18 0 1 0 250048209 4849664 544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4642592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 1184 544 307 324 0 254 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4736 [startup+0.101351 s] /proc/loadavg: 0.92 0.98 0.99 3/77 30117 /proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=5372 CPUtime=0.09 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 759 0 0 0 9 0 0 0 18 0 1 0 250048209 5500928 725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 1343 725 311 324 0 413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5372 [startup+0.301382 s] /proc/loadavg: 0.92 0.98 0.99 3/77 30117 /proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=6936 CPUtime=0.29 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1128 0 0 0 29 0 0 0 19 0 1 0 250048209 7102464 1094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 1734 1094 311 324 0 804 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6936 [startup+0.701442 s] /proc/loadavg: 0.92 0.98 0.99 3/77 30117 /proc/meminfo: memFree=1775352/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=7196 CPUtime=0.69 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1210 0 0 0 69 0 0 0 22 0 1 0 250048209 7368704 1176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 1799 1176 311 324 0 869 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7196 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.99 2/78 30118 /proc/meminfo: memFree=1771632/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=7712 CPUtime=1.49 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1336 0 0 0 149 0 0 0 25 0 1 0 250048209 7897088 1302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 1928 1302 311 324 0 998 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7712 [startup+3.10181 s] /proc/loadavg: 0.92 0.98 0.99 2/78 30118 /proc/meminfo: memFree=1771120/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=7968 CPUtime=3.09 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1390 0 0 0 309 0 0 0 25 0 1 0 250048209 8159232 1356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 1992 1356 311 324 0 1062 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7968 [startup+6.30129 s] /proc/loadavg: 0.93 0.98 0.99 2/78 30118 /proc/meminfo: memFree=1770488/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=8096 CPUtime=6.29 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1446 0 0 0 628 1 0 0 25 0 1 0 250048209 8290304 1412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2024 1412 311 324 0 1094 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8096 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/78 30118 /proc/meminfo: memFree=1770040/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=8612 CPUtime=12.69 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1576 0 0 0 1268 1 0 0 25 0 1 0 250048209 8818688 1542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2153 1542 311 324 0 1223 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8612 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 30118 /proc/meminfo: memFree=1769720/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=8996 CPUtime=25.48 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1656 0 0 0 2547 1 0 0 25 0 1 0 250048209 9211904 1622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2249 1622 311 324 0 1319 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8996 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 30118 /proc/meminfo: memFree=1769144/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=9636 CPUtime=51.07 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1825 0 0 0 5106 1 0 0 25 0 1 0 250048209 9867264 1791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2409 1791 311 324 0 1479 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9636 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 30118 /proc/meminfo: memFree=1769208/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=9404 CPUtime=102.26 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1825 0 0 0 10224 2 0 0 25 0 1 0 250048209 9629696 1742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2351 1742 311 324 0 1421 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 9404 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30118 /proc/meminfo: memFree=1769016/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=9748 CPUtime=162.24 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 1950 0 0 0 16222 2 0 0 25 0 1 0 250048209 9981952 1825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2437 1825 311 324 0 1507 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 9748 [startup+222.301 s] /proc/loadavg: 1.07 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1768568/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=10232 CPUtime=222.22 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2057 0 0 0 22219 3 0 0 25 0 1 0 250048209 10477568 1932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134548049 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2558 1932 311 324 0 1628 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 10232 [startup+282.301 s] /proc/loadavg: 1.10 1.02 1.00 2/78 30118 /proc/meminfo: memFree=1768056/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=10620 CPUtime=282.2 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2170 0 0 0 28217 3 0 0 25 0 1 0 250048209 10874880 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2655 2045 311 324 0 1725 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 10620 [startup+342.301 s] /proc/loadavg: 1.03 1.01 1.00 2/78 30118 /proc/meminfo: memFree=1767544/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=11204 CPUtime=342.18 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2296 0 0 0 34215 3 0 0 25 0 1 0 250048209 11472896 2171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2801 2171 311 324 0 1871 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 11204 [startup+402.302 s] /proc/loadavg: 1.05 1.02 1.00 2/78 30118 /proc/meminfo: memFree=1767544/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=11188 CPUtime=402.16 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2298 0 0 0 40212 4 0 0 25 0 1 0 250048209 11456512 2173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2797 2173 311 324 0 1867 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 11188 [startup+462.302 s] /proc/loadavg: 1.02 1.02 1.00 2/78 30118 /proc/meminfo: memFree=1766968/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=11704 CPUtime=462.14 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2439 0 0 0 46210 4 0 0 25 0 1 0 250048209 11984896 2314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2926 2314 311 324 0 1996 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 11704 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 30118 /proc/meminfo: memFree=1766968/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=11704 CPUtime=522.13 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2442 0 0 0 52208 5 0 0 25 0 1 0 250048209 11984896 2317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2926 2317 311 324 0 1996 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 11704 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1766968/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=11704 CPUtime=582.11 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2442 0 0 0 58206 5 0 0 25 0 1 0 250048209 11984896 2317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2926 2317 311 324 0 1996 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 11704 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1766968/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=11784 CPUtime=642.1 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2443 0 0 0 64204 6 0 0 25 0 1 0 250048209 12066816 2318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 2946 2318 311 324 0 2016 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 11784 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=12384 CPUtime=822.04 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2596 0 0 0 82197 7 0 0 25 0 1 0 250048209 12681216 2471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3096 2471 311 324 0 2166 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 12384 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=12384 CPUtime=882.02 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2601 0 0 0 88194 8 0 0 25 0 1 0 250048209 12681216 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3096 2476 311 324 0 2166 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 12384 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=12372 CPUtime=942 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2601 0 0 0 94192 8 0 0 25 0 1 0 250048209 12668928 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3093 2476 311 324 0 2163 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 12372 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=12360 CPUtime=1001.98 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2601 0 0 0 100190 8 0 0 25 0 1 0 250048209 12656640 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3090 2476 311 324 0 2160 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 12360 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1766328/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=12360 CPUtime=1061.96 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2601 0 0 0 106187 9 0 0 25 0 1 0 250048209 12656640 2476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3090 2476 311 324 0 2160 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 12360 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13004 CPUtime=1121.95 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2758 0 0 0 112185 10 0 0 25 0 1 0 250048209 13316096 2633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3251 2633 311 324 0 2321 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 13004 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13004 CPUtime=1181.93 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2761 0 0 0 118183 10 0 0 25 0 1 0 250048209 13316096 2636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3251 2636 311 324 0 2321 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 13004 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13004 CPUtime=1241.9 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2763 0 0 0 124180 10 0 0 25 0 1 0 250048209 13316096 2638 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3251 2638 311 324 0 2321 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 13004 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1765624/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13004 CPUtime=1301.9 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 130179 11 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3251 2642 311 324 0 2321 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 13004 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1765624/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13004 CPUtime=1361.87 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 136176 11 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3251 2642 311 324 0 2321 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 13004 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13004 CPUtime=1421.86 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 142174 12 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3251 2642 311 324 0 2321 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 13004 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1765624/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13004 CPUtime=1481.83 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 148171 12 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3251 2642 311 324 0 2321 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 13004 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1765624/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13004 CPUtime=1541.81 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 154169 12 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3251 2642 311 324 0 2321 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 13004 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1765688/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13004 CPUtime=1601.8 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2767 0 0 0 160167 13 0 0 25 0 1 0 250048209 13316096 2642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3251 2642 311 324 0 2321 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 13004 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1764920/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13760 CPUtime=1661.78 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2946 0 0 0 166165 13 0 0 25 0 1 0 250048209 14090240 2821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3440 2821 311 324 0 2510 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 13760 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1764920/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13760 CPUtime=1721.77 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2946 0 0 0 172163 14 0 0 25 0 1 0 250048209 14090240 2821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3440 2821 311 324 0 2510 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 13760 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1764984/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13756 CPUtime=1781.74 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2946 0 0 0 178160 14 0 0 25 0 1 0 250048209 14086144 2821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3439 2821 311 324 0 2509 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 13756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30118 /proc/meminfo: memFree=1764920/2055920 swapFree=4163632/4192956 [pid=30117] ppid=30115 vsize=13756 CPUtime=1800.04 /proc/30117/stat : 30117 (bsolo3.0.17) R 30115 30117 29799 0 -1 4194304 2946 0 0 0 179990 14 0 0 25 0 1 0 250048209 14086144 2821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30117/statm: 3439 2821 311 324 0 2509 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 13756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.91 CPU system time (s): 0.150977 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 13760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.91 system time used= 0.150977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2950 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= 4144 runsolver used 1.40779 second user time and 3.78043 second system time The end
Begin job on node22 on Tue May 1 12:08:25 UTC 2007 IDJOB= 454101 IDBENCH= 48174 IDSOLVER= 199 FILE ID= node22/454101-1178021305 PBS_JOBID= 4728368 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_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454101-1178021305/instance-454101-1178021305.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-454101-1178021305 -o ROOT/results/node22/solver-454101-1178021305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454101-1178021305/instance-454101-1178021305.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a142d6d7b95394ce9dab5e7d7d075ea6 RANDOM SEED= 936664732 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1775760 kB Buffers: 41756 kB Cached: 149784 kB SwapCached: 7428 kB Active: 71424 kB Inactive: 143032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1775760 kB SwapTotal: 4192956 kB SwapFree: 4163632 kB Dirty: 6620 kB Writeback: 0 kB Mapped: 29864 kB Slab: 51280 kB Committed_AS: 2329520 kB PageTables: 1676 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 node22 on Tue May 1 12:38:28 UTC 2007