Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 1714.09 | 1714.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb |
MD5SUM | 651e385f00e2858954d8683e891a1dbe |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.227965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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/452896-1177992858/instance-452896-1177992858.opb 0.00/0.00 c File size is 10541 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.01 0.00/0.01 c Switching off LPR mode. 710.07/710.36 c 103 792 1283 10805 8 4404 7322 103 5150 0.02 710.07/710.36 c 253 792 1433 20069 14 4607 8055 253 8161 0.03 710.07/710.36 c 479 792 1659 34485 20 5046 8861 479 9392 0.05 710.07/710.36 c 817 792 1997 58066 29 5785 9748 817 10610 0.08 710.07/710.36 c 1326 792 2506 93294 37 6731 10723 1326 9678 0.14 710.07/710.36 c 2091 792 3271 139759 42 8251 11796 2091 8042 0.26 710.07/710.36 c 3238 792 4418 209259 47 10533 12976 3238 7008 0.46 710.07/710.36 c 4959 792 6139 312499 50 13990 14274 4959 5700 0.87 710.07/710.36 c 7544 792 8724 464546 53 19154 15702 7544 3790 1.99 710.07/710.36 c 11423 792 12603 746743 59 26969 17273 11423 3662 3.12 710.07/710.36 c 17245 792 18425 1097801 59 38553 19001 17245 2132 8.09 710.07/710.36 c 25983 792 17618 999481 56 36914 20902 16438 1721 15.09 710.07/710.36 c 39094 789 20191 1085649 53 42069 22993 19011 1225 31.90 710.07/710.36 c 58765 789 14214 871142 61 30144 25293 13034 1291 45.50 710.07/710.36 c 88275 789 14713 834856 56 31127 27823 13533 1133 77.86 710.07/710.36 c 132545 789 24417 1630760 66 50590 30606 23237 1194 110.95 710.07/710.36 c 198955 789 15241 878127 57 32220 33667 14061 983 202.26 710.07/710.36 c 298576 789 24683 1555718 63 51091 37034 23503 974 306.35 710.07/710.36 c 448012 786 18490 1181222 63 38694 40738 17310 907 493.51 710.07/710.36 o 3 710.137 1713.97/1714.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1713.97/1714.60 c 621684 785 15247 939157 61 32201 6672 14067 875 710.14 1713.97/1714.60 c 621784 776 4622 236132 51 11015 7340 3442 875 710.25 1713.97/1714.60 c 622035 776 4873 255759 52 11513 8075 3693 875 710.29 1713.97/1714.60 c 622511 776 5349 290054 54 12496 8883 4169 876 710.34 1713.97/1714.60 c 623324 776 6162 348345 56 14117 9772 4982 877 710.48 1713.97/1714.60 c 624645 776 7483 439224 58 16753 10750 6303 878 710.79 1713.97/1714.60 c 626728 776 9566 577079 60 20909 11826 8386 880 711.42 1713.97/1714.60 c 629951 776 12789 783141 61 27368 13009 11609 883 713.22 1713.97/1714.60 c 634887 776 11139 635325 57 24073 14310 9959 885 717.30 1713.97/1714.60 c 642394 776 11412 645266 56 24597 15742 10232 887 724.03 1713.97/1714.60 c 653755 776 14274 875439 61 30161 17317 13094 896 729.05 1713.97/1714.60 c 670899 776 13616 768473 56 28862 19049 12436 907 739.40 1713.97/1714.60 c 696720 776 19696 1176400 59 41095 20954 18516 915 760.90 1713.97/1714.60 c 735553 775 14302 822154 57 30220 23050 13122 915 803.50 1713.97/1714.60 c 793905 745 22747 1358441 59 47256 25356 21567 921 861.70 1713.97/1714.60 c 881538 727 25401 1646249 64 52523 27892 24221 903 975.66 1713.97/1714.60 c 1013090 710 23652 1464984 61 49022 30682 22472 901 1124.17 1713.97/1714.60 c 1210522 707 30595 1899461 62 62892 33751 29415 844 1432.57 1713.97/1714.60 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 -x30 -x31 1713.97/1714.60 v -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 x57 -x58 x59 1713.97/1714.60 v -x60 -x61 x62 -x63 -x64 x65 x66 x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 x76 x77 -x78 x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 1713.97/1714.60 v -x88 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 x90 -x91 x92 -x93 x94 x95 -x96 -x153 -x154 -x155 -x156 -x157 -x158 -x159 1713.97/1714.60 v -x160 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x105 -x106 -x107 -x108 -x109 1713.97/1714.60 v -x110 -x111 x112 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 x113 x114 -x115 -x116 -x117 -x118 -x119 x120 x177 -x178 -x179 1713.97/1714.60 v -x180 -x181 -x182 -x183 -x184 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x185 x186 x187 -x188 x189 -x190 -x191 -x192 1713.97/1714.60 v x129 -x130 x131 -x132 -x133 x134 -x135 -x136 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 x138 -x139 -x140 -x141 -x142 1713.97/1714.60 v -x143 -x144 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 1713.97/1714.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1713.97/1714.60 c 37 1408911 13164 1458276 25662 1484107 24482 821 1714.08 1713.97/1714.60 c Objective: 3 1713.97/1714.60 s OPTIMUM FOUND 1713.97/1714.60 c Total time: 1714.08 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-452896-1177992858 -o ROOT/results/node62/solver-452896-1177992858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452896-1177992858/instance-452896-1177992858.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.84 0.97 0.97 3/64 31883 /proc/meminfo: memFree=1821480/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=3936 CPUtime=0 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 117861801 4030464 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 984 345 289 324 0 51 0 [startup+0.0924671 s] /proc/loadavg: 0.84 0.97 0.97 3/64 31883 /proc/meminfo: memFree=1821480/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=5240 CPUtime=0.08 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 709 0 0 0 8 0 0 0 18 0 1 0 117861801 5365760 676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 1310 676 310 324 0 380 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5240 [startup+0.101468 s] /proc/loadavg: 0.84 0.97 0.97 3/64 31883 /proc/meminfo: memFree=1821480/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=5240 CPUtime=0.09 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 727 0 0 0 9 0 0 0 18 0 1 0 117861801 5365760 694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 1310 694 310 324 0 380 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5240 [startup+0.301491 s] /proc/loadavg: 0.84 0.97 0.97 3/64 31883 /proc/meminfo: memFree=1821480/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=6408 CPUtime=0.29 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 1012 0 0 0 29 0 0 0 19 0 1 0 117861801 6561792 979 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 1602 979 310 324 0 672 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6408 [startup+0.701538 s] /proc/loadavg: 0.84 0.97 0.97 3/64 31883 /proc/meminfo: memFree=1821480/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=8344 CPUtime=0.69 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 1488 0 0 0 68 1 0 0 22 0 1 0 117861801 8544256 1455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 2086 1455 310 324 0 1156 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8344 [startup+1.50163 s] /proc/loadavg: 0.84 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1816032/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=10156 CPUtime=1.49 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 1945 0 0 0 148 1 0 0 25 0 1 0 117861801 10399744 1912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 2539 1912 310 324 0 1609 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10156 [startup+3.10182 s] /proc/loadavg: 0.84 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1813792/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=14928 CPUtime=3.09 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 3145 0 0 0 307 2 0 0 25 0 1 0 117861801 15286272 3112 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 3732 3112 310 324 0 2802 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14928 [startup+6.30119 s] /proc/loadavg: 0.85 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1806688/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=18920 CPUtime=6.28 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 4132 0 0 0 625 3 0 0 25 0 1 0 117861801 19374080 4099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8537985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 4730 4099 310 324 0 3800 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18920 [startup+12.7019 s] /proc/loadavg: 0.87 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1803048/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=21748 CPUtime=12.69 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 4848 0 0 0 1265 4 0 0 25 0 1 0 117861801 22269952 4815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8537459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 5437 4815 310 324 0 4507 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21748 [startup+25.5014 s] /proc/loadavg: 0.89 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1802216/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=22660 CPUtime=25.49 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 5089 0 0 0 2544 5 0 0 25 0 1 0 117861801 23203840 5056 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 5665 5056 310 324 0 4735 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22660 [startup+51.1014 s] /proc/loadavg: 0.93 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1797608/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=28116 CPUtime=51.07 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 6442 0 0 0 5101 6 0 0 25 0 1 0 117861801 28790784 6409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 7029 6409 310 324 0 6099 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 28116 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1792488/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=32464 CPUtime=102.25 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 7536 0 0 0 10218 7 0 0 25 0 1 0 117861801 33243136 7503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 8116 7503 310 324 0 7186 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 32464 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1787944/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=36960 CPUtime=162.23 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 8663 0 0 0 16216 7 0 0 25 0 1 0 117861801 37847040 8630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 9240 8630 310 324 0 8310 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 36960 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1787880/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=36916 CPUtime=222.21 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 8666 0 0 0 22214 7 0 0 25 0 1 0 117861801 37801984 8621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 9229 8621 310 324 0 8299 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 36916 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1785384/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=39340 CPUtime=282.2 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 9326 0 0 0 28212 8 0 0 25 0 1 0 117861801 40284160 9207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 9835 9207 310 324 0 8905 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 39340 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1782504/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=42176 CPUtime=342.17 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 10112 0 0 0 34209 8 0 0 25 0 1 0 117861801 43188224 9922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 10544 9922 310 324 0 9614 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 42176 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1782504/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=42176 CPUtime=402.15 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 10186 0 0 0 40207 8 0 0 25 0 1 0 117861801 43188224 9922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 10544 9922 310 324 0 9614 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 42176 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1782504/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=42180 CPUtime=462.13 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 10261 0 0 0 46205 8 0 0 25 0 1 0 117861801 43192320 9923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8537937 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 10545 9923 310 324 0 9615 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 42180 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777192/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47476 CPUtime=522.12 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11655 0 0 0 52203 9 0 0 25 0 1 0 117861801 48615424 11239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11869 11239 310 324 0 10939 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 47476 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777192/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47476 CPUtime=582.11 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11696 0 0 0 58201 10 0 0 25 0 1 0 117861801 48615424 11239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11869 11239 310 324 0 10939 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 47476 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777192/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47436 CPUtime=642.1 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11716 0 0 0 64200 10 0 0 25 0 1 0 117861801 48574464 11251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11859 11251 310 324 0 10929 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 47436 ################ # More data... # ################ /proc/meminfo: memFree=1777256/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1121.95 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 112185 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 47380 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777192/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1181.93 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 118183 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 47380 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777192/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1241.91 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 124181 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 47380 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777192/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1301.9 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 130180 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 47380 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777192/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1361.88 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 136178 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 47380 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777128/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1421.86 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 142176 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 47380 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777192/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1481.84 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 148174 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 47380 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777128/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1541.82 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 154172 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550777 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 47380 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1601.81 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 160171 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 47380 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1661.79 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 166169 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 47380 Solver just ended. Dumping a history of the last processes samples [startup+1663.9 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1663.39 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 166329 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1663.39 Current children cumulated vsize (KiB) 47380 [startup+1689.5 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1688.99 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 168889 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1688.99 Current children cumulated vsize (KiB) 47380 [startup+1702.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1701.78 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 170168 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8536133 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1701.78 Current children cumulated vsize (KiB) 47380 [startup+1708.7 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1708.17 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 170807 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1708.17 Current children cumulated vsize (KiB) 47380 [startup+1711.9 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1711.37 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 171127 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1711.37 Current children cumulated vsize (KiB) 47380 [startup+1713.5 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1712.97 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 171287 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1712.97 Current children cumulated vsize (KiB) 47380 [startup+1714.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1713.77 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 171367 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1713.77 Current children cumulated vsize (KiB) 47380 [startup+1714.5 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=47380 CPUtime=1713.97 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194304 11717 0 0 0 171387 10 0 0 25 0 1 0 117861801 48517120 11238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 11845 11238 311 324 0 10915 0 Current children cumulated CPU time (s) 1713.97 Current children cumulated vsize (KiB) 47380 [startup+1714.6 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31884 /proc/meminfo: memFree=1777064/2055920 swapFree=4184544/4192956 [pid=31883] ppid=31881 vsize=0 CPUtime=1714.07 /proc/31883/stat : 31883 (bsolo3.0.17) R 31881 31883 31818 0 -1 4194308 11721 0 0 0 171397 10 0 0 25 0 1 0 117861801 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31883/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1714.07 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1714.61 CPU time (s): 1714.09 CPU user time (s): 1713.98 CPU system time (s): 0.111982 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 47640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1713.98 system time used= 0.111982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11721 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= 10 involuntary context switches= 2730 runsolver used 1.44278 second user time and 3.24151 second system time The end
Begin job on node62 on Tue May 1 04:14:18 UTC 2007 IDJOB= 452896 IDBENCH= 47963 IDSOLVER= 199 FILE ID= node62/452896-1177992858 PBS_JOBID= 4728248 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452896-1177992858/instance-452896-1177992858.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-452896-1177992858 -o ROOT/results/node62/solver-452896-1177992858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452896-1177992858/instance-452896-1177992858.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe RANDOM SEED= 527998764 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: 1821888 kB Buffers: 9560 kB Cached: 152432 kB SwapCached: 2296 kB Active: 72636 kB Inactive: 98664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1821888 kB SwapTotal: 4192956 kB SwapFree: 4184544 kB Dirty: 6856 kB Writeback: 0 kB Mapped: 15728 kB Slab: 48740 kB Committed_AS: 1339376 kB PageTables: 1460 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 04:42:53 UTC 2007