Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 895.083 | 895.598 |
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.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/431808-1178010526/instance-431808-1178010526.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.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.00 c Switching off LPR mode. 119.12/119.28 c 104 324 600 9263 15 1945 3039 104 7999 0.01 119.12/119.28 c 254 324 750 18907 25 2195 3343 254 8758 0.03 119.12/119.28 c 483 324 979 37774 38 2660 3678 483 10500 0.05 119.12/119.28 c 823 324 1319 72842 55 3376 4046 823 8484 0.10 119.12/119.28 c 1332 324 1828 114825 62 4409 4451 1332 8763 0.15 119.12/119.28 c 2095 324 2591 180244 69 5924 4897 2095 8413 0.25 119.12/119.28 c 3242 324 3738 277698 74 8173 5387 3242 7888 0.41 119.12/119.28 c 4964 324 5460 409108 74 11642 5926 4964 6174 0.80 119.12/119.28 c 7548 324 4996 347150 69 10713 6519 4500 4965 1.52 119.12/119.28 c 11427 324 5533 388080 70 11781 7171 5037 4144 2.76 119.12/119.28 c 17250 324 4083 301935 73 8894 7889 3587 3794 4.55 119.12/119.28 c 25988 324 4442 287493 64 9651 8678 3946 3412 7.62 119.12/119.28 c 39098 324 8724 617683 70 18189 9546 8228 2977 13.13 119.12/119.28 c 58770 324 8987 643026 71 18667 10501 8491 2686 21.88 119.12/119.28 c 88281 324 10855 869383 80 22366 11552 10359 2380 37.08 119.12/119.28 c 132552 324 6747 515978 76 14220 12708 6251 2079 63.75 119.12/119.28 c 198963 324 6851 553224 80 14434 13979 6355 1770 112.39 119.12/119.28 o 133 119.215 170.40/170.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 170.40/170.56 c 210354 324 11194 850117 75 23046 2780 10698 1764 119.22 170.40/170.56 c 210455 313 1988 124783 62 4756 3059 1492 1764 119.30 170.40/170.56 c 210705 313 2238 144862 64 5228 3365 1742 1765 119.33 170.40/170.56 c 211181 313 2714 182852 67 6186 3702 2218 1768 119.39 170.40/170.56 c 211994 313 3527 248247 70 7815 4073 3031 1773 119.52 170.40/170.56 c 213315 313 2721 177108 65 6193 4481 2225 1779 119.88 170.40/170.56 c 215397 313 4803 345248 71 10374 4930 4307 1791 120.25 170.40/170.56 c 218620 313 5389 392478 72 11507 5424 4893 1806 121.00 170.40/170.56 c 223556 313 4731 328067 69 10160 5967 4235 1823 122.59 170.40/170.56 c 231063 313 6110 428316 70 12944 6564 5614 1846 125.14 170.40/170.56 c 242424 313 3781 284503 75 8257 7221 3285 1888 128.36 170.40/170.56 c 259568 313 5946 421255 70 12550 7944 5450 1931 134.38 170.40/170.56 c 285387 313 7016 556217 79 14740 8739 6520 1981 144.06 170.40/170.56 c 324220 313 5415 367218 67 11489 9613 4919 2031 159.57 170.40/170.56 o 9 170.47 453.74/454.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 453.74/454.06 c 348394 313 9326 748735 80 19399 2778 8830 2043 170.47 453.74/454.06 c 348494 313 1988 123924 62 4750 3056 1492 2043 170.55 453.74/454.06 c 348744 313 2238 144734 64 5206 3362 1742 2044 170.57 453.74/454.06 c 349219 313 2713 184357 67 6165 3699 2217 2046 170.63 453.74/454.06 c 350032 313 3526 249647 70 7799 4069 3030 2050 170.73 453.74/454.06 c 351353 313 2713 174842 64 6114 4476 2217 2054 171.04 453.74/454.06 c 353435 313 4795 333899 69 10278 4924 4299 2059 171.60 453.74/454.06 c 356658 313 2961 193532 65 6622 5417 2465 2067 172.54 453.74/454.06 c 361595 313 5105 349905 68 10921 5959 4609 2078 173.98 453.74/454.06 c 369101 313 3479 228324 65 7715 6555 2983 2096 176.06 453.74/454.06 c 380462 313 4438 302020 68 9598 7211 3942 2109 180.37 453.74/454.06 c 397607 313 6780 469597 69 14311 7933 6284 2128 186.78 453.74/454.06 c 423426 269 7766 567008 73 16303 8727 7270 2146 197.28 453.74/454.06 c 462258 269 6186 417635 67 13117 9600 5690 2170 212.94 453.74/454.06 c 520610 269 9148 613897 67 19052 10561 8652 2196 237.02 453.74/454.06 c 608242 269 8069 602519 74 16878 11618 7573 2170 280.23 453.74/454.06 c 739795 269 7448 573487 76 15561 12780 6952 2082 355.28 453.74/454.06 o 5 453.801 454.13/454.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 454.13/454.43 c 904208 268 6894 530331 76 14545 2770 6398 1991 454.04 454.13/454.43 c 904308 268 1989 124458 62 4717 3048 1493 1991 454.11 454.13/454.43 c 904560 268 2241 146265 65 5236 3353 1745 1991 454.15 454.13/454.43 o 3 454.173 894.97/895.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 894.97/895.59 c 904762 257 2444 160982 65 5633 2768 1948 1992 454.17 894.97/895.59 c 904863 234 2545 169998 66 5818 3045 2049 1992 454.19 894.97/895.59 c 905113 234 2795 193093 69 6328 3350 2299 1992 454.22 894.97/895.59 c 905589 234 3271 234738 71 7254 3686 2775 1993 454.30 894.97/895.59 c 906402 234 4084 305628 74 8938 4055 3588 1994 454.49 894.97/895.59 c 907723 234 3193 234808 73 7134 4461 2697 1995 454.87 894.97/895.59 c 909804 234 2863 201177 70 6492 4908 2367 1996 455.78 894.97/895.59 c 913027 234 3459 255269 73 7678 5399 2963 1999 456.69 894.97/895.59 c 917963 234 5530 422100 76 11824 5939 5034 2002 458.34 894.97/895.59 c 925470 234 3637 248714 68 8000 6533 3141 2007 460.96 894.97/895.59 c 936832 234 4712 338989 71 10140 7187 4216 2014 465.10 894.97/895.59 c 953977 234 6819 509177 74 14382 7906 6323 2022 471.73 894.97/895.59 c 979796 234 7946 597162 75 16661 8697 7450 2025 483.72 894.97/895.59 c 1018629 234 5680 417115 73 12109 9567 5184 2037 499.98 894.97/895.59 c 1076982 234 8748 633241 72 18240 10524 8252 2045 526.49 894.97/895.59 c 1164614 234 9632 737771 76 19986 11577 9136 2020 576.36 894.97/895.59 c 1296167 234 9246 747782 80 19215 12735 8750 2015 643.11 894.97/895.59 c 1493599 234 8248 630530 76 17202 14009 7752 1944 768.07 894.97/895.59 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 894.97/895.59 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 894.97/895.59 v x50 -x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 894.97/895.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 894.97/895.59 c 69 1661069 7488 1683062 10994 683374 10498 1855 895.08 894.97/895.59 c Objective: 3 894.97/895.59 s OPTIMUM FOUND 894.97/895.59 c Total time: 895.077 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-431808-1178010526 -o ROOT/results/node51/solver-431808-1178010526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431808-1178010526/instance-431808-1178010526.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.92 0.98 0.99 3/64 5089 /proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=3932 CPUtime=0 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 381 0 0 0 0 0 0 0 18 0 1 0 155897696 4026368 350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 983 351 292 324 0 50 0 [startup+0.0352131 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5089 /proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=4308 CPUtime=0.03 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 502 0 0 0 3 0 0 0 18 0 1 0 155897696 4411392 469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 1077 469 312 324 0 146 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4308 [startup+0.101218 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5089 /proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=5080 CPUtime=0.09 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 683 0 0 0 9 0 0 0 18 0 1 0 155897696 5201920 650 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 1270 650 312 324 0 339 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5080 [startup+0.301235 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5089 /proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=7012 CPUtime=0.29 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 1167 0 0 0 29 0 0 0 19 0 1 0 155897696 7180288 1134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 1753 1134 312 324 0 822 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7012 [startup+0.701272 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5089 /proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=9356 CPUtime=0.69 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 1759 0 0 0 69 0 0 0 23 0 1 0 155897696 9580544 1726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 2339 1726 312 324 0 1408 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9356 [startup+1.50134 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5090 /proc/meminfo: memFree=1805968/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=11036 CPUtime=1.49 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 2161 0 0 0 148 1 0 0 25 0 1 0 155897696 11300864 2128 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 2759 2128 312 324 0 1828 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11036 [startup+3.10149 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5090 /proc/meminfo: memFree=1805264/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=11292 CPUtime=3.09 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 2240 0 0 0 307 2 0 0 25 0 1 0 155897696 11563008 2207 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3051048 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 2823 2207 312 324 0 1892 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11292 [startup+6.30177 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5090 /proc/meminfo: memFree=1803536/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=14240 CPUtime=6.29 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 2983 0 0 0 626 3 0 0 25 0 1 0 155897696 14581760 2950 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 3560 2950 312 324 0 2629 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14240 [startup+12.7013 s] /proc/loadavg: 0.94 0.98 0.99 2/65 5090 /proc/meminfo: memFree=1801888/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=14244 CPUtime=12.69 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 2984 0 0 0 1265 4 0 0 25 0 1 0 155897696 14585856 2951 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 3561 2951 312 324 0 2630 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14244 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 5090 /proc/meminfo: memFree=1799776/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=16644 CPUtime=25.47 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 3574 0 0 0 2541 6 0 0 25 0 1 0 155897696 17043456 3541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572825 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 4161 3541 312 324 0 3230 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 16644 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 5090 /proc/meminfo: memFree=1797984/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=18316 CPUtime=51.06 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4002 0 0 0 5096 10 0 0 25 0 1 0 155897696 18755584 3969 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 4579 3969 312 324 0 3648 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 18316 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 5092 /proc/meminfo: memFree=1797344/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=18984 CPUtime=102.23 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4160 0 0 0 10206 17 0 0 25 0 1 0 155897696 19439616 4121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3051249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 4746 4121 312 324 0 3815 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 18984 [startup+162.302 s] /proc/loadavg: 1.07 1.00 1.00 2/65 5092 /proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=162.2 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 16188 32 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 20172 [startup+222.301 s] /proc/loadavg: 1.02 1.00 1.00 2/65 5092 /proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=222.17 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 22173 44 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 20172 [startup+282.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 5092 /proc/meminfo: memFree=1796064/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=282.13 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 28159 54 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 20172 [startup+342.302 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5092 /proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=342.1 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 34145 65 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 20172 [startup+402.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 5092 /proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=402.06 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 40131 75 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 20172 [startup+462.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 5092 /proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=462.03 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 46116 87 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 20172 [startup+522.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5092 /proc/meminfo: memFree=1795936/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=521.99 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 52101 98 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 20172 [startup+582.302 s] /proc/loadavg: 1.09 1.03 1.00 2/65 5092 /proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=581.96 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 58089 107 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 581.96 Current children cumulated vsize (KiB) 20172 [startup+642.302 s] /proc/loadavg: 1.23 1.07 1.01 2/65 5092 /proc/meminfo: memFree=1795936/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=641.93 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 64076 117 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 20172 [startup+702.301 s] /proc/loadavg: 1.08 1.05 1.01 2/65 5092 /proc/meminfo: memFree=1795872/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=701.89 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 70062 127 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 701.89 Current children cumulated vsize (KiB) 20172 [startup+762.306 s] /proc/loadavg: 1.03 1.04 1.00 3/65 5092 /proc/meminfo: memFree=1795936/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20172 CPUtime=761.86 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 76050 136 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5043 4438 313 324 0 4112 0 Current children cumulated CPU time (s) 761.86 Current children cumulated vsize (KiB) 20172 [startup+822.301 s] /proc/loadavg: 1.01 1.03 1.00 2/65 5092 /proc/meminfo: memFree=1795616/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20608 CPUtime=821.82 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 82039 143 0 0 25 0 1 0 155897696 21102592 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5152 4538 313 324 0 4221 0 Current children cumulated CPU time (s) 821.82 Current children cumulated vsize (KiB) 20608 [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5092 /proc/meminfo: memFree=1795616/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20600 CPUtime=881.78 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 88027 151 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5150 4538 313 324 0 4219 0 Current children cumulated CPU time (s) 881.78 Current children cumulated vsize (KiB) 20600 Solver just ended. Dumping a history of the last processes samples [startup+883.102 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5092 /proc/meminfo: memFree=1795616/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20600 CPUtime=882.58 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 88107 151 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5150 4538 313 324 0 4219 0 Current children cumulated CPU time (s) 882.58 Current children cumulated vsize (KiB) 20600 [startup+889.501 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5092 /proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20600 CPUtime=888.98 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 88746 152 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5150 4538 313 324 0 4219 0 Current children cumulated CPU time (s) 888.98 Current children cumulated vsize (KiB) 20600 [startup+892.701 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5092 /proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20600 CPUtime=892.17 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 89064 153 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5150 4538 313 324 0 4219 0 Current children cumulated CPU time (s) 892.17 Current children cumulated vsize (KiB) 20600 [startup+894.306 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5092 /proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20600 CPUtime=893.78 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 89225 153 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5150 4538 313 324 0 4219 0 Current children cumulated CPU time (s) 893.78 Current children cumulated vsize (KiB) 20600 [startup+895.102 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5092 /proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20600 CPUtime=894.57 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 89304 153 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5150 4538 313 324 0 4219 0 Current children cumulated CPU time (s) 894.57 Current children cumulated vsize (KiB) 20600 [startup+895.502 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5092 /proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956 [pid=5089] ppid=5087 vsize=20600 CPUtime=894.97 /proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 89344 153 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5089/statm: 5150 4538 313 324 0 4219 0 Current children cumulated CPU time (s) 894.97 Current children cumulated vsize (KiB) 20600 Child status: 0 Real time (s): 895.598 CPU time (s): 895.083 CPU user time (s): 893.54 CPU system time (s): 1.54277 CPU usage (%): 99.9425 Max. virtual memory (cumulated for all children) (KiB): 20700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 893.54 system time used= 1.54276 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= 11 involuntary context switches= 3569 runsolver used 0.98485 second user time and 2.23566 second system time The end
Begin job on node51 on Tue May 1 09:08:46 UTC 2007 IDJOB= 431808 IDBENCH= 48078 IDSOLVER= 163 FILE ID= node51/431808-1178010526 PBS_JOBID= 4728269 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/431808-1178010526/instance-431808-1178010526.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-431808-1178010526 -o ROOT/results/node51/solver-431808-1178010526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431808-1178010526/instance-431808-1178010526.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1214df7607414e67bdb9a74c838a7ae9 RANDOM SEED= 184601583 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1813296 kB Buffers: 26476 kB Cached: 143236 kB SwapCached: 3552 kB Active: 45660 kB Inactive: 133720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813296 kB SwapTotal: 4192956 kB SwapFree: 4183264 kB Dirty: 6712 kB Writeback: 0 kB Mapped: 15500 kB Slab: 49276 kB Committed_AS: 4480888 kB PageTables: 1408 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 node51 on Tue May 1 09:23:42 UTC 2007