Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 591.09 | 591.282 |
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.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/431934-1178012097/instance-431934-1178012097.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. 547.62/547.88 c 101 616 1019 9496 9 3440 5691 101 5611 0.02 547.62/547.88 c 251 616 1169 20113 17 3707 6261 251 8366 0.03 547.62/547.88 c 477 616 1395 39500 28 4168 6888 477 8517 0.06 547.62/547.88 c 815 616 1733 60397 34 4823 7577 815 9261 0.09 547.62/547.88 c 1324 616 2242 94415 42 5824 8335 1324 8885 0.15 547.62/547.88 c 2087 616 3005 141115 46 7308 9169 2087 8805 0.24 547.62/547.88 c 3234 616 4152 207778 50 9594 10086 3234 7139 0.45 547.62/547.88 c 4956 616 5874 308409 52 13085 11095 4956 5255 0.94 547.62/547.88 c 7541 616 8459 459264 54 18262 12205 7541 3628 2.08 547.62/547.88 c 11421 616 12339 717621 58 26043 13426 11421 3765 3.03 547.62/547.88 c 17243 616 11369 662262 58 24075 14769 10451 3110 5.54 547.62/547.88 c 25980 616 12608 691692 54 26554 16246 11690 2676 9.71 547.62/547.88 c 39090 613 9376 494138 52 20096 17871 8458 1997 19.57 547.62/547.88 c 58761 613 10775 644508 59 22848 19659 9857 1599 36.75 547.62/547.88 c 88271 613 19879 1262025 63 41125 21625 18961 1670 52.85 547.62/547.88 c 132541 613 18999 1229163 64 39307 23788 18081 1290 102.67 547.62/547.88 c 198951 610 20727 1268191 61 42762 26167 19809 1067 186.32 547.62/547.88 c 298571 607 13463 811550 60 28266 28784 12545 937 318.58 547.62/547.88 c 448007 604 23018 1464427 63 47293 31663 22100 830 539.76 547.62/547.88 o 241 547.701 552.02/552.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 552.02/552.23 c 461813 604 16233 1047203 64 33797 5189 15315 843 547.70 552.02/552.23 c 461915 604 3624 186520 51 8611 5708 2706 843 547.89 552.02/552.23 c 462167 604 3876 205581 53 9099 6279 2958 843 547.94 552.02/552.23 c 462643 604 4352 238135 54 10070 6907 3434 844 548.00 552.02/552.23 c 463456 604 5165 296225 57 11681 7598 4247 845 548.09 552.02/552.23 c 464777 604 6486 385431 59 14336 8358 5568 847 548.43 552.02/552.23 c 466858 604 8567 521806 60 18483 9194 7649 849 549.31 552.02/552.23 c 470082 604 7121 408877 57 15625 10114 6203 853 550.88 552.02/552.23 o 9 552.051 553.12/553.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 553.12/553.34 c 474208 604 5984 346918 57 13233 5189 5066 858 552.12 553.12/553.34 c 474309 564 6085 353400 58 13550 5708 5167 858 552.17 553.12/553.34 c 474559 564 6335 367903 58 14005 6279 5417 859 552.20 553.12/553.34 c 475034 564 6810 397074 58 14986 6907 5892 860 552.31 553.12/553.34 c 475849 564 7625 449735 58 16605 7598 6707 861 552.55 553.12/553.34 c 477170 564 5042 271846 53 11444 8358 4124 862 553.04 553.12/553.34 o 7 553.167 569.21/569.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 569.21/569.45 c 477507 564 5380 293442 54 12140 5181 4462 863 553.17 569.21/569.45 c 477608 564 5481 300661 54 12296 5700 4563 863 553.18 569.21/569.45 c 477859 564 5732 318142 55 12777 6271 4814 863 553.25 569.21/569.45 c 478335 564 6208 349691 56 13757 6899 5290 864 553.41 569.21/569.45 c 479148 564 7021 401347 57 15380 7589 6103 865 553.73 569.21/569.45 c 480470 564 8343 488444 58 18046 8348 7425 866 554.24 569.21/569.45 c 482551 564 6065 342713 56 13442 9183 5147 869 554.97 569.21/569.45 c 485775 564 9289 547438 58 19908 10102 8371 872 556.63 569.21/569.45 c 490711 564 9066 510109 56 19436 11113 8148 876 559.63 569.21/569.45 c 498218 564 10935 620918 56 23184 12225 10017 881 565.12 569.21/569.45 o 5 569.272 570.41/570.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 570.41/570.68 c 505892 553 12395 713650 57 26147 5179 11477 888 569.27 570.41/570.68 c 505994 553 3624 179015 49 8594 5697 2706 888 569.39 570.41/570.68 c 506247 553 3877 195721 50 9098 6267 2959 889 569.42 570.41/570.68 c 506724 553 4354 225977 51 10098 6894 3436 889 569.49 570.41/570.68 c 507537 553 5167 278241 53 11715 7584 4249 890 569.68 570.41/570.68 c 508858 553 6488 363501 56 14282 8343 5570 892 570.09 570.41/570.68 o 3 570.493 591.00/591.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 591.00/591.27 c 510051 553 7682 439230 57 16726 5179 6764 894 570.49 591.00/591.27 c 510153 532 3626 174256 48 8661 5697 2708 894 570.53 591.00/591.27 c 510404 532 3877 191144 49 9151 6267 2959 894 570.56 591.00/591.27 c 510879 532 4352 223344 51 10116 6894 3434 895 570.64 591.00/591.27 c 511692 532 5165 276741 53 11729 7584 4247 896 570.79 591.00/591.27 c 513012 532 6485 353248 54 14371 8343 5567 898 571.11 591.00/591.27 c 515095 532 8568 488330 56 18503 9178 7650 900 571.98 591.00/591.27 c 518318 532 7064 379799 53 15511 10096 6146 903 573.47 591.00/591.27 c 523254 532 6819 362948 53 15019 11106 5901 908 576.11 591.00/591.27 c 530761 523 8637 439984 50 18653 12217 7719 913 580.92 591.00/591.27 c 542122 518 7545 352363 46 16467 13439 6627 919 589.40 591.00/591.27 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 591.00/591.27 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 591.00/591.27 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 591.00/591.27 v -x78 -x79 -x80 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132 591.00/591.27 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 591.00/591.27 v -x101 -x102 -x103 -x104 -x145 x146 -x147 x148 -x149 -x150 -x151 -x152 x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x153 591.00/591.27 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 591.00/591.27 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 591.00/591.27 c 60 544987 3555 561394 10410 491772 9492 922 591.08 591.00/591.27 c Objective: 3 591.00/591.27 s OPTIMUM FOUND 591.00/591.27 c Total time: 591.08 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-431934-1178012097 -o ROOT/results/node25/solver-431934-1178012097 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431934-1178012097/instance-431934-1178012097.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.98 0.99 3/64 31835 /proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=11744 CPUtime=0 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 249126749 12025856 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 2936 346 291 324 0 2003 0 [startup+0.0723191 s] /proc/loadavg: 0.91 0.98 0.99 3/64 31835 /proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=4844 CPUtime=0.06 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 625 0 0 0 6 0 0 0 18 0 1 0 249126749 4960256 592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 1211 593 312 324 0 280 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4844 [startup+0.101323 s] /proc/loadavg: 0.91 0.98 0.99 3/64 31835 /proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=5100 CPUtime=0.09 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 691 0 0 0 9 0 0 0 18 0 1 0 249126749 5222400 658 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 1275 658 312 324 0 344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.301357 s] /proc/loadavg: 0.91 0.98 0.99 3/64 31835 /proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=6520 CPUtime=0.29 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 1038 0 0 0 29 0 0 0 19 0 1 0 249126749 6676480 1005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 1630 1005 312 324 0 699 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6520 [startup+0.701426 s] /proc/loadavg: 0.91 0.98 0.99 3/64 31835 /proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=7948 CPUtime=0.69 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 1414 0 0 0 68 1 0 0 22 0 1 0 249126749 8138752 1381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 1987 1381 312 324 0 1056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7948 [startup+1.50156 s] /proc/loadavg: 0.91 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1857640/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=9900 CPUtime=1.49 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 1872 0 0 0 148 1 0 0 25 0 1 0 249126749 10137600 1839 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 2475 1840 312 324 0 1544 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9900 [startup+3.10184 s] /proc/loadavg: 0.91 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1855528/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=14792 CPUtime=3.09 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 3105 0 0 0 307 2 0 0 25 0 1 0 249126749 15147008 3072 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 3698 3072 312 324 0 2767 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14792 [startup+6.30138 s] /proc/loadavg: 0.92 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1849776/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=16468 CPUtime=6.29 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 3525 0 0 0 625 4 0 0 25 0 1 0 249126749 16863232 3492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 4117 3492 312 324 0 3186 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16468 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1848696/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=18252 CPUtime=12.69 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 3965 0 0 0 1263 6 0 0 25 0 1 0 249126749 18690048 3932 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 4563 3932 312 324 0 3632 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18252 [startup+25.5017 s] /proc/loadavg: 0.94 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1846776/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=19900 CPUtime=25.49 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 4395 0 0 0 2541 8 0 0 25 0 1 0 249126749 20377600 4362 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 4975 4362 312 324 0 4044 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19900 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1842552/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=23848 CPUtime=51.08 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 5377 0 0 0 5096 12 0 0 25 0 1 0 249126749 24420352 5344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 5962 5344 312 324 0 5031 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23848 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1840248/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=26144 CPUtime=102.26 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 5952 0 0 0 10209 17 0 0 25 0 1 0 249126749 26771456 5919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 6536 5919 312 324 0 5605 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 26144 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1839224/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=27120 CPUtime=162.23 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 6201 0 0 0 16200 23 0 0 25 0 1 0 249126749 27770880 6168 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 6780 6168 312 324 0 5849 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 27120 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1837560/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=28800 CPUtime=222.22 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 6620 0 0 0 22192 30 0 0 25 0 1 0 249126749 29491200 6587 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 7200 6587 312 324 0 6269 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 28800 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31836 /proc/meminfo: memFree=1836344/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=29952 CPUtime=282.2 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 6912 0 0 0 28184 36 0 0 25 0 1 0 249126749 30670848 6879 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 7488 6879 312 324 0 6557 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 29952 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1835576/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=30592 CPUtime=342.18 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 7073 0 0 0 34176 42 0 0 25 0 1 0 249126749 31326208 7040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 7648 7040 312 324 0 6717 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 30592 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1834744/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=31460 CPUtime=402.16 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 7288 0 0 0 40168 48 0 0 25 0 1 0 249126749 32215040 7255 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10469127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 7865 7255 312 324 0 6934 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 31460 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1832824/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=33364 CPUtime=462.14 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 7765 0 0 0 46158 56 0 0 25 0 1 0 249126749 34164736 7732 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 8341 7732 312 324 0 7410 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 33364 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1832824/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=33344 CPUtime=522.12 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 7765 0 0 0 52150 62 0 0 25 0 1 0 249126749 34144256 7730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 8336 7730 312 324 0 7405 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 33344 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=34992 CPUtime=582.1 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58136 74 0 0 25 0 1 0 249126749 35831808 8142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 8748 8142 313 324 0 7817 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 34992 Solver just ended. Dumping a history of the last processes samples [startup+585.501 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=34992 CPUtime=585.3 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58456 74 0 0 25 0 1 0 249126749 35831808 8142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 8748 8142 313 324 0 7817 0 Current children cumulated CPU time (s) 585.3 Current children cumulated vsize (KiB) 34992 [startup+588.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=34992 CPUtime=588.5 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58775 75 0 0 25 0 1 0 249126749 35831808 8142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 8748 8142 313 324 0 7817 0 Current children cumulated CPU time (s) 588.5 Current children cumulated vsize (KiB) 34992 [startup+590.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=34988 CPUtime=590.1 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58935 75 0 0 25 0 1 0 249126749 35827712 8141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 8747 8141 313 324 0 7816 0 Current children cumulated CPU time (s) 590.1 Current children cumulated vsize (KiB) 34988 [startup+590.705 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=34988 CPUtime=590.5 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58975 75 0 0 25 0 1 0 249126749 35827712 8141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 8747 8141 313 324 0 7816 0 Current children cumulated CPU time (s) 590.5 Current children cumulated vsize (KiB) 34988 [startup+591.101 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=34988 CPUtime=590.9 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 59015 75 0 0 25 0 1 0 249126749 35827712 8141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 8747 8141 313 324 0 7816 0 Current children cumulated CPU time (s) 590.9 Current children cumulated vsize (KiB) 34988 [startup+591.201 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31838 /proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956 [pid=31835] ppid=31833 vsize=34988 CPUtime=591 /proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 59025 75 0 0 25 0 1 0 249126749 35827712 8141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31835/statm: 8747 8141 313 324 0 7816 0 Current children cumulated CPU time (s) 591 Current children cumulated vsize (KiB) 34988 Child status: 0 Real time (s): 591.282 CPU time (s): 591.09 CPU user time (s): 590.325 CPU system time (s): 0.764883 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 35112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 590.325 system time used= 0.764883 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= 502 runsolver used 0.441932 second user time and 1.17782 second system time The end
Begin job on node25 on Tue May 1 09:34:57 UTC 2007 IDJOB= 431934 IDBENCH= 48087 IDSOLVER= 163 FILE ID= node25/431934-1178012097 PBS_JOBID= 4728316 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=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431934-1178012097/instance-431934-1178012097.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-431934-1178012097 -o ROOT/results/node25/solver-431934-1178012097 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431934-1178012097/instance-431934-1178012097.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= afe3df18e5a0f1ba7fdc86d94afdb427 RANDOM SEED= 467991602 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1863240 kB Buffers: 19012 kB Cached: 101692 kB SwapCached: 3804 kB Active: 74960 kB Inactive: 55796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1863240 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 6756 kB Writeback: 0 kB Mapped: 15940 kB Slab: 47916 kB Committed_AS: 4388504 kB PageTables: 1476 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 node25 on Tue May 1 09:44:48 UTC 2007