Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.6 | ? (TO) | 1800.15 | 1800.06 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-iis-pima-cov.opb |
MD5SUM | 19a2dfea334d8fb7f32d77f6785ba1fe |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 33 |
Best CPU time to get the best result obtained on this benchmark | 856.643 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 736 |
Total number of constraints | 7201 |
Number of constraints which are clauses | 7201 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 736 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 736 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 736 |
Number of bits of the biggest sum of numbers | 10 |
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 wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3479218-1307446845.opb. 0.00/0.00 c Instance file HOME/instance-3479218-1307446845.opb 0.00/0.00 c File size is 593185 bytes. 0.00/0.03 c Highest Coefficient sum: 11 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.04 s | 0.00/0.03 c | Number Variables: 736 | 0.00/0.03 c | Number Clauses: 7201 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 0 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 736 7201 71941 | 5000 0 -nan | 0.000 % | 0.00/0.10 c core #1 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 1 0.00/0.10 c Current CPU time: 0.038994 s 0.00/0.10 c 0.00/0.10 c core #2 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 2 0.00/0.10 c Current CPU time: 0.042993 s 0.00/0.10 c 0.00/0.10 c core #3 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 3 0.00/0.10 c Current CPU time: 0.045993 s 0.00/0.10 c 0.00/0.10 c core #4 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 4 0.00/0.10 c Current CPU time: 0.048992 s 0.00/0.10 c 0.00/0.10 c core #5 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 5 0.00/0.10 c Current CPU time: 0.051992 s 0.00/0.10 c 0.00/0.10 c core #6 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 6 0.00/0.10 c Current CPU time: 0.055991 s 0.00/0.10 c 0.00/0.10 c core #7 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 7 0.00/0.10 c Current CPU time: 0.058991 s 0.00/0.10 c 0.00/0.10 c core #8 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 8 0.00/0.10 c Current CPU time: 0.06199 s 0.00/0.10 c 0.00/0.10 c core #9 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 9 0.00/0.10 c Current CPU time: 0.065989 s 0.00/0.10 c 0.00/0.10 c core #10 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 10 0.00/0.10 c Current CPU time: 0.068989 s 0.00/0.10 c 0.00/0.10 c core #11 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 11 0.00/0.10 c Current CPU time: 0.072988 s 0.00/0.10 c 0.00/0.10 c core #12 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 12 0.00/0.10 c Current CPU time: 0.075988 s 0.00/0.10 c 0.00/0.10 c core #13 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 13 0.00/0.10 c Current CPU time: 0.079987 s 0.00/0.10 c 0.00/0.10 c core #14 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 11 Core Weight: 1 Total Weight: 14 0.00/0.10 c Current CPU time: 0.083987 s 0.00/0.10 c 0.00/0.10 c core #15 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 34 Core Weight: 1 Total Weight: 15 0.00/0.10 c Current CPU time: 0.087986 s 0.00/0.10 c 0.00/0.10 c core #16 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 34 Core Weight: 1 Total Weight: 16 0.00/0.10 c Current CPU time: 0.091986 s 0.00/0.10 c 0.00/0.10 c ============================[ Search Statistics ]============================== 0.00/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.10 c =============================================================================== 0.00/0.10 c | 0 | 382 7953 72521 | 5000 0 -nan | 0.000 % | 0.00/0.10 c =============================================================================== 0.00/0.10 c core #17 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 37 Core Weight: 1 Total Weight: 17 0.00/0.10 c Current CPU time: 0.096985 s 0.00/0.10 c 0.00/0.10 c ============================[ Search Statistics ]============================== 0.00/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.10 c =============================================================================== 0.00/0.10 c | 0 | 437 7954 72608 | 5000 0 -nan | 0.000 % | 0.00/0.10 c =============================================================================== 0.00/0.10 c core #18 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 48 Core Weight: 1 Total Weight: 18 0.00/0.10 c Current CPU time: 0.101984 s 0.00/0.10 c 0.00/0.10 c ============================[ Search Statistics ]============================== 0.00/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.10 c =============================================================================== 0.00/0.10 c | 0 | 513 7955 72730 | 5000 0 -nan | 0.000 % | 0.00/0.10 c =============================================================================== 0.00/0.11 c core #19 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 47 Core Weight: 1 Total Weight: 19 0.00/0.11 c Current CPU time: 0.105983 s 0.00/0.11 c 0.00/0.11 c ============================[ Search Statistics ]============================== 0.00/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.11 c =============================================================================== 0.00/0.11 c | 0 | 580 7956 72839 | 5000 0 -nan | 0.000 % | 0.11/0.11 c =============================================================================== 0.11/0.12 c core #20 0.11/0.12 c 0.11/0.12 c 0.11/0.12 c Core size: 102 Core Weight: 1 Total Weight: 20 0.11/0.12 c Current CPU time: 0.112982 s 0.11/0.12 c 0.11/0.12 c ============================[ Search Statistics ]============================== 0.11/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.11/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.11/0.12 c =============================================================================== 0.11/0.12 c | 0 | 711 7957 73068 | 5000 0 -nan | 0.000 % | 0.11/0.12 c | 102 | 711 7957 73068 | 5500 102 80 | 38.281 % | 0.11/0.12 c | 252 | 711 7957 73068 | 6050 252 90 | 38.281 % | 0.11/0.13 c | 477 | 711 7957 73068 | 6655 477 90 | 38.281 % | 0.11/0.15 c | 825 | 711 7957 73068 | 7320 825 78 | 38.281 % | 0.11/0.17 c | 1335 | 711 7957 73068 | 8052 1335 77 | 38.281 % | 0.11/0.19 c =============================================================================== 0.11/0.19 c core #21 0.11/0.19 c 0.11/0.19 c 0.11/0.19 c Core size: 252 Core Weight: 1 Total Weight: 21 0.11/0.19 c Current CPU time: 0.188971 s 0.11/0.19 c 0.11/0.19 c ============================[ Search Statistics ]============================== 0.11/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.11/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.11/0.19 c =============================================================================== 0.11/0.19 c | 0 | 1086 7958 73690 | 5000 0 -nan | 0.000 % | 0.19/0.20 c | 102 | 1086 7958 73690 | 5500 102 85 | 22.373 % | 0.19/0.20 c | 253 | 1086 7958 73690 | 6050 253 67 | 22.373 % | 0.19/0.21 c | 478 | 1086 7958 73690 | 6655 478 50 | 22.373 % | 0.19/0.22 c | 817 | 1086 7958 73690 | 7320 817 40 | 22.373 % | 0.19/0.23 c | 1323 | 1086 7958 73690 | 8052 1323 36 | 22.373 % | 0.19/0.25 c | 2082 | 1086 7958 73690 | 8857 2082 34 | 22.373 % | 0.19/0.29 c | 3223 | 1086 7958 73690 | 9743 3223 36 | 22.373 % | 0.29/0.37 c | 4931 | 1086 7958 73690 | 10717 4931 37 | 22.373 % | 0.39/0.49 c | 7498 | 1086 7958 73690 | 11789 7498 37 | 22.373 % | 0.49/0.51 c =============================================================================== 0.49/0.54 c core #22 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 217 Core Weight: 1 Total Weight: 22 0.49/0.54 c Current CPU time: 0.530919 s 0.49/0.54 c 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 1358 7959 74178 | 5000 0 -nan | 0.000 % | 0.49/0.54 c | 102 | 1358 7959 74178 | 5500 102 99 | 15.913 % | 0.49/0.55 c | 254 | 1358 7959 74178 | 6050 254 74 | 15.913 % | 0.49/0.56 c | 479 | 1358 7959 74178 | 6655 479 52 | 15.913 % | 0.49/0.57 c | 817 | 1358 7959 74178 | 7320 817 43 | 15.913 % | 0.49/0.59 c | 1325 | 1358 7959 74178 | 8052 1325 42 | 15.913 % | 0.59/0.62 c | 2085 | 1358 7959 74178 | 8857 2085 41 | 15.913 % | 0.59/0.67 c | 3228 | 1358 7959 74178 | 9743 3228 39 | 15.913 % | 0.69/0.75 c | 4936 | 1358 7959 74178 | 10717 4936 37 | 15.913 % | 0.79/0.89 c | 7498 | 1358 7959 74178 | 11789 7498 41 | 15.913 % | 1.09/1.13 c | 11342 | 1358 7959 74178 | 12968 11342 42 | 15.913 % | 1.59/1.61 c | 17108 | 1358 7959 74178 | 14265 10481 52 | 15.913 % | 2.30/2.37 c | 25760 | 1358 7959 74178 | 15692 11849 53 | 15.913 % | 3.59/3.60 c | 38734 | 1357 7959 74178 | 17261 8843 40 | 15.975 % | 5.39/5.42 c | 58197 | 1355 7959 74178 | 18987 10731 49 | 16.099 % | 5.60/5.63 c =============================================================================== 5.90/5.96 c core #23 5.90/5.96 c 5.90/5.96 c 5.90/5.96 c Core size: 380 Core Weight: 1 Total Weight: 23 5.90/5.96 c Current CPU time: 5.87411 s 5.90/5.96 c 5.90/5.96 c ============================[ Search Statistics ]============================== 5.90/5.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.90/5.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.90/5.96 c =============================================================================== 5.90/5.96 c | 0 | 1832 7960 75030 | 5000 0 -nan | 0.000 % | 5.90/5.96 c | 101 | 1832 7960 75030 | 5500 101 52 | 8.078 % | 5.90/5.97 c | 253 | 1832 7960 75030 | 6050 253 36 | 8.078 % | 5.90/5.99 c | 479 | 1832 7960 75030 | 6655 479 30 | 8.078 % | 5.99/6.00 c | 819 | 1832 7960 75030 | 7320 819 29 | 8.078 % | 5.99/6.03 c | 1325 | 1832 7960 75030 | 8052 1325 31 | 8.078 % | 5.99/6.07 c | 2088 | 1832 7960 75030 | 8857 2088 30 | 8.078 % | 6.09/6.14 c | 3228 | 1832 7960 75030 | 9743 3228 30 | 8.078 % | 6.19/6.26 c | 4938 | 1832 7960 75030 | 10717 4938 29 | 8.078 % | 6.39/6.46 c | 7500 | 1832 7960 75030 | 11789 7500 28 | 8.078 % | 6.70/6.77 c | 11344 | 1832 7960 75030 | 12968 11344 27 | 8.078 % | 7.19/7.25 c | 17111 | 1832 7960 75030 | 14265 10537 27 | 8.078 % | 8.09/8.12 c | 25761 | 1832 7960 75030 | 15692 11939 41 | 8.078 % | 9.39/9.48 c | 38737 | 1832 7960 75030 | 17261 8969 37 | 8.078 % | 11.70/11.76 c | 58199 | 1832 7960 75030 | 18987 10833 61 | 8.078 % | 15.09/15.12 c | 87392 | 1832 7960 75030 | 20886 11246 43 | 8.078 % | 20.49/20.55 c | 131182 | 1830 7960 75030 | 22974 12860 47 | 8.179 % | 21.09/21.17 c =============================================================================== 21.90/22.00 c core #24 21.90/22.00 c 21.90/22.00 c 21.90/22.00 c Core size: 506 Core Weight: 1 Total Weight: 24 21.90/22.00 c Current CPU time: 21.7467 s 21.90/22.00 c 21.90/22.00 c ============================[ Search Statistics ]============================== 21.90/22.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.90/22.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.90/22.00 c =============================================================================== 21.90/22.00 c | 0 | 2429 7961 76129 | 5000 0 -nan | 0.000 % | 21.90/22.01 c | 102 | 2429 7961 76129 | 5500 102 137 | 2.645 % | 22.00/22.02 c | 254 | 2429 7961 76129 | 6050 254 79 | 2.645 % | 22.00/22.03 c | 479 | 2429 7961 76129 | 6655 479 53 | 2.645 % | 22.00/22.06 c | 818 | 2429 7961 76129 | 7320 818 44 | 2.645 % | 22.00/22.10 c | 1325 | 2429 7961 76129 | 8052 1325 41 | 2.645 % | 22.11/22.16 c | 2084 | 2429 7961 76129 | 8857 2084 44 | 2.645 % | 22.19/22.23 c | 3223 | 2429 7961 76129 | 9743 3223 43 | 2.645 % | 22.29/22.37 c | 4932 | 2429 7961 76129 | 10717 4932 42 | 2.645 % | 22.49/22.59 c | 7497 | 2429 7961 76129 | 11789 7497 46 | 2.645 % | 22.99/23.00 c | 11341 | 2429 7961 76129 | 12968 11341 56 | 2.645 % | 23.59/23.61 c | 17109 | 2429 7961 76129 | 14265 10533 67 | 2.645 % | 24.79/24.85 c | 25759 | 2429 7961 76129 | 15692 11853 75 | 2.645 % | 26.69/26.72 c | 38735 | 2429 7961 76129 | 17261 8730 87 | 2.645 % | 30.29/30.30 c | 58196 | 2429 7961 76129 | 18987 10574 115 | 2.645 % | 35.09/35.13 c | 87388 | 2429 7961 76129 | 20886 10972 83 | 2.645 % | 41.70/41.73 c | 131177 | 2429 7961 76129 | 22974 12374 62 | 2.645 % | 53.29/53.32 c | 196863 | 2429 7961 76129 | 25272 19976 94 | 2.645 % | 75.19/75.20 c | 295389 | 2429 7961 76129 | 27799 14195 111 | 2.645 % | 110.59/110.69 c | 443183 | 2429 7961 76129 | 30579 27561 124 | 2.645 % | 153.50/153.53 c | 664866 | 2429 7961 76129 | 33637 23768 64 | 2.645 % | 248.80/248.83 c | 997392 | 2429 7961 76129 | 37001 26660 166 | 2.645 % | 406.21/406.24 c | 1496180 | 2429 7961 76129 | 40701 35628 176 | 2.645 % | 600.32/600.35 c | 2244362 | 2429 7961 76129 | 44771 27870 93 | 2.645 % | 901.23/901.29 c | 3366641 | 2428 7961 76129 | 49248 44724 170 | 2.685 % | 1428.16/1428.17 c =============================================================================== 1488.26/1488.28 c core #25 1488.26/1488.28 c 1488.26/1488.28 c 1488.26/1488.28 c Core size: 677 Core Weight: 1 Total Weight: 25 1488.26/1488.28 c Current CPU time: 1480.1 s 1488.26/1488.28 c 1488.26/1488.28 c ============================[ Search Statistics ]============================== 1488.26/1488.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1488.26/1488.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1488.26/1488.28 c =============================================================================== 1488.26/1488.28 c | 0 | 3153 7962 77527 | 5000 0 -nan | 0.000 % | 1488.26/1488.29 c | 101 | 3153 7962 77527 | 5500 101 185 | 0.505 % | 1488.26/1488.30 c | 251 | 3153 7962 77527 | 6050 251 101 | 0.505 % | 1488.36/1488.31 c | 476 | 3153 7962 77527 | 6655 476 67 | 0.505 % | 1488.36/1488.34 c | 816 | 3153 7962 77527 | 7320 816 55 | 0.505 % | 1488.36/1488.36 c | 1323 | 3153 7962 77527 | 8052 1323 55 | 0.505 % | 1488.47/1488.42 c | 2082 | 3153 7962 77527 | 8857 2082 52 | 0.505 % | 1488.56/1488.50 c | 3223 | 3153 7962 77527 | 9743 3223 54 | 0.505 % | 1488.66/1488.65 c | 4936 | 3153 7962 77527 | 10717 4936 54 | 0.505 % | 1488.96/1488.92 c | 7504 | 3153 7962 77527 | 11789 7504 58 | 0.505 % | 1489.36/1489.34 c | 11348 | 3153 7962 77527 | 12968 11348 56 | 0.505 % | 1490.16/1490.10 c | 17124 | 3153 7962 77527 | 14265 10547 80 | 0.505 % | 1491.27/1491.20 c | 25775 | 3153 7962 77527 | 15692 11985 80 | 0.505 % | 1493.26/1493.28 c | 38750 | 3153 7962 77527 | 17261 8738 80 | 0.505 % | 1497.06/1497.04 c | 58213 | 3153 7962 77527 | 18987 10673 81 | 0.505 % | 1503.06/1503.05 c | 87409 | 3153 7962 77527 | 20886 10811 91 | 0.505 % | 1510.06/1510.05 c | 131211 | 3153 7962 77527 | 22974 11600 69 | 0.505 % | 1522.96/1522.98 c | 196896 | 3153 7962 77527 | 25272 19000 88 | 0.505 % | 1542.56/1542.56 c | 295424 | 3153 7962 77527 | 27799 13698 135 | 0.505 % | 1572.96/1572.99 c | 443217 | 3153 7962 77527 | 30579 22887 104 | 0.505 % | 1619.26/1619.30 c | 664900 | 3153 7962 77527 | 33637 19059 117 | 0.505 % | 1724.77/1724.73 c | 997440 | 3153 7962 77527 | 37001 33022 161 | 0.505 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479218-1307446845/watcher-3479218-1307446845 -o /tmp/evaluation-result-3479218-1307446845/solver-3479218-1307446845 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479218-1307446845.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/437 1520 /proc/meminfo: memFree=23799888/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=2684 CPUtime=0 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 315 0 0 0 0 0 0 0 25 0 1 0 837100123 2748416 268 33554432000 4194304 5714214 140734088485952 18446744073709551615 4948361 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 671 269 174 372 0 151 0 [startup+0.116149 s] /proc/loadavg: 1.92 1.98 1.99 3/437 1520 /proc/meminfo: memFree=23799888/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=4184 CPUtime=0.11 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 983 0 0 0 11 0 0 0 18 0 1 0 837100123 4284416 791 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 1046 791 179 372 0 671 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 4184 [startup+0.201157 s] /proc/loadavg: 1.92 1.98 1.99 3/437 1520 /proc/meminfo: memFree=23799888/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=5408 CPUtime=0.19 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 1295 0 0 0 19 0 0 0 18 0 1 0 837100123 5537792 1103 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 1352 1103 180 372 0 977 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5408 [startup+0.301125 s] /proc/loadavg: 1.92 1.98 1.99 3/437 1520 /proc/meminfo: memFree=23799888/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=5408 CPUtime=0.29 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 1295 0 0 0 29 0 0 0 18 0 1 0 837100123 5537792 1103 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 1352 1103 180 372 0 977 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5408 [startup+0.701046 s] /proc/loadavg: 1.92 1.98 1.99 3/437 1520 /proc/meminfo: memFree=23799888/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=7968 CPUtime=0.69 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 1912 0 0 0 68 1 0 0 18 0 1 0 837100123 8159232 1720 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 1992 1720 180 372 0 1617 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7968 [startup+1.50089 s] /proc/loadavg: 1.92 1.98 1.99 3/438 1521 /proc/meminfo: memFree=23792936/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=9312 CPUtime=1.49 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 2241 0 0 0 147 2 0 0 19 0 1 0 837100123 9535488 2049 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 2328 2049 180 372 0 1953 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9312 [startup+3.10057 s] /proc/loadavg: 1.93 1.98 1.99 3/438 1521 /proc/meminfo: memFree=23788384/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=13320 CPUtime=3.09 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 3239 0 0 0 306 3 0 0 24 0 1 0 837100123 13639680 3047 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 3330 3047 180 372 0 2955 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13320 [startup+6.30094 s] /proc/loadavg: 1.93 1.98 1.99 3/438 1521 /proc/meminfo: memFree=23777472/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=21780 CPUtime=6.29 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 5398 0 0 0 623 6 0 0 25 0 1 0 837100123 22302720 5171 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 5445 5171 180 372 0 5070 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21780 [startup+12.7007 s] /proc/loadavg: 1.94 1.98 1.99 3/438 1522 /proc/meminfo: memFree=23765720/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=21780 CPUtime=12.69 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 5429 0 0 0 1258 11 0 0 25 0 1 0 837100123 22302720 5202 33554432000 4194304 5714214 140734088485952 18446744073709551615 4300385 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 5445 5202 180 372 0 5070 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21780 [startup+25.5011 s] /proc/loadavg: 1.95 1.98 1.99 3/438 1522 /proc/meminfo: memFree=23740784/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=39192 CPUtime=25.49 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 9747 0 0 0 2529 20 0 0 20 0 1 0 837100123 40132608 9520 33554432000 4194304 5714214 140734088485952 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 9798 9520 180 372 0 9423 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39192 [startup+51.1011 s] /proc/loadavg: 1.96 1.98 1.99 3/438 1522 /proc/meminfo: memFree=23726176/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=47940 CPUtime=51.1 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 11914 0 0 0 5074 36 0 0 25 0 1 0 837100123 49090560 11687 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 11985 11687 180 372 0 11610 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 47940 [startup+102.301 s] /proc/loadavg: 2.03 2.00 2.00 3/438 1524 /proc/meminfo: memFree=23656228/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=91944 CPUtime=102.3 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 22651 0 0 0 10175 55 0 0 25 0 1 0 837100123 94150656 22424 33554432000 4194304 5714214 140734088485952 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 22986 22424 180 372 0 22611 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 91944 [startup+162.301 s] /proc/loadavg: 2.01 2.00 2.00 3/438 1526 /proc/meminfo: memFree=23571148/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=145800 CPUtime=162.3 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 36008 0 0 0 16147 83 0 0 25 0 1 0 837100123 149299200 35781 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 36450 35781 180 372 0 36075 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 145800 [startup+222.316 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1527 /proc/meminfo: memFree=23470684/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=200216 CPUtime=222.32 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 49236 0 0 0 22128 104 0 0 25 0 1 0 837100123 205021184 49009 33554432000 4194304 5714214 140734088485952 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 50054 49009 180 372 0 49679 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 200216 [startup+282.301 s] /proc/loadavg: 2.04 2.01 2.00 3/438 1529 /proc/meminfo: memFree=23390316/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=239228 CPUtime=282.3 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 58774 0 0 0 28107 123 0 0 25 0 1 0 837100123 244969472 58547 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 59807 58548 180 372 0 59432 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 239228 [startup+342.301 s] /proc/loadavg: 2.01 2.01 2.00 3/438 1530 /proc/meminfo: memFree=23325316/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=277576 CPUtime=342.31 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 68179 0 0 0 34086 145 0 0 25 0 1 0 837100123 284237824 67952 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 69394 67952 180 372 0 69019 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 277576 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1532 /proc/meminfo: memFree=23260456/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=319024 CPUtime=402.3 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 78416 0 0 0 40063 167 0 0 25 0 1 0 837100123 326680576 78189 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 79756 78189 180 372 0 79381 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 319024 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1534 /proc/meminfo: memFree=23191500/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=348576 CPUtime=462.31 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 85758 0 0 0 46040 191 0 0 25 0 1 0 837100123 356941824 85531 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 87144 85531 180 372 0 86769 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 348576 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1535 /proc/meminfo: memFree=23130352/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=390268 CPUtime=522.31 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 96092 0 0 0 52015 216 0 0 25 0 1 0 837100123 399634432 95865 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 97567 95865 180 372 0 97192 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 390268 [startup+582.301 s] /proc/loadavg: 2.07 2.02 2.00 3/438 1537 /proc/meminfo: memFree=23073664/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=426644 CPUtime=582.31 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 105049 0 0 0 57995 236 0 0 25 0 1 0 837100123 436883456 104822 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 106661 104822 180 372 0 106286 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 426644 [startup+642.301 s] ################ # More data... # ################ [startup+882.316 s] /proc/loadavg: 2.02 2.02 2.00 3/438 1573 /proc/meminfo: memFree=23589356/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=627568 CPUtime=882.34 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 155180 0 0 0 87879 355 0 0 25 0 1 0 837100123 642629632 154953 33554432000 4194304 5714214 140734088485952 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 156892 154953 180 372 0 156517 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 627568 [startup+942.301 s] /proc/loadavg: 2.00 2.01 2.00 3/438 1574 /proc/meminfo: memFree=23494104/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=677028 CPUtime=942.34 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 167429 0 0 0 93855 379 0 0 25 0 1 0 837100123 693276672 167202 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 169257 167202 180 372 0 168882 0 Current children cumulated CPU time (s) 942.34 Current children cumulated vsize (KiB) 677028 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/438 1576 /proc/meminfo: memFree=23425148/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=704704 CPUtime=1002.34 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 174343 0 0 0 99839 395 0 0 25 0 1 0 837100123 721616896 174116 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 176176 174116 180 372 0 175801 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 704704 [startup+1062.3 s] /proc/loadavg: 2.08 2.02 2.01 3/438 1578 /proc/meminfo: memFree=23354452/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=743448 CPUtime=1062.34 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 183832 0 0 0 105820 414 0 0 25 0 1 0 837100123 761290752 183605 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 185862 183605 180 372 0 185487 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 743448 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 2.00 3/438 1579 /proc/meminfo: memFree=23280404/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=779660 CPUtime=1122.34 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 192815 0 0 0 111800 434 0 0 25 0 1 0 837100123 798371840 192588 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 194915 192588 180 372 0 194540 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 779660 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/438 1581 /proc/meminfo: memFree=23215784/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=807768 CPUtime=1182.34 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 199796 0 0 0 117782 452 0 0 25 0 1 0 837100123 827154432 199569 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 201942 199569 180 372 0 201567 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 807768 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1591 /proc/meminfo: memFree=23151628/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=837572 CPUtime=1242.35 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 207198 0 0 0 123763 472 0 0 25 0 1 0 837100123 857673728 206971 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 209393 206971 180 372 0 209018 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 837572 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 2.00 3/438 1593 /proc/meminfo: memFree=23069156/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=876132 CPUtime=1302.35 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 216742 0 0 0 129739 496 0 0 25 0 1 0 837100123 897159168 216515 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 219033 216515 180 372 0 218658 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 876132 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/438 1595 /proc/meminfo: memFree=23007884/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=907784 CPUtime=1362.36 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 224620 0 0 0 135719 517 0 0 25 0 1 0 837100123 929570816 224393 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 226946 224393 180 372 0 226571 0 Current children cumulated CPU time (s) 1362.36 Current children cumulated vsize (KiB) 907784 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1596 /proc/meminfo: memFree=22936072/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=945236 CPUtime=1422.36 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 233957 0 0 0 141692 544 0 0 25 0 1 0 837100123 967921664 233730 33554432000 4194304 5714214 140734088485952 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 236309 233730 180 372 0 235934 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 945236 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1598 /proc/meminfo: memFree=22675288/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=1169108 CPUtime=1482.36 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 289932 0 0 0 147679 557 0 0 25 0 1 0 837100123 1197166592 289705 33554432000 4194304 5714214 140734088485952 18446744073709551615 4324948 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 292277 289705 180 372 0 291902 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 1169108 [startup+1542.32 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1599 /proc/meminfo: memFree=22666460/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=1149568 CPUtime=1542.38 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 290032 0 0 0 153656 582 0 0 25 0 1 0 837100123 1177157632 285956 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 287392 285956 180 372 0 287017 0 Current children cumulated CPU time (s) 1542.38 Current children cumulated vsize (KiB) 1149568 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.00 3/438 1601 /proc/meminfo: memFree=22636304/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=1149568 CPUtime=1602.37 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 290032 0 0 0 159628 609 0 0 25 0 1 0 837100123 1177157632 285956 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 287392 285956 180 372 0 287017 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 1149568 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/438 1603 /proc/meminfo: memFree=22614960/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=1149568 CPUtime=1662.37 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 290032 0 0 0 165611 626 0 0 25 0 1 0 837100123 1177157632 285956 33554432000 4194304 5714214 140734088485952 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 287392 285956 180 372 0 287017 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 1149568 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1604 /proc/meminfo: memFree=22582704/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=1149568 CPUtime=1722.37 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 290032 0 0 0 171593 644 0 0 25 0 1 0 837100123 1177157632 285956 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 287392 285956 180 372 0 287017 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 1149568 [startup+1782.3 s] /proc/loadavg: 2.06 2.01 2.00 3/438 1606 /proc/meminfo: memFree=22553304/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=1149568 CPUtime=1782.37 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 290032 0 0 0 177578 659 0 0 25 0 1 0 837100123 1177157632 285956 33554432000 4194304 5714214 140734088485952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 287392 285956 180 372 0 287017 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 1149568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.01 2.00 3/438 1606 /proc/meminfo: memFree=22543492/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=1149568 CPUtime=1800.07 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 290032 0 0 0 179342 665 0 0 25 0 1 0 837100123 1177157632 285956 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 287392 285956 180 372 0 287017 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1149568 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.04 2.01 2.00 3/438 1606 /proc/meminfo: memFree=22543492/32951124 swapFree=50923800/67111528 [pid=1520] ppid=1518 vsize=1149568 CPUtime=1800.07 cores=0,2,4,6 /proc/1520/stat : 1520 (wbo1.6) R 1518 1520 656 0 -1 4202496 290032 0 0 0 179342 665 0 0 25 0 1 0 837100123 1177157632 285956 33554432000 4194304 5714214 140734088485952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1520/statm: 287392 285956 180 372 0 287017 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1149568 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.06 CPU time (s): 1800.15 CPU user time (s): 1793.44 CPU system time (s): 6.70698 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 1169600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.44 system time used= 6.70698 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290032 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= 9 involuntary context switches= 1833 runsolver used 7.93579 second user time and 16.7405 second system time The end
Begin job on node143 at 2011-06-07 13:40:45 IDJOB=3479218 IDBENCH=89859 IDSOLVER=1953 FILE ID=node143/3479218-1307446845 RUNJOBID= node143-1307436782-674 PBS_JOBID= 13519945 Free space on /tmp= 74008 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479218-1307446845/watcher-3479218-1307446845 -o /tmp/evaluation-result-3479218-1307446845/solver-3479218-1307446845 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479218-1307446845.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 19a2dfea334d8fb7f32d77f6785ba1fe RANDOM SEED=501507918 node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23800044 kB Buffers: 355384 kB Cached: 787104 kB SwapCached: 9164 kB Active: 8148744 kB Inactive: 710704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23800044 kB SwapTotal: 67111528 kB SwapFree: 50923800 kB Dirty: 4736 kB Writeback: 0 kB AnonPages: 7714168 kB Mapped: 22332 kB Slab: 143208 kB PageTables: 80924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 116188488 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74004 MiB End job on node143 at 2011-06-07 14:10:47