Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 402.465 | 402.625 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb |
MD5SUM | 29d9c644cbc560d09c0ca2d5a8d36791 |
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.153975 |
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 | 144 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
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 | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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/452873-1177989309/instance-452873-1177989309.opb 0.00/0.00 c File size is 6827 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off LPR mode. 10.38/10.48 c 101 528 888 9812 11 2991 4875 101 6733 0.01 10.38/10.48 c 252 528 1039 22885 22 3277 5363 252 5361 0.05 10.38/10.48 c 478 528 1265 38430 30 3713 5900 478 7242 0.07 10.38/10.48 c 816 528 1603 61393 38 4250 6491 816 7698 0.11 10.38/10.48 c 1324 528 2111 92485 43 5254 7141 1324 7697 0.17 10.38/10.48 c 2087 528 2874 137899 47 6788 7856 2087 7297 0.29 10.38/10.48 c 3234 528 4021 209745 52 9131 8642 3234 6586 0.49 10.38/10.48 c 4956 528 5743 328754 57 12633 9507 4956 6990 0.71 10.38/10.48 c 7541 528 8328 498058 59 17761 10458 7541 5886 1.28 10.38/10.48 c 11420 528 6856 375991 54 14850 11504 6069 3724 3.07 10.38/10.48 c 17243 528 6715 404601 60 14524 12655 5928 4035 4.27 10.38/10.48 c 25981 528 8902 550973 61 18871 13921 8115 3418 7.60 10.38/10.48 o 33 10.477 78.55/78.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.55/78.62 c 37387 528 12910 928763 71 26926 4447 12123 3568 10.48 78.55/78.62 c 37488 519 3113 160921 51 7313 4892 2326 3549 10.56 78.55/78.62 c 37738 519 3363 177843 52 7790 5382 2576 3558 10.61 78.55/78.62 c 38213 519 3838 211693 55 8801 5921 3051 3583 10.66 78.55/78.62 c 39027 519 4652 261558 56 10485 6514 3865 3629 10.75 78.55/78.62 c 40347 519 5972 338434 56 13119 7166 5185 3670 10.99 78.55/78.62 c 42429 519 4401 218125 49 9983 7883 3614 3693 11.49 78.55/78.62 c 45652 519 7624 401684 52 16436 8672 6837 3556 12.84 78.55/78.62 c 50589 508 7974 478177 59 17085 9540 7187 3738 13.53 78.55/78.62 c 58095 508 5655 282432 49 12417 10495 4868 3598 16.15 78.55/78.62 c 69457 508 6038 353954 58 13217 11545 5251 3670 18.92 78.55/78.62 c 86603 508 10821 623769 57 22786 12700 10034 3387 25.56 78.55/78.62 c 112422 508 10495 634535 60 22113 13971 9708 2730 41.17 78.55/78.62 c 151254 508 13241 772979 58 27679 15369 12454 2177 69.45 78.55/78.62 o 9 78.582 167.62/167.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 167.62/167.77 c 170650 508 8505 524920 61 18164 4443 7718 2171 78.58 167.62/167.77 c 170753 508 3115 158699 50 7398 4888 2328 2171 78.64 167.62/167.77 c 171004 508 3366 175245 52 7945 5377 2579 2173 78.66 167.62/167.77 c 171479 508 3841 204453 53 8862 5915 3054 2178 78.71 167.62/167.77 c 172293 508 4655 253228 54 10507 6507 3868 2185 78.83 167.62/167.77 c 173613 508 5975 331087 55 13118 7158 5188 2195 79.09 167.62/167.77 c 175695 508 4369 237079 54 9893 7874 3582 2211 79.46 167.62/167.77 c 178918 508 7592 458747 60 16365 8662 6805 2235 80.02 167.62/167.77 c 183854 508 7940 456631 57 17055 9529 7153 2258 81.42 167.62/167.77 c 191360 508 10201 625138 61 21571 10482 9414 2294 83.40 167.62/167.77 c 202722 508 10111 537192 53 21343 11531 9324 2301 88.07 167.62/167.77 c 219866 508 9716 519436 53 20547 12685 8929 2252 97.60 167.62/167.77 c 245686 487 8368 517045 61 17857 13954 7581 2238 109.75 167.62/167.77 c 284519 487 11114 671324 60 23383 15350 10327 2060 138.08 167.62/167.77 o 3 167.704 402.44/402.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 402.44/402.62 c 323994 485 11230 653361 58 23571 4439 10443 1931 167.70 402.44/402.62 c 324094 475 3117 135592 43 7405 4883 2330 1931 167.80 402.44/402.62 c 324345 475 3368 151556 44 7916 5372 2581 1932 167.84 402.44/402.62 c 324821 475 3844 181944 47 8842 5910 3057 1934 167.93 402.44/402.62 c 325634 475 4657 232591 49 10474 6502 3870 1937 168.08 402.44/402.62 c 326954 454 5977 318190 53 13118 7153 5190 1942 168.30 402.44/402.62 c 329036 454 4374 237115 54 9897 7869 3587 1950 168.72 402.44/402.62 c 332259 454 7597 467888 61 16316 8656 6810 1961 169.38 402.44/402.62 c 337196 454 7832 472621 60 16908 9522 7045 1973 170.88 402.44/402.62 c 344703 454 5560 298984 53 12313 10475 4773 1963 175.53 402.44/402.62 c 356065 454 6209 321782 51 13596 11523 5422 1948 182.78 402.44/402.62 c 373209 451 10961 669949 61 23062 12676 10174 1963 190.05 402.44/402.62 c 399029 451 10257 637808 62 21661 13944 9470 1930 206.68 402.44/402.62 c 437862 450 13498 833996 61 28161 15339 12711 1892 231.43 402.44/402.62 c 496214 450 8761 500315 57 18707 16873 7974 1790 277.14 402.44/402.62 c 583846 449 10039 555829 55 21283 18561 9252 1630 357.97 402.44/402.62 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 402.44/402.62 v -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 402.44/402.62 v -x60 -x61 x62 -x63 -x64 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x105 -x106 x107 x108 402.44/402.62 v x109 -x110 -x111 -x112 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x81 -x82 -x83 -x84 402.44/402.62 v x85 -x86 -x87 x88 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 x89 x90 -x91 -x92 -x93 x94 -x95 -x96 x129 -x130 -x131 -x132 402.44/402.62 v -x133 -x134 x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 402.44/402.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 402.44/402.62 c 56 618352 5068 640350 16337 839742 15550 1536 402.46 402.44/402.62 c Objective: 3 402.44/402.62 s OPTIMUM FOUND 402.44/402.62 c Total time: 402.458 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-452873-1177989309 -o ROOT/results/node66/solver-452873-1177989309 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452873-1177989309/instance-452873-1177989309.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: 0.99 0.98 0.99 3/64 14952 /proc/meminfo: memFree=1822568/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=19556 CPUtime=0 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 274920462 20025344 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 4889 343 288 324 0 3957 0 [startup+0.019588 s] /proc/loadavg: 0.99 0.98 0.99 3/64 14952 /proc/meminfo: memFree=1822568/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=4320 CPUtime=0.01 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 479 0 0 0 1 0 0 0 18 0 1 0 274920462 4423680 447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 1080 447 310 324 0 150 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4320 [startup+0.101604 s] /proc/loadavg: 0.99 0.98 0.99 3/64 14952 /proc/meminfo: memFree=1822568/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=4848 CPUtime=0.09 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 634 0 0 0 9 0 0 0 18 0 1 0 274920462 4964352 602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 1212 602 310 324 0 282 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4848 [startup+0.301642 s] /proc/loadavg: 0.99 0.98 0.99 3/64 14952 /proc/meminfo: memFree=1822568/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=6140 CPUtime=0.29 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 955 0 0 0 29 0 0 0 19 0 1 0 274920462 6287360 923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 1535 923 310 324 0 605 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6140 [startup+0.701724 s] /proc/loadavg: 0.99 0.98 0.99 3/64 14952 /proc/meminfo: memFree=1822568/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=8728 CPUtime=0.69 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 1606 0 0 0 68 1 0 0 22 0 1 0 274920462 8937472 1574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 2182 1574 310 324 0 1252 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8728 [startup+1.50188 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1815904/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=11848 CPUtime=1.49 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 2356 0 0 0 148 1 0 0 25 0 1 0 274920462 12132352 2324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10270625 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 2962 2324 310 324 0 2032 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11848 [startup+3.1022 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1813024/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=14036 CPUtime=3.09 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 2925 0 0 0 308 1 0 0 25 0 1 0 274920462 14372864 2893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 3509 2893 310 324 0 2579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14036 [startup+6.30184 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1810656/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=16508 CPUtime=6.28 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 3543 0 0 0 626 2 0 0 25 0 1 0 274920462 16904192 3511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 4127 3511 310 324 0 3197 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16508 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1806888/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=19088 CPUtime=12.68 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4188 0 0 0 1266 2 0 0 25 0 1 0 274920462 19546112 4156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 4772 4156 311 324 0 3842 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19088 [startup+25.5017 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1806888/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=19088 CPUtime=25.48 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4188 0 0 0 2546 2 0 0 25 0 1 0 274920462 19546112 4156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10272208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 4772 4156 311 324 0 3842 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19088 [startup+51.1018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1806888/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=19088 CPUtime=51.06 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4188 0 0 0 5104 2 0 0 25 0 1 0 274920462 19546112 4156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 4772 4156 311 324 0 3842 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 19088 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1806184/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=19872 CPUtime=102.25 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4379 0 0 0 10222 3 0 0 25 0 1 0 274920462 20348928 4347 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 4968 4347 311 324 0 4038 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 19872 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1806120/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=19872 CPUtime=162.22 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4379 0 0 0 16219 3 0 0 25 0 1 0 274920462 20348928 4347 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 4968 4347 311 324 0 4038 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 19872 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1806120/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=19872 CPUtime=222.2 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4379 0 0 0 22217 3 0 0 25 0 1 0 274920462 20348928 4347 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 4968 4347 311 324 0 4038 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 19872 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1805864/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=20132 CPUtime=282.18 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4448 0 0 0 28215 3 0 0 25 0 1 0 274920462 20615168 4416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 5033 4416 311 324 0 4103 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 20132 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1805864/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=20128 CPUtime=342.15 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4448 0 0 0 34212 3 0 0 25 0 1 0 274920462 20611072 4416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 5032 4416 311 324 0 4102 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 20128 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1804264/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=21680 CPUtime=402.13 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4841 0 0 0 40209 4 0 0 25 0 1 0 274920462 22200320 4809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 5420 4809 311 324 0 4490 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 21680 Solver just ended. Dumping a history of the last processes samples [startup+402.502 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1804264/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=21680 CPUtime=402.34 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4841 0 0 0 40230 4 0 0 25 0 1 0 274920462 22200320 4809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 5420 4809 311 324 0 4490 0 Current children cumulated CPU time (s) 402.34 Current children cumulated vsize (KiB) 21680 [startup+402.606 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14953 /proc/meminfo: memFree=1804264/2055920 swapFree=4183004/4192956 [pid=14952] ppid=14950 vsize=21680 CPUtime=402.44 /proc/14952/stat : 14952 (bsolo3.0.17) R 14950 14952 2902 0 -1 4194304 4841 0 0 0 40240 4 0 0 25 0 1 0 274920462 22200320 4809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14952/statm: 5420 4809 311 324 0 4490 0 Current children cumulated CPU time (s) 402.44 Current children cumulated vsize (KiB) 21680 Child status: 0 Real time (s): 402.625 CPU time (s): 402.465 CPU user time (s): 402.419 CPU system time (s): 0.045993 CPU usage (%): 99.9601 Max. virtual memory (cumulated for all children) (KiB): 21680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 402.419 system time used= 0.045993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4845 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= 12 involuntary context switches= 373 runsolver used 0.336948 second user time and 0.771882 second system time The end
Begin job on node66 on Tue May 1 03:15:09 UTC 2007 IDJOB= 452873 IDBENCH= 47940 IDSOLVER= 199 FILE ID= node66/452873-1177989309 PBS_JOBID= 4728123 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=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452873-1177989309/instance-452873-1177989309.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-452873-1177989309 -o ROOT/results/node66/solver-452873-1177989309 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452873-1177989309/instance-452873-1177989309.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 29d9c644cbc560d09c0ca2d5a8d36791 RANDOM SEED= 526041787 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.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: 1823048 kB Buffers: 19060 kB Cached: 134532 kB SwapCached: 3760 kB Active: 20300 kB Inactive: 146664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823048 kB SwapTotal: 4192956 kB SwapFree: 4183004 kB Dirty: 6676 kB Writeback: 0 kB Mapped: 18980 kB Slab: 51960 kB Committed_AS: 2864032 kB PageTables: 1392 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 node66 on Tue May 1 03:21:52 UTC 2007