Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 71.3811 | 71.425 |
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.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/452947-1178000763/instance-452947-1178000763.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.27/36.36 c 101 630 1011 7945 7 3460 5690 101 6312 0.02 36.27/36.36 c 251 630 1161 15120 13 3731 6260 251 9653 0.03 36.27/36.36 c 476 630 1386 25942 18 4144 6887 476 11333 0.04 36.27/36.36 c 815 630 1725 43397 25 4849 7576 815 11164 0.07 36.27/36.36 c 1324 630 2234 66236 29 5852 8334 1324 10263 0.13 36.27/36.36 c 2088 630 2998 103252 34 7393 9168 2088 9622 0.22 36.27/36.36 c 3235 630 4145 162255 39 9608 10085 3235 9832 0.33 36.27/36.36 c 4957 630 5867 290119 49 13037 11094 4957 8303 0.60 36.27/36.36 c 7541 630 8451 421497 49 18195 12204 7541 7694 0.98 36.27/36.36 c 11421 630 12331 631028 51 26000 13425 11421 6380 1.79 36.27/36.36 c 17243 630 11110 527391 47 23534 14768 10200 5659 3.05 36.27/36.36 c 25980 630 12134 567852 46 25552 16245 11224 4464 5.82 36.27/36.36 c 39091 629 16836 814737 48 34965 17870 15926 3914 9.99 36.27/36.36 c 58761 628 18148 853015 47 37658 19658 17238 3356 17.51 36.27/36.36 o 65 36.338 41.56/41.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.56/41.63 c 80953 628 10743 530493 49 22789 5186 9833 2220 36.46 41.56/41.63 c 81053 628 3607 142967 39 8570 5705 2697 2218 36.54 41.56/41.63 c 81303 628 3857 156230 40 9049 6276 2947 2223 36.56 41.56/41.63 c 81778 628 4332 181962 42 9920 6904 3422 2234 36.60 41.56/41.63 c 82592 628 5146 225082 43 11600 7595 4236 2251 36.68 41.56/41.63 c 83913 628 6467 289112 44 14201 8355 5557 2277 36.84 41.56/41.63 c 85995 628 8549 397535 46 18364 9191 7639 2316 37.12 41.56/41.63 c 89219 627 6935 313619 45 15141 10111 6025 2361 37.78 41.56/41.63 c 94155 625 6606 315897 47 14513 11123 5696 2416 38.96 41.56/41.63 o 25 41.604 42.66/42.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.66/42.76 c 101602 625 8017 362981 45 17427 5186 7107 2442 41.60 42.66/42.76 c 101703 625 3611 147204 40 8595 5705 2701 2441 41.65 42.66/42.76 c 101953 625 3861 160513 41 9099 6276 2951 2446 41.67 42.66/42.76 c 102428 625 4336 186499 43 10108 6904 3426 2454 41.73 42.66/42.76 c 103241 617 5149 228929 44 11661 7595 4239 2467 41.84 42.66/42.76 c 104561 607 6469 300264 46 14296 8355 5559 2489 42.01 42.66/42.76 c 106642 607 8550 406316 47 18410 9191 7640 2520 42.31 42.66/42.76 o 9 42.734 55.25/55.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.25/55.32 c 109108 607 6239 271019 43 13834 5182 5329 2553 42.73 55.25/55.32 c 109209 607 3611 133950 37 8595 5701 2701 2554 42.76 55.25/55.32 c 109460 607 3862 146300 37 9111 6272 2952 2558 42.78 55.25/55.32 c 109936 598 4338 173593 40 10057 6900 3428 2567 42.83 55.25/55.32 c 110749 598 5151 215745 41 11724 7591 4241 2579 42.93 55.25/55.32 c 112070 598 6472 279760 43 14310 8351 5562 2595 43.17 55.25/55.32 c 114151 598 8553 378754 44 18381 9187 7643 2608 43.76 55.25/55.32 c 117374 595 7113 297833 41 15510 10106 6203 2607 45.02 55.25/55.32 c 122310 595 6734 298673 44 14819 11117 5824 2637 46.37 55.25/55.32 c 129816 594 8620 370507 42 18622 12229 7710 2561 50.67 55.25/55.32 c 141177 594 7225 331096 45 15825 13452 6315 2572 54.88 55.25/55.32 o 5 55.284 60.85/60.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.85/60.98 c 142913 594 8962 419795 46 19252 5180 8052 2585 55.28 60.85/60.98 c 143014 594 3614 142486 39 8560 5699 2704 2583 55.35 60.85/60.98 c 143264 594 3864 155312 40 9018 6269 2954 2587 55.37 60.85/60.98 c 143740 594 4340 178993 41 9994 6896 3430 2593 55.43 60.85/60.98 c 144553 594 5153 217479 42 11605 7586 4243 2600 55.59 60.85/60.98 c 145874 594 6474 302487 46 14274 8345 5564 2612 55.83 60.85/60.98 c 147956 594 8556 402948 47 18387 9180 7646 2622 56.41 60.85/60.98 c 151180 594 7113 316588 44 15517 10099 6203 2631 57.45 60.85/60.98 c 156117 593 6913 290962 42 15113 11109 6003 2572 60.69 60.85/60.98 o 3 60.947 71.35/71.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.35/71.42 c 158096 593 8893 394314 44 19127 5180 7983 2593 60.95 71.35/71.42 c 158196 593 3614 140263 38 8565 5699 2704 2593 61.00 71.35/71.42 c 158446 593 3864 152147 39 9058 6269 2954 2596 61.01 71.35/71.42 c 158922 593 4340 175146 40 10005 6896 3430 2602 61.07 71.35/71.42 c 159736 593 5154 219639 42 11670 7586 4244 2609 61.22 71.35/71.42 c 161056 593 6474 285641 44 14278 8345 5564 2617 61.54 71.35/71.42 c 163137 593 8555 389629 45 18468 9180 7645 2616 62.35 71.35/71.42 c 166361 593 7123 305678 42 15586 10099 6213 2597 64.04 71.35/71.42 c 171298 585 6753 286967 42 14937 11109 5843 2610 65.62 71.35/71.42 c 178804 564 8615 364719 42 18614 12220 7705 2633 67.89 71.35/71.42 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 71.35/71.42 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 71.35/71.42 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 71.35/71.42 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 71.35/71.42 v -x145 -x146 -x147 x92 -x93 -x94 -x95 -x96 x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x99 -x100 -x101 -x102 -x103 x104 71.35/71.42 v x105 -x155 -x156 -x157 -x158 x159 -x160 -x161 x106 -x107 -x108 -x109 -x110 -x111 -x112 x162 -x163 -x164 x165 x166 -x167 -x168 71.35/71.42 v x113 x114 -x115 -x116 -x117 -x118 -x119 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x120 x121 -x122 -x123 -x124 -x125 x126 x176 71.35/71.42 v -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 x186 x187 -x188 -x189 71.35/71.42 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 71.35/71.42 c 60 184612 2539 200024 8227 326476 7317 2586 71.38 71.35/71.42 c Objective: 3 71.35/71.42 s OPTIMUM FOUND 71.35/71.42 c Total time: 71.376 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-452947-1178000763 -o ROOT/results/node25/solver-452947-1178000763 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452947-1178000763/instance-452947-1178000763.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29367 /proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=19560 CPUtime=0 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 247993401 20029440 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 984 346 290 324 0 51 0 [startup+0.097789 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29367 /proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=4980 CPUtime=0.09 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 641 0 0 0 9 0 0 0 18 0 1 0 247993401 5099520 608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 1245 608 310 324 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4980 [startup+0.101789 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29367 /proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=4980 CPUtime=0.09 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 647 0 0 0 9 0 0 0 18 0 1 0 247993401 5099520 614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 1245 614 310 324 0 315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4980 [startup+0.301824 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29367 /proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=6268 CPUtime=0.29 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 986 0 0 0 29 0 0 0 19 0 1 0 247993401 6418432 953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 1567 953 310 324 0 637 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6268 [startup+0.701892 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29367 /proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=8996 CPUtime=0.69 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 1670 0 0 0 69 0 0 0 22 0 1 0 247993401 9211904 1637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 2249 1637 310 324 0 1319 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8996 [startup+1.50203 s] /proc/loadavg: 0.92 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1864112/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=12748 CPUtime=1.49 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 2611 0 0 0 148 1 0 0 25 0 1 0 247993401 13053952 2578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 3187 2578 310 324 0 2257 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12748 [startup+3.1013 s] /proc/loadavg: 0.93 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1859312/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=15460 CPUtime=3.09 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 3271 0 0 0 308 1 0 0 25 0 1 0 247993401 15831040 3238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 3865 3238 310 324 0 2935 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15460 [startup+6.30185 s] /proc/loadavg: 0.93 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1858288/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=15964 CPUtime=6.28 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 3399 0 0 0 627 1 0 0 25 0 1 0 247993401 16347136 3366 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134520568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 3991 3366 310 324 0 3061 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15964 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1856184/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=18160 CPUtime=12.69 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 3950 0 0 0 1267 2 0 0 25 0 1 0 247993401 18595840 3917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4540 3917 310 324 0 3610 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18160 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1855416/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=18988 CPUtime=25.48 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4159 0 0 0 2546 2 0 0 25 0 1 0 247993401 19443712 4126 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10144881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4747 4126 310 324 0 3817 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18988 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1855096/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=19316 CPUtime=51.05 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 5103 2 0 0 25 0 1 0 247993401 19779584 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550797 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4829 4220 311 324 0 3899 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 19316 Solver just ended. Dumping a history of the last processes samples [startup+63.9017 s] /proc/loadavg: 0.97 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1855096/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=19312 CPUtime=63.85 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 6383 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4828 4220 311 324 0 3898 0 Current children cumulated CPU time (s) 63.85 Current children cumulated vsize (KiB) 19312 [startup+67.1053 s] /proc/loadavg: 0.97 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1855096/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=19312 CPUtime=67.05 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 6703 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4828 4220 311 324 0 3898 0 Current children cumulated CPU time (s) 67.05 Current children cumulated vsize (KiB) 19312 [startup+68.7015 s] /proc/loadavg: 0.97 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1855096/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=19312 CPUtime=68.65 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 6863 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4828 4220 311 324 0 3898 0 Current children cumulated CPU time (s) 68.65 Current children cumulated vsize (KiB) 19312 [startup+70.3028 s] /proc/loadavg: 0.97 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1855032/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=19312 CPUtime=70.25 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 7023 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4828 4220 311 324 0 3898 0 Current children cumulated CPU time (s) 70.25 Current children cumulated vsize (KiB) 19312 [startup+71.102 s] /proc/loadavg: 0.97 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1855032/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=19312 CPUtime=71.05 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 7103 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4828 4220 311 324 0 3898 0 Current children cumulated CPU time (s) 71.05 Current children cumulated vsize (KiB) 19312 [startup+71.302 s] /proc/loadavg: 0.97 0.98 0.99 2/65 29368 /proc/meminfo: memFree=1855032/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=19312 CPUtime=71.25 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 7123 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4828 4220 311 324 0 3898 0 Current children cumulated CPU time (s) 71.25 Current children cumulated vsize (KiB) 19312 [startup+71.402 s] /proc/loadavg: 0.97 0.98 0.99 3/65 29368 /proc/meminfo: memFree=1855032/2055920 swapFree=4182940/4192956 [pid=29367] ppid=29365 vsize=19312 CPUtime=71.35 /proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 7133 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29367/statm: 4828 4220 311 324 0 3898 0 Current children cumulated CPU time (s) 71.35 Current children cumulated vsize (KiB) 19312 Child status: 0 Real time (s): 71.425 CPU time (s): 71.3811 CPU user time (s): 71.3511 CPU system time (s): 0.029995 CPU usage (%): 99.9386 Max. virtual memory (cumulated for all children) (KiB): 19356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 71.3512 system time used= 0.029995 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= 180 runsolver used 0.070989 second user time and 0.135979 second system time The end
Begin job on node25 on Tue May 1 06:26:03 UTC 2007 IDJOB= 452947 IDBENCH= 48014 IDSOLVER= 199 FILE ID= node25/452947-1178000763 PBS_JOBID= 4728227 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=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.17 -m1800 /tmp/evaluation/452947-1178000763/instance-452947-1178000763.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-452947-1178000763 -o ROOT/results/node25/solver-452947-1178000763 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452947-1178000763/instance-452947-1178000763.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0529ad177104c2b8c24f12c8a325b463 RANDOM SEED= 171484707 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1871312 kB Buffers: 13712 kB Cached: 98832 kB SwapCached: 3804 kB Active: 70832 kB Inactive: 51984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1871312 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 6588 kB Writeback: 0 kB Mapped: 16212 kB Slab: 47848 kB Committed_AS: 4356064 kB PageTables: 1472 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 node25 on Tue May 1 06:27:15 UTC 2007