Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.09 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
MD5SUM | 4dd9ac2644c29d272d2675c7fc366ed6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 307 |
Best CPU time to get the best result obtained on this benchmark | 4.74128 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | YES |
Number of variables | 319 |
Total number of constraints | 6 |
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 | 6 |
Minimum length of a constraint | 186 |
Maximum length of a constraint | 231 |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
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/363465-1177027981/instance-363465-1177027981.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 23494 0.00/0.00 o 23492 0.00/0.01 o 23432 0.00/0.01 o 23430 0.00/0.01 o 23370 0.00/0.01 o 23368 0.00/0.01 o 23306 0.00/0.01 o 23304 0.00/0.01 o 23302 0.00/0.01 o 23242 0.00/0.01 o 23230 0.00/0.01 o 23228 0.00/0.01 o 23166 0.00/0.02 o 23154 0.00/0.02 o 23152 0.00/0.02 o 23090 0.00/0.02 o 23078 0.00/0.02 o 23076 0.00/0.02 o 23074 0.00/0.02 o 23014 0.00/0.02 o 22954 0.00/0.02 o 22894 0.00/0.02 o 22835 0.00/0.02 o 22832 0.00/0.02 o 22773 0.00/0.03 o 22770 0.00/0.03 o 22711 0.00/0.03 o 22655 0.00/0.03 o 22642 0.00/0.03 o 22586 0.00/0.03 o 22578 0.00/0.03 o 22522 0.00/0.03 o 22514 0.00/0.03 o 22458 0.02/0.03 o 22450 0.02/0.03 o 22394 0.02/0.03 o 22393 0.02/0.04 o 22385 0.02/0.04 o 22329 0.02/0.04 o 22328 0.02/0.04 o 22320 0.02/0.04 o 22264 0.02/0.04 o 22263 0.02/0.04 o 22255 0.02/0.04 o 22199 0.02/0.04 o 22198 0.02/0.04 o 22190 0.02/0.04 o 22134 0.02/0.04 o 22133 0.02/0.05 o 22125 0.02/0.05 o 22069 0.02/0.05 o 22068 0.02/0.05 o 22060 0.02/0.05 o 22004 0.02/0.05 o 22003 0.02/0.05 o 21995 0.02/0.05 o 21939 0.02/0.05 o 21938 0.02/0.05 o 21930 0.02/0.05 o 21874 0.02/0.05 o 21873 0.02/0.05 o 21865 0.02/0.06 o 21809 0.02/0.06 o 21808 0.02/0.06 o 21800 0.02/0.06 o 21744 0.02/0.06 o 21743 0.02/0.06 o 21735 0.02/0.06 o 21679 0.02/0.06 o 21678 0.02/0.06 o 21670 0.02/0.06 o 21614 0.02/0.06 o 21613 0.02/0.06 o 21605 0.02/0.07 o 21549 0.02/0.07 o 21536 0.02/0.07 o 21535 0.02/0.07 o 21527 0.02/0.07 o 21471 0.02/0.07 o 21458 0.02/0.07 o 21457 0.02/0.07 o 21449 0.02/0.07 o 19639 0.02/0.07 o 19628 0.02/0.07 o 19162 0.02/0.07 o 19118 0.02/0.08 o 19069 0.02/0.08 o 19058 0.02/0.08 o 19040 0.02/0.08 o 18995 0.02/0.08 o 18948 0.02/0.08 o 18942 0.02/0.08 o 18886 0.02/0.08 o 18873 0.02/0.08 o 18854 0.02/0.08 o 18798 0.02/0.08 o 18738 0.02/0.08 o 18691 0.02/0.09 o 18675 0.02/0.09 o 18672 0.02/0.09 o 18634 0.02/0.09 o 18627 0.02/0.09 o 18614 0.02/0.09 o 18593 0.02/0.09 o 18573 0.02/0.09 o 18549 0.02/0.09 o 18531 0.02/0.09 o 18522 0.02/0.09 o 18471 0.02/0.09 o 18437 0.02/0.10 o 18427 0.02/0.10 o 18376 0.10/0.10 o 18373 0.10/0.10 o 18340 0.10/0.10 o 18334 0.10/0.10 o 18292 0.10/0.10 o 18282 0.10/0.10 o 18250 0.10/0.10 o 18249 0.10/0.10 o 18212 0.10/0.10 o 18160 0.10/0.10 o 18133 0.10/0.11 o 18107 0.10/0.11 o 11317 0.10/0.11 o 11289 0.10/0.11 o 11284 0.10/0.11 o 11251 0.10/0.11 o 11222 0.10/0.11 o 11207 0.10/0.11 o 11206 0.10/0.12 o 11177 0.10/0.12 o 11147 0.10/0.12 o 11146 0.10/0.12 o 11128 0.10/0.12 o 11121 0.10/0.12 o 10695 0.10/0.12 o 10683 0.10/0.12 o 10653 0.10/0.13 o 10617 0.10/0.13 o 10593 0.10/0.13 o 10573 0.10/0.13 o 10567 0.10/0.13 o 10540 0.10/0.13 o 10485 0.10/0.13 o 10477 0.10/0.13 o 10472 0.10/0.14 o 10440 0.10/0.14 o 10438 0.10/0.14 o 10405 0.10/0.14 o 10356 0.10/0.14 o 10350 0.10/0.14 o 10349 0.10/0.14 o 10348 0.10/0.15 o 10345 0.10/0.15 o 10312 0.10/0.15 o 10254 0.10/0.15 o 10248 0.10/0.15 o 10245 0.10/0.15 o 10234 0.10/0.15 o 10199 0.10/0.15 o 10148 0.10/0.16 o 10140 0.10/0.16 o 10110 0.10/0.16 o 10099 0.10/0.16 o 10084 0.10/0.16 o 10081 0.10/0.16 o 10075 0.10/0.16 o 10072 0.10/0.16 o 10069 0.10/0.17 o 10019 0.10/0.17 o 10017 0.10/0.17 o 9974 0.10/0.17 o 9967 0.10/0.17 o 9957 0.10/0.17 o 9924 0.10/0.17 o 9884 0.10/0.17 o 9833 0.10/0.18 o 9797 0.10/0.18 o 9738 0.10/0.18 o 9737 0.10/0.18 o 9691 0.10/0.18 o 9662 0.10/0.18 o 9631 0.10/0.18 o 9578 0.10/0.18 o 9575 0.10/0.19 o 9565 0.10/0.19 o 9564 0.10/0.19 o 9552 0.10/0.19 o 9548 0.10/0.19 o 9537 0.10/0.19 o 9478 0.10/0.19 o 9451 0.10/0.19 o 9399 0.10/0.20 o 9379 0.19/0.20 o 9322 0.19/0.20 o 9315 0.19/0.20 o 9298 0.19/0.20 o 9282 0.19/0.20 o 9236 0.19/0.20 o 9199 0.19/0.21 o 9188 0.19/0.21 o 9158 0.19/0.21 o 9122 0.19/0.21 o 9083 0.19/0.21 o 9058 0.19/0.21 o 9025 0.19/0.21 o 8990 0.19/0.21 o 8957 0.19/0.22 o 8908 0.19/0.22 o 8881 0.19/0.22 o 8830 0.19/0.22 o 8817 0.19/0.22 o 8805 0.19/0.22 o 8759 0.19/0.22 o 8716 0.19/0.22 o 8679 0.19/0.22 o 8667 0.19/0.23 o 8616 0.19/0.23 o 8586 0.19/0.23 o 8576 0.19/0.23 o 8528 0.19/0.23 o 8472 0.19/0.23 o 8431 0.19/0.23 o 8406 0.19/0.23 o 8378 0.19/0.24 o 8366 0.19/0.24 o 8315 0.19/0.24 o 8306 0.19/0.24 o 8270 0.19/0.24 o 8246 0.19/0.24 o 8201 0.19/0.24 o 8195 0.19/0.24 o 8179 0.19/0.25 o 8178 0.19/0.25 o 8141 0.19/0.25 o 8093 0.19/0.25 o 8051 0.19/0.25 o 8013 0.19/0.25 o 8000 0.19/0.25 o 7955 0.19/0.25 o 7944 0.19/0.26 o 7939 0.19/0.26 o 7911 0.19/0.26 o 7874 0.19/0.26 o 7871 0.19/0.26 o 7834 0.19/0.26 o 7782 0.19/0.26 o 7757 0.19/0.26 o 7756 0.19/0.27 o 7747 0.19/0.27 o 7731 0.19/0.27 o 7730 0.19/0.27 o 7682 0.19/0.27 o 7627 0.19/0.27 o 7624 0.19/0.27 o 7618 0.19/0.27 o 7583 0.19/0.28 o 7581 0.19/0.28 o 7549 0.19/0.28 o 7545 0.19/0.28 o 7539 0.19/0.28 o 7496 0.19/0.28 o 7448 0.19/0.28 o 7419 0.19/0.28 o 7409 0.19/0.29 o 7397 0.19/0.29 o 7349 0.19/0.29 o 7346 0.19/0.29 o 7331 0.19/0.29 o 7288 0.19/0.29 o 7260 0.19/0.29 o 7256 0.19/0.29 o 7217 0.19/0.29 o 7197 0.19/0.30 o 7188 0.29/0.30 o 7156 0.29/0.30 o 7116 0.29/0.30 o 7069 0.29/0.30 o 7066 0.29/0.30 o 7062 0.29/0.30 o 7039 0.29/0.30 o 7037 0.29/0.31 o 7028 0.29/0.31 o 7007 0.29/0.31 o 7006 0.29/0.31 o 6993 0.29/0.31 o 6943 0.29/0.31 o 6937 0.29/0.31 o 6936 0.29/0.31 o 6914 0.29/0.32 o 6899 0.29/0.32 o 6854 0.29/0.32 o 6847 0.29/0.32 o 6846 0.29/0.32 o 6802 0.29/0.32 o 6786 0.29/0.32 o 6754 0.29/0.32 o 6737 0.29/0.33 o 6732 0.29/0.33 o 6728 0.29/0.33 o 6727 0.29/0.33 o 6725 0.29/0.33 o 6684 0.29/0.33 o 6639 0.29/0.33 o 6634 0.29/0.33 o 6585 0.29/0.34 o 6549 0.29/0.34 o 6498 0.29/0.34 o 6443 0.29/0.34 o 6400 0.29/0.34 o 6396 0.29/0.34 o 6347 0.29/0.34 o 6337 0.29/0.34 o 6334 0.29/0.35 o 6291 0.29/0.35 o 6290 0.29/0.35 o 6256 0.29/0.35 o 6249 0.29/0.35 o 6210 0.29/0.35 o 6162 0.29/0.35 o 6129 0.29/0.35 o 6079 0.29/0.36 o 6033 0.29/0.36 o 5978 0.29/0.36 o 5972 0.29/0.36 o 5969 0.29/0.36 o 5943 0.29/0.36 o 5900 0.29/0.36 o 5892 0.29/0.36 o 5882 0.29/0.37 o 5850 0.29/0.37 o 5824 0.29/0.37 o 5785 0.29/0.37 o 5757 0.29/0.37 o 5723 0.29/0.37 o 5686 0.29/0.37 o 5671 0.29/0.37 o 5656 0.29/0.38 o 5651 0.29/0.38 o 5637 0.29/0.38 o 5636 0.29/0.38 o 5600 0.29/0.38 o 5598 0.29/0.38 o 5567 0.29/0.38 o 5533 0.29/0.38 o 5522 0.29/0.39 o 5471 0.29/0.39 o 5439 0.29/0.39 o 5438 0.29/0.39 o 5390 0.29/0.39 o 5352 0.29/0.39 o 5335 0.29/0.39 o 5294 0.29/0.39 o 5280 0.29/0.39 o 5227 0.29/0.40 o 5188 0.39/0.40 o 5139 0.39/0.40 o 5131 0.39/0.40 o 5080 0.39/0.40 o 5066 0.39/0.40 o 5060 0.39/0.40 o 5059 0.39/0.40 o 5045 0.39/0.41 o 5025 0.39/0.41 o 5010 0.39/0.41 o 5002 0.39/0.41 o 4957 0.39/0.41 o 4914 0.39/0.41 o 4859 0.39/0.41 o 4831 0.39/0.41 o 4826 0.39/0.42 o 4788 0.39/0.42 o 4784 0.39/0.42 o 4783 0.39/0.42 o 4778 0.39/0.42 o 4771 0.39/0.42 o 4764 0.39/0.42 o 4753 0.39/0.42 o 4710 0.39/0.43 o 4690 0.39/0.43 o 4671 0.39/0.43 o 4630 0.39/0.43 o 4619 0.39/0.43 o 4607 0.39/0.43 o 4569 0.39/0.43 o 4544 0.39/0.43 o 4517 0.39/0.44 o 4501 0.39/0.44 o 4486 0.39/0.44 o 4484 0.39/0.44 o 4464 0.39/0.44 o 4428 0.39/0.44 o 4422 0.39/0.44 o 4388 0.39/0.44 o 4340 0.39/0.45 o 4334 0.39/0.45 o 4333 0.39/0.45 o 4313 0.39/0.45 o 4312 0.39/0.45 o 4303 0.39/0.45 o 4295 0.39/0.45 o 4287 0.39/0.45 o 4283 0.39/0.46 o 4227 0.39/0.46 o 4223 0.39/0.46 o 4215 0.39/0.46 o 4177 0.39/0.46 o 4137 0.39/0.46 o 4090 0.39/0.46 o 4063 0.39/0.46 o 4060 0.39/0.47 o 4018 0.39/0.47 o 3993 0.39/0.47 o 3981 0.39/0.47 o 3940 0.39/0.47 o 3907 0.39/0.47 o 3851 0.39/0.47 o 3826 0.39/0.47 o 3823 0.39/0.48 o 3790 0.39/0.48 o 3763 0.39/0.48 o 3725 0.39/0.48 o 3669 0.39/0.48 o 3626 0.39/0.48 o 3625 0.39/0.48 o 3614 0.39/0.48 o 3578 0.39/0.49 o 3564 0.39/0.49 o 3556 0.39/0.49 o 3521 0.39/0.49 o 3484 0.39/0.49 o 3473 0.39/0.49 o 3466 0.39/0.49 o 3432 0.39/0.49 o 3399 0.39/0.50 o 3353 0.49/0.50 o 3335 0.49/0.50 o 3330 0.49/0.50 o 3279 0.49/0.50 o 3256 0.49/0.50 o 3248 0.49/0.50 o 3229 0.49/0.50 o 3217 0.49/0.51 o 3168 0.49/0.51 o 3158 0.49/0.51 o 3149 0.49/0.51 o 3148 0.49/0.51 o 3141 0.49/0.51 o 3101 0.49/0.51 o 3072 0.49/0.51 o 3065 0.49/0.52 o 3030 0.49/0.52 o 2989 0.49/0.52 o 2988 0.49/0.52 o 2972 0.49/0.52 o 2971 0.49/0.52 o 2964 0.49/0.52 o 2915 0.49/0.52 o 2903 0.49/0.53 o 2888 0.49/0.53 o 2876 0.49/0.53 o 2841 0.49/0.53 o 2786 0.49/0.53 o 2731 0.49/0.53 o 2727 0.49/0.53 o 2673 0.49/0.53 o 2663 0.49/0.54 o 2660 0.49/0.54 o 2613 0.49/0.54 o 2575 0.49/0.54 o 2536 0.49/0.54 o 2492 0.49/0.54 o 2485 0.49/0.54 o 2473 0.49/0.54 o 2472 0.49/0.55 o 2471 0.49/0.55 o 2425 0.49/0.55 o 2417 0.49/0.55 o 2402 0.49/0.55 o 2384 0.49/0.55 o 2382 0.49/0.55 o 2330 0.49/0.55 o 2300 0.49/0.56 o 2288 0.49/0.56 o 2239 0.49/0.56 o 2222 0.49/0.56 o 2216 0.49/0.56 o 2211 0.49/0.56 o 2210 0.49/0.56 o 2156 0.49/0.57 o 2152 0.49/0.57 o 2150 0.49/0.57 o 2133 0.49/0.57 o 2131 0.49/0.57 o 2130 0.49/0.57 o 2121 0.49/0.57 o 2112 0.49/0.57 o 2065 0.49/0.58 o 2060 0.49/0.58 o 2048 0.49/0.58 o 2038 0.49/0.58 o 1990 0.49/0.58 o 1931 0.49/0.58 o 1899 0.49/0.58 o 1897 0.49/0.58 o 1895 0.49/0.59 o 1887 0.49/0.59 o 1879 0.49/0.59 o 1832 0.49/0.59 o 1822 0.49/0.59 o 1763 0.49/0.59 o 1731 0.49/0.59 o 1716 0.49/0.59 o 1708 0.49/0.60 o 1654 0.59/0.60 o 1634 0.59/0.60 o 1633 0.59/0.60 o 1585 0.59/0.60 o 1579 0.59/0.60 o 1573 0.59/0.60 o 1558 0.59/0.61 o 1554 0.59/0.61 o 1553 0.59/0.61 o 1547 0.59/0.61 o 1492 0.59/0.61 o 1484 0.59/0.61 o 1480 0.59/0.61 o 1474 0.59/0.61 o 1465 0.59/0.62 o 1458 0.59/0.62 o 1454 0.59/0.62 o 1452 0.59/0.62 o 1425 0.59/0.62 o 1397 0.59/0.62 o 1391 0.59/0.62 o 1386 0.59/0.63 o 1383 0.59/0.63 o 1377 0.59/0.63 o 1320 0.59/0.63 o 1306 0.59/0.63 o 1279 1.00/1.10 o 1236 1.10/1.10 o 1222 1.10/1.18 o 1187 10.59/10.65 o 1136 11.09/11.13 o 1135 11.09/11.15 o 1122 11.09/11.16 o 1114 11.09/11.19 o 1109 11.09/11.19 o 1088 11.09/11.19 o 1084 11.09/11.20 o 1083 11.19/11.20 o 1079 11.19/11.20 o 1073 11.19/11.20 o 1071 11.19/11.20 o 1070 11.19/11.20 o 1062 11.19/11.20 o 1060 11.19/11.21 o 1057 11.19/11.21 o 1001 11.19/11.21 o 997 11.19/11.21 o 996 11.19/11.21 o 992 11.19/11.21 o 986 11.19/11.21 o 984 11.19/11.22 o 983 11.19/11.22 o 975 11.19/11.22 o 973 11.19/11.22 o 970 11.19/11.22 o 914 11.19/11.23 o 911 11.19/11.23 o 910 11.19/11.24 o 854 11.19/11.24 o 850 11.19/11.24 o 849 11.19/11.24 o 847 11.19/11.24 o 840 11.19/11.24 o 839 11.19/11.24 o 837 11.19/11.25 o 836 11.19/11.25 o 828 11.19/11.25 o 826 11.19/11.25 o 824 11.19/11.25 o 823 11.19/11.25 o 767 11.19/11.25 o 763 11.19/11.26 o 762 11.19/11.26 o 760 11.19/11.26 o 753 11.19/11.26 o 752 11.19/11.26 o 750 11.19/11.26 o 749 11.19/11.26 o 741 11.19/11.26 o 739 11.19/11.27 o 737 11.19/11.27 o 736 11.19/11.27 o 680 11.19/11.27 o 676 11.19/11.27 o 675 11.19/11.27 o 673 11.19/11.29 o 671 11.19/11.29 o 667 11.29/11.36 o 663 11.29/11.36 o 609 11.29/11.37 o 587 11.29/11.38 o 585 11.29/11.39 o 581 11.39/11.43 o 576 11.39/11.46 o 570 11.39/11.49 o 569 11.49/11.52 o 566 11.49/11.52 o 564 11.49/11.53 o 562 11.49/11.55 o 561 11.59/11.62 o 560 11.59/11.64 o 558 11.59/11.68 o 557 12.09/12.15 o 555 13.99/14.02 o 552 13.99/14.05 o 549 13.99/14.05 o 546 13.99/14.06 o 544 13.99/14.08 o 541 14.09/14.13 o 539 14.09/14.16 o 485 14.39/14.46 o 481 14.49/14.52 o 480 14.49/14.54 o 473 14.59/14.61 o 465 15.09/15.12 o 424 16.29/16.31 o 400 20.28/20.35 o 398 28.08/28.10 o 397 35.68/35.73 o 396 37.98/38.06 o 395 43.08/43.16 o 383 44.58/44.63 o 382 902.73/903.04 o 377 1800.07/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/363465-1177027981/instance-363465-1177027981.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-363465-1177027981 -o ROOT/results/node1/solver-363465-1177027981 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363465-1177027981/PBS4 /tmp/evaluation/363465-1177027981/instance-363465-1177027981.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.77 0.92 0.95 3/77 9056 /proc/meminfo: memFree=1736768/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=1324 CPUtime=0 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 178835925 1355776 125 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0 /proc/9056/statm: 331 125 87 219 0 108 0 [startup+0.037249 s] /proc/loadavg: 0.77 0.92 0.95 3/77 9056 /proc/meminfo: memFree=1736768/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=1504 CPUtime=0.02 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 170 0 0 0 2 0 0 0 18 0 1 0 178835925 1540096 152 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 376 152 102 219 0 153 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1504 [startup+0.101256 s] /proc/loadavg: 0.77 0.92 0.95 3/77 9056 /proc/meminfo: memFree=1736768/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=1504 CPUtime=0.1 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 170 0 0 0 8 2 0 0 18 0 1 0 178835925 1540096 152 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 376 152 102 219 0 153 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1504 [startup+0.301279 s] /proc/loadavg: 0.77 0.92 0.95 3/77 9056 /proc/meminfo: memFree=1736768/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=1504 CPUtime=0.29 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 170 0 0 0 25 4 0 0 19 0 1 0 178835925 1540096 152 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 376 152 102 219 0 153 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1504 [startup+0.701326 s] /proc/loadavg: 0.77 0.92 0.95 3/77 9056 /proc/meminfo: memFree=1736768/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=1636 CPUtime=0.69 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 211 0 0 0 63 6 0 0 23 0 1 0 178835925 1675264 193 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 409 193 102 219 0 186 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1636 [startup+1.50142 s] /proc/loadavg: 0.77 0.92 0.95 2/78 9057 /proc/meminfo: memFree=1736248/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=1892 CPUtime=1.49 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 286 0 0 0 143 6 0 0 25 0 1 0 178835925 1937408 268 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 473 268 103 219 0 250 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1892 [startup+3.10161 s] /proc/loadavg: 0.79 0.92 0.95 2/78 9057 /proc/meminfo: memFree=1735608/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=2568 CPUtime=3.09 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 486 0 0 0 303 6 0 0 25 0 1 0 178835925 2629632 468 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 642 468 103 219 0 419 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 2568 [startup+6.30198 s] /proc/loadavg: 0.79 0.92 0.95 2/78 9057 /proc/meminfo: memFree=1733880/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=5800 CPUtime=6.29 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 882 0 0 0 623 6 0 0 25 0 1 0 178835925 5939200 864 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 1450 864 103 219 0 1227 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5800 [startup+12.7017 s] /proc/loadavg: 0.82 0.93 0.95 2/78 9057 /proc/meminfo: memFree=1730104/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=10904 CPUtime=12.69 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 1931 0 0 0 1262 7 0 0 25 0 1 0 178835925 11165696 1913 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 2726 1913 103 219 0 2503 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10904 [startup+25.5022 s] /proc/loadavg: 0.85 0.93 0.95 2/78 9057 /proc/meminfo: memFree=1725944/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=11644 CPUtime=25.49 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 2800 0 0 0 2539 10 0 0 25 0 1 0 178835925 11923456 2733 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 2911 2733 104 219 0 2688 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11644 [startup+51.1022 s] /proc/loadavg: 0.90 0.93 0.95 2/78 9057 /proc/meminfo: memFree=1724856/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=13364 CPUtime=51.08 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 3351 0 0 0 5096 12 0 0 25 0 1 0 178835925 13684736 2994 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 3341 2994 104 219 0 3118 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13364 [startup+102.305 s] /proc/loadavg: 0.96 0.94 0.95 2/78 9057 /proc/meminfo: memFree=1723640/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=14148 CPUtime=102.27 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 3645 0 0 0 10209 18 0 0 25 0 1 0 178835925 14487552 3288 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 3537 3288 104 219 0 3314 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 14148 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.95 2/78 9057 /proc/meminfo: memFree=1722296/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=16488 CPUtime=162.25 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 4364 0 0 0 16201 24 0 0 25 0 1 0 178835925 16883712 3622 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 4122 3622 104 219 0 3899 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 16488 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.95 2/78 9057 /proc/meminfo: memFree=1721464/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=17096 CPUtime=222.23 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 4585 0 0 0 22192 31 0 0 25 0 1 0 178835925 17506304 3843 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 4274 3843 104 219 0 4051 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17096 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.95 2/78 9057 /proc/meminfo: memFree=1720632/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=17376 CPUtime=282.21 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 4784 0 0 0 28185 36 0 0 25 0 1 0 178835925 17793024 4042 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 4344 4042 104 219 0 4121 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 17376 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1719736/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=17852 CPUtime=342.2 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 4987 0 0 0 34177 43 0 0 25 0 1 0 178835925 18280448 4245 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 4463 4245 104 219 0 4240 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 17852 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1718904/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=21472 CPUtime=402.17 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 5973 0 0 0 40169 48 0 0 25 0 1 0 178835925 21987328 4462 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 5368 4462 104 219 0 5145 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 21472 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1716344/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=30404 CPUtime=462.16 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 6602 0 0 0 46164 52 0 0 25 0 1 0 178835925 31133696 5091 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 7601 5091 104 219 0 7378 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 30404 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1713400/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=31124 CPUtime=522.14 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 7340 0 0 0 52157 57 0 0 25 0 1 0 178835925 31870976 5829 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 7781 5829 104 219 0 7558 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 31124 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1711928/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=31736 CPUtime=582.12 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 7711 0 0 0 58151 61 0 0 25 0 1 0 178835925 32497664 6200 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 7934 6200 104 219 0 7711 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 31736 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1711288/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=31984 CPUtime=642.1 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 7852 0 0 0 64145 65 0 0 25 0 1 0 178835925 32751616 6341 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 7996 6341 104 219 0 7773 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 31984 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1709304/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=32984 CPUtime=822.05 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 8336 0 0 0 82125 80 0 0 25 0 1 0 178835925 33775616 6825 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 8246 6825 104 219 0 8023 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 32984 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1708920/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=33300 CPUtime=882.03 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 8456 0 0 0 88119 84 0 0 25 0 1 0 178835925 34099200 6945 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 8325 6945 104 219 0 8102 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 33300 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1706808/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=33460 CPUtime=942.02 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 8969 0 0 0 94113 89 0 0 25 0 1 0 178835925 34263040 7458 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 8365 7458 104 219 0 8142 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 33460 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1706360/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=33952 CPUtime=1002 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 9088 0 0 0 100108 92 0 0 25 0 1 0 178835925 34766848 7577 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 8488 7577 104 219 0 8265 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 33952 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1703416/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=56612 CPUtime=1061.98 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 11396 0 0 0 106101 97 0 0 25 0 1 0 178835925 57970688 8348 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14153 8348 104 219 0 13930 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 56612 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9057 /proc/meminfo: memFree=1700728/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=57100 CPUtime=1121.97 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 12019 0 0 0 112095 102 0 0 25 0 1 0 178835925 58470400 8971 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14275 8971 104 219 0 14052 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 57100 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1700152/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=57364 CPUtime=1181.95 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 12138 0 0 0 118090 105 0 0 25 0 1 0 178835925 58740736 9090 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14341 9090 104 219 0 14118 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 57364 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1699576/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=58004 CPUtime=1241.93 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 12298 0 0 0 124085 108 0 0 25 0 1 0 178835925 59396096 9250 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14501 9250 104 219 0 14278 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 58004 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1698936/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=58404 CPUtime=1301.92 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 12450 0 0 0 130081 111 0 0 25 0 1 0 178835925 59805696 9402 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14601 9402 104 219 0 14378 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 58404 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1698424/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=58404 CPUtime=1361.89 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 12562 0 0 0 136075 114 0 0 25 0 1 0 178835925 59805696 9514 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14601 9514 104 219 0 14378 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 58404 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1698040/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=58828 CPUtime=1421.88 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 12669 0 0 0 142071 117 0 0 25 0 1 0 178835925 60239872 9621 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14707 9621 104 219 0 14484 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 58828 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1697784/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=58828 CPUtime=1481.86 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 12737 0 0 0 148066 120 0 0 25 0 1 0 178835925 60239872 9689 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14707 9689 104 219 0 14484 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 58828 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1697400/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=58828 CPUtime=1541.84 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 12830 0 0 0 154060 124 0 0 25 0 1 0 178835925 60239872 9782 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14707 9782 104 219 0 14484 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 58828 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1696888/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=59280 CPUtime=1601.82 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 12956 0 0 0 160053 129 0 0 25 0 1 0 178835925 60702720 9908 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14820 9908 104 219 0 14597 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 59280 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1696504/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=59280 CPUtime=1661.81 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 13045 0 0 0 166049 132 0 0 25 0 1 0 178835925 60702720 9997 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14820 9997 104 219 0 14597 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 59280 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1696120/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=59760 CPUtime=1721.78 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 13132 0 0 0 172044 134 0 0 25 0 1 0 178835925 61194240 10084 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14940 10084 104 219 0 14717 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 59760 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1695800/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=59760 CPUtime=1781.76 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 13213 0 0 0 178039 137 0 0 25 0 1 0 178835925 61194240 10165 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14940 10165 104 219 0 14717 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 59760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.95 2/78 9059 /proc/meminfo: memFree=1695736/2055920 swapFree=4145780/4192956 [pid=9056] ppid=9054 vsize=59760 CPUtime=1800.07 /proc/9056/stat : 9056 (PBS4) R 9054 9056 8994 0 -1 4194304 13230 0 0 0 179868 139 0 0 25 0 1 0 178835925 61194240 10182 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9056/statm: 14940 10182 104 219 0 14717 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 59760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.09 CPU user time (s): 1798.69 CPU system time (s): 1.39979 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 59760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.69 system time used= 1.39979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13231 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= 36688 runsolver used 2.19367 second user time and 4.26235 second system time The end
Begin job on node1 on Fri Apr 20 00:13:01 UTC 2007 IDJOB= 363465 IDBENCH= 1854 IDSOLVER= 157 FILE ID= node1/363465-1177027981 PBS_JOBID= 4630638 Free space on /tmp= 66357 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= /tmp/evaluation/363465-1177027981/PBS4 /tmp/evaluation/363465-1177027981/instance-363465-1177027981.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-363465-1177027981 -o ROOT/results/node1/conversion-363465-1177027981 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363465-1177027981/instance-363465-1177027981.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-363465-1177027981 -o ROOT/results/node1/solver-363465-1177027981 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363465-1177027981/PBS4 /tmp/evaluation/363465-1177027981/instance-363465-1177027981.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED= 389975159 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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: 1737176 kB Buffers: 30740 kB Cached: 213840 kB SwapCached: 14160 kB Active: 82748 kB Inactive: 184088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1737176 kB SwapTotal: 4192956 kB SwapFree: 4145780 kB Dirty: 1356 kB Writeback: 0 kB Mapped: 29264 kB Slab: 37396 kB Committed_AS: 5042248 kB PageTables: 1832 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= 66357 MiB End job on node1 on Fri Apr 20 00:43:04 UTC 2007