Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 670.859 | 671.157 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb |
MD5SUM | 3f50fdda997abfe5e5c5cddf7b7c1313 |
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/429428-1177984641/instance-429428-1177984641.opb 0.00/0.00 c File size is 8048 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.003 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. 108.15/108.20 c 100 616 1018 9734 9 3477 5691 100 5555 0.02 108.15/108.20 c 251 616 1169 18988 16 3781 6261 251 9296 0.03 108.15/108.20 c 477 616 1395 32977 23 4200 6888 477 10840 0.04 108.15/108.20 c 817 616 1735 54263 31 4851 7577 817 11347 0.07 108.15/108.20 c 1325 616 2243 85988 38 5791 8335 1325 10037 0.13 108.15/108.20 c 2089 616 3007 132098 43 7316 9169 2089 8356 0.25 108.15/108.20 c 3236 616 4154 201523 48 9630 10086 3236 6784 0.48 108.15/108.20 c 4957 616 5875 304115 51 13035 11095 4957 5017 0.99 108.15/108.20 c 7541 616 8459 491590 58 18198 12205 7541 4931 1.53 108.15/108.20 c 11420 616 12338 745869 60 26060 13426 11420 4285 2.67 108.15/108.20 c 17242 616 11323 657463 58 23988 14769 10405 2989 5.77 108.15/108.20 c 25980 616 12279 736092 59 25853 16246 11361 2836 9.16 108.15/108.20 c 39090 616 16905 1064402 62 35123 17871 15987 2522 15.49 108.15/108.20 c 58760 616 17934 1038411 57 37243 19659 17016 2113 27.80 108.15/108.20 c 88271 616 16518 1092244 66 34291 21625 15600 1937 45.55 108.15/108.20 c 132542 616 15664 876488 55 32597 23788 14746 1691 78.35 108.15/108.20 o 97 108.168 381.26/381.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 381.26/381.57 c 167765 616 24488 1831375 74 50219 5189 23570 1550 108.17 381.26/381.57 c 167865 616 3614 205584 56 8635 5708 2696 1545 108.59 381.26/381.57 c 168115 616 3864 223198 57 9151 6279 2946 1547 108.62 381.26/381.57 c 168591 616 4340 254087 58 9940 6907 3422 1551 108.68 381.26/381.57 c 169404 616 5153 307639 59 11572 7598 4235 1557 108.77 381.26/381.57 c 170725 616 6474 401476 62 14226 8358 5556 1566 108.99 381.26/381.57 c 172806 616 8555 549301 64 18375 9194 7637 1578 109.46 381.26/381.57 c 176030 616 7070 412750 58 15390 10114 6152 1595 110.32 381.26/381.57 c 180966 616 6889 359080 52 14982 11126 5971 1613 112.16 381.26/381.57 c 188472 616 8354 494007 59 17978 12239 7436 1657 113.68 381.26/381.57 c 199833 616 7039 380939 54 15303 13463 6121 1672 119.45 381.26/381.57 c 216977 616 9844 610892 62 20977 14810 8926 1681 129.04 381.26/381.57 c 242796 616 12392 745685 60 26131 16292 11474 1724 140.83 381.26/381.57 c 281629 615 9066 546217 60 19470 17922 8148 1751 160.76 381.26/381.57 c 339982 605 10663 618365 57 22670 19715 9745 1648 206.18 381.26/381.57 c 427614 605 16202 1077623 66 33731 21687 15284 1529 279.55 381.26/381.57 o 57 381.344 438.25/438.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 438.25/438.51 c 537294 602 13395 918311 68 28160 5187 12477 1408 381.35 438.25/438.51 c 537394 602 3618 191506 52 8657 5706 2700 1408 381.56 438.25/438.51 c 537647 602 3871 208856 53 9147 6277 2953 1408 381.59 438.25/438.51 c 538123 602 4347 240569 55 10099 6905 3429 1410 381.64 438.25/438.51 c 538936 602 5160 294034 56 11718 7596 4242 1411 381.79 438.25/438.51 c 540256 602 6480 380019 58 14343 8356 5562 1413 382.17 438.25/438.51 c 542337 602 8561 518260 60 18519 9192 7643 1416 382.93 438.25/438.51 c 545560 602 7108 405158 57 15598 10112 6190 1418 384.64 438.25/438.51 c 550497 602 6598 383358 58 14565 11124 5680 1426 385.96 438.25/438.51 c 558004 602 8422 491803 58 18170 12237 7504 1433 389.25 438.25/438.51 c 569366 592 7043 398783 56 15518 13461 6125 1450 392.52 438.25/438.51 c 586510 592 10289 615805 59 21943 14808 9371 1463 400.71 438.25/438.51 c 612329 591 13604 798451 58 28610 16289 12686 1466 417.59 438.25/438.51 o 25 438.277 650.40/650.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 650.40/650.79 c 641412 591 9088 532109 58 19544 5185 8170 1463 438.28 650.40/650.79 c 641513 591 3620 172546 47 8622 5704 2702 1463 438.36 650.40/650.79 c 641764 591 3871 189026 48 9037 6275 2953 1463 438.39 650.40/650.79 c 642240 591 4347 220350 50 10002 6903 3429 1464 438.46 650.40/650.79 c 643055 591 5162 272879 52 11626 7594 4244 1466 438.60 650.40/650.79 c 644376 591 6483 355983 54 14285 8354 5565 1468 438.93 650.40/650.79 c 646459 591 8566 483408 56 18439 9190 7648 1470 439.68 650.40/650.79 c 649682 591 7104 387820 54 15510 10110 6186 1473 440.98 650.40/650.79 c 654619 581 6907 363822 52 15205 11122 5989 1474 443.92 650.40/650.79 c 662127 581 8287 463311 55 17905 12235 7369 1478 447.87 650.40/650.79 c 673488 581 7256 403017 55 15871 13459 6338 1478 455.56 650.40/650.79 c 690632 581 10049 620575 61 21363 14805 9131 1486 464.59 650.40/650.79 c 716452 581 13342 759697 56 28008 16286 12424 1477 484.86 650.40/650.79 c 755285 581 9697 453464 46 20726 17915 8779 1471 513.31 650.40/650.79 c 813637 580 13429 787018 58 28217 19707 12511 1420 572.80 650.40/650.79 o 3 650.5 670.80/671.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 670.80/671.15 c 889991 580 18695 1305414 69 38788 5183 17777 1368 650.50 670.80/671.15 c 890091 560 3623 217047 59 8629 5702 2705 1368 650.64 670.80/671.15 c 890342 538 3874 233004 60 9117 6273 2956 1368 650.67 670.80/671.15 c 890817 538 4349 263995 60 10063 6901 3431 1368 650.74 670.80/671.15 c 891631 538 5163 312047 60 11711 7592 4245 1369 650.90 670.80/671.15 c 892952 538 6484 391327 60 14374 8352 5566 1371 651.30 670.80/671.15 c 895033 538 8565 523343 61 18463 9188 7647 1372 652.11 670.80/671.15 c 898257 538 7060 389833 55 15513 10107 6142 1374 653.60 670.80/671.15 c 903194 529 6808 360818 52 15025 11118 5890 1375 656.70 670.80/671.15 c 910701 529 8654 424907 49 18719 12230 7736 1376 661.55 670.80/671.15 c 922062 526 7571 359459 47 16535 13454 6653 1377 669.31 670.80/671.15 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 670.80/671.15 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 670.80/671.15 v x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76 670.80/671.15 v -x77 -x78 -x79 -x80 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132 670.80/671.15 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 670.80/671.15 v -x101 -x102 x103 x104 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x153 -x154 670.80/671.15 v -x155 -x156 x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 670.80/671.15 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 670.80/671.15 c 71 924624 8779 960690 10133 477143 9215 1378 670.85 670.80/671.15 c Objective: 3 670.80/671.15 s OPTIMUM FOUND 670.80/671.15 c Total time: 670.852 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-429428-1177984641 -o ROOT/results/node55/solver-429428-1177984641 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429428-1177984641/instance-429428-1177984641.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.93 1.01 0.99 3/64 13607 /proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=19556 CPUtime=0 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 246374176 20025344 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 4889 344 290 324 0 3956 0 [startup+0.013738 s] /proc/loadavg: 0.93 1.01 0.99 3/64 13607 /proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=4324 CPUtime=0 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 480 0 0 0 0 0 0 0 18 0 1 0 246374176 4427776 447 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 1081 447 309 324 0 150 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4324 [startup+0.101747 s] /proc/loadavg: 0.93 1.01 0.99 3/64 13607 /proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=5104 CPUtime=0.09 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 702 0 0 0 9 0 0 0 18 0 1 0 246374176 5226496 669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 1276 670 312 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301764 s] /proc/loadavg: 0.93 1.01 0.99 3/64 13607 /proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=6264 CPUtime=0.29 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 985 0 0 0 29 0 0 0 19 0 1 0 246374176 6414336 952 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 1566 952 312 324 0 635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6264 [startup+0.701802 s] /proc/loadavg: 0.93 1.01 0.99 3/64 13607 /proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=7816 CPUtime=0.69 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 1368 0 0 0 68 1 0 0 23 0 1 0 246374176 8003584 1335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 1954 1335 312 324 0 1023 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7816 [startup+1.50188 s] /proc/loadavg: 0.93 1.01 0.99 2/65 13608 /proc/meminfo: memFree=1406948/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=10924 CPUtime=1.48 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 2157 0 0 0 146 2 0 0 25 0 1 0 246374176 11186176 2124 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 2731 2124 312 324 0 1800 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10924 [startup+3.10103 s] /proc/loadavg: 0.93 1.01 0.99 2/65 13608 /proc/meminfo: memFree=1402084/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=15572 CPUtime=3.09 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 3301 0 0 0 305 4 0 0 25 0 1 0 246374176 15945728 3268 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 3893 3268 312 324 0 2962 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15572 [startup+6.30133 s] /proc/loadavg: 0.93 1.01 0.99 2/65 13608 /proc/meminfo: memFree=1398372/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=16868 CPUtime=6.29 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 3630 0 0 0 624 5 0 0 25 0 1 0 246374176 17272832 3597 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 4217 3597 312 324 0 3286 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16868 [startup+12.7019 s] /proc/loadavg: 0.94 1.01 0.99 2/65 13608 /proc/meminfo: memFree=1395308/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=20036 CPUtime=12.68 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 4420 0 0 0 1261 7 0 0 25 0 1 0 246374176 20516864 4387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 5009 4387 312 324 0 4078 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20036 [startup+25.5011 s] /proc/loadavg: 0.95 1.00 0.99 2/65 13608 /proc/meminfo: memFree=1393260/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=22100 CPUtime=25.48 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 4952 0 0 0 2538 10 0 0 25 0 1 0 246374176 22630400 4919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 5525 4919 312 324 0 4594 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22100 [startup+51.1016 s] /proc/loadavg: 0.97 1.00 0.99 2/65 13608 /proc/meminfo: memFree=1389420/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=26036 CPUtime=51.07 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 5936 0 0 0 5093 14 0 0 25 0 1 0 246374176 26660864 5903 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7283053 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 6509 5903 312 324 0 5578 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26036 [startup+102.305 s] /proc/loadavg: 0.98 1.00 0.99 2/65 13608 /proc/meminfo: memFree=1386540/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=28776 CPUtime=102.26 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6615 0 0 0 10205 21 0 0 25 0 1 0 246374176 29466624 6582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7194 6582 312 324 0 6263 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28776 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 13608 /proc/meminfo: memFree=1385068/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30252 CPUtime=162.24 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 16190 34 0 0 25 0 1 0 246374176 30978048 6949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7563 6949 313 324 0 6632 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30252 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/71 13634 /proc/meminfo: memFree=1383804/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30252 CPUtime=222.22 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 22177 45 0 0 25 0 1 0 246374176 30978048 6949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7563 6949 313 324 0 6632 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 30252 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 3/73 14203 /proc/meminfo: memFree=1382124/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30252 CPUtime=282.11 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 28156 55 0 0 25 0 1 0 246374176 30978048 6949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7282388 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13607/statm: 7563 6949 313 324 0 6632 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 30252 [startup+342.302 s] /proc/loadavg: 1.03 1.01 1.00 2/65 14282 /proc/meminfo: memFree=1383844/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30252 CPUtime=342.08 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 34142 66 0 0 25 0 1 0 246374176 30978048 6949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7563 6949 313 324 0 6632 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 30252 [startup+402.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 14282 /proc/meminfo: memFree=1384036/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=402.06 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 40128 78 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 30204 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384036/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=462.05 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 46118 87 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 30204 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384100/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=522.03 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 52106 97 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 30204 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384164/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=582.01 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 58096 105 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 30204 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=642 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 64090 110 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 30204 Solver just ended. Dumping a history of the last processes samples [startup+652.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=652.4 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 65128 112 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 652.4 Current children cumulated vsize (KiB) 30204 [startup+659.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=658.8 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 65766 114 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 658.8 Current children cumulated vsize (KiB) 30204 [startup+665.506 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=665.2 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66405 115 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 665.2 Current children cumulated vsize (KiB) 30204 [startup+668.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=668.39 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66724 115 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 668.39 Current children cumulated vsize (KiB) 30204 [startup+670.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=669.99 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66884 115 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 669.99 Current children cumulated vsize (KiB) 30204 [startup+670.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=670.39 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66924 115 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 670.39 Current children cumulated vsize (KiB) 30204 [startup+671.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14282 /proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956 [pid=13607] ppid=13605 vsize=30204 CPUtime=670.8 /proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66964 116 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13607/statm: 7551 6946 313 324 0 6620 0 Current children cumulated CPU time (s) 670.8 Current children cumulated vsize (KiB) 30204 Child status: 0 Real time (s): 671.157 CPU time (s): 670.859 CPU user time (s): 669.693 CPU system time (s): 1.16582 CPU usage (%): 99.9557 Max. virtual memory (cumulated for all children) (KiB): 30252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 669.693 system time used= 1.16582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6983 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= 1186 runsolver used 0.52192 second user time and 1.37279 second system time The end
Begin job on node55 on Tue May 1 01:57:21 UTC 2007 IDJOB= 429428 IDBENCH= 47908 IDSOLVER= 163 FILE ID= node55/429428-1177984641 PBS_JOBID= 4728100 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=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429428-1177984641/instance-429428-1177984641.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-429428-1177984641 -o ROOT/results/node55/solver-429428-1177984641 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429428-1177984641/instance-429428-1177984641.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 3f50fdda997abfe5e5c5cddf7b7c1313 RANDOM SEED= 855257527 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1412292 kB Buffers: 72256 kB Cached: 480344 kB SwapCached: 2552 kB Active: 82268 kB Inactive: 484212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1412292 kB SwapTotal: 4192956 kB SwapFree: 4184544 kB Dirty: 6592 kB Writeback: 0 kB Mapped: 20112 kB Slab: 63224 kB Committed_AS: 1804824 kB PageTables: 1392 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 node55 on Tue May 1 02:08:33 UTC 2007