Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 2 | 443.655 | 443.82 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_1.opb |
MD5SUM | fb11ff2665aef67f0842a460a5ea3114 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 26.176 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
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 | 45 |
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 | 851 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3063 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 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 HOME/instance-1877176-1245177918.opb 0.00/0.00 c File size is 3580 bytes. 0.00/0.00 c Highest Coefficient sum: 3063 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: 364 Watch. Lit: 104 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 364 45 110 728 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 922 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 428 47 298 856 1 0 0.00 0.00/0.00 o 828 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 3 94 13 596 45 356 856 5 1500 0.00 0.00/0.00 o 286 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 4 94 15 702 46 391 856 7 2000 0.00 0.00/0.00 o 133 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 40 94 52 1587 30 505 856 44 6666 0.01 0.00/0.00 o 110 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 46 94 59 1774 30 578 856 51 6571 0.01 0.00/0.02 c 146 93 159 4321 27 767 942 151 6636 0.02 0.00/0.02 o 97 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 157 93 171 4648 27 849 854 163 6541 0.02 0.00/0.04 c 258 93 275 7175 26 1041 940 267 6789 0.04 0.00/0.04 o 62 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 322 92 343 8730 25 1242 852 335 6851 0.05 0.09/0.12 c 422 87 445 11100 24 1449 938 437 6806 0.06 0.09/0.12 c 672 86 695 16492 23 1938 1032 687 6588 0.10 0.09/0.12 o 58 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 777 83 801 18824 23 2196 834 793 6475 0.12 0.09/0.12 o 56 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 779 83 804 18966 23 2250 834 796 6491 0.12 0.09/0.13 o 55 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 823 83 849 20151 23 2388 834 841 6429 0.13 0.09/0.13 o 51 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 838 83 437 9706 22 1146 834 429 6348 0.13 0.09/0.14 o 21 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 891 83 491 10960 22 1306 834 483 6364 0.14 0.19/0.29 c 991 76 591 12983 21 1494 918 583 6393 0.15 0.19/0.29 c 1242 75 844 18253 21 2005 1010 836 6402 0.19 0.19/0.29 c 1717 73 802 16901 21 1866 1112 794 6503 0.26 0.19/0.29 o 19 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 1889 73 975 20712 21 2252 814 967 6491 0.29 0.69/0.70 c 1989 73 537 11354 21 1327 896 529 6500 0.31 0.69/0.70 c 2240 72 788 16655 21 1823 986 780 6511 0.34 0.69/0.70 c 2715 71 758 15739 20 1764 1085 750 6526 0.42 0.69/0.70 c 3528 70 1016 21959 21 2277 1194 1008 6414 0.55 0.69/0.70 o 17 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 4434 70 704 15623 22 1693 808 696 6307 0.70 0.69/0.73 c 4534 70 804 17856 22 1891 889 796 6305 0.72 0.69/0.73 o 12 1.00/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.09 c 4599 70 870 19307 22 2067 808 862 6308 0.73 1.00/1.09 c 4700 63 538 11408 21 1308 889 530 6300 0.75 1.00/1.09 c 4950 62 790 16651 21 1813 978 782 6313 0.78 1.00/1.09 c 5425 62 765 15786 20 1760 1076 757 6322 0.86 1.00/1.09 c 6238 62 1029 22159 21 2290 1184 1021 6326 0.99 1.00/1.09 o 7 1.10/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.19 c 6906 62 1097 24043 21 2456 792 1089 6312 1.09 1.10/1.19 c 7007 56 538 11500 21 1287 872 530 6312 1.11 1.10/1.19 c 7257 55 788 16877 21 1788 960 780 6321 1.15 1.10/1.19 o 6 2.19/2.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.21 c 7513 54 555 11246 20 1347 776 547 6302 1.19 2.19/2.21 c 7613 54 655 13273 20 1548 854 647 6307 1.21 2.19/2.21 c 7863 54 476 9656 20 1151 940 468 6305 1.25 2.19/2.21 c 8338 54 952 20001 21 2127 1035 944 6335 1.32 2.19/2.21 c 9151 54 700 14534 20 1604 1139 692 6341 1.44 2.19/2.21 c 10472 54 860 18111 21 1923 1253 852 6331 1.65 2.19/2.21 c 12554 54 1030 21523 20 2263 1379 1022 6270 2.00 2.19/2.21 o 5 2.29/2.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.31 c 13855 54 930 20085 21 2085 776 922 6266 2.21 2.29/2.31 c 13955 54 537 11311 21 1278 854 529 6266 2.23 2.29/2.31 c 14205 54 787 16729 21 1776 940 779 6277 2.26 2.29/2.31 o 4 2.59/2.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.63 c 14501 54 603 12365 20 1432 776 595 6277 2.31 2.59/2.63 c 14602 52 704 14421 20 1624 854 696 6275 2.33 2.59/2.63 c 14853 52 517 10324 19 1232 940 509 6280 2.37 2.59/2.63 c 15330 51 522 10542 20 1241 1035 514 6282 2.44 2.59/2.63 c 16143 49 805 16087 19 1798 1139 797 6293 2.56 2.59/2.63 o 3 29.29/29.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.29/29.38 c 16588 49 668 13573 20 1547 766 660 6292 2.64 29.29/29.38 c 16688 49 768 15636 20 1744 843 760 6297 2.65 29.29/29.38 c 16939 49 586 11593 19 1358 928 578 6299 2.69 29.29/29.38 c 17414 49 590 11501 19 1366 1021 582 6304 2.76 29.29/29.38 c 18228 48 883 18113 20 1956 1124 875 6313 2.89 29.29/29.38 c 19549 48 1057 21106 19 2299 1237 1049 6304 3.10 29.29/29.38 c 21632 47 1251 25909 20 2686 1361 1243 6292 3.44 29.29/29.38 c 24855 47 1016 20554 20 2214 1498 1008 6244 3.98 29.29/29.38 c 29791 46 1347 28097 20 2878 1648 1339 6194 4.81 29.29/29.38 c 37297 46 1298 27535 21 2780 1813 1290 6176 6.04 29.29/29.38 c 48658 46 1578 33452 21 3339 1995 1570 6074 8.01 29.29/29.38 c 65802 46 1486 31479 21 3164 2195 1478 5964 11.03 29.29/29.38 c 91622 46 1643 35329 21 3468 2415 1635 5821 15.74 29.29/29.38 c 130454 46 1305 27713 21 2793 2657 1297 5664 23.03 29.29/29.38 o 2 443.62/443.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 443.62/443.81 c 162338 46 2240 48427 21 4677 760 2232 5526 29.38 443.62/443.81 c 162439 46 538 10863 20 1256 837 530 5524 29.41 443.62/443.81 c 162689 45 788 16111 20 1752 921 780 5525 29.44 443.62/443.81 c 163166 45 795 16103 20 1766 1014 787 5528 29.52 443.62/443.81 c 163979 45 565 11494 20 1308 1116 557 5531 29.64 443.62/443.81 c 165300 45 749 15452 20 1676 1228 741 5536 29.85 443.62/443.81 c 167381 45 957 19896 20 2086 1351 949 5546 30.18 443.62/443.81 c 170604 44 747 15081 20 1672 1487 739 5556 30.70 443.62/443.81 c 175540 44 1140 23783 20 2456 1636 1132 5572 31.50 443.62/443.81 c 183047 42 1139 24089 21 2449 1800 1131 5587 32.76 443.62/443.81 c 194409 41 1501 31176 20 3173 1981 1493 5593 34.76 443.62/443.81 c 211553 41 1538 31617 20 3249 2180 1530 5578 37.93 443.62/443.81 c 237373 40 1897 40417 21 3962 2399 1889 5541 42.83 443.62/443.81 c 276206 39 1798 37427 20 3760 2639 1790 5472 50.47 443.62/443.81 c 334558 39 2684 56007 20 5533 2903 2676 5323 62.85 443.62/443.81 c 422190 38 2243 46329 20 4648 3194 2235 5188 81.37 443.62/443.81 c 553742 38 3080 65289 21 6327 3514 3072 5018 110.35 443.62/443.81 c 751175 38 1822 37607 20 3808 3866 1814 4761 157.76 443.62/443.81 c 1047428 38 3632 77970 21 7429 4253 3624 4570 229.19 443.62/443.81 c 1491912 37 2532 48765 19 5229 4679 2524 4357 342.39 443.62/443.81 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 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -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 -x87 x88 x89 x90 x91 -x92 -x93 -x94 443.62/443.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 443.62/443.81 c 83 1860539 4639 1867236 4141 59328 4133 4193 443.65 443.62/443.81 c Objective: 2 443.62/443.81 s OPTIMUM FOUND 443.62/443.81 c Total time: 443.653 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877176-1245177918/watcher-1877176-1245177918 -o /tmp/evaluation-result-1877176-1245177918/solver-1877176-1245177918 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877176-1245177918.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8773 /proc/meminfo: memFree=1910576/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=26200 CPUtime=0 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 185392411 26828800 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 6550 241 196 640 0 5906 0 [startup+0.00862898 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8773 /proc/meminfo: memFree=1910576/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=26328 CPUtime=0 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 185392411 26959872 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 6582 243 196 640 0 5938 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 26328 [startup+0.101611 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8773 /proc/meminfo: memFree=1910576/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=18772 CPUtime=0.09 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 327 0 0 0 9 0 0 0 18 0 1 0 185392411 19222528 310 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4693 310 197 640 0 4049 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18772 [startup+0.301647 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8773 /proc/meminfo: memFree=1910576/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=18776 CPUtime=0.29 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 357 0 0 0 29 0 0 0 19 0 1 0 185392411 19226624 340 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4694 340 197 640 0 4050 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18776 [startup+0.701718 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8773 /proc/meminfo: memFree=1910576/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=18904 CPUtime=0.69 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 379 0 0 0 69 0 0 0 22 0 1 0 185392411 19357696 362 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4726 362 197 640 0 4082 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18904 [startup+1.50186 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1909864/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=18904 CPUtime=1.49 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 379 0 0 0 148 1 0 0 25 0 1 0 185392411 19357696 362 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4726 362 197 640 0 4082 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18904 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1909672/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=19032 CPUtime=3.09 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 397 0 0 0 307 2 0 0 25 0 1 0 185392411 19488768 380 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4758 380 197 640 0 4114 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19032 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1909416/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=19156 CPUtime=6.29 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 440 0 0 0 625 4 0 0 25 0 1 0 185392411 19615744 423 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4789 423 197 640 0 4145 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19156 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1909096/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=19288 CPUtime=12.68 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 481 0 0 0 1262 6 0 0 25 0 1 0 185392411 19750912 464 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4822 464 197 640 0 4178 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19288 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1908904/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=19544 CPUtime=25.48 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 525 0 0 0 2536 12 0 0 25 0 1 0 185392411 20013056 508 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4886 508 197 640 0 4242 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19544 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1908904/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=19544 CPUtime=51.07 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 527 0 0 0 5082 25 0 0 25 0 1 0 185392411 20013056 510 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4886 510 197 640 0 4242 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19544 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1908776/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=19676 CPUtime=102.25 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 577 0 0 0 10181 44 0 0 25 0 1 0 185392411 20148224 560 1992294400 134512640 137136520 4294956256 18446744073709551615 134616462 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4919 560 197 640 0 4275 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 19676 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1908456/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=19932 CPUtime=162.23 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 644 0 0 0 16159 64 0 0 25 0 1 0 185392411 20410368 627 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4983 627 197 640 0 4339 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 19932 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1908456/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=19932 CPUtime=222.21 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 646 0 0 0 22135 86 0 0 25 0 1 0 185392411 20410368 629 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 4983 629 197 640 0 4339 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 19932 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1908264/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20188 CPUtime=282.18 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 688 0 0 0 28114 104 0 0 25 0 1 0 185392411 20672512 671 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5047 671 197 640 0 4403 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 20188 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8774 /proc/meminfo: memFree=1908200/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20188 CPUtime=342.17 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 691 0 0 0 34093 124 0 0 25 0 1 0 185392411 20672512 674 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5047 674 197 640 0 4403 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 20188 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20288 CPUtime=402.14 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 40073 141 0 0 25 0 1 0 185392411 20774912 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5072 695 197 640 0 4428 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 20288 Solver just ended. Dumping a history of the last processes samples [startup+409.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20288 CPUtime=409.33 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 40790 143 0 0 25 0 1 0 185392411 20774912 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5072 695 197 640 0 4428 0 Current children cumulated CPU time (s) 409.33 Current children cumulated vsize (KiB) 20288 [startup+422.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20284 CPUtime=422.14 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 42067 147 0 0 25 0 1 0 185392411 20770816 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5071 695 197 640 0 4427 0 Current children cumulated CPU time (s) 422.14 Current children cumulated vsize (KiB) 20284 [startup+435.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20280 CPUtime=434.93 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 43342 151 0 0 25 0 1 0 185392411 20766720 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5070 695 197 640 0 4426 0 Current children cumulated CPU time (s) 434.93 Current children cumulated vsize (KiB) 20280 [startup+438.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20280 CPUtime=438.13 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 43660 153 0 0 25 0 1 0 185392411 20766720 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5070 695 197 640 0 4426 0 Current children cumulated CPU time (s) 438.13 Current children cumulated vsize (KiB) 20280 [startup+441.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20276 CPUtime=441.33 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 43979 154 0 0 25 0 1 0 185392411 20762624 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5069 695 197 640 0 4425 0 Current children cumulated CPU time (s) 441.33 Current children cumulated vsize (KiB) 20276 [startup+443.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20276 CPUtime=442.92 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 44138 154 0 0 25 0 1 0 185392411 20762624 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5069 695 197 640 0 4425 0 Current children cumulated CPU time (s) 442.92 Current children cumulated vsize (KiB) 20276 [startup+443.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20276 CPUtime=443.32 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 44178 154 0 0 25 0 1 0 185392411 20762624 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5069 695 197 640 0 4425 0 Current children cumulated CPU time (s) 443.32 Current children cumulated vsize (KiB) 20276 [startup+443.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20276 CPUtime=443.52 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 44198 154 0 0 25 0 1 0 185392411 20762624 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5069 695 197 640 0 4425 0 Current children cumulated CPU time (s) 443.52 Current children cumulated vsize (KiB) 20276 [startup+443.801 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8776 /proc/meminfo: memFree=1907816/2055920 swapFree=4180860/4192956 [pid=8773] ppid=8771 vsize=20276 CPUtime=443.62 /proc/8773/stat : 8773 (bsolo) R 8771 8773 8198 0 -1 4194304 712 0 0 0 44208 154 0 0 25 0 1 0 185392411 20762624 695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8773/statm: 5069 695 197 640 0 4425 0 Current children cumulated CPU time (s) 443.62 Current children cumulated vsize (KiB) 20276 Child status: 0 Real time (s): 443.82 CPU time (s): 443.655 CPU user time (s): 442.107 CPU system time (s): 1.54776 CPU usage (%): 99.9627 Max. virtual memory (cumulated for all children) (KiB): 26328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 442.107 system time used= 1.54776 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 714 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= 2 involuntary context switches= 501 runsolver used 0.408937 second user time and 0.831873 second system time The end
Begin job on node12 at 2009-06-16 20:45:18 IDJOB=1877176 IDBENCH=2927 IDSOLVER=699 FILE ID=node12/1877176-1245177918 PBS_JOBID= 9363884 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877176-1245177918/watcher-1877176-1245177918 -o /tmp/evaluation-result-1877176-1245177918/solver-1877176-1245177918 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877176-1245177918.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114 RANDOM SEED=281866915 node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1911056 kB Buffers: 35600 kB Cached: 60476 kB SwapCached: 6264 kB Active: 52240 kB Inactive: 52164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1911056 kB SwapTotal: 4192956 kB SwapFree: 4180860 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 13500 kB Slab: 26504 kB Committed_AS: 175924 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877176-1245177918.opb Free space on /tmp at the end= 66232 MiB End job on node12 at 2009-06-16 20:52:42