Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 154.693 | 154.733 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb |
MD5SUM | 9b762ab9d310cdc754a8481e0a3342a1 |
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.099984 |
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/452957-1178002376/instance-452957-1178002376.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. 4.49/4.58 c 100 352 625 8289 13 2039 3244 100 7692 0.01 4.49/4.58 c 250 352 775 18697 24 2273 3569 250 10869 0.02 4.49/4.58 c 476 352 1001 36379 36 2767 3926 476 11069 0.04 4.49/4.58 c 815 352 1340 59284 44 3413 4319 815 11164 0.07 4.49/4.58 c 1325 352 1850 93871 50 4444 4751 1325 11422 0.12 4.49/4.58 c 2089 352 2614 146683 56 5905 5227 2089 9367 0.22 4.49/4.58 c 3235 352 3760 225124 59 8260 5750 3235 8986 0.36 4.49/4.58 c 4956 352 5481 342133 62 11706 6326 4956 8019 0.62 4.49/4.58 c 7541 352 4669 275569 59 10048 6959 4144 7188 1.05 4.49/4.58 c 11422 352 4924 299859 60 10513 7655 4399 6279 1.82 4.49/4.58 c 17244 352 6812 378476 55 14306 8421 6287 5395 3.20 4.49/4.58 o 37 4.578 46.47/46.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.47/46.59 c 21068 352 6365 354499 55 13488 2965 5840 4602 4.58 46.47/46.59 c 21170 343 2111 105735 50 5002 3262 1586 4573 4.63 46.47/46.59 c 21422 343 2363 120966 51 5471 3589 1838 4600 4.66 46.47/46.59 c 21899 343 2840 151115 53 6421 3948 2315 4652 4.71 46.47/46.59 c 22713 343 3654 208769 57 8084 4343 3129 4691 4.84 46.47/46.59 c 24033 343 2699 149843 55 6164 4778 2174 4787 5.02 46.47/46.59 c 26114 343 4780 283563 59 10327 5256 4255 4855 5.38 46.47/46.59 c 29339 343 5216 308267 59 11166 5782 4691 4860 6.04 46.47/46.59 c 34275 343 4185 217388 51 9082 6361 3660 4828 7.10 46.47/46.59 c 41781 343 5004 299743 59 10734 6998 4479 4615 9.05 46.47/46.59 c 53142 332 5176 311957 60 11127 7698 4651 4399 12.08 46.47/46.59 c 70287 332 6260 395600 63 13300 8468 5735 3831 18.34 46.47/46.59 c 96106 332 4822 251223 52 10439 9315 4297 3260 29.48 46.47/46.59 c 134938 329 5188 318813 61 11167 10247 4663 2933 46.00 46.47/46.59 o 7 46.581 55.88/55.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 55.88/55.96 c 137897 329 8148 496347 60 17107 2961 7623 2960 46.58 55.88/55.96 c 137999 328 2113 105164 49 5041 3258 1588 2959 46.63 55.88/55.96 c 138249 328 2363 122115 51 5550 3584 1838 2962 46.66 55.88/55.96 c 138724 299 2838 153676 54 6462 3943 2313 2968 46.74 55.88/55.96 c 139538 299 3652 210971 57 8067 4338 3127 2977 46.87 55.88/55.96 c 140858 299 2703 150742 55 6231 4772 2178 2984 47.19 55.88/55.96 c 142940 299 4785 284016 59 10356 5250 4260 2996 47.70 55.88/55.96 c 146163 299 5269 306311 58 11347 5776 4744 2998 48.75 55.88/55.96 c 151099 299 4207 238852 56 9191 6354 3682 2995 50.44 55.88/55.96 c 158606 299 5137 289441 56 11063 6990 4612 2977 53.27 55.88/55.96 o 5 55.947 61.18/61.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.18/61.28 c 165997 299 5325 305375 57 11435 2955 4800 2967 55.95 61.18/61.28 c 166098 299 2113 100218 47 4992 3251 1588 2967 55.98 61.18/61.28 c 166348 299 2363 116309 49 5495 3577 1838 2969 56.02 61.18/61.28 c 166824 299 2839 148010 52 6470 3935 2314 2974 56.09 61.18/61.28 c 167638 299 3653 199184 54 8072 4329 3128 2980 56.24 61.18/61.28 c 168958 299 2706 139322 51 6156 4762 2181 2985 56.59 61.18/61.28 c 171040 299 4788 276998 57 10329 5239 4263 3007 56.88 61.18/61.28 c 174263 299 5206 318563 61 11201 5763 4681 3023 57.63 61.18/61.28 c 179199 299 4163 230548 55 9118 6340 3638 3021 59.31 61.18/61.28 o 3 61.266 154.66/154.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 154.66/154.72 c 185786 299 3861 210061 54 8533 2955 3336 3032 61.27 154.66/154.72 c 185887 290 2114 100449 47 4968 3251 1589 3033 61.29 154.66/154.72 c 186138 290 2365 117778 49 5456 3577 1840 3036 61.31 154.66/154.72 c 186614 290 2841 149104 52 6428 3935 2316 3041 61.37 154.66/154.72 c 187428 290 3655 201926 55 8031 4329 3130 3047 61.51 154.66/154.72 c 188748 290 2701 141006 52 6145 4762 2176 3052 61.84 154.66/154.72 c 190830 290 4783 272869 57 10269 5239 4258 3055 62.45 154.66/154.72 c 194054 290 5276 302391 57 11282 5763 4751 3054 63.54 154.66/154.72 c 198992 290 4223 240071 56 9195 6340 3698 3056 65.10 154.66/154.72 c 206499 290 5164 291641 56 11081 6975 4639 3049 67.72 154.66/154.72 c 217860 278 5555 320714 57 11841 7673 5030 3022 72.07 154.66/154.72 c 235004 278 6237 362262 58 13196 8441 5712 2998 78.38 154.66/154.72 c 260824 278 5629 334970 59 11986 9286 5104 2981 87.47 154.66/154.73 c 299656 278 5205 295106 56 11202 10215 4680 2888 103.75 154.66/154.73 c 358009 277 5649 331772 58 12090 11237 5124 2714 131.91 154.66/154.73 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 154.66/154.73 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 -x51 154.66/154.73 v -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 154.66/154.73 v -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 154.66/154.73 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 154.66/154.73 c 59 394978 2488 406901 8158 378125 7633 2553 154.69 154.66/154.73 c Objective: 3 154.66/154.73 s OPTIMUM FOUND 154.66/154.73 c Total time: 154.687 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-452957-1178002376 -o ROOT/results/node44/solver-452957-1178002376 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452957-1178002376/instance-452957-1178002376.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.97 0.97 3/77 16299 /proc/meminfo: memFree=1828296/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=3932 CPUtime=0 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 248149368 4026368 347 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 983 348 290 324 0 51 0 [startup+0.0352679 s] /proc/loadavg: 0.99 0.97 0.97 3/77 16299 /proc/meminfo: memFree=1828296/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=4456 CPUtime=0.02 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 518 0 0 0 2 0 0 0 18 0 1 0 248149368 4562944 486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 1114 486 310 324 0 184 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4456 [startup+0.101276 s] /proc/loadavg: 0.99 0.97 0.97 3/77 16299 /proc/meminfo: memFree=1828296/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=5232 CPUtime=0.09 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 707 0 0 0 9 0 0 0 18 0 1 0 248149368 5357568 675 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 1308 675 310 324 0 378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5232 [startup+0.301296 s] /proc/loadavg: 0.99 0.97 0.97 3/77 16299 /proc/meminfo: memFree=1828296/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=6788 CPUtime=0.29 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 1115 0 0 0 29 0 0 0 19 0 1 0 248149368 6950912 1083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 1697 1083 310 324 0 767 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6788 [startup+0.701338 s] /proc/loadavg: 0.99 0.97 0.97 3/77 16299 /proc/meminfo: memFree=1828296/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=9492 CPUtime=0.69 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 1795 0 0 0 68 1 0 0 22 0 1 0 248149368 9719808 1763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 2373 1763 310 324 0 1443 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9492 [startup+1.50142 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1821440/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=10528 CPUtime=1.49 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 2036 0 0 0 148 1 0 0 25 0 1 0 248149368 10780672 2004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11712385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 2632 2004 310 324 0 1702 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10528 [startup+3.10158 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1820800/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=11416 CPUtime=3.09 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 2254 0 0 0 308 1 0 0 25 0 1 0 248149368 11689984 2222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 2854 2222 310 324 0 1924 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11416 [startup+6.30191 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1820048/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=11544 CPUtime=6.29 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 2296 0 0 0 628 1 0 0 25 0 1 0 248149368 11821056 2264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 2886 2264 311 324 0 1956 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11544 [startup+12.7016 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1820048/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=11532 CPUtime=12.69 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 2296 0 0 0 1268 1 0 0 25 0 1 0 248149368 11808768 2264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11714212 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 2883 2264 311 324 0 1953 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11532 [startup+25.5019 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1819088/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=12656 CPUtime=25.48 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 2569 0 0 0 2547 1 0 0 25 0 1 0 248149368 12959744 2537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3164 2537 311 324 0 2234 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12656 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1817552/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=14132 CPUtime=51.08 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 2949 0 0 0 5106 2 0 0 25 0 1 0 248149368 14471168 2917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3533 2917 311 324 0 2603 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14132 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1817616/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=13836 CPUtime=102.27 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 2949 0 0 0 10225 2 0 0 25 0 1 0 248149368 14168064 2852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11710754 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3459 2852 311 324 0 2529 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13836 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1817616/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=13964 CPUtime=127.86 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 2967 0 0 0 12784 2 0 0 25 0 1 0 248149368 14299136 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546075 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3491 2870 311 324 0 2561 0 Current children cumulated CPU time (s) 127.86 Current children cumulated vsize (KiB) 13964 [startup+140.702 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1816720/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=14988 CPUtime=140.66 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 3216 0 0 0 14063 3 0 0 25 0 1 0 248149368 15347712 3119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11714647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3747 3119 311 324 0 2817 0 Current children cumulated CPU time (s) 140.66 Current children cumulated vsize (KiB) 14988 [startup+147.101 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1816720/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=14972 CPUtime=147.06 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 3216 0 0 0 14703 3 0 0 25 0 1 0 248149368 15331328 3119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3743 3119 311 324 0 2813 0 Current children cumulated CPU time (s) 147.06 Current children cumulated vsize (KiB) 14972 [startup+150.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1816720/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=14972 CPUtime=150.26 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 3216 0 0 0 15023 3 0 0 25 0 1 0 248149368 15331328 3119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3743 3119 311 324 0 2813 0 Current children cumulated CPU time (s) 150.26 Current children cumulated vsize (KiB) 14972 [startup+151.902 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1816720/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=14972 CPUtime=151.86 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 3216 0 0 0 15183 3 0 0 25 0 1 0 248149368 15331328 3119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3743 3119 311 324 0 2813 0 Current children cumulated CPU time (s) 151.86 Current children cumulated vsize (KiB) 14972 [startup+153.501 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1816720/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=14972 CPUtime=153.46 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 3216 0 0 0 15343 3 0 0 25 0 1 0 248149368 15331328 3119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3743 3119 311 324 0 2813 0 Current children cumulated CPU time (s) 153.46 Current children cumulated vsize (KiB) 14972 [startup+154.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1816720/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=14972 CPUtime=154.26 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 3216 0 0 0 15423 3 0 0 25 0 1 0 248149368 15331328 3119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3743 3119 311 324 0 2813 0 Current children cumulated CPU time (s) 154.26 Current children cumulated vsize (KiB) 14972 [startup+154.701 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16300 /proc/meminfo: memFree=1816720/2055920 swapFree=4156220/4192956 [pid=16299] ppid=16297 vsize=14972 CPUtime=154.66 /proc/16299/stat : 16299 (bsolo3.0.17) R 16297 16299 14754 0 -1 4194304 3216 0 0 0 15463 3 0 0 25 0 1 0 248149368 15331328 3119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16299/statm: 3743 3119 311 324 0 2813 0 Current children cumulated CPU time (s) 154.66 Current children cumulated vsize (KiB) 14972 Child status: 0 Real time (s): 154.733 CPU time (s): 154.693 CPU user time (s): 154.659 CPU system time (s): 0.033994 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 14988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 154.659 system time used= 0.033994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3220 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10 involuntary context switches= 272 runsolver used 0.12998 second user time and 0.338948 second system time The end
Begin job on node44 on Tue May 1 06:52:57 UTC 2007 IDJOB= 452957 IDBENCH= 48024 IDSOLVER= 199 FILE ID= node44/452957-1178002376 PBS_JOBID= 4728243 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=19-P2=137-P3=191-P4=223-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452957-1178002376/instance-452957-1178002376.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-452957-1178002376 -o ROOT/results/node44/solver-452957-1178002376 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452957-1178002376/instance-452957-1178002376.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 9b762ab9d310cdc754a8481e0a3342a1 RANDOM SEED= 126459801 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1828704 kB Buffers: 28536 kB Cached: 107460 kB SwapCached: 13740 kB Active: 98092 kB Inactive: 62948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828704 kB SwapTotal: 4192956 kB SwapFree: 4156220 kB Dirty: 6604 kB Writeback: 0 kB Mapped: 33060 kB Slab: 51704 kB Committed_AS: 1569236 kB PageTables: 1740 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 node44 on Tue May 1 06:55:32 UTC 2007