Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.05 | 1800.52 |
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 | OPT |
Best value of the objective obtained on this benchmark | -10270 |
Best CPU time to get the best result obtained on this benchmark | 1022.91 |
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/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/352052-1176621598/instance-352052-1176621598.opb ...... 0.69/0.77 c done parsing opb. 0.69/0.77 o 11099 0.79/0.82 o 11089 5.59/5.68 o 9995 8.99/9.08 o 9849 10.48/10.55 o 9845 12.09/12.13 o 9840 12.88/12.99 o 9839 12.99/13.04 o 9835 13.69/13.77 o 9834 13.79/13.87 o 9830 14.58/14.61 o 9825 15.19/15.25 o 9820 16.79/16.89 o 9815 16.89/16.99 o 9791 17.98/18.08 o 9774 19.69/19.77 o 9113 19.79/19.81 o 8850 28.49/28.58 o 8849 43.28/43.33 o 8848 43.38/43.41 o 8847 43.48/43.52 o 8843 43.57/43.63 o 8840 48.48/48.54 o 8837 48.87/48.91 o 8834 54.58/54.65 o 8829 55.07/55.18 o 8825 55.58/55.68 o 8820 58.67/58.75 o 8815 60.17/60.23 o 8810 60.48/60.54 o 8805 61.27/61.38 o 8803 61.78/61.82 o 8802 61.98/62.00 o 8799 62.08/62.12 o 8798 62.37/62.47 o 8796 63.27/63.31 o 8795 64.78/64.87 o 8793 64.88/64.99 o 8789 65.17/65.21 o 8784 70.17/70.26 o 8780 70.38/70.45 o 8779 74.37/74.41 o 8778 76.47/76.53 o 8774 80.37/80.40 o 8771 83.37/83.49 o 8769 83.77/83.81 o 8767 83.77/83.88 o 8766 83.87/83.93 o 8764 83.87/83.98 o 8762 84.17/84.22 o 8759 88.97/89.06 o 8754 90.27/90.32 o 8749 94.37/94.40 o 8740 97.07/97.19 o 8735 100.16/100.27 o 8734 101.37/101.48 o 8732 101.96/102.07 o 8731 102.36/102.44 o 8729 105.57/105.68 o 8726 108.46/108.53 o 8725 108.46/108.58 o 8721 108.56/108.61 o 8720 108.56/108.68 o 8707 108.66/108.73 o 8108 108.66/108.75 o 8099 108.66/108.77 o 8026 113.16/113.23 o 8023 121.36/121.49 o 8020 121.76/121.86 o 8019 133.86/133.90 o 8014 134.35/134.40 o 8012 145.75/145.85 o 8011 148.36/148.49 o 8008 153.76/153.81 o 8007 154.05/154.18 o 8005 155.25/155.32 o 8004 158.05/158.15 o 8003 158.35/158.47 o 8000 159.55/159.64 o 7996 169.26/169.37 o 7995 171.45/171.56 o 7994 171.55/171.65 o 7990 171.55/171.69 o 7987 171.85/171.93 o 7982 171.85/171.97 o 7977 171.95/172.08 o 7973 172.05/172.12 o 7971 172.05/172.15 o 7969 172.05/172.19 o 7968 172.14/172.21 o 7939 172.14/172.23 o 7938 172.14/172.25 o 7936 172.14/172.26 o 7903 172.14/172.28 o 7692 172.25/172.30 o 7687 172.25/172.32 o 7686 172.25/172.33 o 7685 172.25/172.35 o 7684 172.25/172.37 o 7667 172.25/172.39 o 7662 172.35/172.40 o 7659 172.35/172.42 o 7657 172.35/172.44 o 7653 172.35/172.46 o 7648 172.45/172.53 o 7645 172.45/172.56 o 7644 172.45/172.58 o 7641 172.85/172.91 o 7638 173.65/173.70 o 7634 174.14/174.27 o 7633 175.15/175.23 o 7630 180.04/180.13 o 7627 180.15/180.30 o 7623 187.05/187.14 o 7619 204.44/204.56 o 7615 206.84/207.00 o 7612 207.24/207.36 o 7611 235.03/235.11 o 7609 242.33/242.41 o 7606 244.43/244.59 o 7605 244.73/244.86 o 7601 249.73/249.89 o 7598 259.03/259.18 o 7594 262.02/262.18 o 7592 262.32/262.41 o 7591 262.93/263.01 o 7590 266.62/266.73 o 7589 267.62/267.79 o 7588 270.72/270.89 o 7584 277.03/277.16 o 7579 282.82/282.90 o 7575 288.42/288.50 o 7571 298.22/298.32 o 7570 299.12/299.26 o 7566 309.51/309.61 o 7565 309.61/309.72 o 7562 309.81/309.99 o 7561 309.92/310.04 o 7558 309.92/310.07 o 7557 309.92/310.10 o 7554 310.02/310.12 o 7549 310.02/310.15 o 7547 310.02/310.18 o 7544 310.22/310.33 o 7539 310.22/310.37 o 7538 310.32/310.47 o 7534 310.41/310.50 o 7532 310.41/310.54 o 7527 310.41/310.57 o 7523 310.41/310.59 o 7521 310.51/310.61 o 7517 310.51/310.64 o 7514 310.51/310.65 o 7513 310.51/310.67 o 7511 310.51/310.69 o 7508 310.61/310.71 o 7504 310.61/310.73 o 7499 310.61/310.75 o 7497 310.61/310.77 o 7494 310.61/310.78 o 7491 310.71/310.80 o 7488 310.71/310.82 o 7487 310.71/310.84 o 7486 310.71/310.86 o 7482 310.71/310.89 o 7481 310.81/310.91 o 7478 310.81/310.92 o 7476 310.81/310.94 o 7473 310.81/310.96 o 7470 310.81/310.98 o 7468 310.91/311.00 o 7464 310.91/311.02 o 7462 310.91/311.04 o 7461 310.91/311.06 o 7460 310.91/311.07 o 7456 310.91/311.09 o 7455 311.01/311.11 o 7454 311.01/311.13 o 7450 311.12/311.21 o 7449 311.12/311.24 o 7446 311.12/311.27 o 7444 311.12/311.30 o 7443 311.21/311.34 o 7441 311.21/311.37 o 7440 311.21/311.39 o 7437 311.31/311.41 o 7434 311.31/311.43 o 7431 313.91/314.09 o 7428 315.81/315.90 o 7424 316.01/316.10 o 7423 316.01/316.13 o 7420 316.61/316.71 o 7418 319.21/319.39 o 7416 322.41/322.56 o 7414 323.71/323.89 o 7409 323.81/323.97 o 7401 323.91/324.01 o 7392 323.91/324.04 o 7386 323.91/324.06 o 7384 323.91/324.09 o 7374 324.01/324.12 o 7364 324.01/324.14 o 7359 324.01/324.16 o 7349 324.01/324.18 o 7339 324.10/324.20 o 7334 324.10/324.22 o 7326 324.10/324.24 o 7319 324.10/324.26 o 7314 324.10/324.28 o 7304 324.10/324.30 o 7294 324.21/324.31 o 7291 324.21/324.33 o 7286 324.21/324.35 o 7281 324.21/324.37 o 7276 324.21/324.39 o 7269 324.31/324.41 o 7264 324.31/324.43 o 7261 324.31/324.45 o 7254 324.31/324.47 o 7251 324.31/324.48 o 7246 324.41/324.50 o 7241 324.41/324.52 o 7236 324.41/324.54 o 7234 324.41/324.56 o 7231 324.41/324.58 o 7226 324.50/324.60 o 7224 324.50/324.62 o 7221 324.50/324.64 o 7220 324.50/324.65 o 7216 324.50/324.67 o 7211 324.50/324.69 o 7206 324.61/324.71 o 7205 324.61/324.73 o 7204 324.61/324.75 o 7200 324.61/324.77 o 7196 324.61/324.79 o 7195 324.71/324.80 o 7190 324.71/324.82 o 7189 324.71/324.84 o 7186 324.71/324.86 o 7181 324.71/324.88 o 7176 324.81/324.90 o 7171 324.81/324.92 o 7169 324.81/324.94 o 7166 324.81/324.96 o 7165 324.81/324.97 o 7160 324.81/324.99 o 7156 324.91/325.01 o 7151 324.91/325.03 o 7149 324.91/325.05 o 7145 324.91/325.07 o 7141 324.91/325.09 o 7136 325.01/325.11 o 7135 325.01/325.12 o 7131 325.01/325.14 o 7130 325.01/325.16 o 7126 325.01/325.18 o 7121 325.10/325.20 o 7120 325.10/325.22 o 7116 325.10/325.24 o 7115 325.10/325.26 o 7111 325.10/325.27 o 7106 325.10/325.29 o 7102 325.20/325.31 o 7101 325.20/325.33 o 7097 325.20/325.35 o 7095 325.20/325.37 o 7094 325.20/325.39 o 7090 325.31/325.41 o 7086 325.31/325.43 o 7083 325.31/325.44 o 7081 325.31/325.46 o 7080 325.31/325.48 o 7079 325.41/325.50 o 7078 325.41/325.52 o 7075 325.41/325.54 o 7070 325.41/325.56 o 7065 325.41/325.58 o 7063 325.41/325.59 o 7061 325.50/325.61 o 7060 325.50/325.63 o 7056 325.50/325.65 o 7055 325.50/325.67 o 7050 325.50/325.69 o 7049 325.60/325.71 o 7048 325.60/325.73 o 7045 325.60/325.74 o 7041 325.60/325.76 o 7040 325.60/325.78 o 7035 325.70/325.80 o 7034 325.70/325.82 o 7030 325.70/325.84 o 7029 325.70/325.86 o 7025 325.70/325.88 o 7020 325.70/325.89 o 7017 337.89/338.08 o 7015 338.10/338.27 o 7014 343.80/343.90 o 7013 346.30/346.44 o 7012 347.60/347.78 o 7010 370.39/370.53 o 7009 376.38/376.56 o 7006 384.58/384.75 o 7005 394.98/395.16 o 7004 397.68/397.88 o 7000 399.48/399.69 o 6997 418.37/418.55 o 6995 419.77/419.99 o 6994 420.27/420.42 o 6990 430.57/430.78 o 6985 431.97/432.11 o 6984 433.97/434.15 o 6981 452.47/452.65 o 6980 455.77/455.91 o 6976 455.97/456.14 o 6974 466.57/466.78 o 6970 493.86/494.03 o 6968 496.76/496.94 o 6965 562.74/562.99 o 6964 602.43/602.62 o 6960 607.43/607.66 o 6956 607.83/608.00 o 6955 607.93/608.18 o 6953 608.04/608.30 o 6952 612.53/612.70 o 6950 616.13/616.33 o 6949 616.33/616.50 o 6946 616.63/616.83 o 6945 617.02/617.21 o 6942 626.43/626.64 o 6941 629.92/630.12 o 6937 630.22/630.41 o 6933 646.92/647.13 o 6932 652.82/653.09 o 6928 659.12/659.35 o 6927 669.62/669.81 o 6925 670.51/670.73 o 6924 671.02/671.24 o 6920 681.51/681.72 o 6915 683.71/683.94 o 6910 693.51/693.79 o 6905 711.81/712.01 o 6904 759.29/759.56 o 6900 787.88/788.14 o 6897 788.49/788.79 o 6895 788.68/788.97 o 6891 788.88/789.11 o 6887 789.48/789.73 o 6884 789.68/789.91 o 6880 794.58/794.80 o 6877 795.28/795.53 o 6873 795.58/795.85 o 6869 799.88/800.16 o 6866 811.18/811.43 o 6863 817.48/817.71 o 6858 817.87/818.16 o 6853 819.07/819.38 o 6852 823.58/823.85 o 6851 832.08/832.37 o 6850 832.38/832.65 o 6848 835.97/836.20 o 6845 836.47/836.79 o 6844 850.57/850.89 o 6838 850.87/851.16 o 6836 850.97/851.23 o 6831 850.97/851.30 o 6826 851.07/851.36 o 6820 851.17/851.42 o 6816 851.27/851.58 o 6815 851.47/851.78 o 6811 851.67/851.94 o 6809 851.96/852.22 o 6806 858.47/858.74 o 6805 917.25/917.56 o 6802 917.75/918.00 o 6800 959.74/960.07 o 6796 959.94/960.25 o 6795 990.33/990.60 o 6794 1008.33/1008.69 o 6793 1017.52/1017.86 o 6789 1022.63/1022.91 o 6786 1022.73/1023.08 o 6781 1022.83/1023.18 o 6780 1022.93/1023.20 o 6777 1022.93/1023.25 o 6772 1022.93/1023.28 o 6767 1023.02/1023.30 o 6762 1023.02/1023.32 o 6757 1023.02/1023.34 o 6752 1023.02/1023.36 o 6747 1023.02/1023.39 o 6742 1023.12/1023.41 o 6737 1023.12/1023.43 o 6732 1023.12/1023.45 o 6727 1023.12/1023.47 o 6722 1023.12/1023.50 o 6717 1023.22/1023.52 o 6712 1023.22/1023.54 o 6707 1023.22/1023.56 o 6702 1023.22/1023.58 o 6697 1023.32/1023.61 o 6692 1023.32/1023.63 o 6690 1023.32/1023.65 o 6687 1023.32/1023.67 o 6682 1023.32/1023.70 o 6677 1023.42/1023.72 o 6672 1023.42/1023.74 o 6667 1023.42/1023.76 o 6662 1023.42/1023.78 o 6660 1023.52/1023.81 o 6657 1023.52/1023.83 o 6652 1023.52/1023.85 o 6650 1023.52/1023.87 o 6647 1023.52/1023.90 o 6642 1023.62/1023.92 o 6637 1023.62/1023.94 o 6632 1023.62/1023.97 o 6627 1023.62/1024.00 o 6622 1023.72/1024.03 o 6621 1023.72/1024.06 o 6617 1023.72/1024.08 o 6612 1023.72/1024.10 o 6611 1023.82/1024.12 o 6607 1023.82/1024.15 o 6606 1023.82/1024.17 o 6601 1023.82/1024.19 o 6599 1023.92/1024.21 o 6597 1023.92/1024.23 o 6596 1023.92/1024.26 o 6591 1023.92/1024.28 o 6586 1024.03/1024.30 o 6581 1024.03/1024.32 o 6576 1024.03/1024.35 o 6572 1024.03/1024.37 o 6570 1024.03/1024.39 o 6566 1024.12/1024.41 o 6562 1024.12/1024.44 o 6560 1024.12/1024.46 o 6556 1024.12/1024.48 o 6552 1024.22/1024.50 o 6551 1024.22/1024.52 o 6546 1024.22/1024.55 o 6545 1024.22/1024.57 o 6542 1024.22/1024.59 o 6537 1024.32/1024.61 o 6534 1024.32/1024.64 o 6531 1024.32/1024.66 o 6530 1024.32/1024.68 o 6528 1024.42/1024.70 o 6527 1024.42/1024.73 o 6522 1024.42/1024.75 o 6521 1024.42/1024.77 o 6516 1024.42/1024.79 o 6515 1024.52/1024.81 o 6511 1024.52/1024.84 o 6510 1024.52/1024.86 o 6505 1024.52/1024.88 o 6502 1024.63/1024.90 o 6501 1024.63/1024.93 o 6500 1024.63/1024.95 o 6499 1024.63/1024.97 o 6497 1024.63/1024.99 o 6492 1024.72/1025.04 o 6491 1033.22/1033.50 o 6487 1074.81/1075.11 o 6485 1085.20/1085.55 o 6484 1088.00/1088.36 o 6481 1088.30/1088.61 o 6480 1091.91/1092.23 o 6477 1165.78/1166.18 o 6476 1171.38/1171.72 o 6474 1182.78/1183.11 o 6473 1185.88/1186.20 o 6472 1192.78/1193.11 o 6468 1207.27/1207.63 o 6464 1245.16/1245.51 o 6462 1276.45/1276.86 o 6461 1276.85/1277.23 o 6456 1279.35/1279.76 o 6454 1313.65/1314.07 o 6453 1321.85/1322.27 o 6451 1367.13/1367.56 o 6449 1368.73/1369.13 o 6448 1374.84/1375.20 o 6447 1377.13/1377.51 o 6446 1382.33/1382.75 o 6444 1386.53/1386.93 o 6443 1392.23/1392.63 o 6442 1397.73/1398.14 o 6439 1397.83/1398.27 o 6438 1406.32/1406.79 o 6434 1410.82/1411.29 o 6432 1426.12/1426.56 o 6430 1488.11/1488.52 o 6429 1497.90/1498.38 o 6428 1504.40/1504.89 o 6425 1526.19/1526.60 o 6420 1530.80/1531.26 o 6419 1545.59/1546.00 o 6416 1549.49/1549.99 o 6413 1615.97/1616.44 o 6411 1655.36/1655.82 o 6408 1657.96/1658.42 o 6407 1671.36/1671.86 o 6403 1691.46/1691.94 o 6400 1733.54/1734.04 o 6399 1753.94/1754.48 o 6395 1763.24/1763.75 o 6391 1797.82/1798.37 o 6388 1800.03/1800.50 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/352052-1176621598/instance-352052-1176621598.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-352052-1176621598 -o ROOT/results/node18/solver-352052-1176621598 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352052-1176621598/PBS4 /tmp/evaluation/352052-1176621598/instance-352052-1176621598.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.05 1.02 1.00 3/77 20011 /proc/meminfo: memFree=1611904/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=2796 CPUtime=0 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 473 0 0 0 0 0 0 0 18 0 1 0 110077241 2863104 455 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134544573 0 0 4096 0 0 0 0 17 1 0 0 /proc/20011/statm: 699 455 81 219 0 476 0 [startup+0.0248919 s] /proc/loadavg: 1.05 1.02 1.00 3/77 20011 /proc/meminfo: memFree=1611904/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=3264 CPUtime=0.02 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 603 0 0 0 2 0 0 0 18 0 1 0 110077241 3342336 585 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529908 0 0 4096 0 0 0 0 17 1 0 0 /proc/20011/statm: 816 585 87 219 0 593 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3264 [startup+0.102899 s] /proc/loadavg: 1.05 1.02 1.00 3/77 20011 /proc/meminfo: memFree=1611904/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=5104 CPUtime=0.09 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 1099 0 0 0 9 0 0 0 18 0 1 0 110077241 5226496 983 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134518180 0 0 4096 0 0 0 0 17 1 0 0 /proc/20011/statm: 1276 983 88 219 0 1053 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301919 s] /proc/loadavg: 1.05 1.02 1.00 3/77 20011 /proc/meminfo: memFree=1611904/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=7500 CPUtime=0.29 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 1779 0 0 0 28 1 0 0 19 0 1 0 110077241 7680000 1534 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135023547 0 0 4096 0 0 0 0 17 1 0 0 /proc/20011/statm: 1875 1534 88 219 0 1652 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7500 [startup+0.701956 s] /proc/loadavg: 1.05 1.02 1.00 3/77 20011 /proc/meminfo: memFree=1611904/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=9076 CPUtime=0.69 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 2261 0 0 0 67 2 0 0 23 0 1 0 110077241 9293824 2016 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 2269 2016 93 219 0 2046 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9076 [startup+1.50103 s] /proc/loadavg: 1.05 1.02 1.00 2/78 20012 /proc/meminfo: memFree=1603192/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=10284 CPUtime=1.49 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 2597 0 0 0 144 5 0 0 25 0 1 0 110077241 10530816 2352 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 2571 2352 103 219 0 2348 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10284 [startup+3.10119 s] /proc/loadavg: 1.05 1.02 1.00 2/78 20012 /proc/meminfo: memFree=1602232/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=11296 CPUtime=3.09 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 2770 0 0 0 302 7 0 0 25 0 1 0 110077241 11567104 2525 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 2824 2525 104 219 0 2601 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11296 [startup+6.3015 s] /proc/loadavg: 1.05 1.02 1.00 2/78 20012 /proc/meminfo: memFree=1601016/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=12680 CPUtime=6.29 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 3096 0 0 0 618 11 0 0 25 0 1 0 110077241 12984320 2802 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 3170 2802 104 219 0 2947 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12680 [startup+12.7011 s] /proc/loadavg: 1.04 1.01 1.00 2/78 20012 /proc/meminfo: memFree=1599224/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=14620 CPUtime=12.68 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 3516 0 0 0 1250 18 0 0 25 0 1 0 110077241 14970880 3222 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 3655 3222 104 219 0 3432 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14620 [startup+25.5024 s] /proc/loadavg: 1.03 1.01 1.00 2/78 20012 /proc/meminfo: memFree=1596728/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=17784 CPUtime=25.48 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 4210 0 0 0 2516 32 0 0 25 0 1 0 110077241 18210816 3819 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 4446 3819 104 219 0 4223 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17784 [startup+51.1028 s] /proc/loadavg: 1.02 1.01 1.00 2/78 20012 /proc/meminfo: memFree=1593912/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=23856 CPUtime=51.08 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 5128 0 0 0 5049 59 0 0 25 0 1 0 110077241 24428544 4544 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 5964 4544 104 219 0 5741 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23856 [startup+102.306 s] /proc/loadavg: 1.01 1.01 1.00 2/78 20012 /proc/meminfo: memFree=1589688/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=24608 CPUtime=102.27 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 6154 0 0 0 10122 105 0 0 25 0 1 0 110077241 25198592 5570 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 6152 5570 104 219 0 5929 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24608 [startup+162.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1586552/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=35220 CPUtime=162.25 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 7332 0 0 0 16075 150 0 0 25 0 1 0 110077241 36065280 6363 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 8805 6363 104 219 0 8582 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35220 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1583288/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=36036 CPUtime=222.24 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 8131 0 0 0 22033 191 0 0 25 0 1 0 110077241 36900864 7162 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 9009 7162 104 219 0 8786 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 36036 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1580600/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=36648 CPUtime=282.22 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 8802 0 0 0 27995 227 0 0 25 0 1 0 110077241 37527552 7833 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 9162 7833 104 219 0 8939 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 36648 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1578808/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=37248 CPUtime=342.2 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 9252 0 0 0 33952 268 0 0 25 0 1 0 110077241 38141952 8283 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548399 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 9312 8283 104 219 0 9089 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 37248 [startup+402.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1576376/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=40916 CPUtime=402.18 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 10638 0 0 0 39916 302 0 0 25 0 1 0 110077241 41897984 8900 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559777 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 10229 8900 104 219 0 10006 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 40916 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1572536/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=57836 CPUtime=462.17 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 11589 0 0 0 45882 335 0 0 25 0 1 0 110077241 59224064 9851 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 14459 9851 104 219 0 14236 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 57836 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1571448/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=58408 CPUtime=522.15 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 11878 0 0 0 51848 367 0 0 25 0 1 0 110077241 59809792 10140 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 14602 10140 104 219 0 14379 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 58408 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1569784/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=58920 CPUtime=582.13 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 12286 0 0 0 57819 394 0 0 25 0 1 0 110077241 60334080 10548 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 14730 10548 104 219 0 14507 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 58920 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1568312/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=59272 CPUtime=642.13 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 12630 0 0 0 63786 427 0 0 25 0 1 0 110077241 60694528 10892 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 14818 10892 104 219 0 14595 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 59272 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1559096/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=61132 CPUtime=882.06 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 14948 0 0 0 87671 535 0 0 25 0 1 0 110077241 62599168 13210 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 15283 13210 104 219 0 15060 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 61132 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1558136/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=61288 CPUtime=942.05 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 15177 0 0 0 93644 561 0 0 25 0 1 0 110077241 62758912 13439 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 15322 13439 104 219 0 15099 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 61288 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20012 /proc/meminfo: memFree=1557432/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=67932 CPUtime=1002.02 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 16872 0 0 0 99615 587 0 0 25 0 1 0 110077241 69562368 13597 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 16983 13597 104 219 0 16760 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 67932 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1556856/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=68096 CPUtime=1062.01 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 17025 0 0 0 105584 617 0 0 25 0 1 0 110077241 69730304 13750 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 17024 13750 104 219 0 16801 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 68096 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1556280/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=68572 CPUtime=1122 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 17171 0 0 0 111556 644 0 0 25 0 1 0 110077241 70217728 13896 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 17143 13896 104 219 0 16920 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 68572 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1555768/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=68712 CPUtime=1181.98 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 17292 0 0 0 117532 666 0 0 25 0 1 0 110077241 70361088 14017 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 17178 14017 104 219 0 16955 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 68712 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1554040/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=69236 CPUtime=1241.96 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 17734 0 0 0 123510 686 0 0 25 0 1 0 110077241 70897664 14459 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 17309 14459 104 219 0 17086 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 69236 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1551480/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=69408 CPUtime=1301.96 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 18363 0 0 0 129486 710 0 0 25 0 1 0 110077241 71073792 15088 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 17352 15088 104 219 0 17129 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 69408 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1550904/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=69920 CPUtime=1361.94 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 18503 0 0 0 135460 734 0 0 25 0 1 0 110077241 71598080 15228 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 17480 15228 104 219 0 17257 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 69920 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1549432/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=70152 CPUtime=1421.92 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 18897 0 0 0 141436 756 0 0 25 0 1 0 110077241 71835648 15622 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 17538 15622 104 219 0 17315 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 70152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1548088/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=70276 CPUtime=1481.9 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 19218 0 0 0 147411 779 0 0 25 0 1 0 110077241 71962624 15943 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 17569 15943 104 219 0 17346 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 70276 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1545144/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=103792 CPUtime=1541.89 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 19964 0 0 0 153384 805 0 0 25 0 1 0 110077241 106283008 16689 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 25948 16689 104 219 0 25725 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 103792 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1544632/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=103876 CPUtime=1601.87 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 20092 0 0 0 159363 824 0 0 25 0 1 0 110077241 106369024 16817 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 25969 16817 104 219 0 25746 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 103876 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1544056/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=104444 CPUtime=1661.86 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 20230 0 0 0 165336 850 0 0 25 0 1 0 110077241 106950656 16955 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 26111 16955 104 219 0 25888 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 104444 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1543544/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=104540 CPUtime=1721.85 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 20358 0 0 0 171313 872 0 0 25 0 1 0 110077241 107048960 17083 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 26135 17083 104 219 0 25912 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 104540 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1543160/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=104680 CPUtime=1781.83 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 20450 0 0 0 177287 896 0 0 25 0 1 0 110077241 107192320 17175 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 26170 17175 104 219 0 25947 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 104680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1542968/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=104728 CPUtime=1800.03 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 20489 0 0 0 179099 904 0 0 25 0 1 0 110077241 107241472 17214 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 26182 17214 104 219 0 25959 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 104728 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20014 /proc/meminfo: memFree=1542968/2055920 swapFree=4167952/4192956 [pid=20011] ppid=20009 vsize=104728 CPUtime=1800.03 /proc/20011/stat : 20011 (PBS4) R 20009 20011 19638 0 -1 4194304 20489 0 0 0 179099 904 0 0 25 0 1 0 110077241 107241472 17214 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20011/statm: 26182 17214 104 219 0 25959 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 104728 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.05 CPU user time (s): 1791 CPU system time (s): 9.05662 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 104728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791 system time used= 9.05662 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20490 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= 8 involuntary context switches= 37109 runsolver used 2.18167 second user time and 4.23935 second system time The end
Begin job on node18 on Sun Apr 15 07:19:59 UTC 2007 IDJOB= 352052 IDBENCH= 1878 IDSOLVER= 157 FILE ID= node18/352052-1176621598 PBS_JOBID= 4556839 Free space on /tmp= 66557 MiB SOLVER NAME= PBS4 2007-03-23 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= /tmp/evaluation/352052-1176621598/PBS4 /tmp/evaluation/352052-1176621598/instance-352052-1176621598.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-352052-1176621598 -o ROOT/results/node18/conversion-352052-1176621598 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352052-1176621598/instance-352052-1176621598.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-352052-1176621598 -o ROOT/results/node18/solver-352052-1176621598 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352052-1176621598/PBS4 /tmp/evaluation/352052-1176621598/instance-352052-1176621598.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992 RANDOM SEED= 397597063 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1612248 kB Buffers: 84208 kB Cached: 265544 kB SwapCached: 3236 kB Active: 74388 kB Inactive: 310980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1612248 kB SwapTotal: 4192956 kB SwapFree: 4167952 kB Dirty: 2616 kB Writeback: 0 kB Mapped: 40288 kB Slab: 43840 kB Committed_AS: 3964100 kB PageTables: 1776 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= 66557 MiB End job on node18 on Sun Apr 15 07:50:01 UTC 2007