Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 562.938 | 563.26 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb |
MD5SUM | 947e947c586d02edcb816b66608818b9 |
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.159974 |
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.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/452839-1177984466/instance-452839-1177984466.opb 0.00/0.01 c File size is 4315 bytes. 0.00/0.01 c Highest Coefficient sum: 523264 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.002 s 0.00/0.01 c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271 0.00/0.01 c Obj. Vars: 9 (2.77778 % of total variables) 0.00/0.01 c Pre-processing Time: 0.006 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. 226.61/226.79 c 100 324 596 8794 14 1905 3039 100 7692 0.01 226.61/226.79 c 250 324 746 20006 26 2174 3343 250 10000 0.03 226.61/226.79 c 475 324 971 37204 38 2601 3678 475 10326 0.05 226.61/226.79 c 814 324 1310 62755 47 3299 4046 814 10175 0.08 226.61/226.79 c 1322 324 1818 104235 57 4385 4451 1322 9792 0.14 226.61/226.79 c 2085 324 2581 162292 62 5907 4897 2085 7838 0.27 226.61/226.79 c 3234 324 3730 260053 69 8182 5387 3234 7468 0.43 226.61/226.79 c 4957 324 5453 389656 71 11628 5926 4957 6298 0.79 226.61/226.79 c 7541 324 4982 340794 68 10621 6519 4486 4609 1.64 226.61/226.79 c 11421 324 5530 378893 68 11758 7171 5034 3704 3.08 226.61/226.79 c 17243 324 7469 589936 78 15636 7889 6973 3864 4.46 226.61/226.79 c 25980 324 7719 576952 74 16109 8678 7223 3504 7.41 226.61/226.79 c 39091 324 7363 584236 79 15369 9546 6867 2956 13.22 226.61/226.79 c 58761 324 7519 531888 70 15679 10501 7023 2778 21.15 226.61/226.79 c 88271 324 9650 760830 78 19972 11552 9154 2413 36.57 226.61/226.79 c 132542 324 6830 469102 68 14315 12708 6334 2231 59.38 226.61/226.79 c 198953 324 7409 586840 79 15483 13979 6913 2085 95.40 226.61/226.79 c 298573 324 12486 875852 70 25711 15377 11990 1752 170.40 226.61/226.79 o 205 226.712 233.21/233.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 233.21/233.34 c 372397 324 8465 593963 70 17578 2780 7969 1642 226.71 233.21/233.34 c 372498 313 1988 129139 64 4758 3059 1492 1642 226.80 233.21/233.34 c 372748 313 2238 149052 66 5227 3365 1742 1643 226.83 233.21/233.34 c 373223 313 2713 187222 69 6193 3702 2217 1644 226.88 233.21/233.34 c 374037 313 3527 250885 71 7810 4073 3031 1647 227.04 233.21/233.34 c 375357 313 2716 174114 64 6206 4481 2220 1651 227.33 233.21/233.34 c 377438 313 4797 335265 69 10355 4930 4301 1656 227.90 233.21/233.34 c 380665 313 2963 203411 68 6706 5424 2467 1665 228.63 233.21/233.34 c 385602 313 4896 364095 74 10547 5967 4400 1677 229.84 233.21/233.34 c 393108 313 6258 455219 72 13190 6564 5762 1692 232.27 233.21/233.34 o 67 233.261 250.40/250.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 250.40/250.52 c 396235 313 6009 430989 71 12768 2778 5513 1698 233.26 250.40/250.52 c 396336 313 1988 116052 58 4739 3056 1492 1698 233.31 250.40/250.52 c 396586 313 2238 135541 60 5229 3362 1742 1699 233.34 250.40/250.52 c 397062 313 2714 171601 63 6199 3699 2218 1701 233.42 250.40/250.52 c 397876 313 3528 229511 65 7818 4069 3032 1703 233.61 250.40/250.52 c 399196 313 2614 163847 62 6005 4476 2118 1706 233.88 250.40/250.52 c 401278 313 4696 346106 73 10080 4924 4200 1712 234.31 250.40/250.52 c 404501 313 5281 402630 76 11322 5417 4785 1720 235.09 250.40/250.52 c 409437 313 4521 322150 71 9817 5959 4025 1731 236.48 250.40/250.52 c 416943 313 5760 399861 69 12271 6555 5264 1747 238.65 250.40/250.52 c 428304 302 7023 480968 68 14781 7211 6527 1762 242.95 250.40/250.52 c 445449 302 4792 344552 71 10360 7933 4296 1781 250.02 250.40/250.52 o 17 250.433 251.40/251.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 251.40/251.60 c 447528 302 6872 492081 71 14498 2776 6376 1787 250.43 251.40/251.60 c 447628 302 1987 105243 52 4685 3054 1491 1787 250.47 251.40/251.60 c 447878 302 2237 124582 55 5186 3360 1741 1787 250.49 251.40/251.60 c 448353 302 2712 160829 59 6121 3697 2216 1789 250.55 251.40/251.60 c 449166 302 3525 221883 62 7740 4067 3029 1791 250.69 251.40/251.60 c 450487 302 2533 162837 64 5803 4474 2037 1795 250.88 251.40/251.60 c 452568 292 4614 324475 70 10004 4922 4118 1800 251.31 251.40/251.60 o 3 251.506 562.87/563.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 562.87/563.25 c 453281 292 5328 374793 70 11397 2774 4832 1802 251.51 562.87/563.25 c 453381 272 1987 107844 54 4749 3052 1491 1802 251.54 562.87/563.25 c 453631 272 2237 126673 56 5223 3358 1741 1803 251.58 562.87/563.25 c 454107 272 2713 160924 59 6153 3694 2217 1804 251.66 562.87/563.25 c 454921 272 3527 225704 63 7819 4064 3031 1806 251.78 562.87/563.25 c 456241 262 2586 163579 63 5914 4471 2090 1810 252.02 562.87/563.25 c 458322 262 4667 312497 66 10071 4919 4171 1814 252.56 562.87/563.25 c 461545 262 5296 348310 65 11331 5411 4800 1820 253.59 562.87/563.25 c 466482 262 4563 290685 63 9866 5953 4067 1827 255.24 562.87/563.25 c 473989 262 5867 393430 67 12473 6549 5371 1839 257.62 562.87/563.25 c 485350 262 7021 484843 69 14772 7204 6525 1856 261.38 562.87/563.25 c 502494 262 5472 378238 69 11612 7925 4976 1879 267.39 562.87/563.25 c 528314 262 6703 465162 69 14108 8718 6207 1908 276.80 562.87/563.25 c 567147 252 9185 705735 76 19059 9590 8689 1926 294.46 562.87/563.25 c 625499 235 7083 487370 68 14889 10550 6587 1938 322.62 562.87/563.25 c 713132 235 6697 497209 74 14100 11606 6201 1934 368.71 562.87/563.25 c 844684 234 6977 509192 72 14668 12767 6481 1855 455.25 562.87/563.25 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 562.87/563.25 v -x31 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 562.87/563.25 v -x50 -x51 -x52 x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81 562.87/563.25 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 562.87/563.25 c 64 999647 4683 1015210 10815 631235 10319 1775 562.93 562.87/563.25 c Objective: 3 562.87/563.25 s OPTIMUM FOUND 562.87/563.25 c Total time: 562.933 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-452839-1177984466 -o ROOT/results/node59/solver-452839-1177984466 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452839-1177984466/instance-452839-1177984466.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.01 1.00 0.96 3/64 1403 /proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=18528 CPUtime=0 /proc/1403/stat : 1403 (runsolver) R 1401 1403 577 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 246356279 18972672 284 18446744073709551615 4194304 4255128 548682068976 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0 /proc/1403/statm: 4632 284 249 14 0 2626 0 [startup+0.031356 s] /proc/loadavg: 1.01 1.00 0.96 3/64 1403 /proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=4312 CPUtime=0.02 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 487 0 0 0 2 0 0 0 18 0 1 0 246356279 4415488 455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 1078 455 310 324 0 148 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4312 [startup+0.10137 s] /proc/loadavg: 1.01 1.00 0.96 3/64 1403 /proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=5088 CPUtime=0.09 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 246356279 5210112 636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 1272 636 310 324 0 342 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5088 [startup+0.301407 s] /proc/loadavg: 1.01 1.00 0.96 3/64 1403 /proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=6636 CPUtime=0.29 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 1081 0 0 0 29 0 0 0 19 0 1 0 246356279 6795264 1049 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 1659 1049 310 324 0 729 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6636 [startup+0.702484 s] /proc/loadavg: 1.01 1.00 0.96 3/64 1403 /proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=9096 CPUtime=0.69 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 1691 0 0 0 68 1 0 0 22 0 1 0 246356279 9314304 1659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 2274 1659 310 324 0 1344 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9096 [startup+1.50163 s] /proc/loadavg: 1.01 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1759424/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=10784 CPUtime=1.48 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 2094 0 0 0 147 1 0 0 25 0 1 0 246356279 11042816 2062 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 2696 2062 310 324 0 1766 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10784 [startup+3.10194 s] /proc/loadavg: 1.01 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1758528/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=11168 CPUtime=3.09 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 2202 0 0 0 307 2 0 0 25 0 1 0 246356279 11436032 2170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 2792 2170 310 324 0 1862 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11168 [startup+6.30155 s] /proc/loadavg: 1.01 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1755584/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=13748 CPUtime=6.28 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 2847 0 0 0 626 2 0 0 25 0 1 0 246356279 14077952 2815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 3437 2815 310 324 0 2507 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13748 [startup+12.7018 s] /proc/loadavg: 1.01 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1755008/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=14764 CPUtime=12.68 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 3092 0 0 0 1266 2 0 0 25 0 1 0 246356279 15118336 3060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 3691 3060 310 324 0 2761 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14764 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1753984/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=16156 CPUtime=25.47 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 3441 0 0 0 2545 2 0 0 25 0 1 0 246356279 16543744 3409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 4039 3409 310 324 0 3109 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 16156 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1751424/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=18016 CPUtime=51.07 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 3915 0 0 0 5104 3 0 0 25 0 1 0 246356279 18448384 3883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 4504 3883 310 324 0 3574 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18016 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1748800/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20728 CPUtime=102.26 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4594 0 0 0 10222 4 0 0 25 0 1 0 246356279 21225472 4562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5182 4562 310 324 0 4252 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20728 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1748800/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20728 CPUtime=162.23 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4594 0 0 0 16219 4 0 0 25 0 1 0 246356279 21225472 4562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5182 4562 310 324 0 4252 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 20728 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1748608/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=222.21 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4634 0 0 0 22217 4 0 0 25 0 1 0 246356279 21340160 4602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4602 310 324 0 4280 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 20840 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1748608/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=282.19 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 28215 4 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 20840 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 1404 /proc/meminfo: memFree=1748544/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=342.17 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 34213 4 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 20840 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/71 1476 /proc/meminfo: memFree=1747208/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=402.12 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 40207 5 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 20840 [startup+462.301 s] /proc/loadavg: 1.07 1.02 0.96 2/65 2105 /proc/meminfo: memFree=1747352/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=462 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 46195 5 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 20840 [startup+522.302 s] /proc/loadavg: 1.02 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=521.98 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 52192 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 20840 Solver just ended. Dumping a history of the last processes samples [startup+537.502 s] /proc/loadavg: 1.02 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=537.18 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 53712 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 537.18 Current children cumulated vsize (KiB) 20840 [startup+550.302 s] /proc/loadavg: 1.02 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=549.97 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 54991 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 549.97 Current children cumulated vsize (KiB) 20840 [startup+556.701 s] /proc/loadavg: 1.01 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=556.37 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 55631 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 556.37 Current children cumulated vsize (KiB) 20840 [startup+559.905 s] /proc/loadavg: 1.01 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=559.57 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 55951 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 559.57 Current children cumulated vsize (KiB) 20840 [startup+561.501 s] /proc/loadavg: 1.01 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=561.17 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56111 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 561.17 Current children cumulated vsize (KiB) 20840 [startup+562.301 s] /proc/loadavg: 1.01 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=561.97 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56191 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 561.97 Current children cumulated vsize (KiB) 20840 [startup+562.701 s] /proc/loadavg: 1.01 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=562.37 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56231 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 562.37 Current children cumulated vsize (KiB) 20840 [startup+563.101 s] /proc/loadavg: 1.01 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=562.77 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56271 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 562.77 Current children cumulated vsize (KiB) 20840 [startup+563.205 s] /proc/loadavg: 1.01 1.01 0.96 2/65 2105 /proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956 [pid=1403] ppid=1401 vsize=20840 CPUtime=562.87 /proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56281 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1403/statm: 5210 4603 311 324 0 4280 0 Current children cumulated CPU time (s) 562.87 Current children cumulated vsize (KiB) 20840 Child status: 0 Real time (s): 563.26 CPU time (s): 562.938 CPU user time (s): 562.869 CPU system time (s): 0.068989 CPU usage (%): 99.9429 Max. virtual memory (cumulated for all children) (KiB): 20840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 562.869 system time used= 0.068989 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4639 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= 9 involuntary context switches= 803 runsolver used 0.462929 second user time and 1.13583 second system time The end
Begin job on node59 on Tue May 1 01:54:27 UTC 2007 IDJOB= 452839 IDBENCH= 47906 IDSOLVER= 199 FILE ID= node59/452839-1177984466 PBS_JOBID= 4728083 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452839-1177984466/instance-452839-1177984466.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-452839-1177984466 -o ROOT/results/node59/solver-452839-1177984466 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452839-1177984466/instance-452839-1177984466.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 947e947c586d02edcb816b66608818b9 RANDOM SEED= 125819939 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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 : 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.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: 1766432 kB Buffers: 23656 kB Cached: 186752 kB SwapCached: 2364 kB Active: 47924 kB Inactive: 172836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766432 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 6588 kB Writeback: 0 kB Mapped: 17148 kB Slab: 54700 kB Committed_AS: 3225448 kB PageTables: 1472 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 node59 on Tue May 1 02:03:50 UTC 2007