Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 931.749 | 932.072 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb |
MD5SUM | 1214df7607414e67bdb9a74c838a7ae9 |
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.148976 |
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 | 81 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
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/453011-1178010627/instance-453011-1178010627.opb 0.00/0.00 c File size is 4315 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271 0.00/0.00 c Obj. Vars: 9 (2.77778 % of total variables) 0.00/0.01 c Pre-processing Time: 0.004 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.01 c Switching off LPR mode. 124.05/124.13 c 104 324 600 9263 15 1945 3039 104 7428 0.01 124.05/124.13 c 254 324 750 18907 25 2195 3343 254 8758 0.03 124.05/124.13 c 483 324 979 37774 38 2660 3678 483 10062 0.05 124.05/124.13 c 823 324 1319 72842 55 3376 4046 823 8148 0.10 124.05/124.13 c 1332 324 1828 114825 62 4409 4451 1332 8377 0.16 124.05/124.13 c 2095 324 2591 180244 69 5924 4897 2095 8026 0.26 124.05/124.13 c 3242 324 3738 277698 74 8173 5387 3242 7522 0.43 124.05/124.13 c 4964 324 5460 409108 74 11642 5926 4964 5874 0.84 124.05/124.13 c 7548 324 4996 347150 69 10713 6519 4500 4741 1.59 124.05/124.13 c 11427 324 5533 388080 70 11781 7171 5037 3955 2.89 124.05/124.13 c 17250 324 4083 301935 73 8894 7889 3587 3611 4.78 124.05/124.13 c 25988 324 4442 287493 64 9651 8678 3946 3230 8.04 124.05/124.13 c 39098 324 8724 617683 70 18189 9546 8228 2820 13.86 124.05/124.13 c 58770 324 8987 643026 71 18667 10501 8491 2573 22.84 124.05/124.13 c 88281 324 10855 869383 80 22366 11552 10359 2280 38.71 124.05/124.13 c 132552 324 6747 515978 76 14220 12708 6251 1996 66.41 124.05/124.13 c 198963 324 6851 553224 80 14434 13979 6355 1699 117.04 124.05/124.13 o 133 124.089 177.63/177.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.63/177.78 c 210354 324 11194 850117 75 23046 2780 10698 1695 124.09 177.63/177.78 c 210455 313 1988 124783 62 4756 3059 1492 1694 124.18 177.63/177.78 c 210705 313 2238 144862 64 5228 3365 1742 1696 124.20 177.63/177.78 c 211181 313 2714 182852 67 6186 3702 2218 1699 124.27 177.63/177.78 c 211994 313 3527 248247 70 7815 4073 3031 1704 124.40 177.63/177.78 c 213315 313 2721 177108 65 6193 4481 2225 1709 124.78 177.63/177.78 c 215397 313 4803 345248 71 10374 4930 4307 1720 125.18 177.63/177.78 c 218620 313 5389 392478 72 11507 5424 4893 1735 125.96 177.63/177.78 c 223556 313 4731 328067 69 10160 5967 4235 1751 127.64 177.63/177.78 c 231063 313 6110 428316 70 12944 6564 5614 1773 130.31 177.63/177.78 c 242424 313 3781 284503 75 8257 7221 3285 1813 133.71 177.63/177.78 c 259568 313 5946 421255 70 12550 7944 5450 1854 139.97 177.63/177.78 c 285387 313 7016 556217 79 14740 8739 6520 1902 150.02 177.63/177.78 c 324220 313 5415 367218 67 11489 9613 4919 1950 166.24 177.63/177.78 o 9 177.716 472.74/472.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 472.74/472.96 c 348394 313 9326 748735 80 19399 2778 8830 1960 177.72 472.74/472.96 c 348494 313 1988 123924 62 4750 3056 1492 1960 177.80 472.74/472.96 c 348744 313 2238 144734 64 5206 3362 1742 1961 177.82 472.74/472.96 c 349219 313 2713 184357 67 6165 3699 2217 1963 177.88 472.74/472.96 c 350032 313 3526 249647 70 7799 4069 3030 1966 177.99 472.74/472.96 c 351353 313 2713 174842 64 6114 4476 2217 1970 178.29 472.74/472.96 c 353435 313 4795 333899 69 10278 4924 4299 1976 178.85 472.74/472.96 c 356658 313 2961 193532 65 6622 5417 2465 1983 179.83 472.74/472.96 c 361595 313 5105 349905 68 10921 5959 4609 1994 181.33 472.74/472.96 c 369101 313 3479 228324 65 7715 6555 2983 2011 183.50 472.74/472.96 c 380462 313 4438 302020 68 9598 7211 3942 2023 187.99 472.74/472.96 c 397607 313 6780 469597 69 14311 7933 6284 2041 194.73 472.74/472.96 c 423426 269 7766 567008 73 16303 8727 7270 2058 205.68 472.74/472.96 c 462258 269 6186 417635 67 13117 9600 5690 2081 222.11 472.74/472.96 c 520610 269 9148 613897 67 19052 10561 8652 2105 247.30 472.74/472.96 c 608242 269 8069 602519 74 16878 11618 7573 2080 292.40 472.74/472.96 c 739795 269 7448 573487 76 15561 12780 6952 1997 370.32 472.74/472.96 o 5 472.802 473.13/473.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 473.13/473.36 c 904208 268 6894 530331 76 14545 2770 6398 1911 473.06 473.13/473.36 c 904308 268 1989 124458 62 4717 3048 1493 1911 473.13 473.13/473.36 c 904560 268 2241 146265 65 5236 3353 1745 1911 473.17 473.13/473.36 o 3 473.198 931.68/932.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 931.68/932.06 c 904762 257 2444 160982 65 5633 2768 1948 1912 473.20 931.68/932.06 c 904863 234 2545 169998 66 5818 3045 2049 1912 473.21 931.68/932.06 c 905113 234 2795 193093 69 6328 3350 2299 1912 473.24 931.68/932.06 c 905589 234 3271 234738 71 7254 3686 2775 1913 473.33 931.68/932.06 c 906402 234 4084 305628 74 8938 4055 3588 1914 473.53 931.68/932.06 c 907723 234 3193 234808 73 7134 4461 2697 1915 473.95 931.68/932.06 c 909804 234 2863 201177 70 6492 4908 2367 1915 474.91 931.68/932.06 c 913027 234 3459 255269 73 7678 5399 2963 1918 475.87 931.68/932.06 c 917963 234 5530 422100 76 11824 5939 5034 1922 477.59 931.68/932.06 c 925470 234 3637 248714 68 8000 6533 3141 1926 480.33 931.68/932.06 c 936832 234 4712 338989 71 10140 7187 4216 1932 484.69 931.68/932.06 c 953977 234 6819 509177 74 14382 7906 6323 1940 491.63 931.68/932.06 c 979796 234 7946 597162 75 16661 8697 7450 1943 504.03 931.68/932.06 c 1018629 234 5680 417115 73 12109 9567 5184 1955 520.92 931.68/932.06 c 1076982 234 8748 633241 72 18240 10524 8252 1963 548.53 931.68/932.06 c 1164614 234 9632 737771 76 19986 11577 9136 1939 600.39 931.68/932.06 c 1296167 234 9246 747782 80 19215 12735 8750 1934 670.00 931.68/932.06 c 1493599 234 8248 630530 76 17202 14009 7752 1867 799.96 931.68/932.06 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 931.68/932.06 v x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x46 -x47 -x48 -x49 931.68/932.06 v x50 -x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 931.68/932.06 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 931.68/932.06 c 69 1661069 7488 1683062 10994 683374 10498 1782 931.74 931.68/932.06 c Objective: 3 931.68/932.06 s OPTIMUM FOUND 931.68/932.06 c Total time: 931.742 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-453011-1178010627 -o ROOT/results/node46/solver-453011-1178010627 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453011-1178010627/instance-453011-1178010627.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/78 24498 /proc/meminfo: memFree=1815856/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=3828 CPUtime=0 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 155745663 3919872 141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7764856 0 0 4096 0 0 0 0 17 1 0 0 /proc/24498/statm: 957 143 120 324 0 15 0 [startup+0.0438929 s] /proc/loadavg: 1.00 1.00 1.00 3/78 24498 /proc/meminfo: memFree=1815856/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=4436 CPUtime=0.03 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 523 0 0 0 3 0 0 0 18 0 1 0 155745663 4542464 491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 1109 491 310 324 0 179 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4436 [startup+0.102889 s] /proc/loadavg: 1.00 1.00 1.00 3/78 24498 /proc/meminfo: memFree=1815856/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=5080 CPUtime=0.09 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 673 0 0 0 9 0 0 0 18 0 1 0 155745663 5201920 641 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 1270 641 310 324 0 340 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5080 [startup+0.302927 s] /proc/loadavg: 1.00 1.00 1.00 3/78 24498 /proc/meminfo: memFree=1815856/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=6884 CPUtime=0.29 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 1134 0 0 0 29 0 0 0 19 0 1 0 155745663 7049216 1102 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 1721 1102 310 324 0 791 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6884 [startup+0.702 s] /proc/loadavg: 1.00 1.00 1.00 3/78 24498 /proc/meminfo: memFree=1815856/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=9228 CPUtime=0.68 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 1724 0 0 0 68 0 0 0 22 0 1 0 155745663 9449472 1692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551264 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 2307 1692 310 324 0 1377 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9228 [startup+1.50115 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1809128/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=11036 CPUtime=1.49 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 2158 0 0 0 148 1 0 0 25 0 1 0 155745663 11300864 2126 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 2759 2126 310 324 0 1829 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11036 [startup+3.10144 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1808360/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=11292 CPUtime=3.09 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 2237 0 0 0 308 1 0 0 25 0 1 0 155745663 11563008 2205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 2823 2205 310 324 0 1893 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11292 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1806952/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=14108 CPUtime=6.29 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 2941 0 0 0 627 2 0 0 25 0 1 0 155745663 14446592 2909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8228418 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 3527 2909 310 324 0 2597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14108 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1804912/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=14244 CPUtime=12.69 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 2981 0 0 0 1267 2 0 0 25 0 1 0 155745663 14585856 2949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 3561 2949 310 324 0 2631 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14244 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1803440/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=15872 CPUtime=25.48 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 3369 0 0 0 2546 2 0 0 25 0 1 0 155745663 16252928 3337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8228500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 3968 3337 310 324 0 3038 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15872 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1800880/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=18316 CPUtime=51.07 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 3999 0 0 0 5105 2 0 0 25 0 1 0 155745663 18755584 3967 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8226654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 4579 3967 310 324 0 3649 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18316 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 3/79 24499 /proc/meminfo: memFree=1800368/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=18896 CPUtime=102.26 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4137 0 0 0 10223 3 0 0 25 0 1 0 155745663 19349504 4099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 4724 4099 310 324 0 3794 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18896 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=162.23 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 16220 3 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 20172 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=222.22 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 22218 4 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 20172 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=282.19 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 28215 4 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 20172 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=342.17 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 34213 4 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 20172 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=402.16 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 40211 5 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 20172 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=462.13 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 46208 5 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 20172 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=522.11 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 52206 5 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 20172 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=582.1 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 58204 6 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8228348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 20172 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=642.08 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 64202 6 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 20172 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 3/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=702.05 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 70199 6 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 20172 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798832/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20172 CPUtime=762.04 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4511 0 0 0 76197 7 0 0 25 0 1 0 155745663 20656128 4436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5043 4436 311 324 0 4113 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 20172 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20624 CPUtime=822.01 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 82194 7 0 0 25 0 1 0 155745663 21118976 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5156 4536 311 324 0 4226 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 20624 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20608 CPUtime=881.99 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 88192 7 0 0 25 0 1 0 155745663 21102592 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5152 4536 311 324 0 4222 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 20608 Solver just ended. Dumping a history of the last processes samples [startup+895.902 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20600 CPUtime=895.58 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 89551 7 0 0 25 0 1 0 155745663 21094400 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5150 4536 311 324 0 4220 0 Current children cumulated CPU time (s) 895.58 Current children cumulated vsize (KiB) 20600 [startup+908.701 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20600 CPUtime=908.38 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 90831 7 0 0 25 0 1 0 155745663 21094400 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5150 4536 311 324 0 4220 0 Current children cumulated CPU time (s) 908.38 Current children cumulated vsize (KiB) 20600 [startup+921.502 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20600 CPUtime=921.18 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 92110 8 0 0 25 0 1 0 155745663 21094400 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5150 4536 311 324 0 4220 0 Current children cumulated CPU time (s) 921.18 Current children cumulated vsize (KiB) 20600 [startup+927.902 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20600 CPUtime=927.58 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 92750 8 0 0 25 0 1 0 155745663 21094400 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5150 4536 311 324 0 4220 0 Current children cumulated CPU time (s) 927.58 Current children cumulated vsize (KiB) 20600 [startup+929.506 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20600 CPUtime=929.18 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 92910 8 0 0 25 0 1 0 155745663 21094400 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5150 4536 311 324 0 4220 0 Current children cumulated CPU time (s) 929.18 Current children cumulated vsize (KiB) 20600 [startup+931.101 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20600 CPUtime=930.78 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 93070 8 0 0 25 0 1 0 155745663 21094400 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5150 4536 311 324 0 4220 0 Current children cumulated CPU time (s) 930.78 Current children cumulated vsize (KiB) 20600 [startup+931.501 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20600 CPUtime=931.18 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 93110 8 0 0 25 0 1 0 155745663 21094400 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5150 4536 311 324 0 4220 0 Current children cumulated CPU time (s) 931.18 Current children cumulated vsize (KiB) 20600 [startup+931.901 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20600 CPUtime=931.58 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 93150 8 0 0 25 0 1 0 155745663 21094400 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5150 4536 311 324 0 4220 0 Current children cumulated CPU time (s) 931.58 Current children cumulated vsize (KiB) 20600 [startup+932.001 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24499 /proc/meminfo: memFree=1798448/2055920 swapFree=4159404/4192956 [pid=24498] ppid=24496 vsize=20600 CPUtime=931.68 /proc/24498/stat : 24498 (bsolo3.0.17) R 24496 24498 23717 0 -1 4194304 4611 0 0 0 93160 8 0 0 25 0 1 0 155745663 21094400 4536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572679 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24498/statm: 5150 4536 311 324 0 4220 0 Current children cumulated CPU time (s) 931.68 Current children cumulated vsize (KiB) 20600 Child status: 0 Real time (s): 932.072 CPU time (s): 931.749 CPU user time (s): 931.664 CPU system time (s): 0.084987 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 20644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 931.664 system time used= 0.084987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4615 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= 1360 runsolver used 0.938857 second user time and 2.09468 second system time The end
Begin job on node46 on Tue May 1 09:10:27 UTC 2007 IDJOB= 453011 IDBENCH= 48078 IDSOLVER= 199 FILE ID= node46/453011-1178010627 PBS_JOBID= 4728268 Free space on /tmp= 66214 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=9-P0=19-P1=337-P2=467-P3=53-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453011-1178010627/instance-453011-1178010627.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-453011-1178010627 -o ROOT/results/node46/solver-453011-1178010627 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453011-1178010627/instance-453011-1178010627.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1214df7607414e67bdb9a74c838a7ae9 RANDOM SEED= 630861646 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1816200 kB Buffers: 33200 kB Cached: 119396 kB SwapCached: 2784 kB Active: 94244 kB Inactive: 82140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816200 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 6696 kB Writeback: 0 kB Mapped: 31496 kB Slab: 48688 kB Committed_AS: 3612280 kB PageTables: 1992 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= 66214 MiB End job on node46 on Tue May 1 09:25:59 UTC 2007