Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.62 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv42z.opb |
MD5SUM | 8886b8ab7bdc8ec03150a7b794b8a992 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -8205 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10270 |
Optimality of the best value was proved | YES |
Number of variables | 12596 |
Total number of constraints | 10687 |
Number of constraints which are clauses | 4 |
Number of constraints which are cardinality constraints (but not clauses) | 5680 |
Number of constraints which are nor clauses,nor cardinality constraints | 5003 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 714 |
Biggest coefficient in the objective function | 559 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 66891 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1117 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 66891 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node7/41556-1149371943/instance-41556-1149371943.opb ...... 0.73 c done parsing opb. 0.73 o 11099 0.77 o 11089 5.58 o 9995 8.96 o 9849 10.43 o 9845 12.02 o 9840 12.87 o 9839 12.92 o 9835 13.65 o 9834 13.75 o 9830 14.48 o 9825 15.13 o 9820 16.75 o 9815 16.85 o 9791 17.94 o 9774 19.61 o 9113 19.65 o 8850 28.33 o 8849 43.06 o 8848 43.14 o 8847 43.25 o 8843 43.36 o 8840 48.25 o 8837 48.61 o 8834 54.38 o 8829 54.91 o 8825 55.40 o 8820 58.47 o 8815 59.93 o 8810 60.24 o 8805 61.07 o 8803 61.51 o 8802 61.68 o 8799 61.79 o 8798 62.14 o 8796 62.97 o 8795 64.53 o 8793 64.64 o 8789 64.86 o 8784 69.93 o 8780 70.11 o 8779 74.11 o 8778 76.23 o 8774 80.08 o 8771 83.13 o 8769 83.45 o 8767 83.52 o 8766 83.57 o 8764 83.62 o 8762 83.86 o 8759 88.71 o 8754 89.98 o 8749 94.08 o 8740 96.87 o 8735 99.93 o 8734 101.13 o 8732 101.72 o 8731 102.09 o 8729 105.31 o 8726 108.16 o 8725 108.20 o 8721 108.23 o 8720 108.31 o 8707 108.36 o 8108 108.38 o 8099 108.40 o 8026 112.90 o 8023 121.11 o 8020 121.47 o 8019 133.39 o 8014 133.89 o 8012 145.27 o 8011 147.91 o 8008 153.29 o 8007 153.66 o 8005 154.80 o 8004 157.63 o 8003 157.95 o 8000 159.12 o 7996 168.83 o 7995 171.04 o 7994 171.13 o 7990 171.17 o 7987 171.41 o 7982 171.45 o 7977 171.57 o 7973 171.61 o 7971 171.64 o 7969 171.68 o 7968 171.70 o 7939 171.72 o 7938 171.74 o 7936 171.75 o 7903 171.77 o 7692 171.79 o 7687 171.81 o 7686 171.82 o 7685 171.84 o 7684 171.86 o 7667 171.88 o 7662 171.89 o 7659 171.91 o 7657 171.93 o 7653 171.95 o 7648 172.02 o 7645 172.05 o 7644 172.07 o 7641 172.41 o 7638 173.21 o 7634 173.78 o 7633 174.74 o 7630 179.64 o 7627 179.81 o 7623 186.63 o 7619 204.07 o 7615 206.51 o 7612 206.87 o 7611 234.71 o 7609 241.97 o 7606 244.14 o 7605 244.41 o 7601 249.46 o 7598 258.81 o 7594 261.80 o 7592 262.02 o 7591 262.61 o 7590 266.34 o 7589 267.40 o 7588 270.52 o 7584 276.83 o 7579 282.54 o 7575 288.13 o 7571 298.01 o 7570 298.94 o 7566 309.26 o 7565 309.38 o 7562 309.65 o 7561 309.70 o 7558 309.73 o 7557 309.76 o 7554 309.79 o 7549 309.81 o 7547 309.84 o 7544 310.00 o 7539 310.04 o 7538 310.14 o 7534 310.17 o 7532 310.21 o 7527 310.24 o 7523 310.26 o 7521 310.28 o 7517 310.31 o 7514 310.32 o 7513 310.34 o 7511 310.36 o 7508 310.38 o 7504 310.40 o 7499 310.42 o 7497 310.44 o 7494 310.46 o 7491 310.47 o 7488 310.49 o 7487 310.51 o 7486 310.53 o 7482 310.56 o 7481 310.58 o 7478 310.59 o 7476 310.61 o 7473 310.63 o 7470 310.65 o 7468 310.67 o 7464 310.69 o 7462 310.71 o 7461 310.73 o 7460 310.75 o 7456 310.76 o 7455 310.78 o 7454 310.80 o 7450 310.89 o 7449 310.92 o 7446 310.94 o 7444 310.97 o 7443 311.02 o 7441 311.04 o 7440 311.06 o 7437 311.09 o 7434 311.11 o 7431 313.80 o 7428 315.61 o 7424 315.81 o 7423 315.84 o 7420 316.43 o 7418 319.10 o 7416 322.24 o 7414 323.56 o 7409 323.65 o 7401 323.68 o 7392 323.71 o 7386 323.74 o 7384 323.77 o 7374 323.79 o 7364 323.82 o 7359 323.84 o 7349 323.86 o 7339 323.88 o 7334 323.89 o 7326 323.91 o 7319 323.93 o 7314 323.95 o 7304 323.97 o 7294 323.99 o 7291 324.01 o 7286 324.03 o 7281 324.04 o 7276 324.06 o 7269 324.08 o 7264 324.10 o 7261 324.12 o 7254 324.14 o 7251 324.16 o 7246 324.18 o 7241 324.19 o 7236 324.21 o 7234 324.23 o 7231 324.25 o 7226 324.27 o 7224 324.29 o 7221 324.31 o 7220 324.33 o 7216 324.34 o 7211 324.36 o 7206 324.38 o 7205 324.40 o 7204 324.42 o 7200 324.44 o 7196 324.46 o 7195 324.48 o 7190 324.49 o 7189 324.51 o 7186 324.53 o 7181 324.55 o 7176 324.57 o 7171 324.59 o 7169 324.61 o 7166 324.63 o 7165 324.64 o 7160 324.66 o 7156 324.68 o 7151 324.70 o 7149 324.72 o 7145 324.74 o 7141 324.76 o 7136 324.77 o 7135 324.79 o 7131 324.81 o 7130 324.83 o 7126 324.85 o 7121 324.87 o 7120 324.89 o 7116 324.91 o 7115 324.92 o 7111 324.94 o 7106 324.96 o 7102 324.98 o 7101 325.00 o 7097 325.02 o 7095 325.04 o 7094 325.06 o 7090 325.07 o 7086 325.09 o 7083 325.11 o 7081 325.13 o 7080 325.15 o 7079 325.17 o 7078 325.19 o 7075 325.21 o 7070 325.22 o 7065 325.24 o 7063 325.26 o 7061 325.28 o 7060 325.30 o 7056 325.32 o 7055 325.34 o 7050 325.35 o 7049 325.37 o 7048 325.39 o 7045 325.41 o 7041 325.43 o 7040 325.45 o 7035 325.47 o 7034 325.48 o 7030 325.50 o 7029 325.52 o 7025 325.54 o 7020 325.56 o 7017 337.81 o 7015 337.99 o 7014 343.57 o 7013 346.11 o 7012 347.45 o 7010 370.21 o 7009 376.27 o 7006 384.41 o 7005 394.90 o 7004 397.64 o 7000 399.45 o 6997 418.36 o 6995 419.79 o 6994 420.23 o 6990 430.59 o 6985 431.94 o 6984 434.00 o 6981 452.55 o 6980 455.84 o 6976 456.07 o 6974 466.71 o 6970 494.04 o 6968 496.96 o 6965 563.08 o 6964 602.78 o 6960 607.83 o 6956 608.19 o 6955 608.36 o 6953 608.48 o 6952 612.94 o 6950 616.61 o 6949 616.77 o 6946 617.10 o 6945 617.49 o 6942 626.93 o 6941 630.43 o 6937 630.72 o 6933 647.56 o 6932 653.59 o 6928 659.89 o 6927 670.28 o 6925 671.22 o 6924 671.74 o 6920 682.23 o 6915 684.45 o 6910 694.35 o 6905 712.62 o 6904 760.35 o 6900 789.00 o 6897 789.66 o 6895 789.84 o 6891 789.99 o 6887 790.61 o 6884 790.80 o 6880 795.75 o 6877 796.49 o 6873 796.81 o 6869 801.14 o 6866 812.47 o 6863 818.81 o 6858 819.27 o 6853 820.50 o 6852 824.97 o 6851 833.58 o 6850 833.87 o 6848 837.45 o 6845 838.04 o 6844 852.21 o 6838 852.48 o 6836 852.55 o 6831 852.61 o 6826 852.68 o 6820 852.74 o 6816 852.91 o 6815 853.11 o 6811 853.27 o 6809 853.56 o 6806 860.13 o 6805 919.38 o 6802 919.83 o 6800 962.11 o 6796 962.29 o 6795 992.78 o 6794 1010.91 o 6793 1020.17 o 6789 1025.21 o 6786 1025.38 o 6781 1025.48 o 6780 1025.50 o 6777 1025.55 o 6772 1025.58 o 6767 1025.60 o 6762 1025.62 o 6757 1025.64 o 6752 1025.66 o 6747 1025.69 o 6742 1025.71 o 6737 1025.73 o 6732 1025.75 o 6727 1025.78 o 6722 1025.80 o 6717 1025.82 o 6712 1025.84 o 6707 1025.86 o 6702 1025.89 o 6697 1025.91 o 6692 1025.93 o 6690 1025.95 o 6687 1025.98 o 6682 1026.00 o 6677 1026.02 o 6672 1026.04 o 6667 1026.06 o 6662 1026.09 o 6660 1026.11 o 6657 1026.13 o 6652 1026.15 o 6650 1026.17 o 6647 1026.20 o 6642 1026.22 o 6637 1026.24 o 6632 1026.28 o 6627 1026.30 o 6622 1026.34 o 6621 1026.36 o 6617 1026.38 o 6612 1026.40 o 6611 1026.43 o 6607 1026.45 o 6606 1026.47 o 6601 1026.49 o 6599 1026.51 o 6597 1026.54 o 6596 1026.56 o 6591 1026.58 o 6586 1026.60 o 6581 1026.63 o 6576 1026.65 o 6572 1026.67 o 6570 1026.69 o 6566 1026.72 o 6562 1026.74 o 6560 1026.76 o 6556 1026.78 o 6552 1026.81 o 6551 1026.83 o 6546 1026.85 o 6545 1026.87 o 6542 1026.89 o 6537 1026.92 o 6534 1026.94 o 6531 1026.96 o 6530 1026.98 o 6528 1027.01 o 6527 1027.03 o 6522 1027.05 o 6521 1027.07 o 6516 1027.09 o 6515 1027.12 o 6511 1027.14 o 6510 1027.16 o 6505 1027.18 o 6502 1027.21 o 6501 1027.23 o 6500 1027.25 o 6499 1027.27 o 6497 1027.30 o 6492 1027.35 o 6491 1035.88 o 6487 1077.65 o 6485 1088.09 o 6484 1090.92 o 6481 1091.18 o 6480 1094.82 o 6477 1169.29 o 6476 1174.88 o 6474 1186.29 o 6473 1189.41 o 6472 1196.37 o 6468 1210.94 o 6464 1249.04 o 6462 1280.52 o 6461 1280.90 o 6456 1283.45 o 6454 1317.84 o 6453 1326.04 o 6451 1371.66 o 6449 1373.25 o 6448 1379.34 o 6447 1381.68 o 6446 1386.99 o 6444 1391.20 o 6443 1396.96 o 6442 1402.52 o 6439 1402.65 o 6438 1411.22 o 6434 1415.76 o 6432 1431.15 o 6430 1493.26 o 6429 1503.17 o 6428 1509.70 o 6425 1531.61 o 6420 1536.30 o 6419 1551.19 o 6416 1555.21 o 6413 1622.19 o 6411 1661.91 o 6408 1664.55 o 6407 1678.07 o 6403 1698.33 o 6400 1740.87 o 6399 1761.50 o 6395 1770.86 o 6391
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-41556-1149371943 -o ROOT/results/node7/solver-41556-1149371943 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/41556-1149371943/instance-41556-1149371943.opb 973226123 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.95 3/64 22342 /proc/meminfo: memFree=1488032/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=2584 CPUtime=0 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 202856519 2646016 162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 646 163 90 232 0 411 0 [startup+10.0019 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1476192/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=14388 CPUtime=9.99 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 3370 0 0 0 984 15 0 0 25 0 1 0 202856519 14733312 3070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 3597 3070 108 232 0 3362 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 14388 [startup+20.008 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1474208/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=17548 CPUtime=19.99 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 4000 0 0 0 1973 26 0 0 25 0 1 0 202856519 17969152 3603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 4387 3603 108 232 0 4152 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 17548 [startup+30.014 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1472608/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=18236 CPUtime=30 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 4392 0 0 0 2966 34 0 0 25 0 1 0 202856519 18673664 3995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 4559 3995 108 232 0 4324 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 18236 [startup+40.0201 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1471712/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=18612 CPUtime=40 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 4629 0 0 0 3957 43 0 0 25 0 1 0 202856519 19058688 4232 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 4653 4232 108 232 0 4418 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 18612 [startup+50.0262 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1470560/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=23864 CPUtime=50 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 5110 0 0 0 4948 52 0 0 25 0 1 0 202856519 24436736 4520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 5966 4520 108 232 0 5731 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 23864 [startup+60.0322 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1469536/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=24020 CPUtime=60.01 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 5375 0 0 0 5940 61 0 0 25 0 1 0 202856519 24596480 4785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 6005 4785 108 232 0 5770 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 24020 [startup+70.0383 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1468320/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=24188 CPUtime=70.01 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 5672 0 0 0 6932 69 0 0 25 0 1 0 202856519 24768512 5082 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551957 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 6047 5082 108 232 0 5812 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 24188 [startup+80.0443 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1467040/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=24280 CPUtime=80.01 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 5989 0 0 0 7924 77 0 0 25 0 1 0 202856519 24862720 5399 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 6070 5399 108 232 0 5835 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 24280 [startup+90.0504 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1466592/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=24544 CPUtime=90.01 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6091 0 0 0 8916 85 0 0 25 0 1 0 202856519 25133056 5501 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546544 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 6136 5501 108 232 0 5901 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 24544 [startup+100.056 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1466400/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=24656 CPUtime=100.02 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6151 0 0 0 9907 95 0 0 25 0 1 0 202856519 25247744 5561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 6164 5561 108 232 0 5929 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 24656 [startup+110.062 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22342 /proc/meminfo: memFree=1466080/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=24864 CPUtime=110.02 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6223 0 0 0 10898 104 0 0 25 0 1 0 202856519 25460736 5633 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 6216 5633 108 232 0 5981 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 24864 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.95 2/70 22365 /proc/meminfo: memFree=1464624/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=26452 CPUtime=120.02 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6655 0 0 0 11891 111 0 0 25 0 1 0 202856519 27086848 5680 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 6613 5680 108 232 0 6378 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 26452 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.95 2/70 22441 /proc/meminfo: memFree=1463728/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=26528 CPUtime=129.99 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6878 0 0 0 12879 120 0 0 25 0 1 0 202856519 27164672 5903 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 0 0 0 /proc/22342/statm: 6632 5903 108 232 0 6397 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 26528 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1463712/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=34884 CPUtime=139.98 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7123 0 0 0 13870 128 0 0 25 0 1 0 202856519 35721216 6148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 8721 6148 108 232 0 8486 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 34884 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1463648/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=35160 CPUtime=149.98 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7186 0 0 0 14863 135 0 0 25 0 1 0 202856519 36003840 6211 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546855 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 8790 6211 108 232 0 8555 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 35160 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1463200/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=35268 CPUtime=159.98 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7301 0 0 0 15857 141 0 0 25 0 1 0 202856519 36114432 6326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 8817 6326 108 232 0 8582 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 35268 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1462304/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=35388 CPUtime=169.98 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7527 0 0 0 16849 149 0 0 25 0 1 0 202856519 36237312 6552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 8847 6552 108 232 0 8612 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 35388 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1461536/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=35552 CPUtime=179.99 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7705 0 0 0 17841 158 0 0 25 0 1 0 202856519 36405248 6730 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551216 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 8888 6730 108 232 0 8653 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 35552 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1461280/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=35660 CPUtime=189.99 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7765 0 0 0 18835 164 0 0 25 0 1 0 202856519 36515840 6790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 8915 6790 108 232 0 8680 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 35660 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1460704/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=35660 CPUtime=200 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7916 0 0 0 19827 173 0 0 25 0 1 0 202856519 36515840 6941 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 8915 6941 108 232 0 8680 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 35660 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1460000/2055920 swapFree=4181500/4192956 ################ # More data... # ################ /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20443 0 0 0 177264 886 0 0 25 0 1 0 202856519 107204608 17162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26173 17162 108 232 0 25938 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 104692 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1782.5 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20450 0 0 0 177364 886 0 0 25 0 1 0 202856519 107241472 17169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17169 108 232 0 25947 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 104728 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1783.51 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20451 0 0 0 177464 887 0 0 25 0 1 0 202856519 107241472 17170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17170 108 232 0 25947 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 104728 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1784.52 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20452 0 0 0 177564 888 0 0 25 0 1 0 202856519 107241472 17171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17171 108 232 0 25947 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 104728 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1785.52 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20453 0 0 0 177664 888 0 0 25 0 1 0 202856519 107241472 17172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17172 108 232 0 25947 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 104728 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1786.52 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20456 0 0 0 177763 889 0 0 25 0 1 0 202856519 107241472 17175 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611827 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17175 108 232 0 25947 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 104728 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1787.53 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20457 0 0 0 177863 890 0 0 25 0 1 0 202856519 107241472 17176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17176 108 232 0 25947 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 104728 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1788.53 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20458 0 0 0 177963 890 0 0 25 0 1 0 202856519 107241472 17177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17177 108 232 0 25947 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 104728 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1789.54 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20458 0 0 0 178063 891 0 0 25 0 1 0 202856519 107241472 17177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17177 108 232 0 25947 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 104728 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1790.54 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20459 0 0 0 178163 891 0 0 25 0 1 0 202856519 107241472 17178 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17178 108 232 0 25947 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 104728 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1791.55 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20460 0 0 0 178264 891 0 0 25 0 1 0 202856519 107241472 17179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17179 108 232 0 25947 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 104728 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1792.55 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20461 0 0 0 178364 891 0 0 25 0 1 0 202856519 107241472 17180 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17180 108 232 0 25947 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 104728 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1793.56 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20462 0 0 0 178464 892 0 0 25 0 1 0 202856519 107241472 17181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17181 108 232 0 25947 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 104728 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1794.57 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20463 0 0 0 178565 892 0 0 25 0 1 0 202856519 107241472 17182 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17182 108 232 0 25947 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 104728 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1795.57 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20463 0 0 0 178665 892 0 0 25 0 1 0 202856519 107241472 17182 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17182 108 232 0 25947 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 104728 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1796.58 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20464 0 0 0 178765 893 0 0 25 0 1 0 202856519 107241472 17183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17183 108 232 0 25947 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 104728 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1797.58 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20466 0 0 0 178865 893 0 0 25 0 1 0 202856519 107241472 17185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17185 108 232 0 25947 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 104728 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1798.58 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20467 0 0 0 178964 894 0 0 25 0 1 0 202856519 107241472 17186 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17186 108 232 0 25947 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 104728 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419424/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1799.58 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20468 0 0 0 179064 894 0 0 25 0 1 0 202856519 107241472 17187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17187 108 232 0 25947 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 104728 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419424/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1800.59 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20469 0 0 0 179165 894 0 0 25 0 1 0 202856519 107241472 17188 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17188 108 232 0 25947 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 104728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22537 /proc/meminfo: memFree=1419424/2055920 swapFree=4181500/4192956 [pid=22342] ppid=22340 vsize=104728 CPUtime=1800.59 /proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20470 0 0 0 179165 894 0 0 25 0 1 0 202856519 107241472 17189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0 /proc/22342/statm: 26182 17189 108 232 0 25947 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 104728 Sending SIGTERM to -22342 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.62 CPU user time (s): 1791.65 CPU system time (s): 8.96164 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (Kb): 104728 The end
Begin job on node7 on Sat Jun 3 21:59:03 UTC 2006 FILE ID= 41556-1149371943 PBS_JOBID= 312240 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/41556-1149371943/instance-41556-1149371943.opb 973226123 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-41556-1149371943 -o ROOT/results/node7/solver-41556-1149371943 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/41556-1149371943/instance-41556-1149371943.opb 973226123 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992 RANDOM SEED= 973226123 /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.232 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.232 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: 1488240 kB Buffers: 27192 kB Cached: 473176 kB SwapCached: 3308 kB Active: 56984 kB Inactive: 452216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1488240 kB SwapTotal: 4192956 kB SwapFree: 4181500 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14972 kB Slab: 44380 kB Committed_AS: 348492 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node7 on Sat Jun 3 22:29:05 UTC 2006