Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 110.033 | 110.07 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb |
MD5SUM | 74c00e33b4232d137ad873ae982593f6 |
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.097984 |
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 | 96 |
Total number of constraints | 9 |
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 | 9 |
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) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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/452987-1178006789/instance-452987-1178006789.opb 0.00/0.00 c File size is 4596 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.002 s 0.00/0.00 c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % 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 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.01 c Switching off LPR mode. 23.38/23.41 c 100 352 625 11498 18 2067 3244 100 6250 0.02 23.38/23.41 c 250 352 775 22816 29 2360 3569 250 8064 0.03 23.38/23.41 c 477 352 1002 38284 38 2793 3926 477 9540 0.05 23.38/23.41 c 815 352 1340 60687 45 3437 4319 815 9702 0.08 23.38/23.41 c 1323 352 1848 95422 51 4449 4751 1323 10099 0.13 23.38/23.41 c 2086 352 2611 145035 55 6016 5227 2086 10175 0.20 23.38/23.41 c 3232 352 3757 226741 60 8290 5750 3232 9341 0.35 23.38/23.41 c 4953 352 5478 336931 61 11726 6326 4953 7167 0.69 23.38/23.41 c 7538 352 4739 278067 58 10215 6959 4214 6571 1.15 23.38/23.41 c 11417 352 4920 263982 53 10550 7655 4395 5426 2.10 23.38/23.41 c 17239 352 6764 404162 59 14248 8421 6239 5020 3.43 23.38/23.41 c 25976 352 6921 375491 54 14565 9264 6396 4271 6.08 23.38/23.41 c 39087 352 5517 340387 61 11811 10191 4992 3783 10.33 23.38/23.41 c 58757 352 8945 491482 54 18672 11211 8420 3263 18.00 23.38/23.41 o 51 23.407 32.18/32.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.18/32.21 c 69836 349 8485 483396 56 17708 2965 7960 2983 23.41 32.18/32.21 c 69936 349 2111 110562 52 5011 3262 1586 2980 23.46 32.18/32.21 c 70187 349 2362 128316 54 5481 3589 1837 2988 23.49 32.18/32.21 c 70662 349 2837 161133 56 6454 3948 2312 3001 23.54 32.18/32.21 c 71476 349 3651 216688 59 8073 4343 3126 3013 23.72 32.18/32.21 c 72797 349 2726 150236 55 6243 4778 2201 3018 24.11 32.18/32.21 c 74878 349 4807 293630 61 10425 5256 4282 3069 24.39 32.18/32.21 c 78101 349 5202 306986 59 11193 5782 4677 3145 24.83 32.18/32.21 c 83037 349 3894 223332 57 8538 6361 3369 3196 25.98 32.18/32.21 c 90543 349 4737 266244 56 10171 6998 4212 3187 28.41 32.18/32.21 o 17 32.207 52.47/52.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.47/52.58 c 101347 329 4851 270745 55 10463 2961 4326 3146 32.21 52.47/52.58 c 101448 329 2112 97441 46 5028 3258 1587 3147 32.23 52.47/52.58 c 101698 329 2362 114558 48 5511 3584 1837 3152 32.26 52.47/52.58 c 102173 329 2837 146961 51 6479 3943 2312 3161 32.32 52.47/52.58 c 102986 329 3650 202230 55 8078 4338 3125 3174 32.44 52.47/52.58 c 104308 329 2699 141280 52 6171 4772 2174 3195 32.64 52.47/52.58 c 106390 329 4781 265494 55 10299 5250 4256 3225 32.98 52.47/52.58 c 109613 319 5118 300706 58 11043 5776 4593 3244 33.78 52.47/52.58 c 114549 319 4094 232796 56 8973 6354 3569 3213 35.64 52.47/52.58 c 122055 319 5073 290177 57 10915 6990 4548 3188 38.28 52.47/52.58 c 133416 319 5692 334442 58 12174 7690 5167 3130 42.62 52.47/52.58 c 150560 319 7081 401901 56 14908 8460 6556 2925 51.47 52.47/52.58 o 11 52.562 61.37/61.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.37/61.41 c 154746 319 6763 394387 58 14312 2959 6238 2944 52.56 61.37/61.41 c 154847 319 2112 99717 47 5015 3255 1587 2943 52.60 61.37/61.41 c 155097 319 2362 116925 49 5535 3581 1837 2947 52.62 61.37/61.41 c 155573 319 2838 149839 52 6446 3940 2313 2952 52.69 61.37/61.41 c 156387 319 3652 204395 55 8069 4335 3127 2958 52.86 61.37/61.41 c 157708 319 2710 147219 54 6196 4769 2185 2963 53.22 61.37/61.41 c 159790 319 4792 283604 59 10387 5246 4267 2965 53.88 61.37/61.41 c 163014 319 5089 303133 59 10994 5771 4564 2991 54.50 61.37/61.41 c 167950 309 3807 214711 56 8376 6349 3282 3012 55.75 61.37/61.41 c 175457 309 4763 263912 55 10286 6984 4238 2993 58.61 61.37/61.41 o 3 61.388 109.96/110.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 109.96/110.06 c 183720 309 5725 341414 59 12237 2957 5200 2992 61.39 109.96/110.06 c 183821 309 2112 106837 50 5025 3253 1587 2992 61.42 109.96/110.06 c 184071 309 2362 124413 52 5509 3579 1837 2996 61.44 109.96/110.06 c 184547 309 2838 157382 55 6438 3937 2313 3001 61.49 109.96/110.06 c 185361 309 3652 212213 58 8095 4331 3127 3005 61.67 109.96/110.06 c 186682 309 2698 144308 53 6144 4765 2173 3009 62.03 109.96/110.06 c 188763 309 4779 280743 58 10336 5242 4254 3013 62.64 109.96/110.06 c 191987 309 5282 305173 57 11350 5767 4757 3008 63.81 109.96/110.06 c 196923 309 4247 247196 58 9254 6344 3722 2999 65.65 109.96/110.06 c 204429 278 4949 284785 57 10692 6979 4424 3017 67.75 109.96/110.06 c 215790 278 5460 307507 56 11650 7677 4935 2988 72.21 109.96/110.06 c 232934 278 6728 384922 57 14217 8445 6203 2928 79.54 109.96/110.06 c 258753 278 5607 321787 57 11996 9290 5082 2881 89.81 109.96/110.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 109.96/110.06 v -x32 x33 x34 x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x49 -x50 109.96/110.06 v -x51 -x52 -x53 -x54 -x55 -x56 x73 -x74 x75 x76 x77 -x78 -x79 -x80 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 109.96/110.06 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 109.96/110.06 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 109.96/110.06 c 59 297298 1524 305429 5970 312534 5445 2701 110.03 109.96/110.06 c Objective: 3 109.96/110.06 s OPTIMUM FOUND 109.96/110.06 c Total time: 110.03 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-452987-1178006789 -o ROOT/results/node15/solver-452987-1178006789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452987-1178006789/instance-452987-1178006789.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/77 29494 /proc/meminfo: memFree=1797872/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=3932 CPUtime=0 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 248596484 4026368 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 983 346 290 324 0 51 0 [startup+0.063952 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29494 /proc/meminfo: memFree=1797872/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=4716 CPUtime=0.05 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 589 0 0 0 5 0 0 0 18 0 1 0 248596484 4829184 557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 1179 557 310 324 0 249 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4716 [startup+0.101955 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29494 /proc/meminfo: memFree=1797872/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=5104 CPUtime=0.09 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 683 0 0 0 9 0 0 0 18 0 1 0 248596484 5226496 651 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 1276 651 310 324 0 346 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301974 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29494 /proc/meminfo: memFree=1797872/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=6912 CPUtime=0.29 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 1141 0 0 0 29 0 0 0 19 0 1 0 248596484 7077888 1109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 1728 1109 310 324 0 798 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6912 [startup+0.70201 s] /proc/loadavg: 1.00 1.00 1.00 3/77 29494 /proc/meminfo: memFree=1797872/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=8996 CPUtime=0.68 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 1643 0 0 0 68 0 0 0 22 0 1 0 248596484 9211904 1611 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7944065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 2249 1611 310 324 0 1319 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8996 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1791080/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=10416 CPUtime=1.49 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2016 0 0 0 148 1 0 0 25 0 1 0 248596484 10665984 1984 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 2604 1984 310 324 0 1674 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10416 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1790568/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=11176 CPUtime=3.09 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2194 0 0 0 308 1 0 0 25 0 1 0 248596484 11444224 2162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 2794 2162 310 324 0 1864 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11176 [startup+6.30152 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1789352/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=11940 CPUtime=6.28 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2386 0 0 0 627 1 0 0 25 0 1 0 248596484 12226560 2354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 2985 2354 310 324 0 2055 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11940 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787384/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13844 CPUtime=12.69 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2884 0 0 0 1267 2 0 0 25 0 1 0 248596484 14176256 2852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3461 2852 310 324 0 2531 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13844 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787448/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13848 CPUtime=25.48 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2886 0 0 0 2546 2 0 0 25 0 1 0 248596484 14180352 2854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3462 2854 311 324 0 2532 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13848 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787320/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13848 CPUtime=51.07 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2886 0 0 0 5105 2 0 0 25 0 1 0 248596484 14180352 2854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3462 2854 311 324 0 2532 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13848 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787384/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13844 CPUtime=102.26 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2886 0 0 0 10224 2 0 0 25 0 1 0 248596484 14176256 2854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3461 2854 311 324 0 2531 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13844 Solver just ended. Dumping a history of the last processes samples [startup+105.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787384/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13844 CPUtime=105.46 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2886 0 0 0 10544 2 0 0 25 0 1 0 248596484 14176256 2854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3461 2854 311 324 0 2531 0 Current children cumulated CPU time (s) 105.46 Current children cumulated vsize (KiB) 13844 [startup+107.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787384/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13844 CPUtime=107.05 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2886 0 0 0 10703 2 0 0 25 0 1 0 248596484 14176256 2854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3461 2854 311 324 0 2531 0 Current children cumulated CPU time (s) 107.05 Current children cumulated vsize (KiB) 13844 [startup+108.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787384/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13844 CPUtime=108.65 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2886 0 0 0 10863 2 0 0 25 0 1 0 248596484 14176256 2854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7946012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3461 2854 311 324 0 2531 0 Current children cumulated CPU time (s) 108.65 Current children cumulated vsize (KiB) 13844 [startup+109.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787384/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13844 CPUtime=109.45 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2886 0 0 0 10943 2 0 0 25 0 1 0 248596484 14176256 2854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3461 2854 311 324 0 2531 0 Current children cumulated CPU time (s) 109.45 Current children cumulated vsize (KiB) 13844 [startup+109.901 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787384/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13844 CPUtime=109.86 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2886 0 0 0 10984 2 0 0 25 0 1 0 248596484 14176256 2854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3461 2854 311 324 0 2531 0 Current children cumulated CPU time (s) 109.86 Current children cumulated vsize (KiB) 13844 [startup+110.005 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29495 /proc/meminfo: memFree=1787384/2055920 swapFree=4169108/4192956 [pid=29494] ppid=29492 vsize=13844 CPUtime=109.96 /proc/29494/stat : 29494 (bsolo3.0.17) R 29492 29494 29128 0 -1 4194304 2886 0 0 0 10994 2 0 0 25 0 1 0 248596484 14176256 2854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7945724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29494/statm: 3461 2854 311 324 0 2531 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (KiB) 13844 Child status: 0 Real time (s): 110.07 CPU time (s): 110.033 CPU user time (s): 110.003 CPU system time (s): 0.029995 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 13848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 110.003 system time used= 0.029995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2890 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= 99 runsolver used 0.088986 second user time and 0.240963 second system time The end
Begin job on node15 on Tue May 1 08:06:29 UTC 2007 IDJOB= 452987 IDBENCH= 48054 IDSOLVER= 199 FILE ID= node15/452987-1178006789 PBS_JOBID= 4728273 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=149-P1=79-P2=59-P3=73-P4=211-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452987-1178006789/instance-452987-1178006789.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-452987-1178006789 -o ROOT/results/node15/solver-452987-1178006789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452987-1178006789/instance-452987-1178006789.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 74c00e33b4232d137ad873ae982593f6 RANDOM SEED= 721044659 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1798280 kB Buffers: 46348 kB Cached: 124080 kB SwapCached: 2360 kB Active: 88664 kB Inactive: 104728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1798280 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6704 kB Writeback: 0 kB Mapped: 30344 kB Slab: 49644 kB Committed_AS: 7606512 kB PageTables: 1868 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 node15 on Tue May 1 08:08:19 UTC 2007