Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 1722.28 | 1722.87 |
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.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/430198-1177992720/instance-430198-1177992720.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.012 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. 713.44/713.76 c 103 792 1283 10805 8 4404 7322 103 5150 0.02 713.44/713.76 c 253 792 1433 20069 14 4607 8055 253 7906 0.03 713.44/713.76 c 479 792 1659 34485 20 5046 8861 479 9211 0.05 713.44/713.76 c 817 792 1997 58066 29 5785 9748 817 10341 0.08 713.44/713.76 c 1326 792 2506 93294 37 6731 10723 1326 9471 0.14 713.44/713.76 c 2091 792 3271 139759 42 8251 11796 2091 7890 0.27 713.44/713.76 c 3238 792 4418 209259 47 10533 12976 3238 6860 0.47 713.44/713.76 c 4959 792 6139 312499 50 13990 14274 4959 5571 0.89 713.44/713.76 c 7544 792 8724 464546 53 19154 15702 7544 3680 2.05 713.44/713.76 c 11423 792 12603 746743 59 26969 17273 11423 3560 3.21 713.44/713.76 c 17245 792 18425 1097801 59 38553 19001 17245 2088 8.26 713.44/713.76 c 25983 792 17618 999481 56 36914 20902 16438 1700 15.28 713.44/713.76 c 39094 789 20191 1085649 53 42069 22993 19011 1212 32.24 713.44/713.76 c 58765 789 14214 871142 61 30144 25293 13034 1274 46.10 713.44/713.76 c 88275 789 14713 834856 56 31127 27823 13533 1121 78.69 713.44/713.76 c 132545 789 24417 1630760 66 50590 30606 23237 1182 112.12 713.44/713.76 c 198955 789 15241 878127 57 32220 33667 14061 976 203.75 713.44/713.76 c 298576 789 24683 1555718 63 51091 37034 23503 968 308.30 713.44/713.76 c 448012 786 18490 1181222 63 38694 40738 17310 903 496.07 713.44/713.76 o 3 713.519 1722.20/1722.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1722.20/1722.85 c 621684 785 15247 939157 61 32201 6672 14067 871 713.52 1722.20/1722.85 c 621784 776 4622 236132 51 11015 7340 3442 871 713.64 1722.20/1722.85 c 622035 776 4873 255759 52 11513 8075 3693 871 713.67 1722.20/1722.85 c 622511 776 5349 290054 54 12496 8883 4169 872 713.73 1722.20/1722.85 c 623324 776 6162 348345 56 14117 9772 4982 873 713.86 1722.20/1722.85 c 624645 776 7483 439224 58 16753 10750 6303 874 714.18 1722.20/1722.85 c 626728 776 9566 577079 60 20909 11826 8386 876 714.80 1722.20/1722.85 c 629951 776 12789 783141 61 27368 13009 11609 879 716.60 1722.20/1722.85 c 634887 776 11139 635325 57 24073 14310 9959 880 720.69 1722.20/1722.85 c 642394 776 11412 645266 56 24597 15742 10232 882 727.53 1722.20/1722.85 c 653755 776 14274 875439 61 30161 17317 13094 892 732.56 1722.20/1722.85 c 670899 776 13616 768473 56 28862 19049 12436 903 742.94 1722.20/1722.85 c 696720 776 19696 1176400 59 41095 20954 18516 911 764.53 1722.20/1722.85 c 735553 775 14302 822154 57 30220 23050 13122 910 807.51 1722.20/1722.85 c 793905 745 22747 1358441 59 47256 25356 21567 916 866.13 1722.20/1722.85 c 881538 727 25401 1646249 64 52523 27892 24221 899 980.43 1722.20/1722.85 c 1013090 710 23652 1464984 61 49022 30682 22472 896 1129.69 1722.20/1722.85 c 1210522 707 30595 1899461 62 62892 33751 29415 840 1439.43 1722.20/1722.85 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 1722.20/1722.85 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 1722.20/1722.85 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 1722.20/1722.85 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 1722.20/1722.85 v -x160 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x105 -x106 -x107 -x108 -x109 1722.20/1722.85 v -x110 -x111 x112 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 x113 x114 -x115 -x116 -x117 -x118 -x119 x120 x177 -x178 -x179 1722.20/1722.85 v -x180 -x181 -x182 -x183 -x184 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x185 x186 x187 -x188 x189 -x190 -x191 -x192 1722.20/1722.85 v x129 -x130 x131 -x132 -x133 x134 -x135 -x136 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 x138 -x139 -x140 -x141 -x142 1722.20/1722.85 v -x143 -x144 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 1722.20/1722.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1722.20/1722.85 c 37 1408911 13164 1458276 25662 1484107 24482 818 1722.27 1722.20/1722.85 c Objective: 3 1722.20/1722.85 s OPTIMUM FOUND 1722.20/1722.85 c Total time: 1722.27 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-430198-1177992720 -o ROOT/results/node3/solver-430198-1177992720 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430198-1177992720/instance-430198-1177992720.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.77 0.95 0.98 3/77 17245 /proc/meminfo: memFree=1854296/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=11748 CPUtime=0 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 275309723 12029952 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 2937 345 291 324 0 2003 0 [startup+0.0707611 s] /proc/loadavg: 0.77 0.95 0.98 3/77 17245 /proc/meminfo: memFree=1854296/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=4980 CPUtime=0.06 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 642 0 0 0 6 0 0 0 18 0 1 0 275309723 5099520 608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 1245 608 312 324 0 314 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4980 [startup+0.101766 s] /proc/loadavg: 0.77 0.95 0.98 3/77 17245 /proc/meminfo: memFree=1854296/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=5240 CPUtime=0.09 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 724 0 0 0 9 0 0 0 18 0 1 0 275309723 5365760 690 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 1310 691 312 324 0 379 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5240 [startup+0.301799 s] /proc/loadavg: 0.77 0.95 0.98 3/77 17245 /proc/meminfo: memFree=1854296/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=6408 CPUtime=0.29 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 1010 0 0 0 28 1 0 0 19 0 1 0 275309723 6561792 976 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 1602 976 312 324 0 671 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6408 [startup+0.701863 s] /proc/loadavg: 0.77 0.95 0.98 3/77 17245 /proc/meminfo: memFree=1854296/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=8216 CPUtime=0.69 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 1480 0 0 0 68 1 0 0 22 0 1 0 275309723 8413184 1446 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 2054 1446 312 324 0 1123 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8216 [startup+1.50199 s] /proc/loadavg: 0.77 0.95 0.98 2/78 17246 /proc/meminfo: memFree=1848656/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=10028 CPUtime=1.48 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 1920 0 0 0 147 1 0 0 25 0 1 0 275309723 10268672 1886 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 2507 1886 312 324 0 1576 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10028 [startup+3.10125 s] /proc/loadavg: 0.77 0.95 0.98 2/78 17246 /proc/meminfo: memFree=1846544/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=14672 CPUtime=3.09 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 3074 0 0 0 307 2 0 0 25 0 1 0 275309723 15024128 3040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 3668 3040 312 324 0 2737 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14672 [startup+6.30177 s] /proc/loadavg: 0.79 0.95 0.98 2/78 17246 /proc/meminfo: memFree=1839568/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=18792 CPUtime=6.29 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 4109 0 0 0 625 4 0 0 25 0 1 0 275309723 19243008 4075 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 4698 4075 312 324 0 3767 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18792 [startup+12.7018 s] /proc/loadavg: 0.81 0.95 0.98 2/78 17246 /proc/meminfo: memFree=1835920/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=21748 CPUtime=12.68 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 4851 0 0 0 1263 5 0 0 25 0 1 0 275309723 22269952 4817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 5437 4817 312 324 0 4506 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21748 [startup+25.5019 s] /proc/loadavg: 0.85 0.95 0.98 2/78 17246 /proc/meminfo: memFree=1835024/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=22660 CPUtime=25.48 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 5092 0 0 0 2541 7 0 0 25 0 1 0 275309723 23203840 5058 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11357692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 5665 5058 312 324 0 4734 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22660 [startup+51.101 s] /proc/loadavg: 0.90 0.96 0.98 2/78 17246 /proc/meminfo: memFree=1831184/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=27336 CPUtime=51.07 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 6235 0 0 0 5095 12 0 0 25 0 1 0 275309723 27992064 6201 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 6834 6201 312 324 0 5903 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27336 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/78 17246 /proc/meminfo: memFree=1825232/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=32464 CPUtime=102.26 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 7539 0 0 0 10206 20 0 0 25 0 1 0 275309723 33243136 7505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 8116 7505 312 324 0 7185 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32464 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1820688/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=36960 CPUtime=162.23 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 8666 0 0 0 16195 28 0 0 25 0 1 0 275309723 37847040 8632 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 9240 8632 312 324 0 8309 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.98 2/78 17246 /proc/meminfo: memFree=1820688/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=36916 CPUtime=222.21 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 8669 0 0 0 22186 35 0 0 25 0 1 0 275309723 37801984 8623 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 9229 8623 312 324 0 8298 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.98 2/78 17246 /proc/meminfo: memFree=1818192/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=39340 CPUtime=282.2 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 9329 0 0 0 28175 45 0 0 25 0 1 0 275309723 40284160 9209 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 9835 9209 312 324 0 8904 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 39340 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1815312/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=42176 CPUtime=342.17 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 10115 0 0 0 34165 52 0 0 25 0 1 0 275309723 43188224 9924 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 10544 9924 312 324 0 9613 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.98 2/78 17246 /proc/meminfo: memFree=1815248/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=42176 CPUtime=402.15 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 10189 0 0 0 40155 60 0 0 25 0 1 0 275309723 43188224 9924 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 10544 9924 312 324 0 9613 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.98 2/78 17246 /proc/meminfo: memFree=1815248/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=42180 CPUtime=462.13 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 10264 0 0 0 46147 66 0 0 25 0 1 0 275309723 43192320 9925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 10545 9925 312 324 0 9614 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 42180 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 3/78 17246 /proc/meminfo: memFree=1810000/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47476 CPUtime=522.12 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11658 0 0 0 52138 74 0 0 25 0 1 0 275309723 48615424 11241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11869 11241 312 324 0 10938 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 47476 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1809936/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47476 CPUtime=582.09 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11699 0 0 0 58129 80 0 0 25 0 1 0 275309723 48615424 11241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11869 11241 312 324 0 10938 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 47476 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1809936/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47436 CPUtime=642.07 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11719 0 0 0 64121 86 0 0 25 0 1 0 275309723 48574464 11253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11859 11253 312 324 0 10928 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 47436 ################ # More data... # ################ /proc/meminfo: memFree=1809936/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47384 CPUtime=762.04 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 76100 104 0 0 25 0 1 0 275309723 48521216 11241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11846 11241 313 324 0 10915 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 47384 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1809936/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=822.01 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 82090 111 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 47380 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1809936/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=881.99 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 88082 117 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 47380 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1809936/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=941.96 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 94073 123 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 47380 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1810064/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1001.94 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 100063 131 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 47380 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1810000/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1061.93 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 106055 138 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 47380 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1810000/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1121.9 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 112045 145 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 47380 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1809936/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1181.89 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 118036 153 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 47380 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17246 /proc/meminfo: memFree=1809872/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1241.87 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 124029 158 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 47380 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1301.85 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 130021 164 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 47380 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1361.82 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 136012 170 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 47380 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1421.81 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 142003 178 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 47380 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1481.78 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 147994 184 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 47380 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1541.76 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 153985 191 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 47380 [startup+1602.3 s] /proc/loadavg: 1.07 0.99 0.98 2/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1601.74 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 159977 197 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 47380 [startup+1662.3 s] /proc/loadavg: 1.17 1.02 0.99 2/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1661.73 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 165970 203 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 47380 [startup+1722.3 s] /proc/loadavg: 1.06 1.01 0.99 3/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1721.7 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 171960 210 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 47380 Solver just ended. Dumping a history of the last processes samples [startup+1722.7 s] /proc/loadavg: 1.06 1.01 0.99 2/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1722.1 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 172000 210 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1722.1 Current children cumulated vsize (KiB) 47380 [startup+1722.8 s] /proc/loadavg: 1.06 1.01 0.99 2/78 17248 /proc/meminfo: memFree=1809488/2055920 swapFree=4139036/4192956 [pid=17245] ppid=17243 vsize=47380 CPUtime=1722.2 /proc/17245/stat : 17245 (bsolo3.0.16) R 17243 17245 17089 0 -1 4194304 11720 0 0 0 172010 210 0 0 25 0 1 0 275309723 48517120 11240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17245/statm: 11845 11240 313 324 0 10914 0 Current children cumulated CPU time (s) 1722.2 Current children cumulated vsize (KiB) 47380 Child status: 0 Real time (s): 1722.87 CPU time (s): 1722.28 CPU user time (s): 1720.16 CPU system time (s): 2.11668 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 47476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1720.16 system time used= 2.11668 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= 12 involuntary context switches= 1754 runsolver used 1.3148 second user time and 3.74443 second system time The end
Begin job on node3 on Tue May 1 04:12:00 UTC 2007 IDJOB= 430198 IDBENCH= 47963 IDSOLVER= 163 FILE ID= node3/430198-1177992720 PBS_JOBID= 4728245 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/430198-1177992720/instance-430198-1177992720.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-430198-1177992720 -o ROOT/results/node3/solver-430198-1177992720 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430198-1177992720/instance-430198-1177992720.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe RANDOM SEED= 278521526 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1854704 kB Buffers: 25860 kB Cached: 97548 kB SwapCached: 16672 kB Active: 75468 kB Inactive: 70676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854704 kB SwapTotal: 4192956 kB SwapFree: 4139036 kB Dirty: 6900 kB Writeback: 0 kB Mapped: 29540 kB Slab: 40636 kB Committed_AS: 7240548 kB PageTables: 1780 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 node3 on Tue May 1 04:40:43 UTC 2007