Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 72.298 | 72.3181 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=67-P1=127-P2=73-P3=79-P4=17-P5=109-P6=17-P7=23-P8=23-P9=53-B.opb |
MD5SUM | 0529ad177104c2b8c24f12c8a325b463 |
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.162974 |
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 | 189 |
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 | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 441 |
Sum of products size (including duplicates) | 882 |
Number of different products | 441 |
Sum of products size | 882 |
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/430912-1178000636/instance-430912-1178000636.opb 0.00/0.00 c File size is 8219 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369 0.00/0.00 c Obj. Vars: 7 (1.11111 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 630 910 3836 4 3289 5172 0 0 0.01 0.00/0.01 c Switching off LPR mode. 36.58/36.68 c 101 630 1011 7945 7 3460 5690 101 6312 0.02 36.58/36.68 c 251 630 1161 15120 13 3731 6260 251 9296 0.03 36.58/36.68 c 476 630 1386 25942 18 4144 6887 476 11069 0.04 36.58/36.68 c 815 630 1725 43397 25 4849 7576 815 10866 0.07 36.58/36.68 c 1324 630 2234 66236 29 5852 8334 1324 10030 0.13 36.58/36.68 c 2088 630 2998 103252 34 7393 9168 2088 9405 0.22 36.58/36.68 c 3235 630 4145 162255 39 9608 10085 3235 9599 0.34 36.58/36.68 c 4957 630 5867 290119 49 13037 11094 4957 8166 0.61 36.58/36.68 c 7541 630 8451 421497 49 18195 12204 7541 7578 0.99 36.58/36.68 c 11421 630 12331 631028 51 26000 13425 11421 6306 1.81 36.58/36.68 c 17243 630 11110 527391 47 23534 14768 10200 5605 3.08 36.58/36.68 c 25980 630 12134 567852 46 25552 16245 11224 4422 5.88 36.58/36.68 c 39091 629 16836 814737 48 34965 17870 15926 3886 10.06 36.58/36.68 c 58761 628 18148 853015 47 37658 19658 17238 3337 17.61 36.58/36.68 o 65 36.67 41.98/42.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.98/42.08 c 80953 628 10743 530493 49 22789 5186 9833 2199 36.80 41.98/42.08 c 81053 628 3607 142967 39 8570 5705 2697 2197 36.88 41.98/42.08 c 81303 628 3857 156230 40 9049 6276 2947 2203 36.90 41.98/42.08 c 81778 628 4332 181962 42 9920 6904 3422 2213 36.95 41.98/42.08 c 82592 628 5146 225082 43 11600 7595 4236 2230 37.03 41.98/42.08 c 83913 628 6467 289112 44 14201 8355 5557 2255 37.20 41.98/42.08 c 85995 628 8549 397535 46 18364 9191 7639 2293 37.50 41.98/42.08 c 89219 627 6935 313619 45 15141 10111 6025 2336 38.18 41.98/42.08 c 94155 625 6606 315897 47 14513 11123 5696 2391 39.37 41.98/42.08 o 25 42.068 43.18/43.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.18/43.22 c 101602 625 8017 362981 45 17427 5186 7107 2415 42.07 43.18/43.22 c 101703 625 3611 147204 40 8595 5705 2701 2414 42.12 43.18/43.22 c 101953 625 3861 160513 41 9099 6276 2951 2419 42.14 43.18/43.22 c 102428 625 4336 186499 43 10108 6904 3426 2427 42.20 43.18/43.22 c 103241 617 5149 228929 44 11661 7595 4239 2440 42.31 43.18/43.22 c 104561 607 6469 300264 46 14296 8355 5559 2461 42.48 43.18/43.22 c 106642 607 8550 406316 47 18410 9191 7640 2492 42.78 43.18/43.22 o 9 43.21 55.87/55.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.87/55.94 c 109108 607 6239 271019 43 13834 5182 5329 2525 43.21 55.87/55.94 c 109209 607 3611 133950 37 8595 5701 2701 2525 43.23 55.87/55.94 c 109460 607 3862 146300 37 9111 6272 2952 2530 43.26 55.87/55.94 c 109936 598 4338 173593 40 10057 6900 3428 2538 43.30 55.87/55.94 c 110749 598 5151 215745 41 11724 7591 4241 2551 43.41 55.87/55.94 c 112070 598 6472 279760 43 14310 8351 5562 2567 43.65 55.87/55.94 c 114151 598 8553 378754 44 18381 9187 7643 2579 44.25 55.87/55.94 c 117374 595 7113 297833 41 15510 10106 6203 2578 45.52 55.87/55.94 c 122310 595 6734 298673 44 14819 11117 5824 2608 46.89 55.87/55.94 c 129816 594 8620 370507 42 18622 12229 7710 2533 51.25 55.87/55.94 c 141177 594 7225 331096 45 15825 13452 6315 2542 55.52 55.87/55.94 o 5 55.926 61.68/61.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.68/61.71 c 142913 594 8962 419795 46 19252 5180 8052 2555 55.93 61.68/61.71 c 143014 594 3614 142486 39 8560 5699 2704 2554 55.99 61.68/61.71 c 143264 594 3864 155312 40 9018 6269 2954 2557 56.01 61.68/61.71 c 143740 594 4340 178993 41 9994 6896 3430 2563 56.07 61.68/61.71 c 144553 594 5153 217479 42 11605 7586 4243 2570 56.23 61.68/61.71 c 145874 594 6474 302487 46 14274 8345 5564 2582 56.48 61.68/61.71 c 147956 594 8556 402948 47 18387 9180 7646 2592 57.07 61.68/61.71 c 151180 594 7113 316588 44 15517 10099 6203 2600 58.12 61.68/61.71 c 156117 593 6913 290962 42 15113 11109 6003 2541 61.43 61.68/61.71 o 3 61.699 72.28/72.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.28/72.31 c 158096 593 8893 394314 44 19127 5180 7983 2562 61.70 72.28/72.31 c 158196 593 3614 140263 38 8565 5699 2704 2561 61.75 72.28/72.31 c 158446 593 3864 152147 39 9058 6269 2954 2565 61.77 72.28/72.31 c 158922 593 4340 175146 40 10005 6896 3430 2570 61.82 72.28/72.31 c 159736 593 5154 219639 42 11670 7586 4244 2577 61.97 72.28/72.31 c 161056 593 6474 285641 44 14278 8345 5564 2585 62.30 72.28/72.31 c 163137 593 8555 389629 45 18468 9180 7645 2584 63.12 72.28/72.31 c 166361 593 7123 305678 42 15586 10099 6213 2565 64.84 72.28/72.31 c 171298 585 6753 286967 42 14937 11109 5843 2577 66.45 72.28/72.31 c 178804 564 8615 364719 42 18614 12220 7705 2599 68.78 72.28/72.31 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 72.28/72.31 v -x31 -x32 -x33 x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 -x45 -x46 -x47 x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 72.28/72.31 v -x59 -x60 -x61 -x62 x63 x64 -x65 -x66 x67 x68 x69 -x70 x71 -x72 -x73 x74 -x75 -x76 -x77 -x127 -x128 -x129 -x130 -x131 -x132 -x133 72.28/72.31 v x78 -x79 -x80 x81 x82 x83 -x84 x134 x135 -x136 -x137 -x138 -x139 -x140 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x141 -x142 x143 -x144 72.28/72.31 v -x145 -x146 -x147 x92 -x93 -x94 -x95 -x96 x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x99 -x100 -x101 -x102 -x103 x104 72.28/72.31 v x105 -x155 -x156 -x157 -x158 x159 -x160 -x161 x106 -x107 -x108 -x109 -x110 -x111 -x112 x162 -x163 -x164 x165 x166 -x167 -x168 72.28/72.31 v x113 x114 -x115 -x116 -x117 -x118 -x119 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x120 x121 -x122 -x123 -x124 -x125 x126 x176 72.28/72.31 v -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 x186 x187 -x188 -x189 72.28/72.31 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 72.28/72.31 c 60 184612 2539 200024 8227 326476 7317 2553 72.29 72.28/72.31 c Objective: 3 72.28/72.31 s OPTIMUM FOUND 72.28/72.31 c Total time: 72.292 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-430912-1178000636 -o ROOT/results/node7/solver-430912-1178000636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430912-1178000636/instance-430912-1178000636.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.85 0.95 0.98 3/77 2266 /proc/meminfo: memFree=1783096/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=11748 CPUtime=0 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 276101215 12029952 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 984 346 291 324 0 50 0 [startup+0.095391 s] /proc/loadavg: 0.85 0.95 0.98 3/77 2266 /proc/meminfo: memFree=1783096/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=4848 CPUtime=0.09 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 638 0 0 0 9 0 0 0 18 0 1 0 276101215 4964352 604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 1212 604 312 324 0 281 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4848 [startup+0.10144 s] /proc/loadavg: 0.85 0.95 0.98 3/77 2266 /proc/meminfo: memFree=1783096/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=4980 CPUtime=0.09 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 646 0 0 0 9 0 0 0 18 0 1 0 276101215 5099520 612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 1245 613 312 324 0 314 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4980 [startup+0.301412 s] /proc/loadavg: 0.85 0.95 0.98 3/77 2266 /proc/meminfo: memFree=1783096/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=6268 CPUtime=0.29 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 969 0 0 0 29 0 0 0 19 0 1 0 276101215 6418432 935 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 1567 935 312 324 0 636 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6268 [startup+0.701454 s] /proc/loadavg: 0.85 0.95 0.98 3/77 2266 /proc/meminfo: memFree=1783096/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=8996 CPUtime=0.69 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 1659 0 0 0 68 1 0 0 22 0 1 0 276101215 9211904 1625 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 2249 1625 312 324 0 1318 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8996 [startup+1.50154 s] /proc/loadavg: 0.85 0.95 0.98 2/78 2267 /proc/meminfo: memFree=1776240/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=12748 CPUtime=1.49 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 2601 0 0 0 148 1 0 0 25 0 1 0 276101215 13053952 2567 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 3187 2567 312 324 0 2256 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12748 [startup+3.10171 s] /proc/loadavg: 0.85 0.95 0.98 2/78 2267 /proc/meminfo: memFree=1771696/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=15460 CPUtime=3.09 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 3274 0 0 0 307 2 0 0 25 0 1 0 276101215 15831040 3240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 3865 3240 312 324 0 2934 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15460 [startup+6.30104 s] /proc/loadavg: 0.86 0.95 0.98 2/78 2267 /proc/meminfo: memFree=1770672/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=15964 CPUtime=6.28 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 3402 0 0 0 625 3 0 0 25 0 1 0 276101215 16347136 3368 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 3991 3368 312 324 0 3060 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15964 [startup+12.7017 s] /proc/loadavg: 0.87 0.95 0.98 2/78 2267 /proc/meminfo: memFree=1768432/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=18160 CPUtime=12.69 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 3953 0 0 0 1264 5 0 0 25 0 1 0 276101215 18595840 3919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 4540 3919 312 324 0 3609 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18160 [startup+25.5011 s] /proc/loadavg: 0.90 0.96 0.98 2/78 2267 /proc/meminfo: memFree=1767600/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=18988 CPUtime=25.48 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 4162 0 0 0 2541 7 0 0 25 0 1 0 276101215 19443712 4128 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 4747 4128 312 324 0 3816 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18988 [startup+51.1017 s] /proc/loadavg: 0.93 0.96 0.98 2/78 2267 /proc/meminfo: memFree=1767216/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=19316 CPUtime=51.08 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 4256 0 0 0 5095 13 0 0 25 0 1 0 276101215 19779584 4222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 4829 4222 313 324 0 3898 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19316 Solver just ended. Dumping a history of the last processes samples [startup+63.9011 s] /proc/loadavg: 0.94 0.96 0.98 2/78 2267 /proc/meminfo: memFree=1767216/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=19312 CPUtime=63.87 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 4256 0 0 0 6372 15 0 0 25 0 1 0 276101215 19775488 4222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 4828 4222 313 324 0 3897 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 19312 [startup+67.1054 s] /proc/loadavg: 0.95 0.96 0.98 2/78 2267 /proc/meminfo: memFree=1767216/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=19312 CPUtime=67.07 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 4256 0 0 0 6691 16 0 0 25 0 1 0 276101215 19775488 4222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 4828 4222 313 324 0 3897 0 Current children cumulated CPU time (s) 67.07 Current children cumulated vsize (KiB) 19312 [startup+70.3018 s] /proc/loadavg: 0.95 0.96 0.98 2/78 2267 /proc/meminfo: memFree=1767216/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=19312 CPUtime=70.28 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 4256 0 0 0 7011 17 0 0 25 0 1 0 276101215 19775488 4222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 4828 4222 313 324 0 3897 0 Current children cumulated CPU time (s) 70.28 Current children cumulated vsize (KiB) 19312 [startup+71.1018 s] /proc/loadavg: 0.95 0.96 0.98 2/78 2267 /proc/meminfo: memFree=1767216/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=19312 CPUtime=71.07 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 4256 0 0 0 7090 17 0 0 25 0 1 0 276101215 19775488 4222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 4828 4222 313 324 0 3897 0 Current children cumulated CPU time (s) 71.07 Current children cumulated vsize (KiB) 19312 [startup+71.9019 s] /proc/loadavg: 0.95 0.96 0.98 2/78 2267 /proc/meminfo: memFree=1767216/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=19312 CPUtime=71.88 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 4256 0 0 0 7170 18 0 0 25 0 1 0 276101215 19775488 4222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 4828 4222 313 324 0 3897 0 Current children cumulated CPU time (s) 71.88 Current children cumulated vsize (KiB) 19312 [startup+72.302 s] /proc/loadavg: 0.95 0.96 0.98 2/78 2267 /proc/meminfo: memFree=1767216/2055920 swapFree=4157044/4192956 [pid=2266] ppid=2264 vsize=19312 CPUtime=72.28 /proc/2266/stat : 2266 (bsolo3.0.16) R 2264 2266 997 0 -1 4194304 4256 0 0 0 7210 18 0 0 25 0 1 0 276101215 19775488 4222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2266/statm: 4828 4222 313 324 0 3897 0 Current children cumulated CPU time (s) 72.28 Current children cumulated vsize (KiB) 19312 Child status: 0 Real time (s): 72.3181 CPU time (s): 72.298 CPU user time (s): 72.114 CPU system time (s): 0.183972 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 19356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 72.114 system time used= 0.183972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4257 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= 11 involuntary context switches= 50 runsolver used 0.054991 second user time and 0.170974 second system time The end
Begin job on node7 on Tue May 1 06:23:56 UTC 2007 IDJOB= 430912 IDBENCH= 48014 IDSOLVER= 163 FILE ID= node7/430912-1178000636 PBS_JOBID= 4728242 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=7-P0=67-P1=127-P2=73-P3=79-P4=17-P5=109-P6=17-P7=23-P8=23-P9=53-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430912-1178000636/instance-430912-1178000636.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-430912-1178000636 -o ROOT/results/node7/solver-430912-1178000636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430912-1178000636/instance-430912-1178000636.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0529ad177104c2b8c24f12c8a325b463 RANDOM SEED= 838736070 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1783568 kB Buffers: 37948 kB Cached: 145692 kB SwapCached: 15532 kB Active: 65968 kB Inactive: 141044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1783568 kB SwapTotal: 4192956 kB SwapFree: 4157044 kB Dirty: 6676 kB Writeback: 0 kB Mapped: 30368 kB Slab: 50816 kB Committed_AS: 9062032 kB PageTables: 1860 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 node7 on Tue May 1 06:25:08 UTC 2007