Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 331.106 | 331.219 |
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.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/452931-1177997918/instance-452931-1177997918.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.004 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. 0.99/1.10 c 101 440 757 9545 12 2515 4060 101 6733 0.01 0.99/1.10 c 251 440 907 19633 21 2742 4467 251 10458 0.02 0.99/1.10 c 477 440 1133 33706 29 3196 4914 477 11634 0.04 0.99/1.10 c 815 440 1471 54424 36 3826 5406 815 11642 0.07 0.99/1.10 c 1324 440 1980 85636 43 4881 5947 1324 11126 0.12 0.99/1.10 c 2087 440 2743 137578 50 6403 6542 2087 9234 0.23 0.99/1.10 c 3234 440 3890 212602 54 8691 7197 3234 8488 0.38 0.99/1.10 c 4955 440 5611 318212 56 12131 7917 4955 6360 0.78 0.99/1.10 o 33 1.098 255.81/255.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 255.81/255.94 c 7094 440 7751 462193 59 16428 3706 7095 6454 1.10 255.81/255.94 c 7194 440 2610 135716 51 6154 4077 1954 6332 1.14 255.81/255.94 c 7444 440 2860 153353 53 6628 4485 2204 6340 1.17 255.81/255.94 c 7920 431 3336 185470 55 7679 4934 2680 6412 1.24 255.81/255.94 c 8734 431 4150 239472 57 9266 5428 3494 6641 1.31 255.81/255.94 c 10055 431 5471 331829 60 11863 5971 4815 6882 1.46 255.81/255.94 c 12136 431 4411 250436 56 9718 6569 3755 6668 1.82 255.81/255.94 c 15359 431 4046 224285 55 9043 7226 3390 6276 2.45 255.81/255.94 c 20296 431 5149 290805 56 11245 7949 4493 5566 3.65 255.81/255.94 c 27803 431 8385 526153 62 17658 8744 7729 4634 6.00 255.81/255.94 c 39166 431 5655 312572 55 12279 9619 4999 3688 10.62 255.81/255.94 c 56310 431 7598 458912 60 16108 10581 6942 3292 17.10 255.81/255.94 c 82130 431 5964 332213 55 12809 11640 5308 2876 28.55 255.81/255.94 c 120962 431 8058 545782 67 17094 12805 7402 2365 51.14 255.81/255.94 c 179315 420 12540 722438 57 26097 14086 11884 2050 87.43 255.81/255.94 c 266948 420 11807 703535 59 24572 15495 11151 1968 135.60 255.81/255.94 c 398501 416 14426 901166 62 29868 17045 13770 1617 246.29 255.81/255.94 o 21 255.85 314.18/314.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 314.18/314.35 c 410474 416 9186 556234 60 19351 3702 8530 1603 256.01 314.18/314.35 c 410575 416 2615 121334 46 6226 4073 1959 1603 256.08 314.18/314.35 c 410825 416 2865 137471 47 6665 4481 2209 1604 256.10 314.18/314.35 c 411301 416 3341 167688 50 7618 4930 2685 1605 256.16 314.18/314.35 c 412116 416 4156 218795 52 9262 5424 3500 1607 256.30 314.18/314.35 c 413436 416 5476 303384 55 11873 5967 4820 1611 256.59 314.18/314.35 c 415518 416 4496 244374 54 9961 6564 3840 1614 257.29 314.18/314.35 c 418742 416 4361 238306 54 9685 7221 3705 1619 258.64 314.18/314.35 c 423678 416 5599 317656 56 12188 7944 4943 1627 260.38 314.18/314.35 c 431185 406 4698 259755 55 10424 8739 4042 1638 263.20 314.18/314.35 c 442546 406 7150 404326 56 15312 9613 6494 1645 269.02 314.18/314.35 c 459691 406 9646 558766 57 20285 10575 8990 1658 277.12 314.18/314.35 c 485511 406 7308 440105 60 15574 11633 6652 1669 290.83 314.18/314.35 c 524344 405 10677 617676 57 22303 12797 10021 1679 312.19 314.18/314.35 o 11 314.243 319.99/320.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 319.99/320.12 c 531351 405 11004 644710 58 22975 3700 10348 1690 314.24 319.99/320.12 c 531451 395 2616 117009 44 6235 4071 1960 1690 314.32 319.99/320.12 c 531701 395 2866 133738 46 6737 4479 2210 1691 314.36 319.99/320.12 c 532176 395 3341 165681 49 7688 4927 2685 1692 314.44 319.99/320.12 c 532989 395 4154 219385 52 9274 5420 3498 1693 314.64 319.99/320.12 c 534309 395 5474 307417 56 11953 5963 4818 1696 315.01 319.99/320.12 c 536390 395 4465 253770 56 9941 6560 3809 1698 315.75 319.99/320.12 c 539614 395 4298 242093 56 9572 7217 3642 1702 317.04 319.99/320.12 c 544551 395 5528 313060 56 12020 7939 4872 1704 319.43 319.99/320.12 o 3 320.011 331.08/331.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 331.08/331.21 c 546116 395 7094 405715 57 15159 3698 6438 1706 320.01 331.08/331.21 c 546217 386 2617 119470 45 6195 4068 1961 1706 320.07 331.08/331.21 c 546467 386 2867 137220 47 6720 4475 2211 1707 320.10 331.08/331.21 c 546942 386 3342 168488 50 7684 4923 2686 1708 320.19 331.08/331.21 c 547756 386 4156 219174 52 9296 5416 3500 1709 320.44 331.08/331.21 c 549077 386 5477 304909 55 11970 5958 4821 1711 320.88 331.08/331.21 c 551158 364 4448 243285 54 9833 6554 3792 1713 321.65 331.08/331.21 c 554381 364 4296 229402 53 9517 7210 3640 1715 323.20 331.08/331.21 c 559318 364 5490 300043 54 11916 7932 4834 1719 325.19 331.08/331.21 c 566825 352 4799 243301 50 10599 8726 4143 1729 327.67 331.08/331.21 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 331.08/331.21 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 331.08/331.21 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 331.08/331.21 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 331.08/331.21 v -x111 -x112 -x113 x114 x115 x116 x117 x118 -x119 -x120 331.08/331.21 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 331.08/331.21 c 58 574980 6161 595517 8482 392916 7826 1736 331.10 331.08/331.21 c Objective: 3 331.08/331.21 s OPTIMUM FOUND 331.08/331.21 c Total time: 331.098 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-452931-1177997918 -o ROOT/results/node39/solver-452931-1177997918 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452931-1177997918/instance-452931-1177997918.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/77 22080 /proc/meminfo: memFree=1824328/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19556 CPUtime=0 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 247703836 20025344 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 2936 344 289 324 0 2004 0 [startup+0.0513299 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22080 /proc/meminfo: memFree=1824328/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=4708 CPUtime=0.04 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 572 0 0 0 4 0 0 0 18 0 1 0 247703836 4820992 540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 1177 540 310 324 0 247 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4708 [startup+0.101338 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22080 /proc/meminfo: memFree=1824328/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=5092 CPUtime=0.09 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 688 0 0 0 9 0 0 0 18 0 1 0 247703836 5214208 656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 1273 656 310 324 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5092 [startup+0.301371 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22080 /proc/meminfo: memFree=1824328/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=6508 CPUtime=0.29 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 1028 0 0 0 29 0 0 0 19 0 1 0 247703836 6664192 996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 1627 996 310 324 0 697 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6508 [startup+0.701439 s] /proc/loadavg: 0.92 0.98 0.99 3/77 22080 /proc/meminfo: memFree=1824328/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=8452 CPUtime=0.69 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 1519 0 0 0 69 0 0 0 22 0 1 0 247703836 8654848 1487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 2113 1487 310 324 0 1183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8452 [startup+1.50157 s] /proc/loadavg: 0.92 0.98 0.99 2/78 22081 /proc/meminfo: memFree=1818112/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=10768 CPUtime=1.5 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 2115 0 0 0 149 1 0 0 25 0 1 0 247703836 11026432 2083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 2692 2083 311 324 0 1762 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10768 [startup+3.10185 s] /proc/loadavg: 0.92 0.98 0.99 2/78 22081 /proc/meminfo: memFree=1816960/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=10768 CPUtime=3.1 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 2115 0 0 0 309 1 0 0 25 0 1 0 247703836 11026432 2083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 2692 2083 311 324 0 1762 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 10768 [startup+6.30138 s] /proc/loadavg: 0.93 0.98 0.99 2/78 22081 /proc/meminfo: memFree=1815552/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=12964 CPUtime=6.29 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 2653 0 0 0 628 1 0 0 25 0 1 0 247703836 13275136 2621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11209844 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 3241 2621 311 324 0 2311 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12964 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 22081 /proc/meminfo: memFree=1814720/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=13064 CPUtime=12.69 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 2668 0 0 0 1268 1 0 0 25 0 1 0 247703836 13377536 2636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 3266 2636 311 324 0 2336 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13064 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/78 22081 /proc/meminfo: memFree=1813568/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=14224 CPUtime=25.48 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 2974 0 0 0 2547 1 0 0 25 0 1 0 247703836 14565376 2942 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11525628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 3556 2942 311 324 0 2626 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14224 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 22081 /proc/meminfo: memFree=1811200/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=16652 CPUtime=51.07 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 3571 0 0 0 5105 2 0 0 25 0 1 0 247703836 17051648 3539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4163 3539 311 324 0 3233 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16652 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 22081 /proc/meminfo: memFree=1809280/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=18540 CPUtime=102.26 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4052 0 0 0 10223 3 0 0 25 0 1 0 247703836 18984960 4020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11525869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4635 4020 311 324 0 3705 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18540 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1808384/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19292 CPUtime=162.24 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4263 0 0 0 16220 4 0 0 25 0 1 0 247703836 19755008 4210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4823 4210 311 324 0 3893 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 19292 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1808320/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19292 CPUtime=222.21 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4263 0 0 0 22217 4 0 0 25 0 1 0 247703836 19755008 4210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4823 4210 311 324 0 3893 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 19292 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1807104/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=20404 CPUtime=282.2 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4565 0 0 0 28215 5 0 0 25 0 1 0 247703836 20893696 4494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11526231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 5101 4494 311 324 0 4171 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 20404 Solver just ended. Dumping a history of the last processes samples [startup+307.101 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1807168/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=20404 CPUtime=306.99 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4565 0 0 0 30694 5 0 0 25 0 1 0 247703836 20893696 4494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 5101 4494 311 324 0 4171 0 Current children cumulated CPU time (s) 306.99 Current children cumulated vsize (KiB) 20404 [startup+319.902 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1807488/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19924 CPUtime=319.78 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4565 0 0 0 31973 5 0 0 25 0 1 0 247703836 20402176 4374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551627 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4981 4374 311 324 0 4051 0 Current children cumulated CPU time (s) 319.78 Current children cumulated vsize (KiB) 19924 [startup+326.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1807488/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19924 CPUtime=326.18 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4565 0 0 0 32613 5 0 0 25 0 1 0 247703836 20402176 4374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4981 4374 311 324 0 4051 0 Current children cumulated CPU time (s) 326.18 Current children cumulated vsize (KiB) 19924 [startup+329.502 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1807488/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19924 CPUtime=329.38 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4565 0 0 0 32933 5 0 0 25 0 1 0 247703836 20402176 4374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11525796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4981 4374 311 324 0 4051 0 Current children cumulated CPU time (s) 329.38 Current children cumulated vsize (KiB) 19924 [startup+330.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1807488/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19924 CPUtime=330.18 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4565 0 0 0 33013 5 0 0 25 0 1 0 247703836 20402176 4374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4981 4374 311 324 0 4051 0 Current children cumulated CPU time (s) 330.18 Current children cumulated vsize (KiB) 19924 [startup+330.701 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1807488/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19924 CPUtime=330.58 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4565 0 0 0 33053 5 0 0 25 0 1 0 247703836 20402176 4374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11523969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4981 4374 311 324 0 4051 0 Current children cumulated CPU time (s) 330.58 Current children cumulated vsize (KiB) 19924 [startup+331.105 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1807488/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19924 CPUtime=330.98 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4565 0 0 0 33093 5 0 0 25 0 1 0 247703836 20402176 4374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4981 4374 311 324 0 4051 0 Current children cumulated CPU time (s) 330.98 Current children cumulated vsize (KiB) 19924 [startup+331.201 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22083 /proc/meminfo: memFree=1807488/2055920 swapFree=4159400/4192956 [pid=22080] ppid=22078 vsize=19924 CPUtime=331.08 /proc/22080/stat : 22080 (bsolo3.0.17) R 22078 22080 21406 0 -1 4194304 4565 0 0 0 33103 5 0 0 25 0 1 0 247703836 20402176 4374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22080/statm: 4981 4374 311 324 0 4051 0 Current children cumulated CPU time (s) 331.08 Current children cumulated vsize (KiB) 19924 Child status: 0 Real time (s): 331.219 CPU time (s): 331.106 CPU user time (s): 331.047 CPU system time (s): 0.058991 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 20604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 331.047 system time used= 0.058991 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= 625 runsolver used 0.252961 second user time and 0.764883 second system time The end
Begin job on node39 on Tue May 1 05:38:38 UTC 2007 IDJOB= 452931 IDBENCH= 47998 IDSOLVER= 199 FILE ID= node39/452931-1177997918 PBS_JOBID= 4728239 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=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452931-1177997918/instance-452931-1177997918.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-452931-1177997918 -o ROOT/results/node39/solver-452931-1177997918 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452931-1177997918/instance-452931-1177997918.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1d3dc680e7fede194f84acfa61415e9b RANDOM SEED= 810462122 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1824672 kB Buffers: 31304 kB Cached: 108452 kB SwapCached: 13788 kB Active: 89296 kB Inactive: 75064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824672 kB SwapTotal: 4192956 kB SwapFree: 4159400 kB Dirty: 6600 kB Writeback: 0 kB Mapped: 31668 kB Slab: 52152 kB Committed_AS: 2195284 kB PageTables: 2012 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 node39 on Tue May 1 05:44:09 UTC 2007