Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 1 | 157.069 | 157.109 |
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.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/366833-1177067223/instance-366833-1177067223.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 11600 0.01 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.01 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 13500 0.01 0.00/0.01 o 186 0.012 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 13666 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.013 0.01/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.01 c 168 94 187 6370 34 1157 852 179 12923 0.01 0.01/0.01 o 144 0.014 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 172 94 192 6585 34 1225 852 184 12285 0.01 0.01/0.02 o 143 0.017 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 204 94 225 7476 33 1350 852 217 12000 0.02 0.01/0.02 o 137 0.017 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 207 94 229 7648 33 1423 852 221 12176 0.02 0.01/0.02 o 123 0.022 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 265 94 288 8964 31 1587 852 280 12045 0.02 0.01/0.02 o 113 0.025 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 293 91 317 9673 30 1712 846 309 11720 0.03 0.01/0.03 o 53 0.035 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 385 89 410 11948 29 1915 842 402 11000 0.04 0.01/0.04 o 49 0.036 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 388 89 414 12106 29 1948 842 406 10777 0.04 0.01/0.04 o 47 0.036 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 391 89 418 12275 29 2020 842 410 10861 0.04 0.01/0.04 o 31 0.041 0.01/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.05 c 430 85 458 13206 28 2189 834 450 10487 0.04 0.01/0.05 o 20 0.046 0.01/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.07 c 492 73 521 14401 27 2328 810 513 10695 0.05 0.01/0.07 c 592 71 621 16508 26 2455 892 613 10962 0.05 0.01/0.07 o 17 0.068 0.01/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.07 c 766 70 796 20118 25 2897 804 788 11264 0.07 0.01/0.07 o 16 0.072 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 11125 0.07 0.09/0.10 c 901 65 522 10949 20 1279 885 514 11262 0.08 0.09/0.10 o 13 0.098 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 11530 0.10 0.09/0.12 c 1231 62 447 8730 19 1111 867 439 11504 0.11 0.09/0.12 o 6 0.122 1.59/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.60 c 1444 62 661 13057 19 1577 788 653 11836 0.12 1.59/1.60 c 1544 55 761 14938 19 1758 867 753 11968 0.13 1.59/1.60 c 1794 54 565 10704 18 1332 954 557 12121 0.15 1.59/1.60 c 2270 54 554 10698 19 1321 1050 546 12404 0.18 1.59/1.60 c 3083 54 834 16824 20 1881 1156 826 12687 0.24 1.59/1.60 c 4403 54 972 19520 20 2157 1272 964 12162 0.36 1.59/1.60 c 6484 54 1107 22646 20 2422 1400 1099 11725 0.55 1.59/1.60 c 9708 54 768 15220 19 1746 1541 760 11529 0.84 1.59/1.60 c 14645 54 975 19413 19 2160 1696 967 11044 1.33 1.59/1.60 o 4 1.605 3.99/4.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.08 c 17517 54 1255 26131 20 2745 772 1247 10914 1.60 3.99/4.08 c 17617 51 535 10558 19 1268 850 527 10915 1.61 3.99/4.08 c 17867 46 785 15648 19 1759 936 777 10954 1.63 3.99/4.08 c 18342 46 778 15302 19 1743 1030 770 10989 1.67 3.99/4.08 c 19156 46 1065 21221 19 2317 1134 1057 10996 1.74 3.99/4.08 c 20477 46 651 12720 19 1492 1248 643 11032 1.86 3.99/4.08 c 22558 46 816 16327 20 1821 1373 808 11057 2.04 3.99/4.08 c 25781 46 1245 25426 20 2678 1511 1237 11055 2.33 3.99/4.08 c 30717 46 1564 32064 20 3318 1663 1556 10854 2.83 3.99/4.08 c 38223 46 1432 29029 20 3054 1830 1424 10727 3.56 3.99/4.08 o 3 4.083 31.68/31.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.68/31.77 c 43719 46 1342 27090 20 2886 756 1334 10704 4.08 31.68/31.77 c 43819 46 535 10293 19 1247 832 527 10705 4.09 31.68/31.77 c 44069 46 785 15424 19 1752 916 777 10722 4.11 31.68/31.77 c 44544 46 792 15542 19 1766 1008 784 10741 4.15 31.68/31.77 c 45357 46 569 10758 18 1316 1109 561 10763 4.21 31.68/31.77 c 46680 46 763 15034 19 1706 1220 755 10808 4.32 31.68/31.77 c 48762 46 974 19251 19 2128 1343 966 10860 4.49 31.68/31.77 c 51986 46 790 15651 19 1758 1478 782 10866 4.78 31.68/31.77 c 56923 46 1191 24180 20 2565 1626 1183 10892 5.23 31.68/31.77 c 64429 46 1243 24220 19 2667 1789 1235 10777 5.98 31.68/31.77 c 75792 46 1671 34173 20 3518 1968 1663 10606 7.15 31.68/31.77 c 92936 46 1807 37004 20 3795 2165 1799 10256 9.06 31.68/31.77 c 118755 46 1255 25646 20 2690 2382 1247 10014 11.86 31.68/31.77 c 157587 46 1449 29276 20 3076 2621 1441 9583 16.44 31.68/31.77 c 215941 46 1457 30122 20 3094 2884 1449 9079 23.78 31.68/31.77 o 2 31.761 55.98/56.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.98/56.02 c 273579 46 2263 47322 20 4719 756 2255 8613 31.76 55.98/56.02 c 273680 41 536 10541 19 1243 832 528 8612 31.78 55.98/56.02 c 273930 40 786 15757 20 1741 916 778 8615 31.80 55.98/56.02 c 274405 39 787 15505 19 1740 1008 779 8618 31.84 55.98/56.02 c 275219 38 569 11035 19 1302 1109 561 8625 31.91 55.98/56.02 c 276540 38 761 14708 19 1688 1220 753 8637 32.02 55.98/56.02 c 278621 38 976 19576 20 2108 1343 968 8653 32.20 55.98/56.02 c 281845 38 780 14518 18 1721 1478 772 8676 32.48 55.98/56.02 c 286784 38 1193 24446 20 2548 1626 1185 8704 32.95 55.98/56.02 c 294292 38 1251 24178 19 2664 1789 1243 8746 33.65 55.98/56.02 c 305653 38 1697 34685 20 3559 1968 1689 8776 34.83 55.98/56.02 c 322797 38 1823 35892 19 3810 2165 1815 8794 36.70 55.98/56.02 c 348616 38 1279 25486 19 2720 2382 1271 8814 39.55 55.98/56.02 c 387448 38 1471 29870 20 3108 2621 1463 8777 44.14 55.98/56.02 c 445801 38 1452 29365 20 3067 2884 1444 8688 51.31 55.98/56.02 o 1 56.003 157.05/157.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 157.05/157.10 c 480852 38 1507 30220 20 3171 745 1499 8584 56.02 157.05/157.10 c 480954 33 540 10194 18 1226 820 532 8584 56.03 157.05/157.10 c 481204 32 790 15345 19 1727 903 782 8585 56.05 157.05/157.10 c 481679 31 804 15474 19 1746 994 796 8588 56.08 157.05/157.10 c 482493 31 603 11284 18 1352 1094 595 8593 56.15 157.05/157.10 c 483813 30 805 15372 19 1750 1204 797 8600 56.26 157.05/157.10 c 485895 30 1045 20506 19 2234 1325 1037 8609 56.44 157.05/157.10 c 489119 30 893 17400 19 1927 1458 885 8621 56.73 157.05/157.10 c 494055 30 1370 27129 19 2878 1604 1362 8637 57.20 157.05/157.10 c 501561 30 1511 30119 19 3162 1765 1503 8659 57.92 157.05/157.10 c 512922 30 1213 23950 19 2567 1942 1205 8679 59.10 157.05/157.10 c 530067 30 1588 32119 20 3319 2137 1580 8708 60.87 157.05/157.10 c 555886 30 1408 28102 19 2958 2351 1400 8734 63.65 157.05/157.10 c 594719 30 2099 42345 20 4336 2587 2091 8749 67.97 157.05/157.10 c 653071 30 1509 29942 19 3155 2846 1501 8706 75.01 157.05/157.10 c 740703 30 2823 56661 20 5787 3131 2815 8641 85.71 157.05/157.10 c 872255 30 3111 64206 20 6364 3445 3103 8466 103.02 157.05/157.10 c 1069688 29 2456 47793 19 5054 3790 2448 8164 131.01 157.05/157.10 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 157.05/157.10 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 157.05/157.10 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 157.05/157.10 v -x83 x84 x85 -x86 x87 x88 -x89 x90 x91 x92 -x93 x94 x69 157.05/157.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 157.05/157.10 c 94 1243383 1531 1247103 2512 37094 2504 7916 157.06 157.05/157.10 c Objective: 1 157.05/157.10 s OPTIMUM FOUND 157.05/157.10 c Total time: 157.065 s
OK 1
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-366833-1177067223 -o ROOT/results/node61/solver-366833-1177067223 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/366833-1177067223/instance-366833-1177067223.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.00 1.00 1.00 3/64 4670 /proc/meminfo: memFree=1824000/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=19552 CPUtime=0 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 118685911 20021248 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10815361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 4888 334 281 324 0 3956 0 [startup+0.017635 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4670 /proc/meminfo: memFree=1824000/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=11864 CPUtime=0.01 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 430 0 0 0 1 0 0 0 18 0 1 0 118685911 12148736 397 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 2966 398 312 324 0 2035 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11864 [startup+0.101643 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4670 /proc/meminfo: memFree=1824000/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=12128 CPUtime=0.09 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 499 0 0 0 9 0 0 0 18 0 1 0 118685911 12419072 466 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3032 466 312 324 0 2101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12128 [startup+0.301661 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4670 /proc/meminfo: memFree=1824000/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=12264 CPUtime=0.29 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 517 0 0 0 29 0 0 0 19 0 1 0 118685911 12558336 484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3066 484 312 324 0 2135 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12264 [startup+0.7017 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4670 /proc/meminfo: memFree=1824000/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=12264 CPUtime=0.69 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 540 0 0 0 69 0 0 0 22 0 1 0 118685911 12558336 507 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3066 507 312 324 0 2135 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12264 [startup+1.50278 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1823096/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=12396 CPUtime=1.49 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 570 0 0 0 148 1 0 0 25 0 1 0 118685911 12693504 537 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3099 537 312 324 0 2168 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12396 [startup+3.10193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822840/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=12492 CPUtime=3.09 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 574 0 0 0 307 2 0 0 25 0 1 0 118685911 12791808 541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3123 541 312 324 0 2192 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12492 [startup+6.30123 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822648/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=12492 CPUtime=6.29 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 584 0 0 0 625 4 0 0 25 0 1 0 118685911 12791808 551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3123 551 312 324 0 2192 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12492 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822456/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=12684 CPUtime=12.69 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 641 0 0 0 1261 8 0 0 25 0 1 0 118685911 12988416 608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3171 608 312 324 0 2240 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12684 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822328/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13008 CPUtime=25.48 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 705 0 0 0 2533 15 0 0 25 0 1 0 118685911 13320192 672 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3252 672 312 324 0 2321 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13008 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822456/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13008 CPUtime=51.08 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 705 0 0 0 5080 28 0 0 25 0 1 0 118685911 13320192 672 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3252 672 312 324 0 2321 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13008 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822392/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13064 CPUtime=102.27 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 724 0 0 0 10174 53 0 0 25 0 1 0 118685911 13377536 691 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3266 691 312 324 0 2335 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13064 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822264/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13188 CPUtime=127.86 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 761 0 0 0 12721 65 0 0 25 0 1 0 118685911 13504512 728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3297 728 312 324 0 2366 0 Current children cumulated CPU time (s) 127.86 Current children cumulated vsize (KiB) 13188 [startup+140.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822200/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13284 CPUtime=140.66 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 773 0 0 0 13996 70 0 0 25 0 1 0 118685911 13602816 740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3321 740 312 324 0 2390 0 Current children cumulated CPU time (s) 140.66 Current children cumulated vsize (KiB) 13284 [startup+147.103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822200/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13284 CPUtime=147.05 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 773 0 0 0 14632 73 0 0 25 0 1 0 118685911 13602816 740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3321 740 312 324 0 2390 0 Current children cumulated CPU time (s) 147.05 Current children cumulated vsize (KiB) 13284 [startup+153.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822200/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13284 CPUtime=153.45 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 773 0 0 0 15269 76 0 0 25 0 1 0 118685911 13602816 740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3321 740 312 324 0 2390 0 Current children cumulated CPU time (s) 153.45 Current children cumulated vsize (KiB) 13284 [startup+155.105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822200/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13284 CPUtime=155.06 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 773 0 0 0 15429 77 0 0 25 0 1 0 118685911 13602816 740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3321 740 312 324 0 2390 0 Current children cumulated CPU time (s) 155.06 Current children cumulated vsize (KiB) 13284 [startup+155.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822200/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13284 CPUtime=155.85 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 773 0 0 0 15508 77 0 0 25 0 1 0 118685911 13602816 740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3321 740 312 324 0 2390 0 Current children cumulated CPU time (s) 155.85 Current children cumulated vsize (KiB) 13284 [startup+156.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822200/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13284 CPUtime=156.65 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 773 0 0 0 15587 78 0 0 25 0 1 0 118685911 13602816 740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3321 740 312 324 0 2390 0 Current children cumulated CPU time (s) 156.65 Current children cumulated vsize (KiB) 13284 [startup+157.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4671 /proc/meminfo: memFree=1822200/2055920 swapFree=4184100/4192956 [pid=4670] ppid=4668 vsize=13284 CPUtime=157.05 /proc/4670/stat : 4670 (bsolo3.0.16) R 4668 4670 3893 0 -1 4194304 773 0 0 0 15627 78 0 0 25 0 1 0 118685911 13602816 740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4670/statm: 3321 740 312 324 0 2390 0 Current children cumulated CPU time (s) 157.05 Current children cumulated vsize (KiB) 13284 Child status: 0 Real time (s): 157.109 CPU time (s): 157.069 CPU user time (s): 156.284 CPU system time (s): 0.78488 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 13308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 156.284 system time used= 0.78488 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 774 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= 241 runsolver used 0.122981 second user time and 0.32295 second system time The end
Begin job on node61 on Fri Apr 20 11:07:03 UTC 2007 IDJOB= 366833 IDBENCH= 2916 IDSOLVER= 163 FILE ID= node61/366833-1177067223 PBS_JOBID= 4640240 Free space on /tmp= 66499 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/366833-1177067223/instance-366833-1177067223.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-366833-1177067223 -o ROOT/results/node61/solver-366833-1177067223 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/366833-1177067223/instance-366833-1177067223.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885 RANDOM SEED= 149785826 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: 1824408 kB Buffers: 27736 kB Cached: 153728 kB SwapCached: 3088 kB Active: 63952 kB Inactive: 128068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824408 kB SwapTotal: 4192956 kB SwapFree: 4184100 kB Dirty: 4380 kB Writeback: 0 kB Mapped: 16168 kB Slab: 25644 kB Committed_AS: 947820 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= 66499 MiB End job on node61 on Fri Apr 20 11:09:40 UTC 2007