Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 993.278 | 993.498 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb |
MD5SUM | e79e2db14e141163591dbcfdfed7384a |
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.132979 |
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 | 108 |
Total number of constraints | 9 |
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 | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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/452872-1177989063/instance-452872-1177989063.opb 0.00/0.00 c File size is 5689 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.01 c Switching off LPR mode. 0.09/0.13 c 100 432 761 10634 13 2559 4058 100 5882 0.02 0.09/0.13 c 253 432 914 23150 25 2777 4464 253 8433 0.03 0.09/0.13 c 479 432 1140 43074 37 3278 4911 479 9979 0.05 0.09/0.13 c 817 432 1478 71951 48 3937 5403 817 9611 0.09 0.09/0.13 o 205 0.132 2.09/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.13 c 1284 432 1946 108914 55 4888 3707 1285 9727 0.13 2.09/2.13 c 1384 432 2046 117183 57 5090 4078 1385 9611 0.14 2.09/2.13 c 1635 432 2297 140322 61 5594 4486 1636 9617 0.17 2.09/2.13 c 2110 421 2772 178532 64 6546 4935 2111 9254 0.23 2.09/2.13 c 2924 421 3586 249304 69 8126 5429 2925 8574 0.34 2.09/2.13 c 4245 421 4907 366066 74 10788 5972 4246 7905 0.54 2.09/2.13 c 6327 421 3710 271170 73 8394 6570 3049 6352 1.00 2.09/2.13 c 9550 421 6933 533565 76 14894 7228 6272 6063 1.57 2.09/2.13 o 171 2.128 329.92/330.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 329.92/330.04 c 11599 421 5280 370602 70 11545 3705 4619 5448 2.13 329.92/330.04 c 11700 421 2617 154681 59 6158 4076 1956 5411 2.16 329.92/330.04 c 11951 421 2868 177104 61 6744 4484 2207 5437 2.20 329.92/330.04 c 12426 421 3343 217080 64 7648 4933 2682 5507 2.26 329.92/330.04 c 13240 421 4157 289421 69 9249 5427 3496 5603 2.36 329.92/330.04 c 14560 421 5477 393536 71 11957 5970 4816 5440 2.68 329.92/330.04 c 16642 421 4490 298549 66 9963 6568 3829 4972 3.35 329.92/330.04 c 19866 421 4335 272570 62 9664 7225 3674 4280 4.64 329.92/330.04 c 24804 421 5562 366245 65 12108 7948 4901 3824 6.49 329.92/330.04 c 32310 421 4949 332329 67 10816 8743 4288 3244 9.96 329.92/330.04 c 43671 421 7412 514472 69 15751 9618 6751 2924 14.93 329.92/330.04 c 60815 421 9874 701153 71 20692 10580 9213 2702 22.50 329.92/330.04 c 86635 421 7330 638124 87 15572 11639 6669 2255 38.40 329.92/330.04 c 125468 421 10473 723644 69 21873 12803 9812 2109 59.46 329.92/330.04 c 183820 421 9006 626672 69 19007 14084 8345 1909 96.27 329.92/330.04 c 271452 421 7705 554744 71 16429 15493 7044 1702 159.45 329.92/330.04 c 403005 421 10614 825202 77 22195 17043 9953 1523 264.51 329.92/330.04 o 133 329.971 798.71/798.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 798.71/798.94 c 486740 420 15714 1113727 70 32395 3705 15053 1475 329.97 798.71/798.94 c 486843 420 2622 157100 59 6298 4076 1961 1474 330.18 798.71/798.94 c 487093 420 2872 179244 62 6764 4484 2211 1475 330.21 798.71/798.94 c 487568 420 3347 219159 65 7738 4933 2686 1476 330.28 798.71/798.94 c 488382 420 4161 287273 69 9304 5427 3500 1477 330.45 798.71/798.94 c 489702 420 5481 398629 72 11993 5970 4820 1479 330.88 798.71/798.94 c 491784 420 4480 320033 71 9967 6568 3819 1482 331.82 798.71/798.94 c 495007 420 4316 303438 70 9617 7225 3655 1484 333.53 798.71/798.94 c 499944 420 5541 395086 71 12056 7948 4880 1490 335.42 798.71/798.94 c 507450 420 4932 344610 69 10844 8743 4271 1497 338.87 798.71/798.94 c 518812 420 6941 527443 75 14853 9618 6280 1515 342.43 798.71/798.94 c 535957 420 8804 654625 74 18658 10580 8143 1519 352.79 798.71/798.94 c 561777 420 7693 557493 72 16379 11639 7032 1525 368.17 798.71/798.94 c 600610 420 10533 829415 78 22040 12803 9872 1533 391.68 798.71/798.94 c 658963 420 10084 756023 74 21135 14084 9423 1523 432.39 798.71/798.94 c 746595 420 12231 924398 75 25423 15493 11570 1472 507.13 798.71/798.94 c 878148 420 15768 1167731 74 32531 17043 15107 1419 618.42 798.71/798.94 o 21 798.769 799.11/799.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 799.11/799.39 c 1073602 419 9190 664737 72 19396 3705 8529 1343 799.03 799.11/799.39 c 1073702 419 2621 146715 55 6293 4076 1960 1343 799.13 799.11/799.39 c 1073952 419 2871 169873 59 6793 4484 2210 1343 799.15 799.11/799.39 o 19 799.213 826.31/826.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 826.31/826.59 c 1074370 398 3290 196728 59 7572 3701 2629 1344 799.21 826.31/826.59 c 1074470 398 3390 204454 60 7736 4072 2729 1344 799.23 826.31/826.59 c 1074720 398 3640 225573 61 8239 4480 2979 1344 799.25 826.31/826.59 c 1075195 398 4115 260250 63 9170 4929 3454 1345 799.32 826.31/826.59 c 1076008 398 4928 331325 67 10861 5422 4267 1345 799.45 826.31/826.59 c 1077328 398 3427 231386 67 7852 5965 2766 1347 799.79 826.31/826.59 c 1079409 398 5508 412830 74 12014 6562 4847 1348 800.48 826.31/826.59 c 1082632 398 5325 395860 74 11641 7219 4664 1350 801.88 826.31/826.59 c 1087568 398 6545 493625 75 14108 7941 5884 1352 804.28 826.31/826.59 c 1095074 398 5893 432657 73 12818 8736 5232 1354 808.17 826.31/826.59 c 1106435 398 8291 622980 75 17603 9610 7630 1359 813.95 826.31/826.59 c 1123579 386 5642 410343 72 12327 10572 4981 1364 823.41 826.31/826.59 o 17 826.41 836.00/836.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 836.00/836.26 c 1128833 386 10897 815801 74 22733 3699 10236 1365 826.41 836.00/836.26 c 1128934 386 2620 135047 51 6202 4069 1959 1365 826.60 836.00/836.26 c 1129185 386 2871 156247 54 6699 4476 2210 1366 826.63 836.00/836.26 c 1129661 386 3347 195915 58 7667 4924 2686 1366 826.71 836.00/836.26 c 1130475 386 4161 263283 63 9334 5417 3500 1367 826.89 836.00/836.26 c 1131795 386 5481 372857 68 11957 5959 4820 1367 827.34 836.00/836.26 c 1133876 386 4461 315650 70 9916 6555 3800 1369 828.00 836.00/836.26 c 1137100 386 4297 305384 71 9596 7211 3636 1370 829.68 836.00/836.26 c 1142037 386 5505 403536 73 12011 7933 4844 1372 831.81 836.00/836.26 c 1149543 386 4845 337448 69 10691 8727 4184 1375 835.77 836.00/836.26 o 11 836.076 853.50/853.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 853.50/853.76 c 1151029 386 6332 436540 68 13714 3699 5671 1376 836.08 853.50/853.76 c 1151129 386 2620 136810 52 6273 4069 1959 1376 836.12 853.50/853.76 c 1151380 386 2871 153336 53 6784 4476 2210 1377 836.14 853.50/853.76 c 1151855 386 3346 190216 56 7720 4924 2685 1377 836.19 853.50/853.76 c 1152668 375 4159 261190 62 9335 5417 3498 1378 836.29 853.50/853.76 c 1153988 375 5479 365627 66 11983 5959 4818 1379 836.61 853.50/853.76 c 1156069 375 4440 314783 70 9875 6555 3779 1380 837.51 853.50/853.76 c 1159293 375 4313 302329 70 9635 7211 3652 1381 839.09 853.50/853.76 c 1164230 375 5526 399642 72 12067 7933 4865 1383 841.43 853.50/853.76 c 1171736 375 4843 340814 70 10706 8727 4182 1385 845.50 853.50/853.76 c 1183097 375 7220 529331 73 15461 9600 6559 1390 850.77 853.50/853.76 o 5 853.572 871.30/871.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 871.30/871.54 c 1189104 375 8312 606547 72 17622 3697 7651 1393 853.57 871.30/871.54 c 1189205 375 2622 139752 53 6282 4067 1961 1393 853.64 871.30/871.54 c 1189456 375 2873 160755 55 6728 4474 2212 1393 853.69 871.30/871.54 c 1189931 375 3348 199478 59 7713 4922 2687 1393 853.78 871.30/871.54 c 1190745 375 4162 265922 63 9368 5415 3501 1394 854.00 871.30/871.54 c 1192068 375 5485 375596 68 12007 5957 4824 1395 854.40 871.30/871.54 c 1194149 375 4458 317308 71 9939 6553 3797 1396 855.10 871.30/871.54 c 1197373 375 4272 297554 69 9580 7209 3611 1397 856.76 871.30/871.54 c 1202309 375 5462 387710 70 11933 7930 4801 1399 858.80 871.30/871.54 c 1209816 364 4782 328418 68 10549 8724 4121 1403 862.18 871.30/871.54 c 1221177 364 7131 513969 72 15257 9597 6470 1407 867.40 871.30/871.54 o 3 871.355 993.17/993.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 993.17/993.49 c 1228526 364 9545 711905 74 20121 3695 8884 1409 871.36 993.17/993.49 c 1228627 341 2620 151242 57 6199 4065 1959 1409 871.43 993.17/993.49 c 1228879 341 2872 172414 60 6734 4472 2211 1410 871.47 993.17/993.49 c 1229354 341 3347 211375 63 7681 4920 2686 1410 871.57 993.17/993.49 c 1230167 341 4160 277732 66 9327 5413 3499 1411 871.79 993.17/993.49 c 1231488 341 5481 386695 70 11944 5955 4820 1411 872.23 993.17/993.49 c 1233570 341 4475 315863 70 9954 6551 3814 1412 873.18 993.17/993.49 c 1236793 341 4267 296564 69 9550 7207 3606 1413 874.77 993.17/993.49 c 1241730 341 5440 347839 63 11878 7928 4779 1416 876.67 993.17/993.49 c 1249237 341 4708 323221 68 10434 8721 4047 1419 879.90 993.17/993.49 c 1260598 341 7028 504918 71 15003 9594 6367 1423 885.63 993.17/993.49 c 1277743 341 9270 682458 73 19548 10554 8609 1426 895.53 993.17/993.49 c 1303562 341 7910 572313 72 16826 11610 7249 1432 909.81 993.17/993.49 c 1342394 331 10959 670837 61 22878 12772 10298 1431 937.59 993.17/993.49 c 1400747 328 10477 667984 63 21961 14050 9816 1435 975.86 993.17/993.49 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 993.17/993.49 v x32 x33 -x34 x35 -x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x73 -x74 -x75 -x76 993.17/993.49 v -x77 -x78 -x79 -x80 -x81 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x64 x65 x66 -x67 993.17/993.49 v -x68 x69 -x70 -x71 -x72 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 993.17/993.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 993.17/993.49 c 108 1420924 5102 1441973 9145 511860 8484 1430 993.27 993.17/993.49 c Objective: 3 993.17/993.49 s OPTIMUM FOUND 993.17/993.49 c Total time: 993.271 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-452872-1177989063 -o ROOT/results/node52/solver-452872-1177989063 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452872-1177989063/instance-452872-1177989063.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: 1.00 1.00 1.00 3/64 17801 /proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=11744 CPUtime=0 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 153751388 12025856 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 983 345 289 324 0 51 0 [startup+0.0824419 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17801 /proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=5096 CPUtime=0.07 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 673 0 0 0 7 0 0 0 18 0 1 0 153751388 5218304 641 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 1274 641 310 324 0 344 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5096 [startup+0.101442 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17801 /proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=5224 CPUtime=0.09 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 153751388 5349376 682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 1306 682 310 324 0 376 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5224 [startup+0.301455 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17801 /proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=7168 CPUtime=0.29 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 1215 0 0 0 29 0 0 0 19 0 1 0 153751388 7340032 1183 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 1792 1183 311 324 0 862 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7168 [startup+0.701484 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17801 /proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=10268 CPUtime=0.69 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 1962 0 0 0 68 1 0 0 23 0 1 0 153751388 10514432 1930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 2567 1930 311 324 0 1637 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10268 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1849356/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=11812 CPUtime=1.49 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 2353 0 0 0 148 1 0 0 25 0 1 0 153751388 12095488 2321 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 2953 2321 311 324 0 2023 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11812 [startup+3.10165 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1848268/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=12716 CPUtime=3.09 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 2594 0 0 0 308 1 0 0 25 0 1 0 153751388 13021184 2562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 3179 2562 311 324 0 2249 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12716 [startup+6.30186 s] /proc/loadavg: 1.00 1.00 1.00 3/65 17802 /proc/meminfo: memFree=1848012/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=12716 CPUtime=6.29 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 2594 0 0 0 627 2 0 0 25 0 1 0 153751388 13021184 2562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 3179 2562 311 324 0 2249 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12716 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1847628/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=13624 CPUtime=12.69 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 2824 0 0 0 1267 2 0 0 25 0 1 0 153751388 13950976 2792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 3406 2792 311 324 0 2476 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13624 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1844492/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=16948 CPUtime=25.48 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 3635 0 0 0 2546 2 0 0 25 0 1 0 153751388 17354752 3603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 4237 3603 311 324 0 3307 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16948 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1842188/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=18756 CPUtime=51.08 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 4097 0 0 0 5105 3 0 0 25 0 1 0 153751388 19206144 4065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 4689 4065 311 324 0 3759 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18756 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1840908/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=20032 CPUtime=102.27 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 4422 0 0 0 10224 3 0 0 25 0 1 0 153751388 20512768 4390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 5008 4390 311 324 0 4078 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20032 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1838156/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=22720 CPUtime=162.26 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5099 0 0 0 16222 4 0 0 25 0 1 0 153751388 23265280 5067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 5680 5067 311 324 0 4750 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 22720 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1838092/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=22828 CPUtime=222.24 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5131 0 0 0 22220 4 0 0 25 0 1 0 153751388 23375872 5098 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 5707 5098 311 324 0 4777 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 22828 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24768 CPUtime=282.23 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 28219 4 0 0 25 0 1 0 153751388 25362432 5574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572689 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6192 5574 311 324 0 5262 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 24768 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24724 CPUtime=342.21 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 34217 4 0 0 25 0 1 0 153751388 25317376 5574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6181 5574 311 324 0 5251 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 24724 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24720 CPUtime=402.2 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 40216 4 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6180 5573 311 324 0 5250 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 24720 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24720 CPUtime=462.19 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 46214 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6180 5573 311 324 0 5250 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 24720 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24720 CPUtime=522.18 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 52213 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6180 5573 311 324 0 5250 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 24720 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24720 CPUtime=582.16 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 58211 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6180 5573 311 324 0 5250 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 24720 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24720 CPUtime=642.15 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 64210 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6180 5573 311 324 0 5250 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 24720 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24720 CPUtime=702.13 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 70208 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6180 5573 311 324 0 5250 0 Current children cumulated CPU time (s) 702.13 Current children cumulated vsize (KiB) 24720 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24720 CPUtime=762.12 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 76207 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6180 5573 311 324 0 5250 0 Current children cumulated CPU time (s) 762.12 Current children cumulated vsize (KiB) 24720 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24720 CPUtime=822.11 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 82206 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6180 5573 311 324 0 5250 0 Current children cumulated CPU time (s) 822.11 Current children cumulated vsize (KiB) 24720 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=882.09 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 88204 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4742696 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 24548 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=942.08 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 94203 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 24548 Solver just ended. Dumping a history of the last processes samples [startup+947.105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=946.88 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 94683 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 946.88 Current children cumulated vsize (KiB) 24548 [startup+972.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=972.47 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 97242 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 972.47 Current children cumulated vsize (KiB) 24548 [startup+985.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=985.27 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 98522 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 985.27 Current children cumulated vsize (KiB) 24548 [startup+988.703 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=988.47 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 98842 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 988.47 Current children cumulated vsize (KiB) 24548 [startup+991.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=991.67 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99162 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 991.67 Current children cumulated vsize (KiB) 24548 [startup+992.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=992.47 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99242 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 992.47 Current children cumulated vsize (KiB) 24548 [startup+993.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=992.87 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99282 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 992.87 Current children cumulated vsize (KiB) 24548 [startup+993.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=993.07 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99302 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 993.07 Current children cumulated vsize (KiB) 24548 [startup+993.402 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17802 /proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956 [pid=17801] ppid=17799 vsize=24548 CPUtime=993.17 /proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99312 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4740405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17801/statm: 6137 5530 311 324 0 5207 0 Current children cumulated CPU time (s) 993.17 Current children cumulated vsize (KiB) 24548 Child status: 0 Real time (s): 993.498 CPU time (s): 993.278 CPU user time (s): 993.214 CPU system time (s): 0.06399 CPU usage (%): 99.9779 Max. virtual memory (cumulated for all children) (KiB): 24768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 993.214 system time used= 0.06399 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5611 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= 1345 runsolver used 0.758884 second user time and 1.9607 second system time The end
Begin job on node52 on Tue May 1 03:11:03 UTC 2007 IDJOB= 452872 IDBENCH= 47939 IDSOLVER= 199 FILE ID= node52/452872-1177989063 PBS_JOBID= 4728160 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=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452872-1177989063/instance-452872-1177989063.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-452872-1177989063 -o ROOT/results/node52/solver-452872-1177989063 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452872-1177989063/instance-452872-1177989063.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= e79e2db14e141163591dbcfdfed7384a RANDOM SEED= 3356154 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1857836 kB Buffers: 28624 kB Cached: 101856 kB SwapCached: 3888 kB Active: 83456 kB Inactive: 61328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857836 kB SwapTotal: 4192956 kB SwapFree: 4182984 kB Dirty: 6580 kB Writeback: 0 kB Mapped: 19752 kB Slab: 39200 kB Committed_AS: 2649564 kB PageTables: 1500 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 node52 on Tue May 1 03:27:37 UTC 2007