Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -25 | 1800.01 | 1800.46 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_3.opb |
MD5SUM | 737bdf32fd69c002d569e68c523af4bf |
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 | 217.679 |
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 | 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) | 1244 |
Sum of products size (including duplicates) | 2488 |
Number of different products | 622 |
Sum of products size | 1244 |
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/454830-1178032073/instance-454830-1178032073.opb 0.00/0.00 c File size is 14952 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: 1344 Constr: 2688 1344/100/1244 Lit: 9952 Watch. Lit: 7464 0.00/0.01 c Obj. Vars: 100 (7.44048 % 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 622 1866 3 1244 207 0 0 0.02 0.00/0.02 c Switching off LPR mode. 0.00/0.02 o -21 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 100 623 1966 3 1267 940 1 0 0.02 0.00/0.02 o -23 0.018 49.67/49.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.67/49.70 c 2 100 626 2218 3 1296 1007 4 105 0.02 49.67/49.70 c 102 100 726 9575 13 1496 1108 104 4250 0.02 49.67/49.70 c 353 100 977 27951 28 1998 1219 355 8609 0.04 49.67/49.70 c 828 100 1452 62804 43 2948 1341 830 9857 0.08 49.67/49.70 c 1642 100 2266 122138 53 4576 1476 1644 8923 0.18 49.67/49.70 c 2963 100 1536 68403 44 3095 1624 914 7776 0.38 49.67/49.70 c 5044 100 1495 65431 43 3013 1787 873 7257 0.69 49.67/49.70 c 8270 100 2514 139637 55 5051 1966 1892 6269 1.32 49.67/49.70 c 13206 100 2843 163140 57 5709 2163 2221 5815 2.27 49.67/49.70 c 20712 100 3174 187199 58 6371 2380 2552 5437 3.81 49.67/49.70 c 32073 100 1989 101674 51 4001 2619 1367 4704 6.82 49.67/49.70 c 49218 100 3391 203023 59 6805 2881 2769 4439 11.09 49.67/49.70 c 75037 100 4383 275253 62 8789 3170 3761 4198 17.87 49.67/49.70 c 113869 100 2579 144600 56 5181 3488 1957 3829 29.74 49.67/49.70 c 172222 100 2821 160628 56 5665 3837 2199 3494 49.28 49.67/49.70 o -24 49.679 1611.89/1612.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1611.89/1612.39 c 174345 100 4945 316651 64 9937 1040 4323 3509 49.68 1611.89/1612.39 c 174446 100 1244 46829 37 2512 1145 622 3508 49.72 1611.89/1612.39 c 174698 100 1496 65054 43 3016 1260 874 3512 49.74 1611.89/1612.39 c 175174 100 1972 99530 50 3968 1387 1350 3517 49.80 1611.89/1612.39 c 175987 100 2785 158239 56 5594 1526 2163 3525 49.92 1611.89/1612.39 c 177307 100 2033 103546 50 4090 1679 1411 3538 50.11 1611.89/1612.39 c 179388 100 1964 98106 49 3952 1847 1342 3556 50.44 1611.89/1612.39 c 182611 100 2943 169353 57 5910 2032 2321 3580 51.00 1611.89/1612.39 c 187547 100 3216 188642 58 6456 2236 2594 3609 51.96 1611.89/1612.39 c 195053 100 3402 200523 58 6828 2460 2780 3625 53.80 1611.89/1612.39 c 206415 100 2032 102481 50 4088 2707 1410 3625 56.93 1611.89/1612.39 c 223559 100 3174 185777 58 6372 2978 2552 3656 61.14 1611.89/1612.39 c 249379 100 3770 227782 60 7564 3276 3148 3661 68.11 1611.89/1612.39 c 288211 100 4216 260431 61 8456 3604 3594 3611 79.81 1611.89/1612.39 c 346563 100 3362 198377 59 6748 3965 2740 3478 99.63 1611.89/1612.39 c 434196 100 5377 342562 63 10778 4362 4755 3242 133.89 1611.89/1612.39 c 565749 100 4125 252772 61 8274 4799 3503 3002 188.42 1611.89/1612.39 c 763182 100 4878 308009 63 9780 5279 4256 2787 273.80 1611.89/1612.39 c 1059434 100 4851 306113 63 9726 5807 4229 2633 402.29 1611.89/1612.39 c 1503917 100 6818 446641 65 13660 6388 6196 2446 614.78 1611.89/1612.39 c 2170745 100 6948 458705 66 13920 7027 6326 2179 995.86 1611.89/1612.39 o -25 1611.99 1799.94/1800.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.45 c 3168894 100 6707 439692 65 13463 1073 6085 1965 1611.99 1799.94/1800.45 c 3168994 100 1260 47152 37 2545 1181 638 1965 1612.08 1799.94/1800.45 c 3169244 100 1510 65054 43 3045 1300 888 1965 1612.11 1799.94/1800.45 c 3169720 100 1986 99027 49 3997 1431 1364 1966 1612.15 1799.94/1800.45 c 3170534 100 2800 156969 56 5625 1575 2178 1966 1612.29 1799.94/1800.45 c 3171855 100 2023 101252 50 4071 1733 1401 1967 1612.49 1799.94/1800.45 c 3173936 100 1923 93653 48 3871 1907 1301 1968 1612.76 1799.94/1800.45 c 3177159 100 2874 161577 56 5773 2098 2252 1969 1613.25 1799.94/1800.45 c 3182095 100 3071 174274 56 6167 2308 2449 1971 1614.24 1799.94/1800.45 c 3189601 100 3155 181024 57 6335 2539 2533 1973 1615.83 1799.94/1800.45 c 3200963 100 4187 255066 60 8399 2793 3565 1977 1618.83 1799.94/1800.45 c 3218108 100 2345 123476 52 4715 3073 1723 1981 1623.74 1799.94/1800.45 c 3243927 100 2523 135142 53 5071 3381 1901 1988 1631.57 1799.94/1800.45 c 3282761 100 2314 121524 52 4653 3720 1692 1997 1643.33 1799.94/1800.45 c 3341113 100 3617 213860 59 7259 4093 2995 2010 1661.65 1799.94/1800.45 c 3428746 100 3926 233354 59 7877 4503 3304 2022 1695.09 1799.94/1800.45 c 3560298 100 3700 220221 59 7425 4954 3078 2038 1746.51 1799.94/1800.45 c Resources Exceeded 1799.94/1800.45 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.94/1800.45 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.94/1800.45 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 1799.94/1800.45 v x83 -x84 x85 x86 x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 x99 x100 1799.94/1800.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.45 c 54 3684701 309005 4060895 6813 441739 6191 2047 1800.00 1799.94/1800.45 c Objective: -25 1799.94/1800.45 s SATISFIABLE 1799.94/1800.45 c Total time: 1800 s
OK -25
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-454830-1178032073 -o ROOT/results/node26/solver-454830-1178032073 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454830-1178032073/instance-454830-1178032073.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.66 0.92 0.97 3/77 783 /proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=11752 CPUtime=0 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 251124118 12034048 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2938 348 292 324 0 2003 0 [startup+0.044459 s] /proc/loadavg: 0.66 0.92 0.97 3/77 783 /proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=4840 CPUtime=0.03 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 632 0 0 0 3 0 0 0 18 0 1 0 251124118 4956160 597 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 1210 597 313 324 0 279 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4840 [startup+0.102464 s] /proc/loadavg: 0.66 0.92 0.97 3/77 783 /proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=5500 CPUtime=0.09 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 773 0 0 0 9 0 0 0 18 0 1 0 251124118 5632000 738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 1375 738 313 324 0 444 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5500 [startup+0.301482 s] /proc/loadavg: 0.66 0.92 0.97 3/77 783 /proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=6936 CPUtime=0.29 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1134 0 0 0 29 0 0 0 19 0 1 0 251124118 7102464 1099 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 1734 1099 313 324 0 803 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6936 [startup+0.70252 s] /proc/loadavg: 0.66 0.92 0.97 3/77 783 /proc/meminfo: memFree=1791600/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=7320 CPUtime=0.69 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1245 0 0 0 68 1 0 0 23 0 1 0 251124118 7495680 1210 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 1830 1210 313 324 0 899 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7320 [startup+1.50159 s] /proc/loadavg: 0.66 0.92 0.97 2/78 784 /proc/meminfo: memFree=1787752/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=7576 CPUtime=1.48 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1310 0 0 0 147 1 0 0 25 0 1 0 251124118 7757824 1275 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 1894 1275 313 324 0 963 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7576 [startup+3.10174 s] /proc/loadavg: 0.66 0.92 0.97 2/78 784 /proc/meminfo: memFree=1787432/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=7836 CPUtime=3.09 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1388 0 0 0 307 2 0 0 25 0 1 0 251124118 8024064 1353 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 1959 1353 313 324 0 1028 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7836 [startup+6.30104 s] /proc/loadavg: 0.69 0.92 0.97 2/78 784 /proc/meminfo: memFree=1786920/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=8092 CPUtime=6.28 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1450 0 0 0 625 3 0 0 25 0 1 0 251124118 8286208 1415 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2023 1415 313 324 0 1092 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8092 [startup+12.7016 s] /proc/loadavg: 0.71 0.92 0.97 2/78 784 /proc/meminfo: memFree=1786432/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=8612 CPUtime=12.68 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1576 0 0 0 1263 5 0 0 25 0 1 0 251124118 8818688 1541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024972 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2153 1541 313 324 0 1222 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8612 [startup+25.5018 s] /proc/loadavg: 0.77 0.92 0.97 2/78 784 /proc/meminfo: memFree=1786240/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=8992 CPUtime=25.48 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1654 0 0 0 2539 9 0 0 25 0 1 0 251124118 9207808 1619 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2248 1619 313 324 0 1317 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8992 [startup+51.1012 s] /proc/loadavg: 0.85 0.93 0.97 2/78 784 /proc/meminfo: memFree=1785792/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=9248 CPUtime=51.07 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1736 0 0 0 5092 15 0 0 25 0 1 0 251124118 9469952 1701 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2312 1701 313 324 0 1381 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9248 [startup+102.306 s] /proc/loadavg: 0.93 0.94 0.97 2/78 784 /proc/meminfo: memFree=1785408/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=9744 CPUtime=102.27 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1868 0 0 0 10197 30 0 0 25 0 1 0 251124118 9977856 1809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2436 1809 313 324 0 1505 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 9744 [startup+162.302 s] /proc/loadavg: 0.97 0.95 0.97 2/78 784 /proc/meminfo: memFree=1785024/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=10124 CPUtime=162.24 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 1974 0 0 0 16181 43 0 0 25 0 1 0 251124118 10366976 1915 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2531 1915 313 324 0 1600 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 10124 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.97 2/78 784 /proc/meminfo: memFree=1784576/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=10608 CPUtime=222.23 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2087 0 0 0 22165 58 0 0 25 0 1 0 251124118 10862592 2028 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2652 2028 313 324 0 1721 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 10608 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 784 /proc/meminfo: memFree=1784128/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=11120 CPUtime=282.22 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2208 0 0 0 28151 71 0 0 25 0 1 0 251124118 11386880 2149 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2780 2149 313 324 0 1849 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 11120 [startup+342.301 s] /proc/loadavg: 0.99 0.96 0.97 2/78 784 /proc/meminfo: memFree=1784064/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=11116 CPUtime=342.2 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2215 0 0 0 34137 83 0 0 25 0 1 0 251124118 11382784 2156 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2779 2156 313 324 0 1848 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 11116 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 784 /proc/meminfo: memFree=1784128/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=11108 CPUtime=402.18 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2215 0 0 0 40123 95 0 0 25 0 1 0 251124118 11374592 2156 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2777 2156 313 324 0 1846 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 11108 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 784 /proc/meminfo: memFree=1783616/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=11620 CPUtime=462.17 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2349 0 0 0 46112 105 0 0 25 0 1 0 251124118 11898880 2290 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2905 2290 313 324 0 1974 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 11620 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 784 /proc/meminfo: memFree=1783552/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=11620 CPUtime=522.16 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2349 0 0 0 52099 117 0 0 25 0 1 0 251124118 11898880 2290 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2905 2290 313 324 0 1974 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 11620 [startup+582.302 s] /proc/loadavg: 1.06 0.99 0.98 2/78 784 /proc/meminfo: memFree=1783488/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=11620 CPUtime=582.14 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2352 0 0 0 58084 130 0 0 25 0 1 0 251124118 11898880 2293 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 2905 2293 313 324 0 1974 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 11620 [startup+642.301 s] /proc/loadavg: 1.08 1.00 0.98 2/78 784 /proc/meminfo: memFree=1782912/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12248 CPUtime=642.12 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2500 0 0 0 64071 141 0 0 25 0 1 0 251124118 12541952 2441 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3062 2441 313 324 0 2131 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 12248 ################ # More data... # ################ /proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12884 CPUtime=1122.01 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 111971 230 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3221 2610 313 324 0 2290 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 12884 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12884 CPUtime=1182 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 117958 242 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3221 2610 313 324 0 2290 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 12884 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12884 CPUtime=1241.98 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 123946 252 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3221 2610 313 324 0 2290 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 12884 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12884 CPUtime=1301.97 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 129935 262 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3221 2610 313 324 0 2290 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 12884 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782144/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12884 CPUtime=1361.95 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 135922 273 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3221 2610 313 324 0 2290 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 12884 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782144/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12884 CPUtime=1421.94 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 141911 283 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13025007 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3221 2610 313 324 0 2290 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 12884 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782080/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12884 CPUtime=1481.92 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 147898 294 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3221 2610 313 324 0 2290 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 12884 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12884 CPUtime=1541.9 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 153886 304 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3221 2610 313 324 0 2290 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 12884 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12884 CPUtime=1601.89 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 159874 315 0 0 25 0 1 0 251124118 13193216 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3221 2610 313 324 0 2290 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 12884 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782208/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12624 CPUtime=1661.87 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 165855 332 0 0 25 0 1 0 251124118 12926976 2550 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3156 2550 313 324 0 2225 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 12624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782336/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12524 CPUtime=1721.86 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 171838 348 0 0 25 0 1 0 251124118 12824576 2525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3131 2525 313 324 0 2200 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 12524 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782464/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12400 CPUtime=1781.85 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 177825 360 0 0 25 0 1 0 251124118 12697600 2494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3100 2494 313 324 0 2169 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 12400 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12352 CPUtime=1791.45 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 178783 362 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3088 2482 313 324 0 2157 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 12352 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12352 CPUtime=1794.65 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179102 363 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3088 2482 313 324 0 2157 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 12352 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12352 CPUtime=1797.84 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179421 363 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3088 2482 313 324 0 2157 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 12352 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12352 CPUtime=1798.65 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179501 364 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3088 2482 313 324 0 2157 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (KiB) 12352 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12352 CPUtime=1799.44 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179580 364 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3088 2482 313 324 0 2157 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (KiB) 12352 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12352 CPUtime=1799.84 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179620 364 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3088 2482 313 324 0 2157 0 Current children cumulated CPU time (s) 1799.84 Current children cumulated vsize (KiB) 12352 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 0.99 2/78 784 /proc/meminfo: memFree=1782528/2055920 swapFree=4170240/4192956 [pid=783] ppid=781 vsize=12352 CPUtime=1799.94 /proc/783/stat : 783 (bsolo3.0.16) R 781 783 674 0 -1 4194304 2669 0 0 0 179630 364 0 0 25 0 1 0 251124118 12648448 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/783/statm: 3088 2482 313 324 0 2157 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 12352 Child status: 0 Real time (s): 1800.46 CPU time (s): 1800.01 CPU user time (s): 1796.36 CPU system time (s): 3.64545 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 12884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.36 system time used= 3.64545 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2670 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= 38661 runsolver used 1.37779 second user time and 3.79942 second system time The end
Begin job on node26 on Tue May 1 15:07:53 UTC 2007 IDJOB= 454830 IDBENCH= 48223 IDSOLVER= 163 FILE ID= node26/454830-1178032073 PBS_JOBID= 4728408 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_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454830-1178032073/instance-454830-1178032073.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-454830-1178032073 -o ROOT/results/node26/solver-454830-1178032073 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454830-1178032073/instance-454830-1178032073.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 737bdf32fd69c002d569e68c523af4bf RANDOM SEED= 664118890 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1792072 kB Buffers: 54644 kB Cached: 118060 kB SwapCached: 3416 kB Active: 108628 kB Inactive: 88612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792072 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 6884 kB Writeback: 0 kB Mapped: 30604 kB Slab: 52268 kB Committed_AS: 2464756 kB PageTables: 1716 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 node26 on Tue May 1 15:37:54 UTC 2007