Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 291.502 | 291.584 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb |
MD5SUM | 0b0d874eaa404001e586f84b413e6897 |
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.187971 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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/453032-1178013842/instance-453032-1178013842.opb 0.00/0.00 c File size is 5712 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: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % 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 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.01 c Switching off LPR mode. 4.89/4.99 c 103 440 759 8504 11 2513 4060 103 6437 0.02 4.89/4.99 c 253 440 909 18432 20 2759 4467 253 9035 0.03 4.89/4.99 c 478 440 1134 34294 30 3176 4914 478 9372 0.05 4.89/4.99 c 817 440 1473 55370 37 3846 5406 817 9500 0.09 4.89/4.99 c 1326 440 1982 84901 42 4846 5947 1326 8392 0.16 4.89/4.99 c 2090 440 2746 136378 49 6433 6542 2090 8744 0.24 4.89/4.99 c 3237 440 3893 206193 52 8775 7197 3237 7688 0.42 4.89/4.99 c 4958 440 5614 306102 54 12189 7917 4958 5527 0.90 4.89/4.99 c 7543 440 8199 455348 55 17345 8709 7543 4012 1.88 4.89/4.99 c 11423 440 7661 416214 54 16256 9580 7005 3873 2.95 4.89/4.99 c 17246 440 8379 493853 58 17701 10539 7723 3713 4.64 4.89/4.99 o 147 4.99 12.39/12.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.39/12.46 c 19678 440 10812 654567 60 22559 3706 10156 3943 4.99 12.39/12.46 c 19778 440 2610 132233 50 6079 4077 1954 3915 5.05 12.39/12.46 c 20028 440 2860 153051 53 6662 4485 2204 3940 5.08 12.39/12.46 c 20503 440 3335 188105 56 7572 4934 2679 3995 5.13 12.39/12.46 c 21317 440 4149 247653 59 9284 5428 3493 4065 5.24 12.39/12.46 c 22637 440 5469 337865 61 11813 5971 4813 4083 5.54 12.39/12.46 c 24718 440 4195 275321 65 9328 6569 3539 4079 6.06 12.39/12.46 c 27941 440 3942 209159 53 8876 7226 3286 4257 6.56 12.39/12.46 c 32878 440 5113 274854 53 11169 7949 4457 4229 7.77 12.39/12.46 c 40385 440 8547 451960 52 18017 8744 7891 4082 9.89 12.39/12.46 o 3 12.454 291.42/291.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 291.42/291.57 c 49899 440 8966 551879 61 18888 3706 8310 4006 12.45 291.42/291.57 c 49999 440 2610 139727 53 6224 4077 1954 3998 12.51 291.42/291.57 c 50250 431 2861 157165 54 6651 4485 2205 4009 12.53 291.42/291.57 c 50726 411 3337 188529 56 7625 4934 2681 4033 12.58 291.42/291.57 c 51539 411 4150 241446 58 9225 5428 3494 4072 12.65 291.42/291.57 c 52860 411 5471 321490 58 11874 5971 4815 4123 12.82 291.42/291.57 c 54941 411 4473 231875 51 9860 6569 3817 4108 13.37 291.42/291.57 c 58164 411 4324 213457 49 9549 7226 3668 3982 14.60 291.42/291.57 c 63101 411 5553 303778 54 12021 7949 4897 3958 15.94 291.42/291.57 c 70607 411 4888 247367 50 10663 8744 4232 3759 18.78 291.42/291.57 c 81968 411 7336 379026 51 15571 9619 6680 3520 23.28 291.42/291.57 c 99113 401 9237 571374 61 19360 10581 8581 3472 28.54 291.42/291.57 c 124933 368 7211 411946 57 15411 11640 6555 3365 37.12 291.42/291.58 c 163765 368 9034 568248 62 19018 12805 8378 2651 61.77 291.42/291.58 c 222118 366 7070 445930 63 15125 14086 6414 2493 89.08 291.42/291.58 c 309750 365 7711 456645 59 16412 15495 7055 2019 153.36 291.42/291.58 c 441303 364 12083 705609 58 25154 17045 11427 1721 256.42 291.42/291.58 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 291.42/291.58 v -x31 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 -x81 -x82 291.42/291.58 v -x83 -x84 -x85 -x86 -x87 -x88 x57 -x58 -x59 -x60 x61 -x62 x63 -x64 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x65 -x66 -x67 -x68 -x69 291.42/291.58 v -x70 -x71 -x72 -x97 -x98 -x99 x100 x101 x102 -x103 -x104 x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x105 -x106 -x107 -x108 -x109 -x110 291.42/291.58 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 291.42/291.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 291.42/291.58 c 38 477503 4696 495793 13673 662652 13017 1638 291.49 291.42/291.58 c Objective: 3 291.42/291.58 s OPTIMUM FOUND 291.42/291.58 c Total time: 291.494 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-453032-1178013842 -o ROOT/results/node17/solver-453032-1178013842 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453032-1178013842/instance-453032-1178013842.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.91 0.95 0.96 3/77 13390 /proc/meminfo: memFree=1787960/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=19556 CPUtime=0 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 249301739 20025344 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 4889 342 288 324 0 3957 0 [startup+0.0193249 s] /proc/loadavg: 0.91 0.95 0.96 3/77 13390 /proc/meminfo: memFree=1787960/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=4192 CPUtime=0.01 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 465 0 0 0 1 0 0 0 18 0 1 0 249301739 4292608 433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 1048 433 310 324 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4192 [startup+0.101334 s] /proc/loadavg: 0.91 0.95 0.96 3/77 13390 /proc/meminfo: memFree=1787960/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=4968 CPUtime=0.09 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 646 0 0 0 9 0 0 0 18 0 1 0 249301739 5087232 614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 1242 614 310 324 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4968 [startup+0.301355 s] /proc/loadavg: 0.91 0.95 0.96 3/77 13390 /proc/meminfo: memFree=1787960/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=6520 CPUtime=0.29 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 1035 0 0 0 29 0 0 0 19 0 1 0 249301739 6676480 1003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 1630 1003 310 324 0 700 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701396 s] /proc/loadavg: 0.91 0.95 0.96 3/77 13390 /proc/meminfo: memFree=1787960/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=8060 CPUtime=0.69 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 1410 0 0 0 69 0 0 0 22 0 1 0 249301739 8253440 1378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 2015 1378 310 324 0 1085 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8060 [startup+1.50148 s] /proc/loadavg: 0.91 0.95 0.96 2/78 13391 /proc/meminfo: memFree=1782832/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=9756 CPUtime=1.49 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 1858 0 0 0 149 0 0 0 25 0 1 0 249301739 9990144 1826 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 2439 1826 310 324 0 1509 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9756 [startup+3.10165 s] /proc/loadavg: 0.92 0.95 0.96 2/78 13391 /proc/meminfo: memFree=1780400/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=11836 CPUtime=3.09 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 2363 0 0 0 308 1 0 0 25 0 1 0 249301739 12120064 2331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 2959 2331 310 324 0 2029 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11836 [startup+6.30198 s] /proc/loadavg: 0.92 0.95 0.96 2/78 13391 /proc/meminfo: memFree=1777712/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=13640 CPUtime=6.29 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 2823 0 0 0 628 1 0 0 25 0 1 0 249301739 13967360 2791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 3410 2791 311 324 0 2480 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13640 [startup+12.7017 s] /proc/loadavg: 0.93 0.96 0.96 2/78 13391 /proc/meminfo: memFree=1777776/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=13640 CPUtime=12.69 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 2823 0 0 0 1267 2 0 0 25 0 1 0 249301739 13967360 2791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3289157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 3410 2791 311 324 0 2480 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13640 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.96 2/78 13391 /proc/meminfo: memFree=1777840/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=13640 CPUtime=25.49 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 2823 0 0 0 2547 2 0 0 25 0 1 0 249301739 13967360 2791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 3410 2791 311 324 0 2480 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13640 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.96 2/78 13391 /proc/meminfo: memFree=1775728/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=15644 CPUtime=51.07 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 3330 0 0 0 5104 3 0 0 25 0 1 0 249301739 16019456 3298 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 3911 3298 311 324 0 2981 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15644 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.96 2/78 13391 /proc/meminfo: memFree=1772656/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=18828 CPUtime=102.26 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 4115 0 0 0 10222 4 0 0 25 0 1 0 249301739 19279872 4083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 4707 4083 311 324 0 3777 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18828 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13391 /proc/meminfo: memFree=1772528/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=18908 CPUtime=162.24 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 4147 0 0 0 16220 4 0 0 25 0 1 0 249301739 19361792 4115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 4727 4115 311 324 0 3797 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18908 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13391 /proc/meminfo: memFree=1772336/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=19044 CPUtime=222.23 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 4175 0 0 0 22218 5 0 0 25 0 1 0 249301739 19501056 4143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 4761 4143 311 324 0 3831 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 19044 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13391 /proc/meminfo: memFree=1771056/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=20304 CPUtime=282.22 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 4486 0 0 0 28216 6 0 0 25 0 1 0 249301739 20791296 4454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 5076 4454 311 324 0 4146 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 20304 Solver just ended. Dumping a history of the last processes samples [startup+287.901 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13391 /proc/meminfo: memFree=1770992/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=20304 CPUtime=287.81 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 4486 0 0 0 28775 6 0 0 25 0 1 0 249301739 20791296 4454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550997 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 5076 4454 311 324 0 4146 0 Current children cumulated CPU time (s) 287.81 Current children cumulated vsize (KiB) 20304 [startup+289.502 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13391 /proc/meminfo: memFree=1770992/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=20304 CPUtime=289.41 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 4486 0 0 0 28935 6 0 0 25 0 1 0 249301739 20791296 4454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 5076 4454 311 324 0 4146 0 Current children cumulated CPU time (s) 289.41 Current children cumulated vsize (KiB) 20304 [startup+290.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13391 /proc/meminfo: memFree=1770992/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=20304 CPUtime=290.22 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 4486 0 0 0 29016 6 0 0 25 0 1 0 249301739 20791296 4454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 5076 4454 311 324 0 4146 0 Current children cumulated CPU time (s) 290.22 Current children cumulated vsize (KiB) 20304 [startup+291.102 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13391 /proc/meminfo: memFree=1770992/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=20304 CPUtime=291.01 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 4486 0 0 0 29095 6 0 0 25 0 1 0 249301739 20791296 4454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 5076 4454 311 324 0 4146 0 Current children cumulated CPU time (s) 291.01 Current children cumulated vsize (KiB) 20304 [startup+291.506 s] /proc/loadavg: 0.99 0.97 0.96 2/78 13391 /proc/meminfo: memFree=1770992/2055920 swapFree=4140116/4192956 [pid=13390] ppid=13388 vsize=20304 CPUtime=291.42 /proc/13390/stat : 13390 (bsolo3.0.17) R 13388 13390 12021 0 -1 4194304 4486 0 0 0 29136 6 0 0 25 0 1 0 249301739 20791296 4454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13390/statm: 5076 4454 311 324 0 4146 0 Current children cumulated CPU time (s) 291.42 Current children cumulated vsize (KiB) 20304 Child status: 0 Real time (s): 291.584 CPU time (s): 291.502 CPU user time (s): 291.436 CPU system time (s): 0.065989 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 20372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 291.436 system time used= 0.065989 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4490 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= 289 runsolver used 0.225965 second user time and 0.649901 second system time The end
Begin job on node17 on Tue May 1 10:04:02 UTC 2007 IDJOB= 453032 IDBENCH= 48099 IDSOLVER= 199 FILE ID= node17/453032-1178013842 PBS_JOBID= 4728262 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=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453032-1178013842/instance-453032-1178013842.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-453032-1178013842 -o ROOT/results/node17/solver-453032-1178013842 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453032-1178013842/instance-453032-1178013842.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0b0d874eaa404001e586f84b413e6897 RANDOM SEED= 346497842 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1788496 kB Buffers: 33628 kB Cached: 151684 kB SwapCached: 15016 kB Active: 97396 kB Inactive: 111256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788496 kB SwapTotal: 4192956 kB SwapFree: 4140116 kB Dirty: 6608 kB Writeback: 0 kB Mapped: 30336 kB Slab: 44300 kB Committed_AS: 7413420 kB PageTables: 1796 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 node17 on Tue May 1 10:08:54 UTC 2007