Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 680.208 | 680.394 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb |
MD5SUM | a6d214cc283b484f5cca285d86c4d8bb |
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.319951 |
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 | 192 |
Total number of constraints | 17 |
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 | 17 |
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) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
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/452953-1178001850/instance-452953-1178001850.opb 0.00/0.00 c File size is 9292 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: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706 0.00/0.00 c Obj. Vars: 8 (1.13636 % 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 704 1049 4408 4 3786 5914 0 0 0.01 0.00/0.01 c Switching off LPR mode. 408.28/408.45 c 101 704 1150 10433 9 3905 6506 101 5315 0.02 408.28/408.45 c 252 704 1301 19823 15 4223 7157 252 8129 0.03 408.28/408.45 c 479 704 1528 35785 23 4694 7873 479 9979 0.05 408.28/408.45 c 818 704 1867 59546 31 5348 8661 818 10487 0.08 408.28/408.45 c 1326 704 2375 92319 38 6369 9528 1326 10359 0.13 408.28/408.45 c 2089 704 3138 145401 46 7761 10481 2089 9900 0.21 408.28/408.45 c 3235 704 4284 221124 51 9968 11530 3235 8603 0.38 408.28/408.45 c 4957 704 6006 349595 58 13426 12684 4957 8060 0.61 408.28/408.45 c 7541 704 8590 511421 59 18718 13953 7541 6517 1.16 408.28/408.45 c 11421 704 12470 755624 60 26459 15349 11421 4526 2.52 408.28/408.45 c 17244 704 10382 575280 55 22242 16884 9333 2676 6.44 408.28/408.45 c 25982 704 10647 565324 53 22737 18573 9598 1841 14.11 408.28/408.45 c 39093 704 13857 935006 67 29269 20431 12808 1963 19.91 408.28/408.45 c 58763 704 12384 720261 58 26255 22475 11335 1936 30.35 408.28/408.45 c 88273 703 18341 1039039 56 38164 24723 17292 1892 46.64 408.28/408.45 c 132543 703 20042 1318446 65 41617 27196 18993 1620 81.78 408.28/408.45 c 198953 701 21568 1531218 70 44652 29916 20519 1287 154.49 408.28/408.45 c 298573 698 24819 1588478 64 51137 32908 23770 1199 248.97 408.28/408.45 o 67 408.333 574.33/574.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 574.33/574.54 c 412801 697 29016 1988282 68 59488 5930 27967 1010 408.33 574.33/574.54 c 412903 697 4126 227791 55 9825 6524 3077 1010 408.79 574.33/574.54 c 413154 697 4377 245479 56 10282 7177 3328 1010 408.82 574.33/574.54 c 413629 697 4852 278256 57 11211 7895 3803 1011 408.88 574.33/574.54 c 414442 697 5665 332925 58 12855 8685 4616 1013 409.00 574.33/574.54 c 415763 697 6986 420633 60 15497 9554 5937 1015 409.23 574.33/574.54 c 417844 697 9067 556795 61 19633 10510 8018 1019 409.87 574.33/574.54 c 421067 697 6965 388681 55 15435 11562 5916 1023 411.38 574.33/574.54 c 426003 697 11901 719102 60 25334 12719 10852 1030 413.52 574.33/574.54 c 433509 697 12658 750401 59 26793 13991 11609 1034 419.11 574.33/574.54 c 444871 697 9922 556903 56 21407 15391 8873 1039 428.03 574.33/574.54 c 462015 697 11051 640306 57 23647 16931 10002 1041 443.66 574.33/574.54 c 487835 697 10577 674598 63 22684 18625 9528 1058 460.99 574.33/574.54 c 526667 694 11512 674772 58 24545 20488 10463 1065 494.19 574.33/574.54 c 585019 684 17032 980608 57 35660 22537 15983 1033 566.03 574.33/574.54 o 65 574.385 574.93/575.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 574.93/575.10 c 593087 681 13369 761737 56 28367 5928 12320 1032 574.38 574.93/575.10 c 593187 681 4128 208382 50 9878 6521 3079 1032 574.53 574.93/575.10 c 593437 681 4378 225151 51 10317 7174 3329 1032 574.55 574.93/575.10 c 593912 681 4853 258264 53 11298 7892 3804 1033 574.61 574.93/575.10 c 594725 681 5666 315311 55 12880 8682 4617 1034 574.75 574.93/575.10 o 5 574.948 588.33/588.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 588.33/588.58 c 595937 681 6879 394345 57 15289 5928 5830 1036 574.95 588.33/588.58 c 596038 672 6980 404882 58 15580 6521 5931 1036 574.97 588.33/588.58 c 596288 672 7230 422178 58 16029 7174 6181 1036 575.02 588.33/588.58 c 596764 672 7706 454833 59 16984 7892 6657 1037 575.17 588.33/588.58 c 597577 672 8519 508148 59 18599 8682 7470 1038 575.53 588.33/588.58 c 598897 672 5416 296737 54 12398 9551 4367 1039 576.23 588.33/588.58 c 600979 653 7498 439341 58 16538 10507 6449 1042 576.72 588.33/588.58 c 604203 653 10722 649688 60 23028 11558 9673 1043 578.98 588.33/588.58 c 609139 653 9762 569781 58 21107 12714 8713 1046 582.34 588.33/588.58 c 616645 641 10661 655002 61 22854 13986 9612 1049 587.73 588.33/588.58 o 3 588.423 680.11/680.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 680.11/680.38 c 618475 641 12492 780180 62 26543 5920 11443 1051 588.42 680.11/680.38 c 618576 641 4128 210527 50 9765 6513 3079 1050 588.61 680.11/680.38 c 618826 641 4378 224981 51 10287 7165 3329 1051 588.68 680.11/680.38 c 619301 641 4853 254904 52 11198 7882 3804 1051 588.78 680.11/680.38 c 620115 641 5667 305321 53 12823 8671 4618 1052 589.02 680.11/680.38 c 621436 641 6988 388826 55 15484 9539 5939 1054 589.56 680.11/680.38 c 623518 641 9070 521643 57 19689 10493 8021 1055 590.58 680.11/680.38 c 626742 641 6940 374111 53 15404 11543 5891 1057 592.44 680.11/680.38 c 631679 641 11877 680970 57 25266 12698 10828 1060 595.46 680.11/680.38 c 639186 641 12920 739546 57 27365 13968 11871 1062 601.52 680.11/680.38 c 650547 620 10051 556041 55 21687 15365 9002 1063 611.49 680.11/680.38 c 667691 620 11268 651081 57 24086 16902 10219 1074 621.58 680.11/680.38 c 693511 617 10760 605798 56 23166 18593 9711 1088 636.95 680.11/680.38 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 680.11/680.38 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 680.11/680.38 v -x60 -x61 -x62 x63 x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x129 -x130 -x131 -x132 -x133 680.11/680.38 v -x134 -x135 -x136 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x137 -x138 x139 x140 x141 -x142 -x143 -x144 x89 -x90 x91 -x92 -x93 -x94 680.11/680.38 v -x95 -x96 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x153 -x154 -x155 -x156 680.11/680.38 v -x157 -x158 -x159 -x160 x105 x106 -x107 x108 -x109 x110 x111 -x112 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x113 -x114 680.11/680.38 v -x115 -x116 -x117 -x118 x119 -x120 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x121 -x122 -x123 -x124 -x125 -x126 -x127 680.11/680.38 v -x128 x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 680.11/680.38 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 680.11/680.38 c 61 728188 7038 764840 17161 909252 16112 1070 680.20 680.11/680.38 c Objective: 3 680.11/680.38 s OPTIMUM FOUND 680.11/680.38 c Total time: 680.198 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-452953-1178001850 -o ROOT/results/node17/solver-452953-1178001850 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452953-1178001850/instance-452953-1178001850.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 1.00 0.99 3/77 11733 /proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=19560 CPUtime=0 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 248102492 20029440 340 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3131472 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 4890 341 288 324 0 3957 0 [startup+0.0456579 s] /proc/loadavg: 0.92 1.00 0.99 3/77 11733 /proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=4588 CPUtime=0.04 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 563 0 0 0 4 0 0 0 18 0 1 0 248102492 4698112 530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 1147 531 310 324 0 217 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4588 [startup+0.101663 s] /proc/loadavg: 0.92 1.00 0.99 3/77 11733 /proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=5236 CPUtime=0.09 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 722 0 0 0 9 0 0 0 18 0 1 0 248102492 5361664 689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 1309 689 310 324 0 379 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5236 [startup+0.301683 s] /proc/loadavg: 0.92 1.00 0.99 3/77 11733 /proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=6788 CPUtime=0.29 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 1121 0 0 0 29 0 0 0 19 0 1 0 248102492 6950912 1088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 1697 1088 310 324 0 767 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6788 [startup+0.701726 s] /proc/loadavg: 0.92 1.00 0.99 3/77 11733 /proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=9760 CPUtime=0.69 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 1837 0 0 0 68 1 0 0 23 0 1 0 248102492 9994240 1804 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 2440 1804 310 324 0 1510 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9760 [startup+1.50181 s] /proc/loadavg: 0.92 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1783016/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=12224 CPUtime=1.49 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 2460 0 0 0 147 2 0 0 25 0 1 0 248102492 12517376 2427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 3056 2427 310 324 0 2126 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12224 [startup+3.10198 s] /proc/loadavg: 0.92 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1780328/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=16112 CPUtime=3.09 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 3440 0 0 0 307 2 0 0 25 0 1 0 248102492 16498688 3407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 4028 3407 310 324 0 3098 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16112 [startup+6.30131 s] /proc/loadavg: 0.93 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1774888/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=18824 CPUtime=6.29 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 4125 0 0 0 627 2 0 0 25 0 1 0 248102492 19275776 4092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 4706 4092 310 324 0 3776 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18824 [startup+12.702 s] /proc/loadavg: 0.93 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1774888/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=18956 CPUtime=12.68 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 4154 0 0 0 1266 2 0 0 25 0 1 0 248102492 19410944 4121 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 4739 4121 310 324 0 3809 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18956 [startup+25.5013 s] /proc/loadavg: 0.95 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1768296/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=25600 CPUtime=25.48 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 5813 0 0 0 2545 3 0 0 25 0 1 0 248102492 26214400 5780 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 6400 5780 310 324 0 5470 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25600 [startup+51.102 s] /proc/loadavg: 0.96 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1766568/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=27260 CPUtime=51.07 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 6232 0 0 0 5103 4 0 0 25 0 1 0 248102492 27914240 6199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 6815 6199 310 324 0 5885 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27260 [startup+102.304 s] /proc/loadavg: 0.98 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1761448/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=32368 CPUtime=102.25 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 7513 0 0 0 10220 5 0 0 25 0 1 0 248102492 33144832 7480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 8092 7480 310 324 0 7162 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 32368 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1756968/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=36876 CPUtime=162.24 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 8642 0 0 0 16218 6 0 0 25 0 1 0 248102492 37761024 8609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9219 8609 310 324 0 8289 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 36876 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1756904/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=36872 CPUtime=222.23 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 8642 0 0 0 22216 7 0 0 25 0 1 0 248102492 37756928 8609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9218 8609 310 324 0 8288 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 36872 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1756840/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=36872 CPUtime=282.21 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 8645 0 0 0 28214 7 0 0 25 0 1 0 248102492 37756928 8610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9218 8610 310 324 0 8288 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 36872 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755240/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=38412 CPUtime=342.19 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9065 0 0 0 34211 8 0 0 25 0 1 0 248102492 39333888 8964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9603 8964 310 324 0 8673 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 38412 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755304/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=38396 CPUtime=402.18 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9065 0 0 0 40209 9 0 0 25 0 1 0 248102492 39317504 8964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9599 8964 310 324 0 8669 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 38396 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755496/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=38260 CPUtime=462.16 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 46207 9 0 0 25 0 1 0 248102492 39178240 8958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9565 8958 311 324 0 8635 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 38260 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755560/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=38260 CPUtime=522.15 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 52205 10 0 0 25 0 1 0 248102492 39178240 8958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9565 8958 311 324 0 8635 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 38260 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755560/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=38120 CPUtime=582.13 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 58203 10 0 0 25 0 1 0 248102492 39034880 8923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9530 8923 311 324 0 8600 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 38120 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=37768 CPUtime=642.12 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 64201 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9442 8835 311 324 0 8512 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 37768 Solver just ended. Dumping a history of the last processes samples [startup+665.505 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=37768 CPUtime=665.32 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 66521 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9442 8835 311 324 0 8512 0 Current children cumulated CPU time (s) 665.32 Current children cumulated vsize (KiB) 37768 [startup+671.902 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=37768 CPUtime=671.71 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67160 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9442 8835 311 324 0 8512 0 Current children cumulated CPU time (s) 671.71 Current children cumulated vsize (KiB) 37768 [startup+675.102 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=37768 CPUtime=674.91 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67480 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9442 8835 311 324 0 8512 0 Current children cumulated CPU time (s) 674.91 Current children cumulated vsize (KiB) 37768 [startup+678.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=37768 CPUtime=678.11 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67800 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9442 8835 311 324 0 8512 0 Current children cumulated CPU time (s) 678.11 Current children cumulated vsize (KiB) 37768 [startup+679.102 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=37768 CPUtime=678.91 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67880 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9442 8835 311 324 0 8512 0 Current children cumulated CPU time (s) 678.91 Current children cumulated vsize (KiB) 37768 [startup+679.902 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=37768 CPUtime=679.71 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67960 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9442 8835 311 324 0 8512 0 Current children cumulated CPU time (s) 679.71 Current children cumulated vsize (KiB) 37768 [startup+680.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 11734 /proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956 [pid=11733] ppid=11731 vsize=37768 CPUtime=680.11 /proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 68000 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11733/statm: 9442 8835 311 324 0 8512 0 Current children cumulated CPU time (s) 680.11 Current children cumulated vsize (KiB) 37768 Child status: 0 Real time (s): 680.394 CPU time (s): 680.208 CPU user time (s): 680.089 CPU system time (s): 0.118981 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 38544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 680.089 system time used= 0.118981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9070 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= 11 involuntary context switches= 13695 runsolver used 0.539917 second user time and 1.44778 second system time The end
Begin job on node17 on Tue May 1 06:44:10 UTC 2007 IDJOB= 452953 IDBENCH= 48020 IDSOLVER= 199 FILE ID= node17/452953-1178001850 PBS_JOBID= 4728200 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=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452953-1178001850/instance-452953-1178001850.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-452953-1178001850 -o ROOT/results/node17/solver-452953-1178001850 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452953-1178001850/instance-452953-1178001850.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a6d214cc283b484f5cca285d86c4d8bb RANDOM SEED= 613296006 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1790856 kB Buffers: 31576 kB Cached: 151288 kB SwapCached: 15016 kB Active: 72864 kB Inactive: 133420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1790856 kB SwapTotal: 4192956 kB SwapFree: 4140116 kB Dirty: 6628 kB Writeback: 0 kB Mapped: 30416 kB Slab: 44352 kB Committed_AS: 7401920 kB PageTables: 1796 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 node17 on Tue May 1 06:55:30 UTC 2007