Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 476.511 | 476.635 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb |
MD5SUM | 8a882d07e0fbb307eb9e9c234ecc464c |
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.162974 |
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/430856-1177999583/instance-430856-1177999583.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.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. 136.25/136.32 c 106 616 1024 9941 9 3458 5691 106 6235 0.02 136.25/136.32 c 258 616 1176 19189 16 3604 6261 258 8600 0.03 136.25/136.32 c 484 616 1402 32445 23 4065 6888 484 9680 0.05 136.25/136.32 c 822 616 1740 54775 31 4809 7577 822 10675 0.08 136.25/136.32 c 1331 616 2249 89420 39 5863 8335 1331 11000 0.12 136.25/136.32 c 2095 616 3013 137676 45 7356 9169 2095 10023 0.21 136.25/136.32 c 3241 616 4159 211767 50 9572 10086 3241 9002 0.36 136.25/136.32 c 4962 616 5880 326131 55 13011 11095 4962 7233 0.69 136.25/136.32 c 7546 616 8464 476233 56 18155 12205 7546 4944 1.53 136.25/136.32 c 11426 616 12344 704120 57 25908 13426 11426 3111 3.67 136.25/136.32 c 17250 616 11295 652062 57 23837 14769 10377 2936 5.88 136.25/136.32 c 25987 616 12446 752609 60 26158 16246 11528 2529 10.28 136.25/136.32 c 39097 616 9200 478083 51 19693 17871 8282 1866 20.95 136.25/136.32 c 58767 613 9894 791083 79 21142 19659 8976 1838 31.96 136.25/136.32 c 88277 613 19321 1165366 60 39916 21625 18403 1418 62.24 136.25/136.32 c 132547 613 19924 1200357 60 41118 23788 19006 1108 119.60 136.25/136.32 o 225 136.288 143.85/143.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 143.85/143.96 c 157718 613 18959 1325366 69 39182 5189 18041 1157 136.29 143.85/143.96 c 157821 613 3619 196618 54 8684 5708 2701 1156 136.47 143.85/143.96 c 158071 613 3869 213695 55 9012 6279 2951 1158 136.50 143.85/143.96 c 158546 613 4344 244742 56 9970 6907 3426 1161 136.55 143.85/143.96 c 159359 613 5157 299427 58 11595 7598 4239 1165 136.69 143.85/143.96 c 160680 613 6478 386525 59 14231 8358 5560 1172 137.02 143.85/143.96 c 162762 613 8560 523717 61 18432 9194 7642 1181 137.81 143.85/143.96 c 165986 613 7116 405518 56 15525 10114 6198 1191 139.33 143.85/143.96 c 170923 613 6937 386116 55 15180 11126 6019 1201 142.28 143.85/143.96 o 129 143.926 214.23/214.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 214.23/214.38 c 177381 613 7366 442194 60 16063 5189 6448 1232 143.93 214.23/214.38 c 177481 613 3616 189674 52 8478 5708 2698 1232 143.97 214.23/214.38 c 177731 613 3866 204966 53 8972 6279 2948 1234 144.00 214.23/214.38 c 178207 613 4342 239409 55 9949 6907 3424 1237 144.06 214.23/214.38 c 179020 613 5155 294513 57 11579 7598 4237 1241 144.16 214.23/214.38 c 180341 613 6476 384882 59 14264 8358 5558 1249 144.34 214.23/214.38 c 182422 613 8557 523007 61 18389 9194 7639 1260 144.78 214.23/214.38 c 185647 613 6928 412741 59 15197 10114 6010 1271 146.04 214.23/214.38 c 190583 613 6738 371859 55 14766 11126 5820 1280 148.85 214.23/214.38 c 198089 613 8633 491941 56 18555 12239 7715 1291 153.41 214.23/214.38 c 209450 613 7620 422283 55 16552 13463 6702 1302 160.80 214.23/214.38 c 226594 613 10745 676570 62 22834 14810 9827 1322 171.37 214.23/214.38 c 252414 612 14049 818990 58 29410 16292 13131 1282 196.77 214.23/214.38 o 81 214.327 319.71/319.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 319.71/319.89 c 274754 612 11374 679599 59 24132 5189 10456 1281 214.33 319.71/319.89 c 274855 612 3618 186393 51 8627 5708 2700 1281 214.40 319.71/319.89 c 275106 612 3869 203224 52 9134 6279 2951 1283 214.42 319.71/319.89 c 275583 612 4346 235408 54 10095 6907 3428 1284 214.49 319.71/319.89 c 276397 612 5160 288178 55 11705 7598 4242 1287 214.63 319.71/319.89 c 277718 612 6481 375697 57 14367 8358 5563 1292 214.93 319.71/319.89 c 279799 612 8562 513801 60 18507 9194 7644 1297 215.69 319.71/319.89 c 283022 612 7115 411109 57 15617 10114 6197 1302 217.24 319.71/319.89 c 287959 612 6926 389823 56 15207 11126 6008 1303 220.97 319.71/319.89 c 295466 612 8806 510494 57 18938 12239 7888 1314 224.70 319.71/319.89 c 306827 612 7479 418446 55 16224 13463 6561 1322 232.06 319.71/319.89 c 323972 612 10953 660713 60 23152 14810 10035 1330 243.47 319.71/319.89 c 349791 612 14362 857230 59 30043 16292 13444 1308 267.42 319.71/319.89 c 388625 612 11190 709804 63 23717 17922 10272 1327 292.80 319.71/319.89 o 65 319.809 440.07/440.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 440.07/440.21 c 427437 611 13022 833509 64 27449 5189 12104 1336 319.81 440.07/440.21 c 427538 611 3619 196193 54 8598 5708 2701 1336 319.96 440.07/440.21 c 427788 611 3869 213517 55 9183 6279 2951 1336 319.98 440.07/440.21 c 428266 611 4347 246844 56 10108 6907 3429 1338 320.04 440.07/440.21 c 429079 611 5160 303354 58 11722 7598 4242 1340 320.18 440.07/440.21 c 430399 611 6480 394103 60 14337 8358 5562 1342 320.67 440.07/440.21 c 432480 611 8561 533272 62 18525 9194 7643 1344 321.68 440.07/440.21 c 435704 611 7116 418611 58 15650 10114 6198 1347 323.41 440.07/440.21 c 440640 611 6932 393999 56 15245 11126 6014 1350 326.29 440.07/440.21 c 448146 611 8732 502871 57 18799 12239 7814 1355 330.72 440.07/440.21 c 459508 611 7043 413189 58 15329 13463 6125 1372 334.83 440.07/440.21 c 476653 611 10527 613960 58 22335 14810 9609 1381 344.94 440.07/440.21 c 502472 611 13944 825476 59 29169 16292 13026 1373 365.90 440.07/440.21 c 541305 600 10011 585889 58 21376 17922 9093 1389 389.54 440.07/440.21 c 599657 599 13301 821758 61 27973 19715 12383 1363 439.86 440.07/440.21 o 3 440.094 476.47/476.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 476.47/476.62 c 600487 599 14132 873838 61 29602 5187 13214 1364 440.09 476.47/476.62 c 600589 599 3623 164081 45 8652 5706 2705 1364 440.25 476.47/476.62 c 600841 599 3875 180487 46 9134 6277 2957 1364 440.28 476.47/476.62 c 601316 599 4350 212059 48 10054 6905 3432 1365 440.38 476.47/476.62 c 602130 599 5164 265835 51 11721 7596 4246 1366 440.59 476.47/476.62 c 603451 599 6485 351935 54 14369 8356 5567 1368 441.00 476.47/476.62 c 605533 581 8567 488462 57 18572 9192 7649 1370 441.76 476.47/476.62 c 608756 571 7094 409010 57 15637 10112 6176 1373 443.32 476.47/476.62 c 613692 571 6874 386978 56 15195 11124 5956 1373 446.86 476.47/476.62 c 621198 571 8730 495340 56 18910 12237 7812 1373 452.14 476.47/476.62 c 632559 571 7683 425807 55 16755 13461 6765 1377 459.30 476.47/476.62 c 649704 562 11023 619610 56 23334 14808 10105 1374 472.54 476.47/476.62 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 476.47/476.62 v -x31 -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 476.47/476.62 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 476.47/476.62 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 476.47/476.62 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 476.47/476.62 v x101 -x102 -x103 x104 -x145 x146 x147 -x148 x149 -x150 -x151 -x152 x105 -x106 x107 -x108 -x109 x110 -x111 -x112 x153 x154 x155 476.47/476.62 v x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 476.47/476.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 476.47/476.62 c 79 654540 3868 674841 8371 415812 7453 1373 476.50 476.47/476.62 c Objective: 3 476.47/476.62 s OPTIMUM FOUND 476.47/476.62 c Total time: 476.502 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-430856-1177999583 -o ROOT/results/node70/solver-430856-1177999583 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430856-1177999583/instance-430856-1177999583.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.85 0.97 0.99 3/64 1585 /proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=11744 CPUtime=0 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 239495633 12025856 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 983 346 291 324 0 50 0 [startup+0.061676 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1585 /proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=4712 CPUtime=0.05 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 587 0 0 0 5 0 0 0 18 0 1 0 239495633 4825088 554 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 1178 554 312 324 0 247 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4712 [startup+0.101641 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1585 /proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=5232 CPUtime=0.09 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 239495633 5357568 685 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 1308 685 312 324 0 377 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5232 [startup+0.30166 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1585 /proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=6788 CPUtime=0.29 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 1097 0 0 0 29 0 0 0 19 0 1 0 239495633 6950912 1064 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 1697 1064 312 324 0 766 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6788 [startup+0.701699 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1585 /proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=8864 CPUtime=0.69 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 1636 0 0 0 69 0 0 0 22 0 1 0 239495633 9076736 1603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 2216 1603 312 324 0 1285 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8864 [startup+1.50278 s] /proc/loadavg: 0.85 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1792808/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=11056 CPUtime=1.49 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 2163 0 0 0 148 1 0 0 25 0 1 0 239495633 11321344 2130 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 2764 2130 312 324 0 1833 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11056 [startup+3.10194 s] /proc/loadavg: 0.85 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1790248/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=13772 CPUtime=3.09 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 2854 0 0 0 308 1 0 0 25 0 1 0 239495633 14102528 2821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 3443 2821 312 324 0 2512 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13772 [startup+6.30126 s] /proc/loadavg: 0.86 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1785904/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=16356 CPUtime=6.29 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 3502 0 0 0 626 3 0 0 25 0 1 0 239495633 16748544 3469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 4089 3469 312 324 0 3158 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16356 [startup+12.7019 s] /proc/loadavg: 0.87 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1784504/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=17908 CPUtime=12.69 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 3904 0 0 0 1264 5 0 0 25 0 1 0 239495633 18337792 3871 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 4477 3871 312 324 0 3546 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17908 [startup+25.5012 s] /proc/loadavg: 0.90 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1783480/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=19064 CPUtime=25.48 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 4181 0 0 0 2541 7 0 0 25 0 1 0 239495633 19521536 4148 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 4766 4148 312 324 0 3835 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19064 [startup+51.1017 s] /proc/loadavg: 0.93 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1776952/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=25608 CPUtime=51.07 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 5816 0 0 0 5094 13 0 0 25 0 1 0 239495633 26222592 5783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 6402 5783 312 324 0 5471 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25608 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1776952/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=25560 CPUtime=102.26 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 5818 0 0 0 10207 19 0 0 25 0 1 0 239495633 26173440 5784 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 6390 5784 312 324 0 5459 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25560 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28964 CPUtime=162.25 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 16194 31 0 0 25 0 1 0 239495633 29659136 6631 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8847112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7241 6631 313 324 0 6310 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28964 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28956 CPUtime=222.23 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 22185 38 0 0 25 0 1 0 239495633 29650944 6631 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7239 6631 313 324 0 6308 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28956 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=282.21 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 28176 45 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 28800 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=342.2 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 34164 56 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572600 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 28800 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=402.19 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 40152 67 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 28800 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=462.18 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 46139 79 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 28800 Solver just ended. Dumping a history of the last processes samples [startup+467.101 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=466.97 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 46618 79 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134571619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 466.97 Current children cumulated vsize (KiB) 28800 [startup+473.502 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=473.37 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47257 80 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 473.37 Current children cumulated vsize (KiB) 28800 [startup+475.101 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=474.98 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47417 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 474.98 Current children cumulated vsize (KiB) 28800 [startup+475.901 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=475.77 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47496 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 475.77 Current children cumulated vsize (KiB) 28800 [startup+476.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=476.17 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47536 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 476.17 Current children cumulated vsize (KiB) 28800 [startup+476.501 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=476.37 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47556 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 476.37 Current children cumulated vsize (KiB) 28800 [startup+476.601 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1586 /proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956 [pid=1585] ppid=1583 vsize=28800 CPUtime=476.47 /proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47566 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1585/statm: 7200 6595 313 324 0 6269 0 Current children cumulated CPU time (s) 476.47 Current children cumulated vsize (KiB) 28800 Child status: 0 Real time (s): 476.635 CPU time (s): 476.511 CPU user time (s): 475.694 CPU system time (s): 0.816875 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 28976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 475.694 system time used= 0.816875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6666 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= 741 runsolver used 0.411937 second user time and 0.896863 second system time The end
Begin job on node70 on Tue May 1 06:06:23 UTC 2007 IDJOB= 430856 IDBENCH= 48010 IDSOLVER= 163 FILE ID= node70/430856-1177999583 PBS_JOBID= 4728218 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=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430856-1177999583/instance-430856-1177999583.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-430856-1177999583 -o ROOT/results/node70/solver-430856-1177999583 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430856-1177999583/instance-430856-1177999583.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 8a882d07e0fbb307eb9e9c234ecc464c RANDOM SEED= 745312732 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1799432 kB Buffers: 26848 kB Cached: 157200 kB SwapCached: 2952 kB Active: 30052 kB Inactive: 164136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1799432 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 6744 kB Writeback: 0 kB Mapped: 15972 kB Slab: 48396 kB Committed_AS: 4282840 kB PageTables: 1396 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 node70 on Tue May 1 06:14:20 UTC 2007