Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 1263.16 | 1263.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb |
MD5SUM | 9b7cb599a49db47c0ffbf25416bcef37 |
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.224965 |
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.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/453001-1178009123/instance-453001-1178009123.opb 0.00/0.00 c File size is 10539 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. 20.29/20.31 c 101 792 1281 11121 8 4378 7322 101 4809 0.02 20.29/20.31 c 251 792 1431 20165 14 4678 8055 251 7606 0.03 20.29/20.31 c 476 792 1656 32622 19 5118 8861 476 9333 0.05 20.29/20.31 c 815 792 1995 55600 27 5798 9748 815 10187 0.08 20.29/20.31 c 1324 792 2504 88697 35 6688 10723 1324 10343 0.13 20.29/20.31 c 2087 792 3267 140604 43 8276 11796 2087 10131 0.21 20.29/20.31 c 3234 792 4414 218222 49 10551 12976 3234 9568 0.34 20.29/20.31 c 4955 792 6135 336606 54 13980 14274 4955 9402 0.53 20.29/20.31 c 7539 792 8719 500388 57 19249 15702 7539 6630 1.14 20.29/20.31 c 11419 792 12599 750969 59 26955 17273 11419 5775 1.98 20.29/20.31 c 17242 792 18422 1125053 61 38620 19001 17242 2974 5.80 20.29/20.31 c 25980 792 17426 1072666 61 36585 20902 16246 2568 10.12 20.29/20.31 c 39091 792 19860 1201208 60 41512 22993 18680 2016 19.38 20.29/20.31 o 65 20.302 302.60/302.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 302.60/302.76 c 44517 792 12947 777925 60 27583 6672 11767 2192 20.30 302.60/302.76 c 44618 792 4618 241323 52 11026 7340 3438 2186 20.41 302.60/302.76 c 44868 792 4868 258623 53 11363 8075 3688 2187 20.51 302.60/302.76 c 45343 792 5343 292670 54 12424 8883 4163 2205 20.56 302.60/302.76 c 46157 792 6157 352871 57 14025 9772 4977 2233 20.66 302.60/302.76 c 47478 792 7478 441418 59 16671 10750 6298 2280 20.82 302.60/302.76 c 49560 792 9560 582035 60 20778 11826 8380 2344 21.14 302.60/302.76 c 52784 792 12784 776203 60 27203 13009 11604 2415 21.85 302.60/302.76 c 57720 792 10878 633039 58 23411 14310 9698 2536 22.76 302.60/302.76 c 65226 782 10580 581880 54 22949 15742 9400 2504 26.04 302.60/302.76 c 76588 782 14018 738890 52 29817 17317 12838 2154 35.56 302.60/302.76 c 93733 779 13334 811768 60 28311 19049 12154 2008 46.66 302.60/302.76 c 119552 779 19243 1229453 63 40181 20954 18063 1929 61.97 302.60/302.76 c 158385 779 13440 864104 64 28535 23050 12260 1574 100.62 302.60/302.76 c 216738 779 21043 1315380 62 43807 25356 19863 1391 155.75 302.60/302.76 c 304370 776 20193 1315980 65 42214 27892 19013 1275 238.67 302.60/302.76 o 17 302.667 894.82/895.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 894.82/895.12 c 352622 776 17724 1172933 66 37162 6670 16544 1165 302.67 894.82/895.12 c 352722 776 4621 248651 53 11082 7338 3441 1164 302.86 894.82/895.12 c 352973 776 4872 266130 54 11454 8072 3692 1165 302.89 894.82/895.12 c 353448 776 5347 299538 56 12339 8880 4167 1166 302.94 894.82/895.12 c 354261 776 6160 358193 58 14135 9769 4980 1168 303.09 894.82/895.12 c 355583 776 7482 446475 59 16751 10746 6302 1172 303.31 894.82/895.12 c 357665 776 9564 583636 61 20899 11821 8384 1176 303.97 894.82/895.12 c 360890 776 12789 802100 62 27269 13004 11609 1184 304.55 894.82/895.12 c 365827 776 10731 664510 61 23153 14305 9551 1194 306.17 894.82/895.12 c 373334 776 11004 659292 59 23683 15736 9824 1202 310.54 894.82/895.12 c 384696 766 14113 908026 64 29892 17310 12933 1213 317.05 894.82/895.12 c 401840 756 13334 808197 60 28343 19042 12154 1219 329.40 894.82/895.12 c 427660 756 19927 1142036 57 41548 20947 18747 1199 356.65 894.82/895.12 c 466493 753 15102 908386 60 31908 23042 13922 1179 395.59 894.82/895.12 c 524845 753 12711 801967 63 27175 25347 11531 1164 450.61 894.82/895.12 c 612477 752 12041 753011 62 25762 27882 10861 1117 548.30 894.82/895.12 c 744029 752 23313 1495239 64 48416 30671 22133 1025 725.30 894.82/895.12 o 9 894.857 966.83/967.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 966.83/967.26 c 875868 752 16744 1027047 61 35181 6666 15564 978 894.86 966.83/967.26 c 875969 752 4625 224607 48 10934 7333 3445 978 895.15 966.83/967.26 c 876220 752 4876 239966 49 11447 8067 3696 978 895.18 966.83/967.26 c 876698 752 5354 271624 50 12444 8874 4174 979 895.24 966.83/967.26 c 877511 752 6167 325333 52 14068 9762 4987 980 895.38 966.83/967.26 c 878831 752 7487 411934 55 16729 10739 6307 981 895.60 966.83/967.26 c 880913 752 9569 549785 57 20894 11813 8389 983 896.12 966.83/967.26 c 884136 752 12792 766180 59 27262 12995 11612 984 897.71 966.83/967.26 c 889072 752 11123 659717 59 23995 14295 9943 985 901.85 966.83/967.26 c 896579 752 10728 646533 60 23229 15725 9548 989 905.67 966.83/967.26 c 907940 742 13826 832351 60 29326 17298 12646 994 912.76 966.83/967.26 c 925085 742 12942 801675 61 27548 19028 11762 999 925.63 966.83/967.26 c 950904 742 18529 1061178 57 38751 20931 17349 1001 949.47 966.83/967.26 o 5 966.903 1047.98/1048.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1047.98/1048.44 c 968877 739 14830 916844 61 31351 6664 13650 1002 966.90 1047.98/1048.44 c 968978 729 4627 223820 48 11020 7331 3447 1001 967.09 1047.98/1048.44 c 969228 729 4877 240523 49 11494 8065 3697 1002 967.11 1047.98/1048.44 c 969704 729 5353 271043 50 12538 8872 4173 1002 967.17 1047.98/1048.44 c 970518 729 6167 325752 52 14125 9760 4987 1003 967.29 1047.98/1048.44 c 971839 729 7488 415755 55 16714 10737 6308 1004 967.55 1047.98/1048.44 c 973921 729 9570 554825 57 20895 11811 8390 1005 968.32 1047.98/1048.44 c 977144 729 12793 773676 60 27357 12993 11613 1008 969.31 1047.98/1048.44 c 982081 729 11080 656183 59 23889 14293 9900 1011 971.36 1047.98/1048.44 c 989589 729 11082 662087 59 23895 15723 9902 1015 974.22 1047.98/1048.44 c 1000950 729 14305 866671 60 30385 17296 13125 1019 981.70 1047.98/1048.44 c 1018095 729 13445 821466 61 28638 19026 12265 1022 995.36 1047.98/1048.44 c 1043914 729 19389 1145839 59 40522 20929 18209 1027 1015.87 1047.98/1048.44 o 3 1048.03 1263.11/1263.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1263.11/1263.62 c 1074417 729 17541 1098530 62 36851 6662 16361 1025 1048.03 1263.11/1263.62 c 1074518 708 4628 228370 49 11073 7329 3448 1025 1048.29 1263.11/1263.62 c 1074769 708 4879 245933 50 11476 8062 3699 1025 1048.33 1263.11/1263.62 c 1075245 708 5355 279997 52 12378 8869 4175 1025 1048.37 1263.11/1263.62 c 1076059 708 6169 330383 53 14090 9756 4989 1026 1048.49 1263.11/1263.62 c 1077379 708 7489 421389 56 16758 10732 6309 1027 1048.77 1263.11/1263.62 c 1079461 708 9571 554386 57 20908 11806 8391 1028 1049.28 1263.11/1263.62 c 1082684 708 12794 766491 59 27293 12987 11614 1030 1050.60 1263.11/1263.62 c 1087620 708 10922 615921 56 23623 14286 9742 1033 1052.58 1263.11/1263.62 c 1095127 708 11003 642641 58 23715 15715 9823 1037 1055.38 1263.11/1263.62 c 1106488 707 14337 873657 60 30369 17287 13157 1041 1062.16 1263.11/1263.62 c 1123632 707 13939 799564 57 29535 19016 12759 1039 1080.54 1263.11/1263.62 c 1149452 707 19760 1126923 57 41251 20918 18580 1043 1101.46 1263.11/1263.62 c 1188284 705 15590 939771 60 32932 23010 14410 1041 1141.46 1263.11/1263.62 c 1246636 704 12250 696918 56 26262 25312 11070 1034 1205.41 1263.11/1263.62 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 1263.11/1263.62 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 1263.11/1263.62 v -x59 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 1263.11/1263.62 v -x87 -x88 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x153 -x154 x155 x156 -x157 1263.11/1263.62 v -x158 -x159 -x160 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 x105 x106 -x107 1263.11/1263.62 v -x108 -x109 -x110 -x111 -x112 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 1263.11/1263.62 v -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189 1263.11/1263.62 v -x190 -x191 -x192 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 -x138 1263.11/1263.62 v x139 -x140 -x141 -x142 -x143 -x144 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 1263.11/1263.62 v -x216 1263.11/1263.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1263.11/1263.62 c 87 1283606 11410 1339529 20786 1063371 19606 1016 1263.15 1263.11/1263.62 c Objective: 3 1263.11/1263.62 s OPTIMUM FOUND 1263.11/1263.62 c Total time: 1263.15 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-453001-1178009123 -o ROOT/results/node19/solver-453001-1178009123 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453001-1178009123/instance-453001-1178009123.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.91 0.95 0.97 3/77 17674 /proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=11748 CPUtime=0 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 248829716 12029952 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 984 345 289 324 0 51 0 [startup+0.0580531 s] /proc/loadavg: 0.91 0.95 0.97 3/77 17674 /proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=4724 CPUtime=0.05 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 596 0 0 0 5 0 0 0 18 0 1 0 248829716 4837376 563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 1181 563 310 324 0 251 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4724 [startup+0.101057 s] /proc/loadavg: 0.91 0.95 0.97 3/77 17674 /proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=5240 CPUtime=0.09 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 710 0 0 0 9 0 0 0 18 0 1 0 248829716 5365760 677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 1310 677 310 324 0 380 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5240 [startup+0.301077 s] /proc/loadavg: 0.91 0.95 0.97 3/77 17674 /proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=7056 CPUtime=0.29 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 1158 0 0 0 29 0 0 0 19 0 1 0 248829716 7225344 1125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 1764 1125 310 324 0 834 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7056 [startup+0.701121 s] /proc/loadavg: 0.91 0.95 0.97 3/77 17674 /proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=10032 CPUtime=0.68 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 1924 0 0 0 68 0 0 0 23 0 1 0 248829716 10272768 1891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 2508 1891 310 324 0 1578 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 10032 [startup+1.50121 s] /proc/loadavg: 0.91 0.95 0.97 2/78 17675 /proc/meminfo: memFree=1803136/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=12356 CPUtime=1.48 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 2490 0 0 0 147 1 0 0 25 0 1 0 248829716 12652544 2457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 3089 2457 310 324 0 2159 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12356 [startup+3.10138 s] /proc/loadavg: 0.91 0.95 0.97 2/78 17675 /proc/meminfo: memFree=1798848/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=17248 CPUtime=3.09 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 3728 0 0 0 307 2 0 0 25 0 1 0 248829716 17661952 3695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 4312 3696 310 324 0 3382 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17248 [startup+6.30173 s] /proc/loadavg: 0.92 0.95 0.97 2/78 17675 /proc/meminfo: memFree=1793792/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=20856 CPUtime=6.29 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 4623 0 0 0 627 2 0 0 25 0 1 0 248829716 21356544 4590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 5214 4590 310 324 0 4284 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20856 [startup+12.7014 s] /proc/loadavg: 0.93 0.95 0.97 2/78 17675 /proc/meminfo: memFree=1791168/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=23536 CPUtime=12.68 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 5298 0 0 0 1265 3 0 0 25 0 1 0 248829716 24100864 5265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 5884 5265 310 324 0 4954 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23536 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.97 2/78 17675 /proc/meminfo: memFree=1787200/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=26760 CPUtime=25.49 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6111 0 0 0 2545 4 0 0 25 0 1 0 248829716 27402240 6078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 6690 6078 311 324 0 5760 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26760 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.97 2/78 17675 /proc/meminfo: memFree=1787264/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=26760 CPUtime=51.07 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6111 0 0 0 5103 4 0 0 25 0 1 0 248829716 27402240 6078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 6690 6078 311 324 0 5760 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26760 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/78 17675 /proc/meminfo: memFree=1787328/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=26760 CPUtime=102.25 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6111 0 0 0 10221 4 0 0 25 0 1 0 248829716 27402240 6078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 6690 6078 311 324 0 5760 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 26760 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1784448/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=29608 CPUtime=162.24 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6825 0 0 0 16219 5 0 0 25 0 1 0 248829716 30318592 6792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 7402 6792 311 324 0 6472 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 29608 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1784320/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=29744 CPUtime=222.21 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6858 0 0 0 22216 5 0 0 25 0 1 0 248829716 30457856 6825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 7436 6825 311 324 0 6506 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 29744 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1782208/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=31840 CPUtime=282.2 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 28214 6 0 0 25 0 1 0 248829716 32604160 7348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 7960 7348 311 324 0 7030 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 31840 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1782144/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=31828 CPUtime=342.18 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 34211 7 0 0 25 0 1 0 248829716 32591872 7348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 7957 7348 311 324 0 7027 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 31828 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1782208/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=31828 CPUtime=402.16 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 40209 7 0 0 25 0 1 0 248829716 32591872 7348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 7957 7348 311 324 0 7027 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 31828 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1782144/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=31824 CPUtime=462.15 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 46207 8 0 0 25 0 1 0 248829716 32587776 7348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 7956 7348 311 324 0 7026 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 31824 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1782144/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=31816 CPUtime=522.13 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 52205 8 0 0 25 0 1 0 248829716 32579584 7346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 7954 7346 311 324 0 7024 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 31816 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1781248/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=32732 CPUtime=582.12 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7609 0 0 0 58203 9 0 0 25 0 1 0 248829716 33517568 7571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8183 7571 311 324 0 7253 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 32732 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1781248/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=32724 CPUtime=642.1 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7609 0 0 0 64201 9 0 0 25 0 1 0 248829716 33509376 7571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8181 7571 311 324 0 7251 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 32724 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1781184/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=32720 CPUtime=702.08 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7609 0 0 0 70198 10 0 0 25 0 1 0 248829716 33505280 7571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8180 7571 311 324 0 7250 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 32720 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17675 /proc/meminfo: memFree=1779584/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34316 CPUtime=762.06 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 76196 10 0 0 25 0 1 0 248829716 35139584 7971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8579 7971 311 324 0 7649 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 34316 [startup+822.301 s] /proc/loadavg: 1.04 0.99 0.98 2/78 17675 /proc/meminfo: memFree=1779520/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34300 CPUtime=822.05 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 82194 11 0 0 25 0 1 0 248829716 35123200 7968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8575 7968 311 324 0 7645 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 34300 [startup+882.302 s] /proc/loadavg: 1.01 0.99 0.98 2/78 17675 /proc/meminfo: memFree=1779520/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34300 CPUtime=882.03 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 88192 11 0 0 25 0 1 0 248829716 35123200 7968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8575 7968 311 324 0 7645 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 34300 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.98 2/84 17741 /proc/meminfo: memFree=1778240/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=941.98 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 94186 12 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 34260 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779328/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1001.89 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 100177 12 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 34260 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779328/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1061.88 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 106175 13 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 34260 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779328/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1121.85 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 112172 13 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 34260 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1181.84 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 118170 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 34260 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779200/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1241.82 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 124168 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 34260 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1253.82 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 125368 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1253.82 Current children cumulated vsize (KiB) 34260 [startup+1257.5 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1257.02 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 125688 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1257.02 Current children cumulated vsize (KiB) 34260 [startup+1260.7 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1260.22 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126008 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1260.22 Current children cumulated vsize (KiB) 34260 [startup+1262.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1261.81 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126167 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1261.81 Current children cumulated vsize (KiB) 34260 [startup+1263.1 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1262.61 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126247 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1262.61 Current children cumulated vsize (KiB) 34260 [startup+1263.5 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1263.01 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126287 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1263.01 Current children cumulated vsize (KiB) 34260 [startup+1263.6 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17873 /proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956 [pid=17674] ppid=17672 vsize=34260 CPUtime=1263.11 /proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126297 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17674/statm: 8565 7958 311 324 0 7635 0 Current children cumulated CPU time (s) 1263.11 Current children cumulated vsize (KiB) 34260 Child status: 0 Real time (s): 1263.63 CPU time (s): 1263.16 CPU user time (s): 1263.01 CPU system time (s): 0.153976 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 34440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1263 system time used= 0.153976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8013 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= 26264 runsolver used 1.02184 second user time and 2.6626 second system time The end
Begin job on node19 on Tue May 1 08:45:23 UTC 2007 IDJOB= 453001 IDBENCH= 48068 IDSOLVER= 199 FILE ID= node19/453001-1178009123 PBS_JOBID= 4728296 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=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453001-1178009123/instance-453001-1178009123.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-453001-1178009123 -o ROOT/results/node19/solver-453001-1178009123 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453001-1178009123/instance-453001-1178009123.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 9b7cb599a49db47c0ffbf25416bcef37 RANDOM SEED= 691498054 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1811040 kB Buffers: 49652 kB Cached: 105504 kB SwapCached: 7976 kB Active: 61176 kB Inactive: 120984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811040 kB SwapTotal: 4192956 kB SwapFree: 4153644 kB Dirty: 6688 kB Writeback: 0 kB Mapped: 29924 kB Slab: 48100 kB Committed_AS: 5662248 kB PageTables: 1784 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 node19 on Tue May 1 09:06:27 UTC 2007