Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 257 | 1800.11 | 1800.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb |
MD5SUM | 133707692e98c55077a0d19203c18204 |
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.201969 |
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 | 162 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
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/452954-1178001929/instance-452954-1178001929.opb 0.00/0.00 c File size is 8553 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540 0.00/0.00 c Obj. Vars: 9 (1.38889 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 648 991 4149 4 3569 5543 0 0 0.01 0.00/0.01 c Switching off LPR mode. 439.29/439.40 c 101 648 1092 10882 9 3730 6098 101 5315 0.02 439.29/439.40 c 253 648 1244 22977 18 3956 6708 253 8161 0.03 439.29/439.40 c 478 648 1469 40985 27 4370 7379 478 8690 0.06 439.29/439.40 c 817 648 1808 70530 39 5016 8117 817 8880 0.09 439.29/439.40 c 1326 648 2317 117018 50 5996 8929 1326 7940 0.17 439.29/439.40 c 2089 648 3080 182363 59 7483 9822 2089 8224 0.25 439.29/439.40 c 3236 648 4227 274583 64 9789 10805 3236 7388 0.44 439.29/439.40 c 4958 648 5949 411388 69 13258 11886 4958 7072 0.70 439.29/439.40 c 7542 648 8533 602216 70 18399 13075 7542 4776 1.58 439.29/439.40 c 11422 648 12413 923547 74 26179 14383 11422 4384 2.60 439.29/439.40 c 17244 648 10743 786397 73 22897 15822 9752 3201 5.39 439.29/439.40 c 25982 648 11497 788846 68 24320 17405 10506 1964 13.23 439.29/439.40 c 39093 648 15327 1295028 84 32026 19146 14336 1998 19.57 439.29/439.40 c 58764 648 15311 1380990 90 31907 21061 14320 1636 35.90 439.29/439.40 c 88274 648 12989 911375 70 27254 23168 11998 1180 74.80 439.29/439.40 c 132544 648 19695 1614827 81 40844 25485 18704 1114 118.88 439.29/439.40 c 198954 648 12639 856882 67 26644 28034 11648 1007 197.38 439.29/439.40 c 298575 645 26922 2057184 76 55254 30838 25931 937 318.57 439.29/439.40 o 281 439.299 558.26/558.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 558.26/558.48 c 401722 645 29494 2306887 78 60361 5561 28503 914 439.30 558.26/558.48 c 401823 645 3876 236987 61 9195 6118 2885 912 440.26 558.26/558.48 c 402073 645 4126 257890 62 9817 6730 3135 913 440.29 558.26/558.48 c 402548 645 4601 299625 65 10700 7404 3610 914 440.34 558.26/558.48 c 403361 645 5414 369064 68 12336 8145 4423 915 440.45 558.26/558.48 c 404681 645 6734 479049 71 14974 8960 5743 918 440.82 558.26/558.48 c 406763 645 8816 651002 73 19113 9857 7825 920 441.81 558.26/558.48 c 409986 645 6543 471335 72 14605 10843 5552 926 442.61 558.26/558.48 c 414922 645 11479 895646 78 24420 11928 10488 935 443.76 558.26/558.48 c 422428 645 12835 1020307 79 27110 13121 11844 946 446.52 558.26/558.48 c 433789 645 10874 814247 74 23135 14434 9883 952 455.48 558.26/558.48 c 450933 645 12914 1101472 85 27191 15878 11923 968 465.68 558.26/558.48 c 476752 645 13794 1175868 85 29016 17466 12803 986 483.48 558.26/558.48 c 515585 645 15704 1368431 87 32819 19213 14713 1002 514.17 558.26/558.48 o 257 558.35 1800.09/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.61 c 558998 645 19558 1602895 81 40576 5561 18567 1001 558.35 1800.09/1800.61 c 559099 645 3876 244338 63 9332 6118 2885 1000 558.59 1800.09/1800.61 c 559349 645 4126 266326 64 9652 6730 3135 1001 558.62 1800.09/1800.61 c 559824 645 4601 306960 66 10582 7404 3610 1002 558.68 1800.09/1800.61 c 560639 645 5416 375311 69 12223 8145 4425 1003 558.82 1800.09/1800.61 c 561960 645 6737 489607 72 14974 8960 5746 1005 559.14 1800.09/1800.61 c 564041 645 8818 666669 75 19125 9857 7827 1007 559.69 1800.09/1800.61 c 567264 645 7018 512810 73 15519 10843 6027 1010 561.23 1800.09/1800.61 c 572201 645 6449 447101 69 14347 11928 5458 1012 565.36 1800.09/1800.61 c 579707 645 7405 576903 77 16215 13121 6414 1022 567.14 1800.09/1800.61 c 591068 645 11603 943982 81 24546 14434 10612 1033 571.95 1800.09/1800.61 c 608213 645 14099 1079592 76 29539 15878 13108 1035 587.47 1800.09/1800.61 c 634032 645 15833 1194151 75 32989 17466 14842 1026 617.84 1800.09/1800.61 c 672864 645 10578 783055 74 22497 19213 9587 1024 656.78 1800.09/1800.61 c 731218 645 18505 1375049 74 38467 21135 17514 1017 718.84 1800.09/1800.61 c 818850 645 17316 1869987 107 36045 23249 16325 963 849.76 1800.09/1800.61 c 950403 645 22649 1765788 77 46717 25574 21658 920 1032.25 1800.09/1800.61 c 1147835 645 19813 1448532 73 41014 28132 18822 905 1267.97 1800.09/1800.61 c 1444087 645 18245 1426673 78 37957 30946 17254 855 1688.09 1800.09/1800.61 c Caught signal: 15 1800.09/1800.61 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 -x32 1800.09/1800.61 v -x33 x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 x43 x44 x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 -x57 x58 -x59 -x60 1800.09/1800.61 v x61 -x62 x63 x64 x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x109 -x110 x111 -x112 -x113 x114 -x115 x116 -x117 x73 -x74 -x75 -x76 -x77 1800.09/1800.61 v -x78 -x79 -x80 -x81 -x118 -x119 x120 -x121 x122 x123 -x124 -x125 -x126 x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x127 -x128 1800.09/1800.61 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x136 -x137 -x138 x139 x140 x141 -x142 1800.09/1800.61 v -x143 -x144 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 1800.09/1800.61 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1800.09/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.61 c 51 1511526 9247 1542078 25830 1992384 24839 839 1800.10 1800.09/1800.61 c Objective: 257 1800.09/1800.61 s SATISFIABLE 1800.09/1800.61 c Total time: 1800.1 s
OK 257
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-452954-1178001929 -o ROOT/results/node41/solver-452954-1178001929 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452954-1178001929/instance-452954-1178001929.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.97 0.98 3/77 30711 /proc/meminfo: memFree=1829456/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=3936 CPUtime=0 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 248104783 4030464 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 984 346 289 324 0 51 0 [startup+0.053357 s] /proc/loadavg: 0.91 0.97 0.98 3/77 30711 /proc/meminfo: memFree=1829456/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=4716 CPUtime=0.04 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 589 0 0 0 4 0 0 0 18 0 1 0 248104783 4829184 556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 1179 556 310 324 0 249 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4716 [startup+0.101362 s] /proc/loadavg: 0.91 0.97 0.98 3/77 30711 /proc/meminfo: memFree=1829456/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=5228 CPUtime=0.09 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 713 0 0 0 9 0 0 0 18 0 1 0 248104783 5353472 680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 1307 680 310 324 0 377 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5228 [startup+0.301379 s] /proc/loadavg: 0.91 0.97 0.98 3/77 30711 /proc/meminfo: memFree=1829456/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=7048 CPUtime=0.29 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 1166 0 0 0 29 0 0 0 19 0 1 0 248104783 7217152 1133 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 1762 1133 310 324 0 832 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7048 [startup+0.701414 s] /proc/loadavg: 0.91 0.97 0.98 3/77 30711 /proc/meminfo: memFree=1829456/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=10004 CPUtime=0.69 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 1896 0 0 0 69 0 0 0 22 0 1 0 248104783 10244096 1863 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 2501 1863 310 324 0 1571 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10004 [startup+1.50148 s] /proc/loadavg: 0.91 0.97 0.98 2/78 30712 /proc/meminfo: memFree=1821832/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=12460 CPUtime=1.49 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 2540 0 0 0 149 0 0 0 25 0 1 0 248104783 12759040 2507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 3115 2507 310 324 0 2185 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12460 [startup+3.10162 s] /proc/loadavg: 0.91 0.97 0.98 2/78 30712 /proc/meminfo: memFree=1819016/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=18532 CPUtime=3.09 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 4030 0 0 0 307 2 0 0 25 0 1 0 248104783 18976768 3997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 4633 3997 310 324 0 3703 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18532 [startup+6.3019 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1811720/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=20976 CPUtime=6.29 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 4651 0 0 0 627 2 0 0 25 0 1 0 248104783 21479424 4618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573451 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 5244 4618 310 324 0 4314 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20976 [startup+12.7015 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1810952/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=21832 CPUtime=12.68 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 4867 0 0 0 1266 2 0 0 25 0 1 0 248104783 22355968 4834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 5458 4834 310 324 0 4528 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21832 [startup+25.5016 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1802952/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=29788 CPUtime=25.49 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 6868 0 0 0 2545 4 0 0 25 0 1 0 248104783 30502912 6835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 7447 6835 310 324 0 6517 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29788 [startup+51.1018 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1800200/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=32596 CPUtime=51.08 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 7561 0 0 0 5103 5 0 0 25 0 1 0 248104783 33378304 7528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 8149 7528 310 324 0 7219 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32596 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1800200/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=32592 CPUtime=102.27 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 7563 0 0 0 10222 5 0 0 25 0 1 0 248104783 33374208 7530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550777 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 8148 7530 310 324 0 7218 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 32592 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1797960/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=34804 CPUtime=162.25 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 8123 0 0 0 16219 6 0 0 25 0 1 0 248104783 35639296 8090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 8701 8090 310 324 0 7771 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34804 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1797960/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=34784 CPUtime=222.24 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 8125 0 0 0 22217 7 0 0 25 0 1 0 248104783 35618816 8088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 8696 8088 310 324 0 7766 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 34784 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1797960/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=34784 CPUtime=282.23 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 8125 0 0 0 28215 8 0 0 25 0 1 0 248104783 35618816 8088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 8696 8088 310 324 0 7766 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 34784 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1791176/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=41548 CPUtime=342.21 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 9815 0 0 0 34212 9 0 0 25 0 1 0 248104783 42545152 9777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 10387 9777 310 324 0 9457 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 41548 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1791176/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=41528 CPUtime=402.2 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 9815 0 0 0 40210 10 0 0 25 0 1 0 248104783 42524672 9774 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 10382 9774 310 324 0 9452 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 41528 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1791176/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=41440 CPUtime=462.18 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 9816 0 0 0 46208 10 0 0 25 0 1 0 248104783 42434560 9753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 10360 9753 311 324 0 9430 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 41440 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1791176/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=41440 CPUtime=522.17 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 9816 0 0 0 52206 11 0 0 25 0 1 0 248104783 42434560 9753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 10360 9753 311 324 0 9430 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 41440 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1791176/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=41440 CPUtime=582.15 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 9816 0 0 0 58204 11 0 0 25 0 1 0 248104783 42434560 9753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 10360 9753 311 324 0 9430 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 41440 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1791176/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=41440 CPUtime=642.14 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 9816 0 0 0 64202 12 0 0 25 0 1 0 248104783 42434560 9753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 10360 9753 311 324 0 9430 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 41440 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1782408/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50824 CPUtime=822.1 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 82194 16 0 0 25 0 1 0 248104783 52043776 12090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12706 12090 311 324 0 11776 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 50824 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30712 /proc/meminfo: memFree=1781704/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50732 CPUtime=882.08 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 88192 16 0 0 25 0 1 0 248104783 51949568 12076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12683 12076 311 324 0 11753 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 50732 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/84 30786 /proc/meminfo: memFree=1780560/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50732 CPUtime=942.05 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 94186 19 0 0 25 0 1 0 248104783 51949568 12076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12683 12076 311 324 0 11753 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 50732 [startup+1002.3 s] /proc/loadavg: 1.11 1.02 1.00 2/78 30910 /proc/meminfo: memFree=1781384/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50732 CPUtime=1001.97 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 100177 20 0 0 25 0 1 0 248104783 51949568 12076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12683 12076 311 324 0 11753 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 50732 [startup+1062.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 30910 /proc/meminfo: memFree=1781384/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50732 CPUtime=1061.96 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 106176 20 0 0 25 0 1 0 248104783 51949568 12076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12683 12076 311 324 0 11753 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 50732 [startup+1122.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781384/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50732 CPUtime=1121.95 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 112174 21 0 0 25 0 1 0 248104783 51949568 12076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12683 12076 311 324 0 11753 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 50732 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781832/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50304 CPUtime=1181.93 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 118172 21 0 0 25 0 1 0 248104783 51511296 11969 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12576 11969 311 324 0 11646 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 50304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781768/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50304 CPUtime=1241.91 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 124170 21 0 0 25 0 1 0 248104783 51511296 11969 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12576 11969 311 324 0 11646 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 50304 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781768/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50304 CPUtime=1301.9 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 130168 22 0 0 25 0 1 0 248104783 51511296 11969 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12576 11969 311 324 0 11646 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 50304 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781704/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50280 CPUtime=1361.88 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 136166 22 0 0 25 0 1 0 248104783 51486720 11963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12570 11963 311 324 0 11640 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 50280 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781704/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50280 CPUtime=1421.88 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 142165 23 0 0 25 0 1 0 248104783 51486720 11963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12570 11963 311 324 0 11640 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 50280 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781704/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50280 CPUtime=1481.85 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 148162 23 0 0 25 0 1 0 248104783 51486720 11963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12570 11963 311 324 0 11640 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 50280 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781832/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50280 CPUtime=1541.84 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 154160 24 0 0 25 0 1 0 248104783 51486720 11963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12570 11963 311 324 0 11640 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 50280 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781832/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50280 CPUtime=1601.82 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 160158 24 0 0 25 0 1 0 248104783 51486720 11963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12570 11963 311 324 0 11640 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 50280 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781832/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50280 CPUtime=1661.82 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 166157 25 0 0 25 0 1 0 248104783 51486720 11963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12570 11963 311 324 0 11640 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 50280 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30910 /proc/meminfo: memFree=1781832/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50280 CPUtime=1721.8 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 172155 25 0 0 25 0 1 0 248104783 51486720 11963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2396511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12570 11963 311 324 0 11640 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 50280 [startup+1782.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 30910 /proc/meminfo: memFree=1781768/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50280 CPUtime=1781.79 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 178153 26 0 0 25 0 1 0 248104783 51486720 11963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12570 11963 311 324 0 11640 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 50280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.03 1.01 1.00 2/78 30910 /proc/meminfo: memFree=1781768/2055920 swapFree=4169228/4192956 [pid=30711] ppid=30709 vsize=50280 CPUtime=1800.09 /proc/30711/stat : 30711 (bsolo3.0.17) R 30709 30711 27720 0 -1 4194304 12153 0 0 0 179983 26 0 0 25 0 1 0 248104783 51486720 11963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30711/statm: 12570 11963 311 324 0 11640 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 50280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.65 CPU time (s): 1800.11 CPU user time (s): 1799.83 CPU system time (s): 0.274958 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 50824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.274958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12157 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 17851 runsolver used 1.54176 second user time and 4.16237 second system time The end
Begin job on node41 on Tue May 1 06:45:29 UTC 2007 IDJOB= 452954 IDBENCH= 48021 IDSOLVER= 199 FILE ID= node41/452954-1178001929 PBS_JOBID= 4728225 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=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452954-1178001929/instance-452954-1178001929.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-452954-1178001929 -o ROOT/results/node41/solver-452954-1178001929 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452954-1178001929/instance-452954-1178001929.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 133707692e98c55077a0d19203c18204 RANDOM SEED= 192873172 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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: 1829800 kB Buffers: 28868 kB Cached: 108836 kB SwapCached: 2444 kB Active: 73888 kB Inactive: 87624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1829800 kB SwapTotal: 4192956 kB SwapFree: 4169228 kB Dirty: 6696 kB Writeback: 0 kB Mapped: 31280 kB Slab: 49868 kB Committed_AS: 3655444 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 node41 on Tue May 1 07:15:32 UTC 2007