Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 333.233 | 333.356 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb |
MD5SUM | 1d3dc680e7fede194f84acfa61415e9b |
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.121981 |
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.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/430688-1177997803/instance-430688-1177997803.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. 1.10/1.10 c 101 440 757 9545 12 2515 4060 101 6733 0.01 1.10/1.10 c 251 440 907 19633 21 2742 4467 251 10458 0.02 1.10/1.10 c 477 440 1133 33706 29 3196 4914 477 11634 0.04 1.10/1.10 c 815 440 1471 54424 36 3826 5406 815 11642 0.07 1.10/1.10 c 1324 440 1980 85636 43 4881 5947 1324 11033 0.12 1.10/1.10 c 2087 440 2743 137578 50 6403 6542 2087 9153 0.23 1.10/1.10 c 3234 440 3890 212602 54 8691 7197 3234 8421 0.38 1.10/1.10 c 4955 440 5611 318212 56 12131 7917 4955 6344 0.78 1.10/1.10 o 33 1.103 257.32/257.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 257.32/257.46 c 7094 440 7751 462193 59 16428 3706 7095 6425 1.10 257.32/257.46 c 7194 440 2610 135716 51 6154 4077 1954 6304 1.14 257.32/257.46 c 7444 440 2860 153353 53 6628 4485 2204 6313 1.18 257.32/257.46 c 7920 431 3336 185470 55 7679 4934 2680 6376 1.24 257.32/257.46 c 8734 431 4150 239472 57 9266 5428 3494 6606 1.32 257.32/257.46 c 10055 431 5471 331829 60 11863 5971 4815 6840 1.47 257.32/257.46 c 12136 431 4411 250436 56 9718 6569 3755 6606 1.84 257.32/257.46 c 15359 431 4046 224285 55 9043 7226 3390 6195 2.48 257.32/257.46 c 20296 431 5149 290805 56 11245 7949 4493 5500 3.69 257.32/257.46 c 27803 431 8385 526153 62 17658 8744 7729 4577 6.07 257.32/257.46 c 39166 431 5655 312572 55 12279 9619 4999 3650 10.73 257.32/257.46 c 56310 431 7598 458912 60 16108 10581 6942 3276 17.18 257.32/257.46 c 82130 431 5964 332213 55 12809 11640 5308 2862 28.69 257.32/257.46 c 120962 431 8058 545782 67 17094 12805 7402 2351 51.45 257.32/257.46 c 179315 420 12540 722438 57 26097 14086 11884 2039 87.91 257.32/257.46 c 266948 420 11807 703535 59 24572 15495 11151 1958 136.28 257.32/257.46 c 398501 416 14426 901166 62 29868 17045 13770 1607 247.87 257.32/257.46 o 21 257.385 316.20/316.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 316.20/316.36 c 410474 416 9186 556234 60 19351 3702 8530 1593 257.54 316.20/316.36 c 410575 416 2615 121334 46 6226 4073 1959 1593 257.62 316.20/316.36 c 410825 416 2865 137471 47 6665 4481 2209 1594 257.64 316.20/316.36 c 411301 416 3341 167688 50 7618 4930 2685 1596 257.69 316.20/316.36 c 412116 416 4156 218795 52 9262 5424 3500 1598 257.84 316.20/316.36 c 413436 416 5476 303384 55 11873 5967 4820 1601 258.13 316.20/316.36 c 415518 416 4496 244374 54 9961 6564 3840 1605 258.83 316.20/316.36 c 418742 416 4361 238306 54 9685 7221 3705 1609 260.19 316.20/316.36 c 423678 416 5599 317656 56 12188 7944 4943 1617 261.94 316.20/316.36 c 431185 406 4698 259755 55 10424 8739 4042 1628 264.79 316.20/316.36 c 442546 406 7150 404326 56 15312 9613 6494 1635 270.63 316.20/316.36 c 459691 406 9646 558766 57 20285 10575 8990 1649 278.77 316.20/316.36 c 485511 406 7308 440105 60 15574 11633 6652 1658 292.68 316.20/316.36 c 524344 405 10677 617676 57 22303 12797 10021 1668 314.22 316.20/316.36 o 11 316.272 321.99/322.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 321.99/322.12 c 531351 405 11004 644710 58 22975 3700 10348 1680 316.27 321.99/322.12 c 531451 395 2616 117009 44 6235 4071 1960 1679 316.35 321.99/322.12 c 531701 395 2866 133738 46 6737 4479 2210 1680 316.38 321.99/322.12 c 532176 395 3341 165681 49 7688 4927 2685 1681 316.47 321.99/322.12 c 532989 395 4154 219385 52 9274 5420 3498 1683 316.67 321.99/322.12 c 534309 395 5474 307417 56 11953 5963 4818 1685 317.04 321.99/322.12 c 536390 395 4465 253770 56 9941 6560 3809 1687 317.78 321.99/322.12 c 539614 395 4298 242093 56 9572 7217 3642 1691 319.06 321.99/322.12 c 544551 395 5528 313060 56 12020 7939 4872 1694 321.44 321.99/322.12 o 3 322.029 333.20/333.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 333.20/333.32 c 546116 395 7094 405715 57 15159 3698 6438 1695 322.03 333.20/333.32 c 546217 386 2617 119470 45 6195 4068 1961 1695 322.09 333.20/333.32 c 546467 386 2867 137220 47 6720 4475 2211 1696 322.12 333.20/333.32 c 546942 386 3342 168488 50 7684 4923 2686 1697 322.21 333.20/333.32 c 547756 386 4156 219174 52 9296 5416 3500 1698 322.47 333.20/333.32 c 549077 386 5477 304909 55 11970 5958 4821 1700 322.91 333.20/333.32 c 551158 364 4448 243285 54 9833 6554 3792 1702 323.69 333.20/333.32 c 554381 364 4296 229402 53 9517 7210 3640 1704 325.26 333.20/333.32 c 559318 364 5490 300043 54 11916 7932 4834 1708 327.28 333.20/333.32 c 566825 352 4799 243301 50 10599 8726 4143 1718 329.79 333.20/333.32 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 333.20/333.32 v x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 x41 x42 x43 -x44 x45 x46 x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x81 x82 -x83 -x84 333.20/333.32 v -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 -x70 333.20/333.32 v -x71 -x72 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x105 -x106 -x107 -x108 -x109 -x110 333.20/333.32 v -x111 -x112 -x113 x114 x115 x116 x117 x118 -x119 -x120 333.20/333.32 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 333.20/333.32 c 58 574980 6161 595517 8482 392916 7826 1725 333.23 333.20/333.32 c Objective: 3 333.20/333.32 s OPTIMUM FOUND 333.20/333.32 c Total time: 333.225 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-430688-1177997803 -o ROOT/results/node21/solver-430688-1177997803 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430688-1177997803/instance-430688-1177997803.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.99 3/77 28280 /proc/meminfo: memFree=1715832/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=3932 CPUtime=0 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 247697641 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 983 349 292 324 0 50 0 [startup+0.0653679 s] /proc/loadavg: 0.99 0.97 0.99 3/77 28280 /proc/meminfo: memFree=1715832/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=4836 CPUtime=0.06 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 609 0 0 0 6 0 0 0 18 0 1 0 247697641 4952064 576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 1209 576 312 324 0 278 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4836 [startup+0.101372 s] /proc/loadavg: 0.99 0.97 0.99 3/77 28280 /proc/meminfo: memFree=1715832/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=5092 CPUtime=0.09 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 690 0 0 0 9 0 0 0 18 0 1 0 247697641 5214208 657 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 1273 657 312 324 0 342 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5092 [startup+0.301394 s] /proc/loadavg: 0.99 0.97 0.99 3/77 28280 /proc/meminfo: memFree=1715832/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=6508 CPUtime=0.29 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 1027 0 0 0 29 0 0 0 19 0 1 0 247697641 6664192 994 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 1627 994 312 324 0 696 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6508 [startup+0.701437 s] /proc/loadavg: 0.99 0.97 0.99 3/77 28280 /proc/meminfo: memFree=1715832/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=8452 CPUtime=0.69 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 1520 0 0 0 69 0 0 0 23 0 1 0 247697641 8654848 1487 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 2113 1487 312 324 0 1182 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8452 [startup+1.50152 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28281 /proc/meminfo: memFree=1709680/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=10768 CPUtime=1.49 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 2118 0 0 0 148 1 0 0 25 0 1 0 247697641 11026432 2085 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 2692 2085 313 324 0 1761 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10768 [startup+3.1017 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28281 /proc/meminfo: memFree=1708464/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=10768 CPUtime=3.09 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 2118 0 0 0 307 2 0 0 25 0 1 0 247697641 11026432 2085 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 2692 2085 313 324 0 1761 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10768 [startup+6.30105 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28281 /proc/meminfo: memFree=1707056/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=12964 CPUtime=6.29 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 2656 0 0 0 627 2 0 0 25 0 1 0 247697641 13275136 2623 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 3241 2623 313 324 0 2310 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12964 [startup+12.7017 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28281 /proc/meminfo: memFree=1706288/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=13064 CPUtime=12.69 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 2671 0 0 0 1265 4 0 0 25 0 1 0 247697641 13377536 2638 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 3266 2638 313 324 0 2335 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13064 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.99 3/78 28281 /proc/meminfo: memFree=1705008/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=14224 CPUtime=25.49 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 2977 0 0 0 2541 8 0 0 25 0 1 0 247697641 14565376 2944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 3556 2944 313 324 0 2625 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14224 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28281 /proc/meminfo: memFree=1702576/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=16652 CPUtime=51.07 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 3574 0 0 0 5094 13 0 0 25 0 1 0 247697641 17051648 3541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4163 3541 313 324 0 3232 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16652 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28281 /proc/meminfo: memFree=1700784/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=18412 CPUtime=102.26 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4013 0 0 0 10204 22 0 0 25 0 1 0 247697641 18853888 3980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4603 3980 313 324 0 3672 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18412 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28281 /proc/meminfo: memFree=1699824/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=19292 CPUtime=162.24 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4266 0 0 0 16191 33 0 0 25 0 1 0 247697641 19755008 4212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4823 4212 313 324 0 3892 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 19292 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28281 /proc/meminfo: memFree=1699824/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=19292 CPUtime=222.23 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4266 0 0 0 22181 42 0 0 25 0 1 0 247697641 19755008 4212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4823 4212 313 324 0 3892 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 19292 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28283 /proc/meminfo: memFree=1698416/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=20404 CPUtime=282.21 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4568 0 0 0 28168 53 0 0 25 0 1 0 247697641 20893696 4496 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 5101 4496 313 324 0 4170 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 20404 Solver just ended. Dumping a history of the last processes samples [startup+307.102 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28283 /proc/meminfo: memFree=1698416/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=20404 CPUtime=307.01 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4568 0 0 0 30644 57 0 0 25 0 1 0 247697641 20893696 4496 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 5101 4496 313 324 0 4170 0 Current children cumulated CPU time (s) 307.01 Current children cumulated vsize (KiB) 20404 [startup+319.901 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28283 /proc/meminfo: memFree=1698864/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=19924 CPUtime=319.8 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4568 0 0 0 31920 60 0 0 25 0 1 0 247697641 20402176 4376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4981 4376 313 324 0 4050 0 Current children cumulated CPU time (s) 319.8 Current children cumulated vsize (KiB) 19924 [startup+326.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28283 /proc/meminfo: memFree=1698864/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=19924 CPUtime=326.2 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4568 0 0 0 32559 61 0 0 25 0 1 0 247697641 20402176 4376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4981 4376 313 324 0 4050 0 Current children cumulated CPU time (s) 326.2 Current children cumulated vsize (KiB) 19924 [startup+329.501 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28283 /proc/meminfo: memFree=1698864/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=19924 CPUtime=329.4 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4568 0 0 0 32878 62 0 0 25 0 1 0 247697641 20402176 4376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4981 4376 313 324 0 4050 0 Current children cumulated CPU time (s) 329.4 Current children cumulated vsize (KiB) 19924 [startup+331.105 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28283 /proc/meminfo: memFree=1698864/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=19924 CPUtime=331 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4568 0 0 0 33038 62 0 0 25 0 1 0 247697641 20402176 4376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551131 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4981 4376 313 324 0 4050 0 Current children cumulated CPU time (s) 331 Current children cumulated vsize (KiB) 19924 [startup+332.702 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28283 /proc/meminfo: memFree=1698864/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=19924 CPUtime=332.6 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4568 0 0 0 33197 63 0 0 25 0 1 0 247697641 20402176 4376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4981 4376 313 324 0 4050 0 Current children cumulated CPU time (s) 332.6 Current children cumulated vsize (KiB) 19924 [startup+333.102 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28283 /proc/meminfo: memFree=1698864/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=19924 CPUtime=332.99 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4568 0 0 0 33236 63 0 0 25 0 1 0 247697641 20402176 4376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4981 4376 313 324 0 4050 0 Current children cumulated CPU time (s) 332.99 Current children cumulated vsize (KiB) 19924 [startup+333.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 28283 /proc/meminfo: memFree=1698864/2055920 swapFree=4156288/4192956 [pid=28280] ppid=28278 vsize=19924 CPUtime=333.2 /proc/28280/stat : 28280 (bsolo3.0.16) R 28278 28280 27120 0 -1 4194304 4568 0 0 0 33257 63 0 0 25 0 1 0 247697641 20402176 4376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28280/statm: 4981 4376 313 324 0 4050 0 Current children cumulated CPU time (s) 333.2 Current children cumulated vsize (KiB) 19924 Child status: 0 Real time (s): 333.356 CPU time (s): 333.233 CPU user time (s): 332.593 CPU system time (s): 0.639902 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 20540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 332.593 system time used= 0.639902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4569 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= 6760 runsolver used 0.266959 second user time and 0.726889 second system time The end
Begin job on node21 on Tue May 1 05:36:43 UTC 2007 IDJOB= 430688 IDBENCH= 47998 IDSOLVER= 163 FILE ID= node21/430688-1177997803 PBS_JOBID= 4728214 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=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430688-1177997803/instance-430688-1177997803.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-430688-1177997803 -o ROOT/results/node21/solver-430688-1177997803 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430688-1177997803/instance-430688-1177997803.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1d3dc680e7fede194f84acfa61415e9b RANDOM SEED= 565934401 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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.232 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.232 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: 1716176 kB Buffers: 38164 kB Cached: 211924 kB SwapCached: 15044 kB Active: 169084 kB Inactive: 104412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1716176 kB SwapTotal: 4192956 kB SwapFree: 4156288 kB Dirty: 6612 kB Writeback: 0 kB Mapped: 30344 kB Slab: 51688 kB Committed_AS: 2267552 kB PageTables: 1788 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 node21 on Tue May 1 05:42:17 UTC 2007