Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 1 | 155.491 | 155.557 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb |
MD5SUM | 031b0f629913e7cd5c934f00ec1a1885 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 21.4277 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
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 | 8 |
Minimum length of a constraint | 44 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
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 | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 808 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2934 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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/433529-1177960617/instance-433529-1177960617.opb 0.00/0.00 c File size is 3562 bytes. 0.00/0.00 c Highest Coefficient sum: 2934 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 94 Constr: 8 0/0/8 Lit: 362 Watch. Lit: 102 0.00/0.00 c Obj. Vars: 64 (68.0851 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 94 8 362 45 108 724 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 863 0.002 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 94 9 426 47 295 852 1 0 0.00 0.00/0.00 o 801 0.002 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 4 94 14 692 49 360 852 6 2000 0.00 0.00/0.00 o 258 0.004 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 58 94 69 2959 42 490 852 61 14500 0.00 0.00/0.01 o 209 0.006 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 88 94 100 3570 35 594 852 92 14666 0.01 0.00/0.01 o 205 0.007 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 98 94 111 4003 36 672 852 103 14000 0.01 0.00/0.01 o 204 0.009 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 134 94 148 5123 34 787 852 140 14888 0.01 0.00/0.01 o 200 0.009 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 135 94 150 5218 34 845 852 142 15000 0.01 0.00/0.01 o 186 0.011 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 164 94 180 6040 33 960 852 172 14909 0.01 0.00/0.01 o 184 0.012 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 165 94 182 6135 33 1023 852 174 13750 0.01 0.00/0.01 o 158 0.012 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 166 94 184 6239 33 1087 852 176 13833 0.01 0.00/0.01 o 152 0.012 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 168 94 187 6370 34 1157 852 179 14000 0.01 0.00/0.01 o 144 0.013 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 172 94 192 6585 34 1225 852 184 13230 0.01 0.00/0.02 o 143 0.016 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 204 94 225 7476 33 1350 852 217 12750 0.02 0.00/0.02 o 137 0.017 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 207 94 229 7648 33 1423 852 221 12176 0.02 0.00/0.02 o 123 0.021 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 265 94 288 8964 31 1587 852 280 12045 0.02 0.00/0.02 o 113 0.025 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 293 91 317 9673 30 1712 846 309 11720 0.03 0.00/0.03 o 53 0.035 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 385 89 410 11948 29 1915 842 402 11000 0.04 0.00/0.03 o 49 0.035 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 388 89 414 12106 29 1948 842 406 11085 0.04 0.00/0.03 o 47 0.035 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 391 89 418 12275 29 2020 842 410 11171 0.04 0.00/0.04 o 31 0.04 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 430 85 458 13206 28 2189 834 450 10750 0.04 0.00/0.04 o 20 0.045 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 492 73 521 14401 27 2328 810 513 10933 0.04 0.00/0.07 c 592 71 621 16508 26 2455 892 613 11169 0.05 0.00/0.07 o 17 0.067 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 766 70 796 20118 25 2897 804 788 11432 0.07 0.00/0.07 o 16 0.07 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 801 70 832 21044 25 2936 804 824 11442 0.07 0.09/0.10 c 901 65 522 10949 20 1279 885 514 11551 0.08 0.09/0.10 o 13 0.096 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1130 62 752 15660 20 1767 788 744 11770 0.10 0.09/0.12 c 1231 62 447 8730 19 1111 867 439 11723 0.10 0.09/0.12 o 6 0.119 1.49/1.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.59 c 1444 62 661 13057 19 1577 788 653 12134 0.12 1.49/1.59 c 1544 55 761 14938 19 1758 867 753 12253 0.13 1.49/1.59 c 1794 54 565 10704 18 1332 954 557 12372 0.14 1.49/1.59 c 2270 54 554 10698 19 1321 1050 546 12611 0.18 1.49/1.59 c 3083 54 834 16824 20 1881 1156 826 12845 0.24 1.49/1.59 c 4403 54 972 19520 20 2157 1272 964 12333 0.36 1.49/1.59 c 6484 54 1107 22646 20 2422 1400 1099 11853 0.55 1.49/1.59 c 9708 54 768 15220 19 1746 1541 760 11654 0.83 1.49/1.59 c 14645 54 975 19413 19 2160 1696 967 11145 1.31 1.49/1.59 o 4 1.591 3.99/4.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.05 c 17517 54 1255 26131 20 2745 772 1247 11010 1.59 3.99/4.05 c 17617 51 535 10558 19 1268 850 527 11010 1.60 3.99/4.05 c 17867 46 785 15648 19 1759 936 777 11056 1.62 3.99/4.05 c 18342 46 778 15302 19 1743 1030 770 11082 1.66 3.99/4.05 c 19156 46 1065 21221 19 2317 1134 1057 11092 1.73 3.99/4.05 c 20477 46 651 12720 19 1492 1248 643 11134 1.84 3.99/4.05 c 22558 46 816 16327 20 1821 1373 808 11156 2.02 3.99/4.05 c 25781 46 1245 25426 20 2678 1511 1237 11150 2.31 3.99/4.05 c 30717 46 1564 32064 20 3318 1663 1556 10942 2.81 3.99/4.05 c 38223 46 1432 29029 20 3054 1830 1424 10806 3.54 3.99/4.05 o 3 4.054 31.37/31.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.37/31.47 c 43719 46 1342 27090 20 2886 756 1334 10784 4.05 31.37/31.47 c 43819 46 535 10293 19 1247 832 527 10782 4.06 31.37/31.47 c 44069 46 785 15424 19 1752 916 777 10798 4.08 31.37/31.47 c 44544 46 792 15542 19 1766 1008 784 10819 4.12 31.37/31.47 c 45357 46 569 10758 18 1316 1109 561 10840 4.18 31.37/31.47 c 46680 46 763 15034 19 1706 1220 755 10891 4.29 31.37/31.47 c 48762 46 974 19251 19 2128 1343 966 10942 4.46 31.37/31.47 c 51986 46 790 15651 19 1758 1478 782 10951 4.75 31.37/31.47 c 56923 46 1191 24180 20 2565 1626 1183 10976 5.19 31.37/31.47 c 64429 46 1243 24220 19 2667 1789 1235 10861 5.93 31.37/31.47 c 75792 46 1671 34173 20 3518 1968 1663 10682 7.09 31.37/31.47 c 92936 46 1807 37004 20 3795 2165 1799 10326 9.00 31.37/31.47 c 118755 46 1255 25646 20 2690 2382 1247 10089 11.77 31.37/31.47 c 157587 46 1449 29276 20 3076 2621 1441 9661 16.31 31.37/31.47 c 215941 46 1457 30122 20 3094 2884 1449 9156 23.58 31.37/31.47 o 2 31.459 55.26/55.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.26/55.38 c 273579 46 2263 47322 20 4719 756 2255 8696 31.46 55.26/55.38 c 273680 41 536 10541 19 1243 832 528 8694 31.48 55.26/55.38 c 273930 40 786 15757 20 1741 916 778 8697 31.49 55.26/55.38 c 274405 39 787 15505 19 1740 1008 779 8701 31.54 55.26/55.38 c 275219 38 569 11035 19 1302 1109 561 8708 31.60 55.26/55.38 c 276540 38 761 14708 19 1688 1220 753 8720 31.71 55.26/55.38 c 278621 38 976 19576 20 2108 1343 968 8736 31.89 55.26/55.38 c 281845 38 780 14518 18 1721 1478 772 8759 32.18 55.26/55.38 c 286784 38 1193 24446 20 2548 1626 1185 8794 32.61 55.26/55.38 c 294292 38 1251 24178 19 2664 1789 1243 8842 33.28 55.26/55.38 c 305653 38 1697 34685 20 3559 1968 1689 8872 34.45 55.26/55.38 c 322797 38 1823 35892 19 3810 2165 1815 8892 36.30 55.26/55.38 c 348616 38 1279 25486 19 2720 2382 1271 8915 39.10 55.26/55.39 c 387448 38 1471 29870 20 3108 2621 1463 8878 43.64 55.26/55.39 c 445801 38 1452 29365 20 3067 2884 1444 8787 50.73 55.26/55.39 o 1 55.358 155.42/155.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 155.42/155.55 c 480852 38 1507 30220 20 3171 745 1499 8684 55.37 155.42/155.55 c 480954 33 540 10194 18 1226 820 532 8684 55.38 155.42/155.55 c 481204 32 790 15345 19 1727 903 782 8685 55.40 155.42/155.55 c 481679 31 804 15474 19 1746 994 796 8688 55.44 155.42/155.55 c 482493 31 603 11284 18 1352 1094 595 8693 55.50 155.42/155.55 c 483813 30 805 15372 19 1750 1204 797 8700 55.61 155.42/155.55 c 485895 30 1045 20506 19 2234 1325 1037 8709 55.79 155.42/155.55 c 489119 30 893 17400 19 1927 1458 885 8721 56.08 155.42/155.55 c 494055 30 1370 27129 19 2878 1604 1362 8738 56.54 155.42/155.55 c 501561 30 1511 30119 19 3162 1765 1503 8760 57.25 155.42/155.55 c 512922 30 1213 23950 19 2567 1942 1205 8781 58.41 155.42/155.55 c 530067 30 1588 32119 20 3319 2137 1580 8809 60.17 155.42/155.55 c 555886 30 1408 28102 19 2958 2351 1400 8834 62.92 155.42/155.55 c 594719 30 2099 42345 20 4336 2587 2091 8846 67.22 155.42/155.55 c 653071 30 1509 29942 19 3155 2846 1501 8802 74.19 155.42/155.55 c 740703 30 2823 56661 20 5787 3131 2815 8738 84.77 155.42/155.55 c 872255 30 3111 64206 20 6364 3445 3103 8566 101.82 155.42/155.55 c 1069688 29 2456 47793 19 5054 3790 2448 8253 129.60 155.42/155.55 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 155.42/155.55 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 155.42/155.55 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 x68 x70 x71 x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 155.42/155.55 v -x83 x84 x85 -x86 x87 x88 -x89 x90 x91 x92 -x93 x94 x69 155.42/155.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 155.42/155.55 c 94 1243383 1531 1247103 2512 37094 2504 7996 155.49 155.42/155.55 c Objective: 1 155.42/155.55 s OPTIMUM FOUND 155.42/155.55 c Total time: 155.486 s
OK 1
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-433529-1177960617 -o ROOT/results/node67/solver-433529-1177960617 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433529-1177960617/instance-433529-1177960617.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: 1.07 0.99 0.91 3/64 976 /proc/meminfo: memFree=1784232/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=19552 CPUtime=0 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 272051250 20021248 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 4888 332 279 324 0 3957 0 [startup+0.0976839 s] /proc/loadavg: 1.07 0.99 0.91 3/64 976 /proc/meminfo: memFree=1784232/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=12128 CPUtime=0.09 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 495 0 0 0 9 0 0 0 18 0 1 0 272051250 12419072 464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3032 464 310 324 0 2102 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12128 [startup+0.101684 s] /proc/loadavg: 1.07 0.99 0.91 3/64 976 /proc/meminfo: memFree=1784232/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=12128 CPUtime=0.09 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 495 0 0 0 9 0 0 0 18 0 1 0 272051250 12419072 464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3032 464 310 324 0 2102 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12128 [startup+0.301722 s] /proc/loadavg: 1.07 0.99 0.91 3/64 976 /proc/meminfo: memFree=1784232/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=12264 CPUtime=0.29 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 513 0 0 0 29 0 0 0 19 0 1 0 272051250 12558336 482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3066 482 310 324 0 2136 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12264 [startup+0.701796 s] /proc/loadavg: 1.07 0.99 0.91 3/64 976 /proc/meminfo: memFree=1784232/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=12264 CPUtime=0.69 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 536 0 0 0 69 0 0 0 22 0 1 0 272051250 12558336 505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3066 505 310 324 0 2136 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12264 [startup+1.50295 s] /proc/loadavg: 1.07 0.99 0.91 2/65 977 /proc/meminfo: memFree=1783328/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=12396 CPUtime=1.49 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 566 0 0 0 149 0 0 0 25 0 1 0 272051250 12693504 535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3099 535 310 324 0 2169 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12396 [startup+3.10124 s] /proc/loadavg: 1.07 0.99 0.91 2/65 977 /proc/meminfo: memFree=1783136/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=12492 CPUtime=3.09 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 570 0 0 0 309 0 0 0 25 0 1 0 272051250 12791808 539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3123 539 310 324 0 2193 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12492 [startup+6.30183 s] /proc/loadavg: 1.07 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782880/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=12492 CPUtime=6.29 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 580 0 0 0 629 0 0 0 25 0 1 0 272051250 12791808 549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3123 549 310 324 0 2193 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12492 [startup+12.702 s] /proc/loadavg: 1.06 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782688/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=12684 CPUtime=12.68 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 640 0 0 0 1268 0 0 0 25 0 1 0 272051250 12988416 609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3171 609 310 324 0 2241 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12684 [startup+25.5014 s] /proc/loadavg: 1.05 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782496/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13008 CPUtime=25.48 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 701 0 0 0 2548 0 0 0 25 0 1 0 272051250 13320192 670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3252 670 310 324 0 2322 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13008 [startup+51.1011 s] /proc/loadavg: 1.03 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782432/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13008 CPUtime=51.06 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 701 0 0 0 5105 1 0 0 25 0 1 0 272051250 13320192 670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3252 670 310 324 0 2322 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 13008 [startup+102.306 s] /proc/loadavg: 1.01 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782368/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13064 CPUtime=102.25 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 736 0 0 0 10224 1 0 0 25 0 1 0 272051250 13377536 705 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3266 705 310 324 0 2336 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 13064 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 1.01 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782240/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13188 CPUtime=127.83 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 757 0 0 0 12782 1 0 0 25 0 1 0 272051250 13504512 726 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7321473 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3297 726 310 324 0 2367 0 Current children cumulated CPU time (s) 127.83 Current children cumulated vsize (KiB) 13188 [startup+140.702 s] /proc/loadavg: 1.00 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782176/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13284 CPUtime=140.63 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 769 0 0 0 14062 1 0 0 25 0 1 0 272051250 13602816 738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3321 738 310 324 0 2391 0 Current children cumulated CPU time (s) 140.63 Current children cumulated vsize (KiB) 13284 [startup+147.102 s] /proc/loadavg: 1.00 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782176/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13284 CPUtime=147.03 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 769 0 0 0 14702 1 0 0 25 0 1 0 272051250 13602816 738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3321 738 310 324 0 2391 0 Current children cumulated CPU time (s) 147.03 Current children cumulated vsize (KiB) 13284 [startup+150.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782176/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13284 CPUtime=150.23 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 769 0 0 0 15022 1 0 0 25 0 1 0 272051250 13602816 738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3321 738 310 324 0 2391 0 Current children cumulated CPU time (s) 150.23 Current children cumulated vsize (KiB) 13284 [startup+153.502 s] /proc/loadavg: 1.00 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782176/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13284 CPUtime=153.42 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 769 0 0 0 15341 1 0 0 25 0 1 0 272051250 13602816 738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3321 738 310 324 0 2391 0 Current children cumulated CPU time (s) 153.42 Current children cumulated vsize (KiB) 13284 [startup+154.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782176/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13284 CPUtime=154.22 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 769 0 0 0 15421 1 0 0 25 0 1 0 272051250 13602816 738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3321 738 310 324 0 2391 0 Current children cumulated CPU time (s) 154.22 Current children cumulated vsize (KiB) 13284 [startup+155.104 s] /proc/loadavg: 1.00 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782176/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13284 CPUtime=155.03 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 769 0 0 0 15502 1 0 0 25 0 1 0 272051250 13602816 738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3321 738 310 324 0 2391 0 Current children cumulated CPU time (s) 155.03 Current children cumulated vsize (KiB) 13284 [startup+155.501 s] /proc/loadavg: 1.00 0.99 0.91 2/65 977 /proc/meminfo: memFree=1782176/2055920 swapFree=4183044/4192956 [pid=976] ppid=974 vsize=13284 CPUtime=155.42 /proc/976/stat : 976 (bsolo3.0.17) R 974 976 32593 0 -1 4194304 769 0 0 0 15541 1 0 0 25 0 1 0 272051250 13602816 738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/976/statm: 3321 738 310 324 0 2391 0 Current children cumulated CPU time (s) 155.42 Current children cumulated vsize (KiB) 13284 Child status: 0 Real time (s): 155.557 CPU time (s): 155.491 CPU user time (s): 155.472 CPU system time (s): 0.018997 CPU usage (%): 99.958 Max. virtual memory (cumulated for all children) (KiB): 13324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 155.472 system time used= 0.018997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 773 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= 305 runsolver used 0.115982 second user time and 0.317951 second system time The end
Begin job on node67 on Mon Apr 30 19:16:57 UTC 2007 IDJOB= 433529 IDBENCH= 2916 IDSOLVER= 199 FILE ID= node67/433529-1177960617 PBS_JOBID= 4727697 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433529-1177960617/instance-433529-1177960617.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-433529-1177960617 -o ROOT/results/node67/solver-433529-1177960617 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433529-1177960617/instance-433529-1177960617.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885 RANDOM SEED= 646440940 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1784704 kB Buffers: 5584 kB Cached: 166048 kB SwapCached: 3808 kB Active: 94004 kB Inactive: 116540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1784704 kB SwapTotal: 4192956 kB SwapFree: 4183044 kB Dirty: 6576 kB Writeback: 0 kB Mapped: 44920 kB Slab: 46652 kB Committed_AS: 1340072 kB PageTables: 1532 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 node67 on Mon Apr 30 19:19:33 UTC 2007