Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 150.736 | 150.786 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=89-P1=13-P2=37-P3=97-P4=101-P5=107-P6=37-P7=19-P8=47-P9=127-B.opb |
MD5SUM | b3aade8de77ac68c9aa967132edd1f5e |
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.159975 |
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/429232-1177982357/instance-429232-1177982357.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. 11.48/11.51 c 102 630 1012 9200 9 3421 5690 102 6375 0.02 11.48/11.51 c 252 630 1162 17603 15 3714 6260 252 10080 0.03 11.48/11.51 c 479 630 1389 28606 20 4137 6887 479 11682 0.04 11.48/11.51 c 817 630 1727 48065 27 4798 7576 817 12378 0.07 11.48/11.51 c 1325 630 2235 73329 32 5768 8334 1325 12619 0.10 11.48/11.51 c 2089 630 2999 111997 37 7330 9168 2089 11802 0.18 11.48/11.51 c 3237 630 4147 168827 40 9670 10085 3237 9248 0.35 11.48/11.51 c 4958 630 5868 262375 44 13060 11094 4958 8475 0.58 11.48/11.51 c 7542 630 8452 388962 46 18161 12204 7542 6171 1.22 11.48/11.51 c 11421 630 12331 592358 48 26030 13425 11421 6017 1.90 11.48/11.51 c 17243 630 11259 502215 44 23836 14768 10349 4169 4.14 11.48/11.51 c 25980 630 12176 572051 46 25697 16245 11266 4056 6.40 11.48/11.51 c 39091 630 16792 821718 48 34905 17870 15882 3479 11.23 11.48/11.51 o 99 11.508 33.18/33.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.18/33.25 c 41341 630 9846 465725 47 21032 5186 8936 3573 11.57 33.18/33.25 c 41441 630 3604 141241 39 8641 5705 2694 3556 11.65 33.18/33.25 c 41691 630 3854 154771 40 9093 6276 2944 3572 11.67 33.18/33.25 c 42169 630 4332 181637 41 10115 6904 3422 3600 11.71 33.18/33.25 c 42982 630 5145 224872 43 11574 7595 4235 3636 11.82 33.18/33.25 c 44303 630 6466 293368 45 14229 8355 5556 3702 11.97 33.18/33.25 c 46384 630 8547 401238 46 18380 9191 7637 3746 12.38 33.18/33.25 c 49607 630 6860 312594 45 15004 10111 5950 3856 12.86 33.18/33.25 c 54544 630 6526 300325 46 14340 11123 5616 3898 13.99 33.18/33.25 c 62051 630 7980 370773 46 17301 12236 7070 3894 15.93 33.18/33.25 c 73412 630 12654 645577 51 26659 13460 11744 3668 20.01 33.18/33.25 c 90560 630 7971 356238 44 17229 14807 7061 3302 27.42 33.18/33.25 o 25 33.24 115.55/115.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 115.55/115.64 c 103703 630 13283 669733 50 27943 5186 12373 3119 33.24 115.55/115.64 c 103804 622 3606 138270 38 8646 5705 2696 3108 33.39 115.55/115.64 c 104054 622 3856 152020 39 9080 6276 2946 3113 33.41 115.55/115.64 c 104531 622 4333 178274 41 9973 6904 3423 3124 33.46 115.55/115.64 c 105344 612 5146 224270 43 11673 7595 4236 3139 33.55 115.55/115.64 c 106666 612 6468 300389 46 14278 8355 5558 3160 33.75 115.55/115.64 c 108747 612 8549 403551 47 18431 9191 7639 3195 34.04 115.55/115.64 c 111970 612 6666 306515 45 14685 10111 5756 3236 34.59 115.55/115.64 c 116906 612 6028 274212 45 13439 11123 5118 3279 35.65 115.55/115.64 c 124412 609 7446 294943 39 16254 12236 6536 3344 37.20 115.55/115.64 c 135773 609 12171 565048 46 25655 13460 11261 3383 40.13 115.55/115.64 c 152917 609 7921 360729 45 17195 14807 7011 3366 45.42 115.55/115.64 c 178738 609 9931 490280 49 21257 16288 9021 3016 59.25 115.65/115.74 c 217570 606 14128 529091 37 29617 17917 13218 2848 76.37 115.65/115.74 o 3 115.603 150.64/150.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 150.64/150.78 c 273702 602 14473 674415 46 30243 5182 13563 2367 115.60 150.64/150.78 c 273803 586 3614 138433 38 8646 5701 2704 2366 115.72 150.64/150.78 c 274054 586 3865 149965 38 9104 6272 2955 2367 115.74 150.64/150.78 c 274529 586 4340 171383 39 10061 6900 3430 2370 115.80 150.64/150.78 c 275342 586 5153 209430 40 11676 7591 4243 2375 115.92 150.64/150.78 c 276662 586 6473 275437 42 14321 8351 5563 2380 116.22 150.64/150.78 c 278744 586 8555 378580 44 18480 9187 7645 2384 116.88 150.64/150.78 c 281968 586 7108 310527 43 15618 10106 6198 2389 118.02 150.64/150.78 c 286904 585 6937 298977 43 15203 11117 6027 2377 120.65 150.64/150.78 c 294410 564 8646 391383 45 18640 12229 7736 2394 122.94 150.64/150.78 c 305772 564 7273 321636 44 15870 13452 6363 2415 126.61 150.64/150.78 c 322916 561 10596 483513 45 22526 14798 9686 2426 133.09 150.64/150.78 c 348736 552 13802 598424 43 28981 16278 12892 2437 143.09 150.64/150.78 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 150.64/150.78 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 150.64/150.78 v -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 x78 -x79 150.64/150.78 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 150.64/150.78 v -x146 -x147 x92 -x93 x94 -x95 -x96 x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x99 x100 -x101 x102 -x103 x104 -x105 -x155 150.64/150.78 v -x156 x157 -x158 -x159 -x160 -x161 x106 -x107 -x108 -x109 -x110 -x111 -x112 x162 -x163 -x164 -x165 -x166 -x167 -x168 x113 150.64/150.78 v -x114 -x115 -x116 x117 -x118 -x119 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x120 -x121 -x122 -x123 -x124 -x125 -x126 x176 150.64/150.78 v x177 x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 150.64/150.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 150.64/150.78 c 52 357639 5742 381812 14489 568670 13579 2372 150.73 150.64/150.78 c Objective: 3 150.64/150.78 s OPTIMUM FOUND 150.64/150.78 c Total time: 150.729 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-429232-1177982357 -o ROOT/results/node61/solver-429232-1177982357 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429232-1177982357/instance-429232-1177982357.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.97 0.90 3/64 4944 /proc/meminfo: memFree=1832048/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=3936 CPUtime=0 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 210199319 4030464 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 984 348 292 324 0 50 0 [startup+0.0953581 s] /proc/loadavg: 0.92 0.97 0.90 3/64 4944 /proc/meminfo: memFree=1832048/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=5108 CPUtime=0.08 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 700 0 0 0 8 0 0 0 18 0 1 0 210199319 5230592 666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 1277 666 312 324 0 346 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5108 [startup+0.101358 s] /proc/loadavg: 0.92 0.97 0.90 3/64 4944 /proc/meminfo: memFree=1832048/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=5236 CPUtime=0.09 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 710 0 0 0 9 0 0 0 18 0 1 0 210199319 5361664 676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 1309 676 312 324 0 378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5236 [startup+0.301377 s] /proc/loadavg: 0.92 0.97 0.90 3/64 4944 /proc/meminfo: memFree=1832048/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=6520 CPUtime=0.3 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 1035 0 0 0 29 1 0 0 19 0 1 0 210199319 6676480 1001 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 1630 1001 312 324 0 699 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 6520 [startup+0.701415 s] /proc/loadavg: 0.92 0.97 0.90 3/64 4944 /proc/meminfo: memFree=1832048/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=8588 CPUtime=0.69 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 1564 0 0 0 68 1 0 0 23 0 1 0 210199319 8794112 1530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 2147 1530 312 324 0 1216 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8588 [startup+1.50149 s] /proc/loadavg: 0.92 0.97 0.90 2/65 4945 /proc/meminfo: memFree=1826280/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=11444 CPUtime=1.49 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 2270 0 0 0 147 2 0 0 25 0 1 0 210199319 11718656 2236 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 2861 2236 312 324 0 1930 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11444 [startup+3.10164 s] /proc/loadavg: 0.93 0.97 0.90 2/65 4945 /proc/meminfo: memFree=1822120/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=14632 CPUtime=3.09 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3068 0 0 0 307 2 0 0 25 0 1 0 210199319 14983168 3034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 3658 3034 312 324 0 2727 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14632 [startup+6.30195 s] /proc/loadavg: 0.93 0.97 0.90 2/65 4945 /proc/meminfo: memFree=1819688/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=15648 CPUtime=6.28 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3323 0 0 0 625 3 0 0 25 0 1 0 210199319 16023552 3289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 3912 3289 312 324 0 2981 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15648 [startup+12.7016 s] /proc/loadavg: 0.94 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817208/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=12.69 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 1264 5 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18236 [startup+25.5018 s] /proc/loadavg: 0.95 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817208/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=25.49 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 2540 9 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18236 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817272/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=51.06 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 5092 14 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 18236 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817272/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=102.26 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 10203 23 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18236 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 0.99 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817272/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=127.84 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 12756 28 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 127.84 Current children cumulated vsize (KiB) 18236 [startup+140.702 s] /proc/loadavg: 0.99 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817272/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=140.65 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 14034 31 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 140.65 Current children cumulated vsize (KiB) 18236 [startup+147.101 s] /proc/loadavg: 0.99 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817272/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=147.04 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 14672 32 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 147.04 Current children cumulated vsize (KiB) 18236 [startup+148.701 s] /proc/loadavg: 0.99 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817272/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=148.64 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 14832 32 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 148.64 Current children cumulated vsize (KiB) 18236 [startup+149.502 s] /proc/loadavg: 0.99 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817272/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=149.45 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 14913 32 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10817115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 149.45 Current children cumulated vsize (KiB) 18236 [startup+150.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817272/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=150.24 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 14992 32 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10815361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 150.24 Current children cumulated vsize (KiB) 18236 [startup+150.706 s] /proc/loadavg: 0.99 0.97 0.91 2/65 4945 /proc/meminfo: memFree=1817272/2055920 swapFree=4184156/4192956 [pid=4944] ppid=4942 vsize=18236 CPUtime=150.64 /proc/4944/stat : 4944 (bsolo3.0.16) R 4942 4944 4374 0 -1 4194304 3983 0 0 0 15032 32 0 0 25 0 1 0 210199319 18673664 3949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4944/statm: 4559 3949 313 324 0 3628 0 Current children cumulated CPU time (s) 150.64 Current children cumulated vsize (KiB) 18236 Child status: 0 Real time (s): 150.786 CPU time (s): 150.736 CPU user time (s): 150.405 CPU system time (s): 0.330949 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 18236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 150.405 system time used= 0.330949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3984 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= 442 runsolver used 0.12598 second user time and 0.293955 second system time The end
Begin job on node61 on Tue May 1 01:19:17 UTC 2007 IDJOB= 429232 IDBENCH= 47894 IDSOLVER= 163 FILE ID= node61/429232-1177982357 PBS_JOBID= 4728189 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=89-P1=13-P2=37-P3=97-P4=101-P5=107-P6=37-P7=19-P8=47-P9=127-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429232-1177982357/instance-429232-1177982357.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-429232-1177982357 -o ROOT/results/node61/solver-429232-1177982357 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429232-1177982357/instance-429232-1177982357.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= b3aade8de77ac68c9aa967132edd1f5e RANDOM SEED= 248717590 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1832520 kB Buffers: 21484 kB Cached: 139288 kB SwapCached: 2904 kB Active: 62704 kB Inactive: 108088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832520 kB SwapTotal: 4192956 kB SwapFree: 4184156 kB Dirty: 6704 kB Writeback: 0 kB Mapped: 15904 kB Slab: 38824 kB Committed_AS: 1147548 kB PageTables: 1388 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 node61 on Tue May 1 01:21:48 UTC 2007