Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 588.438 | 588.595 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb |
MD5SUM | afe3df18e5a0f1ba7fdc86d94afdb427 |
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.172973 |
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 | 168 |
Total number of constraints | 15 |
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 | 15 |
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) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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/453020-1178012203/instance-453020-1178012203.opb 0.00/0.00 c File size is 8050 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: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368 0.00/0.00 c Obj. Vars: 8 (1.2987 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off LPR mode. 545.35/545.58 c 101 616 1019 9496 9 3440 5691 101 5611 0.02 545.35/545.58 c 251 616 1169 20113 17 3707 6261 251 8366 0.03 545.35/545.58 c 477 616 1395 39500 28 4168 6888 477 8672 0.06 545.35/545.58 c 815 616 1733 60397 34 4823 7577 815 9476 0.09 545.35/545.58 c 1324 616 2242 94415 42 5824 8335 1324 9068 0.15 545.35/545.58 c 2087 616 3005 141115 46 7308 9169 2087 8957 0.23 545.35/545.58 c 3234 616 4152 207778 50 9594 10086 3234 7283 0.44 545.35/545.58 c 4956 616 5874 308409 52 13085 11095 4956 5398 0.92 545.35/545.58 c 7541 616 8459 459264 54 18262 12205 7541 3696 2.04 545.35/545.58 c 11421 616 12339 717621 58 26043 13426 11421 3833 2.98 545.35/545.58 c 17243 616 11369 662262 58 24075 14769 10451 3151 5.47 545.35/545.58 c 25980 616 12608 691692 54 26554 16246 11690 2703 9.61 545.35/545.58 c 39090 613 9376 494138 52 20096 17871 8458 2013 19.41 545.35/545.58 c 58761 613 10775 644508 59 22848 19659 9857 1608 36.53 545.35/545.58 c 88271 613 19879 1262025 63 41125 21625 18961 1678 52.58 545.35/545.58 c 132541 613 18999 1229163 64 39307 23788 18081 1297 102.15 545.35/545.58 c 198951 610 20727 1268191 61 42762 26167 19809 1072 185.51 545.35/545.58 c 298571 607 13463 811550 60 28266 28784 12545 941 317.24 545.35/545.58 c 448007 604 23018 1464427 63 47293 31663 22100 833 537.53 545.35/545.58 o 241 545.433 549.75/549.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 549.75/549.90 c 461813 604 16233 1047203 64 33797 5189 15315 846 545.43 549.75/549.90 c 461915 604 3624 186520 51 8611 5708 2706 846 545.63 549.75/549.90 c 462167 604 3876 205581 53 9099 6279 2958 846 545.67 549.75/549.90 c 462643 604 4352 238135 54 10070 6907 3434 847 545.73 549.75/549.90 c 463456 604 5165 296225 57 11681 7598 4247 849 545.82 549.75/549.90 c 464777 604 6486 385431 59 14336 8358 5568 850 546.15 549.75/549.90 c 466858 604 8567 521806 60 18483 9194 7649 853 547.02 549.75/549.90 c 470082 604 7121 408877 57 15625 10114 6203 856 548.59 549.75/549.90 o 9 549.757 550.85/551.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 550.85/551.01 c 474208 604 5984 346918 57 13233 5189 5066 862 549.83 550.85/551.01 c 474309 564 6085 353400 58 13550 5708 5167 862 549.87 550.85/551.01 c 474559 564 6335 367903 58 14005 6279 5417 862 549.91 550.85/551.01 c 475034 564 6810 397074 58 14986 6907 5892 863 550.01 550.85/551.01 c 475849 564 7625 449735 58 16605 7598 6707 864 550.25 550.85/551.01 c 477170 564 5042 271846 53 11444 8358 4124 866 550.74 550.85/551.01 o 7 550.866 566.74/566.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 566.74/566.94 c 477507 564 5380 293442 54 12140 5181 4462 866 550.87 566.74/566.94 c 477608 564 5481 300661 54 12296 5700 4563 866 550.88 566.74/566.94 c 477859 564 5732 318142 55 12777 6271 4814 867 550.95 566.74/566.94 c 478335 564 6208 349691 56 13757 6899 5290 867 551.11 566.74/566.94 c 479148 564 7021 401347 57 15380 7589 6103 868 551.42 566.74/566.94 c 480470 564 8343 488444 58 18046 8348 7425 870 551.93 566.74/566.94 c 482551 564 6065 342713 56 13442 9183 5147 873 552.65 566.74/566.94 c 485775 564 9289 547438 58 19908 10102 8371 876 554.30 566.74/566.94 c 490711 564 9066 510109 56 19436 11113 8148 880 557.27 566.74/566.94 c 498218 564 10935 620918 56 23184 12225 10017 885 562.68 566.74/566.94 o 5 566.794 567.94/568.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 567.94/568.17 c 505892 553 12395 713650 57 26147 5179 11477 892 566.79 567.94/568.17 c 505994 553 3624 179015 49 8594 5697 2706 892 566.91 567.94/568.17 c 506247 553 3877 195721 50 9098 6267 2959 892 566.94 567.94/568.17 c 506724 553 4354 225977 51 10098 6894 3436 893 567.01 567.94/568.17 c 507537 553 5167 278241 53 11715 7584 4249 894 567.20 567.94/568.17 c 508858 553 6488 363501 56 14282 8343 5570 896 567.62 567.94/568.17 o 3 568.017 588.34/588.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 588.34/588.58 c 510051 553 7682 439230 57 16726 5179 6764 897 568.02 588.34/588.58 c 510153 532 3626 174256 48 8661 5697 2708 898 568.05 588.34/588.58 c 510404 532 3877 191144 49 9151 6267 2959 898 568.08 588.34/588.58 c 510879 532 4352 223344 51 10116 6894 3434 899 568.16 588.34/588.58 c 511692 532 5165 276741 53 11729 7584 4247 900 568.32 588.34/588.58 c 513012 532 6485 353248 54 14371 8343 5567 902 568.63 588.34/588.58 c 515095 532 8568 488330 56 18503 9178 7650 904 569.50 588.34/588.58 c 518318 532 7064 379799 53 15511 10096 6146 907 570.97 588.34/588.58 c 523254 532 6819 362948 53 15019 11106 5901 912 573.57 588.34/588.58 c 530761 523 8637 439984 50 18653 12217 7719 917 578.33 588.34/588.58 c 542122 518 7545 352363 46 16467 13439 6627 923 586.76 588.34/588.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 -x31 588.34/588.58 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 x57 -x58 -x59 x60 588.34/588.58 v -x61 -x62 -x63 x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76 -x77 588.34/588.58 v -x78 -x79 -x80 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132 588.34/588.58 v -x133 -x134 -x135 -x136 x89 x90 -x91 x92 -x93 -x94 -x95 -x96 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 x97 x98 -x99 -x100 588.34/588.58 v -x101 -x102 -x103 -x104 -x145 x146 -x147 x148 -x149 -x150 -x151 -x152 x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x153 588.34/588.58 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 588.34/588.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 588.34/588.58 c 60 544987 3555 561394 10410 491772 9492 926 588.43 588.34/588.58 c Objective: 3 588.34/588.58 s OPTIMUM FOUND 588.34/588.58 c Total time: 588.43 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-453020-1178012203 -o ROOT/results/node60/solver-453020-1178012203 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453020-1178012203/instance-453020-1178012203.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/64 864 /proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=11744 CPUtime=0 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 249130314 12025856 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 983 344 289 324 0 51 0 [startup+0.064117 s] /proc/loadavg: 0.99 0.97 0.99 3/64 864 /proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=4844 CPUtime=0.05 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 607 0 0 0 5 0 0 0 18 0 1 0 249130314 4960256 575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 1211 575 310 324 0 281 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4844 [startup+0.101119 s] /proc/loadavg: 0.99 0.97 0.99 3/64 864 /proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=5100 CPUtime=0.09 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 693 0 0 0 9 0 0 0 18 0 1 0 249130314 5222400 661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 1275 661 310 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.30114 s] /proc/loadavg: 0.99 0.97 0.99 3/64 864 /proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=6520 CPUtime=0.28 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 1040 0 0 0 28 0 0 0 19 0 1 0 249130314 6676480 1008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 1630 1008 310 324 0 700 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6520 [startup+0.701179 s] /proc/loadavg: 0.99 0.97 0.99 3/64 864 /proc/meminfo: memFree=1766344/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=8080 CPUtime=0.69 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 1420 0 0 0 68 1 0 0 23 0 1 0 249130314 8273920 1388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 2020 1388 310 324 0 1090 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8080 [startup+1.50126 s] /proc/loadavg: 0.99 0.97 0.99 2/65 865 /proc/meminfo: memFree=1761024/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=9900 CPUtime=1.49 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 1887 0 0 0 148 1 0 0 25 0 1 0 249130314 10137600 1855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 2475 1855 310 324 0 1545 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9900 [startup+3.10241 s] /proc/loadavg: 1.07 0.99 0.99 2/65 865 /proc/meminfo: memFree=1758912/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=14920 CPUtime=3.09 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 3124 0 0 0 307 2 0 0 25 0 1 0 249130314 15278080 3092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 3730 3092 310 324 0 2800 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14920 [startup+6.30173 s] /proc/loadavg: 1.07 0.99 0.99 2/65 865 /proc/meminfo: memFree=1753360/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=16468 CPUtime=6.29 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 3522 0 0 0 627 2 0 0 25 0 1 0 249130314 16863232 3490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 4117 3490 310 324 0 3187 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16468 [startup+12.7014 s] /proc/loadavg: 1.06 0.99 0.99 2/65 865 /proc/meminfo: memFree=1752208/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=18252 CPUtime=12.69 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 3981 0 0 0 1266 3 0 0 25 0 1 0 249130314 18690048 3949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 4563 3949 310 324 0 3633 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18252 [startup+25.5016 s] /proc/loadavg: 1.05 0.99 0.99 2/65 865 /proc/meminfo: memFree=1749968/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=20160 CPUtime=25.48 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 4454 0 0 0 2545 3 0 0 25 0 1 0 249130314 20643840 4422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 5040 4422 310 324 0 4110 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20160 [startup+51.1011 s] /proc/loadavg: 1.11 1.00 1.00 2/65 865 /proc/meminfo: memFree=1745808/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=23848 CPUtime=51.07 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 5374 0 0 0 5102 5 0 0 25 0 1 0 249130314 24420352 5342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 5962 5342 310 324 0 5032 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23848 [startup+102.305 s] /proc/loadavg: 1.08 1.02 1.00 2/65 865 /proc/meminfo: memFree=1743568/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=26144 CPUtime=102.26 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 5949 0 0 0 10221 5 0 0 25 0 1 0 249130314 26771456 5917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 6536 5917 310 324 0 5606 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 26144 [startup+162.301 s] /proc/loadavg: 1.03 1.01 1.00 2/65 865 /proc/meminfo: memFree=1742544/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=27120 CPUtime=162.24 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 6198 0 0 0 16219 5 0 0 25 0 1 0 249130314 27770880 6166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 6780 6166 310 324 0 5850 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 27120 [startup+222.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 865 /proc/meminfo: memFree=1740944/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=28796 CPUtime=222.23 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 6617 0 0 0 22218 5 0 0 25 0 1 0 249130314 29487104 6585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 7199 6585 310 324 0 6269 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28796 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 865 /proc/meminfo: memFree=1739728/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=29952 CPUtime=282.21 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 6909 0 0 0 28216 5 0 0 25 0 1 0 249130314 30670848 6877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 7488 6877 310 324 0 6558 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 29952 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1738832/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=30592 CPUtime=342.2 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 7070 0 0 0 34214 6 0 0 25 0 1 0 249130314 31326208 7038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 7648 7038 310 324 0 6718 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 30592 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1738128/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=31460 CPUtime=402.18 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 7285 0 0 0 40212 6 0 0 25 0 1 0 249130314 32215040 7253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 7865 7253 310 324 0 6935 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 31460 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1736272/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=33364 CPUtime=462.17 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 7762 0 0 0 46210 7 0 0 25 0 1 0 249130314 34164736 7730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 8341 7730 310 324 0 7411 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 33364 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1736272/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=33344 CPUtime=522.15 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 7762 0 0 0 52208 7 0 0 25 0 1 0 249130314 34144256 7728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 8336 7728 310 324 0 7406 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 33344 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=34992 CPUtime=582.13 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58206 7 0 0 25 0 1 0 249130314 35831808 8140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 8748 8140 311 324 0 7818 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 34992 Solver just ended. Dumping a history of the last processes samples [startup+585.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=34992 CPUtime=585.33 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58526 7 0 0 25 0 1 0 249130314 35831808 8140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 8748 8140 311 324 0 7818 0 Current children cumulated CPU time (s) 585.33 Current children cumulated vsize (KiB) 34992 [startup+587.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=34988 CPUtime=586.93 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58686 7 0 0 25 0 1 0 249130314 35827712 8139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 8747 8139 311 324 0 7817 0 Current children cumulated CPU time (s) 586.93 Current children cumulated vsize (KiB) 34988 [startup+587.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=34988 CPUtime=587.73 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58766 7 0 0 25 0 1 0 249130314 35827712 8139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 8747 8139 311 324 0 7817 0 Current children cumulated CPU time (s) 587.73 Current children cumulated vsize (KiB) 34988 [startup+588.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=34988 CPUtime=588.13 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58806 7 0 0 25 0 1 0 249130314 35827712 8139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 8747 8139 311 324 0 7817 0 Current children cumulated CPU time (s) 588.13 Current children cumulated vsize (KiB) 34988 [startup+588.506 s] /proc/loadavg: 1.00 1.00 1.00 2/65 867 /proc/meminfo: memFree=1734480/2055920 swapFree=4183296/4192956 [pid=864] ppid=862 vsize=34988 CPUtime=588.34 /proc/864/stat : 864 (bsolo3.0.17) R 862 864 32274 0 -1 4194304 8204 0 0 0 58827 7 0 0 25 0 1 0 249130314 35827712 8139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/864/statm: 8747 8139 311 324 0 7817 0 Current children cumulated CPU time (s) 588.34 Current children cumulated vsize (KiB) 34988 Child status: 0 Real time (s): 588.595 CPU time (s): 588.438 CPU user time (s): 588.356 CPU system time (s): 0.081987 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 35236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 588.356 system time used= 0.081987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8208 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= 761 runsolver used 0.483926 second user time and 1.12983 second system time The end
Begin job on node60 on Tue May 1 09:36:43 UTC 2007 IDJOB= 453020 IDBENCH= 48087 IDSOLVER= 199 FILE ID= node60/453020-1178012203 PBS_JOBID= 4728309 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=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453020-1178012203/instance-453020-1178012203.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-453020-1178012203 -o ROOT/results/node60/solver-453020-1178012203 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453020-1178012203/instance-453020-1178012203.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= afe3df18e5a0f1ba7fdc86d94afdb427 RANDOM SEED= 904668023 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1766688 kB Buffers: 32992 kB Cached: 181708 kB SwapCached: 3580 kB Active: 68044 kB Inactive: 156868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766688 kB SwapTotal: 4192956 kB SwapFree: 4183296 kB Dirty: 6592 kB Writeback: 0 kB Mapped: 16188 kB Slab: 50288 kB Committed_AS: 2956528 kB PageTables: 1468 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 node60 on Tue May 1 09:46:32 UTC 2007