Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 102.04 | 102.081 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb |
MD5SUM | 1141c23e5342793635b3f22754b52627 |
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.164974 |
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/452853-1177986907/instance-452853-1177986907.opb 0.00/0.00 c File size is 8217 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. 19.09/19.11 c 103 630 1013 8643 8 3395 5690 103 6058 0.02 19.09/19.11 c 253 630 1163 17252 14 3670 6260 253 9370 0.03 19.09/19.11 c 479 630 1389 29349 21 4136 6887 479 11139 0.04 19.09/19.11 c 818 630 1728 46004 26 4797 7576 818 12208 0.07 19.09/19.11 c 1327 630 2237 69070 30 5804 8334 1327 11058 0.12 19.09/19.11 c 2090 630 3000 103044 34 7323 9168 2090 9372 0.22 19.09/19.11 c 3236 630 4146 157473 37 9620 10085 3236 8988 0.36 19.09/19.11 c 4957 630 5867 240020 40 13032 11094 4957 7204 0.69 19.09/19.11 c 7541 630 8451 352289 41 18188 12204 7541 4748 1.59 19.09/19.11 c 11420 630 12330 550087 44 26011 13425 11420 4109 2.78 19.09/19.11 c 17242 630 11077 578735 52 23524 14768 10167 3961 4.35 19.09/19.11 c 25980 627 12295 605178 49 25856 16245 11385 4399 5.91 19.09/19.11 c 39090 626 9037 389585 43 19376 17870 8127 2753 14.20 19.09/19.11 o 97 19.108 36.28/36.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.28/36.32 c 52255 626 12674 614271 48 26693 5186 11764 2734 19.11 36.28/36.32 c 52356 626 3610 142651 39 8657 5705 2700 2727 19.20 36.28/36.32 c 52606 626 3860 156748 40 9117 6276 2950 2737 19.22 36.28/36.32 c 53082 624 4336 182171 42 10014 6904 3426 2754 19.27 36.28/36.32 c 53896 624 5150 224384 43 11618 7595 4240 2775 19.42 36.28/36.32 c 55216 624 6470 299536 46 14233 8355 5560 2814 19.62 36.28/36.32 c 57297 624 8551 408552 47 18444 9191 7641 2873 19.94 36.28/36.32 c 60521 624 6717 313390 46 14729 10111 5807 2951 20.51 36.28/36.32 c 65458 624 6141 275023 44 13591 11123 5231 3064 21.36 36.28/36.32 c 72965 624 7715 322829 41 16814 12236 6805 3073 23.74 36.28/36.32 c 84327 621 12661 591657 46 26660 13460 11751 3020 27.92 36.28/36.32 c 101472 620 9149 416031 45 19662 14807 8239 2922 34.72 36.28/36.32 o 33 36.3 38.18/38.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.18/38.29 c 110296 620 10107 503556 49 21570 5186 9197 3038 36.30 38.18/38.29 c 110397 620 3615 138965 38 8635 5705 2705 3036 36.36 38.18/38.29 c 110648 620 3866 152594 39 9134 6276 2956 3041 36.38 38.18/38.29 c 111125 620 4343 177077 40 10109 6904 3433 3050 36.42 38.18/38.29 c 111939 620 5157 219918 42 11726 7595 4247 3063 36.54 38.18/38.29 c 113260 620 6478 284730 43 14344 8355 5568 3075 36.82 38.18/38.29 c 115342 620 8560 388133 45 18512 9191 7650 3062 37.66 38.18/38.29 o 3 38.268 101.95/102.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.95/102.07 c 116825 620 10044 461497 45 21528 5186 9134 3052 38.27 101.95/102.07 c 116925 604 3614 136075 37 8614 5705 2704 3049 38.34 101.95/102.07 c 117175 604 3864 149576 38 9141 6276 2954 3054 38.36 101.95/102.07 c 117650 594 4339 175478 40 10052 6904 3429 3062 38.41 101.95/102.07 c 118463 578 5152 219471 42 11718 7595 4242 3073 38.54 101.95/102.07 c 119783 578 6472 283977 43 14331 8355 5562 3075 38.95 101.95/102.07 c 121865 578 8554 381415 44 18482 9191 7644 3086 39.48 101.95/102.07 c 125089 565 6937 296110 42 15244 10111 6027 3105 40.27 101.95/102.07 c 130026 565 6371 306954 48 14161 11123 5461 3136 41.45 101.95/102.07 c 137532 565 8047 368261 45 17469 12236 7137 3171 43.36 101.95/102.07 c 148894 564 13170 622954 47 27657 13460 12260 3202 46.49 101.95/102.07 c 166038 564 9387 425384 45 20052 14807 8477 3130 53.03 101.95/102.07 c 191857 555 12506 511813 40 26382 16288 11596 2934 65.37 101.95/102.07 c 230690 552 9973 372754 37 21318 17917 9063 2557 90.20 101.95/102.07 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 101.95/102.07 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 -x60 101.95/102.07 v x61 x62 -x63 x64 -x65 x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 x127 -x128 -x129 -x130 -x131 -x132 -x133 x78 x79 101.95/102.07 v x80 -x81 -x82 -x83 -x84 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x85 -x86 x87 -x88 -x89 -x90 -x91 x141 -x142 -x143 -x144 -x145 101.95/102.07 v -x146 -x147 x92 -x93 -x94 -x95 -x96 -x97 -x98 x148 x149 -x150 -x151 -x152 -x153 -x154 x99 -x100 -x101 -x102 x103 -x104 -x105 101.95/102.07 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 x106 -x107 -x108 -x109 -x110 -x111 -x112 x162 x163 x164 x165 -x166 -x167 -x168 x113 101.95/102.07 v -x114 -x115 -x116 x117 -x118 -x119 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x120 -x121 x122 -x123 -x124 -x125 -x126 x176 101.95/102.07 v x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 101.95/102.07 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 101.95/102.07 c 46 239380 2377 253475 18663 733064 17753 2346 102.03 101.95/102.07 c Objective: 3 101.95/102.07 s OPTIMUM FOUND 101.95/102.07 c Total time: 102.033 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-452853-1177986907 -o ROOT/results/node37/solver-452853-1177986907 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452853-1177986907/instance-452853-1177986907.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.94 1.01 0.98 3/78 5434 /proc/meminfo: memFree=1793104/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=3936 CPUtime=0 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 246603174 4030464 348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 984 349 290 324 0 51 0 [startup+0.0842751 s] /proc/loadavg: 0.94 1.01 0.98 3/78 5434 /proc/meminfo: memFree=1793104/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=4968 CPUtime=0.07 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 647 0 0 0 7 0 0 0 18 0 1 0 246603174 5087232 614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 1242 614 310 324 0 312 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4968 [startup+0.101278 s] /proc/loadavg: 0.94 1.01 0.98 3/78 5434 /proc/meminfo: memFree=1793104/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=5104 CPUtime=0.09 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 672 0 0 0 9 0 0 0 18 0 1 0 246603174 5226496 639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 1276 639 310 324 0 346 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301316 s] /proc/loadavg: 0.94 1.01 0.98 3/78 5434 /proc/meminfo: memFree=1793104/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=6132 CPUtime=0.29 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 930 0 0 0 29 0 0 0 19 0 1 0 246603174 6279168 897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3600534 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 1533 898 310 324 0 603 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6132 [startup+0.702391 s] /proc/loadavg: 0.94 1.01 0.98 3/78 5434 /proc/meminfo: memFree=1793104/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=7816 CPUtime=0.69 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 1360 0 0 0 69 0 0 0 23 0 1 0 246603174 8003584 1327 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 1954 1327 310 324 0 1024 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7816 [startup+1.50154 s] /proc/loadavg: 0.94 1.01 0.98 2/79 5435 /proc/meminfo: memFree=1788424/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=9372 CPUtime=1.49 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 1746 0 0 0 148 1 0 0 25 0 1 0 246603174 9596928 1713 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584993 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 2343 1713 310 324 0 1413 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9372 [startup+3.10184 s] /proc/loadavg: 0.94 1.01 0.98 2/79 5435 /proc/meminfo: memFree=1786184/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=14420 CPUtime=3.09 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3001 0 0 0 307 2 0 0 25 0 1 0 246603174 14766080 2968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 3605 2968 310 324 0 2675 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14420 [startup+6.30145 s] /proc/loadavg: 0.95 1.01 0.98 2/79 5435 /proc/meminfo: memFree=1780104/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=16212 CPUtime=6.29 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3460 0 0 0 627 2 0 0 25 0 1 0 246603174 16601088 3427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4053 3427 310 324 0 3123 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16212 [startup+12.7017 s] /proc/loadavg: 0.95 1.01 0.98 2/79 5435 /proc/meminfo: memFree=1779536/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=16860 CPUtime=12.69 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3635 0 0 0 1267 2 0 0 25 0 1 0 246603174 17264640 3602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4215 3602 310 324 0 3285 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16860 [startup+25.5011 s] /proc/loadavg: 0.96 1.01 0.98 2/79 5435 /proc/meminfo: memFree=1778320/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18156 CPUtime=25.49 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 2546 3 0 0 25 0 1 0 246603174 18591744 3923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4539 3923 311 324 0 3609 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18156 [startup+51.1019 s] /proc/loadavg: 0.97 1.00 0.98 2/79 5435 /proc/meminfo: memFree=1778448/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18156 CPUtime=51.07 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 5104 3 0 0 25 0 1 0 246603174 18591744 3923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4539 3923 311 324 0 3609 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18156 Solver just ended. Dumping a history of the last processes samples [startup+76.7017 s] /proc/loadavg: 0.98 1.00 0.98 2/79 5435 /proc/meminfo: memFree=1778448/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18092 CPUtime=76.66 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 7663 3 0 0 25 0 1 0 246603174 18526208 3916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4523 3916 311 324 0 3593 0 Current children cumulated CPU time (s) 76.66 Current children cumulated vsize (KiB) 18092 [startup+89.5011 s] /proc/loadavg: 0.98 1.00 0.98 2/79 5435 /proc/meminfo: memFree=1778448/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18092 CPUtime=89.45 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 8942 3 0 0 25 0 1 0 246603174 18526208 3916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4523 3916 311 324 0 3593 0 Current children cumulated CPU time (s) 89.45 Current children cumulated vsize (KiB) 18092 [startup+95.9013 s] /proc/loadavg: 0.99 1.00 0.98 2/79 5435 /proc/meminfo: memFree=1778384/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18092 CPUtime=95.85 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 9582 3 0 0 25 0 1 0 246603174 18526208 3916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4523 3916 311 324 0 3593 0 Current children cumulated CPU time (s) 95.85 Current children cumulated vsize (KiB) 18092 [startup+99.1019 s] /proc/loadavg: 0.99 1.00 0.98 2/79 5435 /proc/meminfo: memFree=1778384/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18092 CPUtime=99.05 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 9902 3 0 0 25 0 1 0 246603174 18526208 3916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4523 3916 311 324 0 3593 0 Current children cumulated CPU time (s) 99.05 Current children cumulated vsize (KiB) 18092 [startup+100.701 s] /proc/loadavg: 0.99 1.00 0.98 2/79 5435 /proc/meminfo: memFree=1778384/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18092 CPUtime=100.65 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 10062 3 0 0 25 0 1 0 246603174 18526208 3916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4523 3916 311 324 0 3593 0 Current children cumulated CPU time (s) 100.65 Current children cumulated vsize (KiB) 18092 [startup+101.501 s] /proc/loadavg: 0.99 1.00 0.98 2/79 5435 /proc/meminfo: memFree=1778384/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18092 CPUtime=101.45 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 10142 3 0 0 25 0 1 0 246603174 18526208 3916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4523 3916 311 324 0 3593 0 Current children cumulated CPU time (s) 101.45 Current children cumulated vsize (KiB) 18092 [startup+101.901 s] /proc/loadavg: 0.99 1.00 0.98 2/79 5435 /proc/meminfo: memFree=1778384/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18092 CPUtime=101.85 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 10182 3 0 0 25 0 1 0 246603174 18526208 3916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4523 3916 311 324 0 3593 0 Current children cumulated CPU time (s) 101.85 Current children cumulated vsize (KiB) 18092 [startup+102.001 s] /proc/loadavg: 0.99 1.00 0.98 2/79 5435 /proc/meminfo: memFree=1778384/2055920 swapFree=4145584/4192956 [pid=5434] ppid=5432 vsize=18092 CPUtime=101.95 /proc/5434/stat : 5434 (bsolo3.0.17) R 5432 5434 3788 0 -1 4194304 3956 0 0 0 10192 3 0 0 25 0 1 0 246603174 18526208 3916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5434/statm: 4523 3916 311 324 0 3593 0 Current children cumulated CPU time (s) 101.95 Current children cumulated vsize (KiB) 18092 Child status: 0 Real time (s): 102.081 CPU time (s): 102.04 CPU user time (s): 101.999 CPU system time (s): 0.040993 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 18156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 101.999 system time used= 0.040993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3960 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= 2138 runsolver used 0.100984 second user time and 0.25796 second system time The end
Begin job on node37 on Tue May 1 02:35:07 UTC 2007 IDJOB= 452853 IDBENCH= 47920 IDSOLVER= 199 FILE ID= node37/452853-1177986907 PBS_JOBID= 4728128 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=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452853-1177986907/instance-452853-1177986907.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-452853-1177986907 -o ROOT/results/node37/solver-452853-1177986907 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452853-1177986907/instance-452853-1177986907.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1141c23e5342793635b3f22754b52627 RANDOM SEED= 492041469 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1793448 kB Buffers: 36032 kB Cached: 139240 kB SwapCached: 15264 kB Active: 114136 kB Inactive: 84920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1793448 kB SwapTotal: 4192956 kB SwapFree: 4145584 kB Dirty: 6616 kB Writeback: 0 kB Mapped: 30792 kB Slab: 48684 kB Committed_AS: 2187908 kB PageTables: 2004 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 node37 on Tue May 1 02:36:49 UTC 2007