Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.13 | 1800.07 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-warehouse0_wcsp.wbo |
MD5SUM | 1666aebbbae4b4440b4a935980e38a5c |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 328 |
Best CPU time to get the best result obtained on this benchmark | 0.010998 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 60 |
Total number of constraints | 120 |
Number of soft constraints | 105 |
Number of constraints which are clauses | 105 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 5 |
Top cost | 954 |
Min constraint cost | 1 |
Max constraint cost | 954 |
Sum of constraints costs | 50513 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6 |
Number of bits of the biggest sum of numbers | 3 |
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.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2699584-1278533793.wbo. 0.00/0.00 c Instance file HOME/instance-2699584-1278533793.wbo 0.00/0.00 c File size is 3188 bytes. 0.00/0.00 c Highest Coefficient sum: 6 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 60 | 0.00/0.00 c | Number Clauses: 125 | 0.00/0.00 c | Number Cardinality: 10 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c core #1 0.00/0.00 c core #2 0.00/0.00 c core #3 0.00/0.00 c core #4 0.00/0.00 c core #5 0.00/0.00 c core #6 0.00/0.00 c core #7 0.00/0.00 c core #8 0.00/0.00 c core #9 0.00/0.00 c core #10 0.00/0.00 c core #11 0.00/0.00 c core #12 0.00/0.00 c core #13 0.00/0.00 c core #14 0.00/0.00 c core #15 0.00/0.00 c core #16 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 153 291 507 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #17 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 179 315 559 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #18 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 205 339 611 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #19 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 232 365 688 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #20 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 251 382 719 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #21 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 280 400 825 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #22 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 313 430 923 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #23 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 343 457 999 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #24 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 389 501 1138 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #25 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 426 536 1243 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #26 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 449 558 1302 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #27 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 488 590 1431 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.01 c core #28 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 516 610 1520 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #29 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 537 630 1570 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #30 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 557 646 1646 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #31 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 617 679 1785 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #32 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 683 716 1950 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #33 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 783 760 2206 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 102 | 783 760 2206 | 5500 102 20 | 4.860 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #34 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 930 807 2585 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 100 | 930 807 2585 | 5500 100 31 | 3.327 % | 0.00/0.03 c | 250 | 930 807 2585 | 6050 250 21 | 3.327 % | 0.03/0.03 c =============================================================================== 0.03/0.03 c core #35 0.03/0.03 c ============================[ Search Statistics ]============================== 0.03/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.03 c =============================================================================== 0.03/0.03 c | 0 | 1088 858 2969 | 5000 0 nan | 0.000 % | 0.03/0.04 c | 102 | 1088 858 2969 | 5500 102 35 | 2.857 % | 0.03/0.04 c | 252 | 1088 858 2969 | 6050 252 24 | 2.857 % | 0.03/0.06 c | 478 | 1088 858 2969 | 6655 478 27 | 2.857 % | 0.03/0.07 c | 816 | 1088 858 2969 | 7320 816 22 | 2.857 % | 0.09/0.10 c | 1325 | 1088 858 2969 | 8052 1325 20 | 2.859 % | 0.09/0.14 c | 2084 | 857 858 2969 | 8857 99 12 | 23.482 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #36 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1291 912 3445 | 5000 0 nan | 0.000 % | 0.09/0.16 c | 101 | 1291 912 3445 | 5500 101 89 | 2.419 % | 0.09/0.16 c | 252 | 1291 912 3445 | 6050 252 72 | 2.419 % | 0.09/0.18 c | 477 | 1291 912 3445 | 6655 477 54 | 2.419 % | 0.19/0.20 c | 816 | 1291 912 3445 | 7320 816 44 | 2.419 % | 0.19/0.24 c | 1324 | 1291 912 3445 | 8052 1324 42 | 2.419 % | 0.19/0.30 c | 2083 | 1291 912 3445 | 8857 2083 38 | 2.419 % | 0.30/0.37 c | 3222 | 1291 912 3445 | 9743 3222 35 | 2.419 % | 0.49/0.52 c | 4931 | 1291 912 3445 | 10717 4931 35 | 2.419 % | 0.69/0.73 c | 7493 | 1291 912 3445 | 11789 7493 33 | 2.419 % | 1.10/1.13 c | 11337 | 1291 912 3445 | 12968 11337 32 | 2.421 % | 1.60/1.67 c | 17104 | 1291 912 3445 | 14265 10468 25 | 2.422 % | 1.99/2.03 c =============================================================================== 1.99/2.09 c core #37 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 1502 954 3907 | 5000 0 nan | 0.000 % | 1.99/2.10 c | 100 | 1502 954 3907 | 5500 100 78 | 2.086 % | 2.10/2.11 c | 252 | 1501 954 3907 | 6050 249 39 | 2.152 % | 2.10/2.12 c | 478 | 1501 954 3907 | 6655 475 38 | 2.151 % | 2.10/2.14 c | 815 | 1501 954 3907 | 7320 812 31 | 2.151 % | 2.10/2.18 c | 1321 | 1501 954 3907 | 8052 1318 31 | 2.151 % | 2.20/2.23 c | 2081 | 1501 954 3907 | 8857 2078 30 | 2.152 % | 2.29/2.32 c | 3221 | 1501 954 3907 | 9743 3218 33 | 2.151 % | 2.49/2.51 c | 4929 | 1501 954 3907 | 10717 4926 38 | 2.151 % | 2.79/2.80 c | 7491 | 1501 954 3907 | 11789 7488 41 | 2.151 % | 3.29/3.36 c | 11337 | 1501 954 3907 | 12968 11334 46 | 2.151 % | 4.30/4.33 c | 17103 | 1501 954 3907 | 14265 10482 53 | 2.151 % | 6.09/6.19 c | 25752 | 1501 954 3907 | 15692 11780 53 | 2.151 % | 8.59/8.63 c | 38726 | 1501 954 3907 | 17261 8673 52 | 2.151 % | 12.79/12.82 c | 58187 | 1501 954 3907 | 18987 10634 57 | 2.151 % | 17.19/17.24 c | 87379 | 1497 954 3907 | 20886 10777 36 | 2.412 % | 25.99/26.03 c | 131168 | 1497 954 3907 | 22974 11852 55 | 2.412 % | 38.99/39.07 c | 196852 | 1497 954 3907 | 25272 18484 44 | 2.412 % | 50.89/50.97 c =============================================================================== 52.20/52.21 c core #38 52.20/52.21 c ============================[ Search Statistics ]============================== 52.20/52.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.20/52.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.20/52.21 c =============================================================================== 52.20/52.21 c | 0 | 1757 1001 4469 | 5000 0 nan | 0.000 % | 52.20/52.24 c | 102 | 1757 1001 4469 | 5500 102 57 | 1.789 % | 52.20/52.25 c | 252 | 1757 1001 4469 | 6050 252 32 | 1.789 % | 52.20/52.26 c | 477 | 1757 1001 4469 | 6655 477 29 | 1.789 % | 52.20/52.28 c | 816 | 1757 1001 4469 | 7320 816 32 | 1.789 % | 52.30/52.32 c | 1322 | 1757 1001 4469 | 8052 1322 26 | 1.789 % | 52.30/52.39 c | 2081 | 1757 1001 4469 | 8857 2081 30 | 1.789 % | 52.49/52.50 c | 3222 | 1757 1001 4469 | 9743 3222 32 | 1.789 % | 52.70/52.73 c | 4932 | 1757 1001 4469 | 10717 4932 52 | 1.789 % | 52.99/53.09 c | 7494 | 1757 1001 4469 | 11789 7494 54 | 1.789 % | 53.59/53.69 c | 11341 | 1757 1001 4469 | 12968 11341 62 | 1.789 % | 54.59/54.69 c | 17109 | 1757 1001 4469 | 14265 10452 77 | 1.789 % | 56.39/56.49 c | 25758 | 1757 1001 4469 | 15692 11710 71 | 1.789 % | 59.19/59.20 c | 38734 | 1757 1001 4469 | 17261 8360 51 | 1.789 % | 62.09/62.14 c | 58196 | 1757 1001 4469 | 18987 10040 53 | 1.789 % | 68.79/68.85 c | 87389 | 1757 1001 4469 | 20886 9988 48 | 1.789 % | 77.90/77.93 c | 131179 | 1755 1001 4469 | 22974 11042 59 | 1.901 % | 90.80/90.90 c | 196863 | 1755 1001 4469 | 25272 17785 53 | 1.901 % | 115.09/115.12 c | 295389 | 1755 1001 4469 | 27799 24035 83 | 1.901 % | 155.30/155.35 c | 443178 | 1755 1001 4469 | 30579 21863 60 | 1.901 % | 220.50/220.50 c | 664864 | 1755 1001 4469 | 33637 26989 93 | 1.901 % | 325.70/325.78 c | 997403 | 1755 1001 4469 | 37001 14056 70 | 1.901 % | 471.41/471.43 c | 1496191 | 1755 1001 4469 | 40701 27192 70 | 1.901 % | 718.01/718.05 c | 2244373 | 1755 1001 4469 | 44771 33043 49 | 1.901 % | 957.52/957.50 c =============================================================================== 970.82/970.88 c core #39 970.82/970.88 c ============================[ Search Statistics ]============================== 970.82/970.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 970.82/970.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 970.82/970.88 c =============================================================================== 970.82/970.88 c | 0 | 2033 1048 5070 | 5000 0 nan | 0.000 % | 970.92/970.94 c | 100 | 2033 1048 5070 | 5500 100 119 | 1.550 % | 971.02/971.00 c | 251 | 2033 1048 5070 | 6050 251 66 | 1.550 % | 971.02/971.02 c | 476 | 2033 1048 5070 | 6655 476 42 | 1.550 % | 971.02/971.05 c | 813 | 2033 1048 5070 | 7320 813 38 | 1.550 % | 971.02/971.09 c | 1320 | 2033 1048 5070 | 8052 1320 32 | 1.550 % | 971.23/971.23 c | 2082 | 2033 1048 5070 | 8857 2082 39 | 1.550 % | 971.33/971.39 c | 3223 | 2033 1048 5070 | 9743 3223 43 | 1.550 % | 971.62/971.60 c | 4931 | 2033 1048 5070 | 10717 4931 49 | 1.550 % | 971.91/971.95 c | 7495 | 2033 1048 5070 | 11789 7495 64 | 1.550 % | 972.52/972.51 c | 11341 | 2033 1048 5070 | 12968 11341 60 | 1.550 % | 973.32/973.38 c | 17113 | 2033 1048 5070 | 14265 10489 44 | 1.550 % | 975.02/975.07 c | 25762 | 2033 1048 5070 | 15692 11794 84 | 1.550 % | 978.02/978.03 c | 38736 | 2033 1048 5070 | 17261 8777 62 | 1.550 % | 982.82/982.81 c | 58199 | 2033 1048 5070 | 18987 10114 87 | 1.550 % | 989.82/989.89 c | 87392 | 2033 1048 5070 | 20886 10071 58 | 1.550 % | 1001.33/1001.39 c | 131184 | 2033 1048 5070 | 22974 10977 44 | 1.550 % | 1019.52/1019.60 c | 196869 | 2033 1048 5070 | 25272 17407 59 | 1.550 % | 1047.32/1047.30 c | 295396 | 2033 1048 5070 | 27799 21944 58 | 1.550 % | 1081.73/1081.72 c | 443185 | 2033 1048 5070 | 30579 28123 77 | 1.550 % | 1144.03/1144.05 c | 664868 | 2033 1048 5070 | 33637 28873 71 | 1.550 % | 1271.83/1271.80 c | 997397 | 2031 1048 5070 | 37001 21807 69 | 1.647 % | 1417.54/1417.53 c | 1496186 | 2031 1048 5070 | 40701 21352 67 | 1.647 % | 1646.24/1646.29 c | 2244371 | 2031 1048 5070 | 44771 31376 82 | 1.647 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699584-1278533793/watcher-2699584-1278533793 -o /tmp/evaluation-result-2699584-1278533793/solver-2699584-1278533793 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699584-1278533793.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21748 /proc/meminfo: memFree=28723084/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=2708 CPUtime=0 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 309 0 0 0 0 0 0 0 22 0 1 0 21591836 2772992 226 4089446400 134512640 135751879 4287873920 18446744073709551615 135269054 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/21748/statm: 677 226 145 303 0 372 0 [startup+0.034282 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21748 /proc/meminfo: memFree=28723084/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=2956 CPUtime=0.03 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 377 0 0 0 3 0 0 0 18 0 1 0 21591836 3026944 294 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/21748/statm: 739 294 146 303 0 434 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2956 [startup+0.101275 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21748 /proc/meminfo: memFree=28723084/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=3088 CPUtime=0.09 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 407 0 0 0 9 0 0 0 18 0 1 0 21591836 3162112 324 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/21748/statm: 772 324 146 303 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.301238 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21748 /proc/meminfo: memFree=28723084/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=3628 CPUtime=0.3 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 557 0 0 0 28 2 0 0 18 0 1 0 21591836 3715072 474 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/21748/statm: 907 474 146 303 0 602 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3628 [startup+0.70115 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21748 /proc/meminfo: memFree=28723084/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=4948 CPUtime=0.69 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 887 0 0 0 65 4 0 0 18 0 1 0 21591836 5066752 804 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/21748/statm: 1237 805 146 303 0 932 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4948 [startup+1.50096 s] /proc/loadavg: 0.00 0.00 0.00 2/174 21749 /proc/meminfo: memFree=28719916/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=6984 CPUtime=1.5 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 1372 0 0 0 144 6 0 0 20 0 1 0 21591836 7151616 1289 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/21748/statm: 1746 1289 146 303 0 1441 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 6984 [startup+3.10071 s] /proc/loadavg: 0.00 0.00 0.00 2/174 21749 /proc/meminfo: memFree=28716196/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=9648 CPUtime=3.09 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 2067 0 0 0 300 9 0 0 19 0 1 0 21591836 9879552 1984 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/21748/statm: 2412 1984 146 303 0 2107 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9648 [startup+6.30114 s] /proc/loadavg: 0.08 0.02 0.01 2/174 21776 /proc/meminfo: memFree=28710532/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=15276 CPUtime=6.29 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 3450 0 0 0 617 12 0 0 25 0 1 0 21591836 15642624 3367 4089446400 134512640 135751879 4287873920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/21748/statm: 3819 3367 146 303 0 3514 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15276 [startup+12.701 s] /proc/loadavg: 0.15 0.03 0.01 2/174 21776 /proc/meminfo: memFree=28699124/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=26644 CPUtime=12.69 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 6293 0 0 0 1252 17 0 0 25 0 1 0 21591836 27283456 6210 4089446400 134512640 135751879 4287873920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/21748/statm: 6661 6210 146 303 0 6356 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26644 [startup+25.5006 s] /proc/loadavg: 0.34 0.08 0.02 2/174 21822 /proc/meminfo: memFree=28676140/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=49132 CPUtime=25.49 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 11889 0 0 0 2523 26 0 0 25 0 1 0 21591836 50311168 11806 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 12283 11806 146 303 0 11978 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49132 [startup+51.1009 s] /proc/loadavg: 0.85 0.22 0.07 3/179 21834 /proc/meminfo: memFree=28596000/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=90808 CPUtime=51.09 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 22292 0 0 0 5067 42 0 0 25 0 1 0 21591836 92987392 22209 4089446400 134512640 135751879 4287873920 18446744073709551615 134522928 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 22702 22210 146 303 0 22397 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 90808 [startup+102.307 s] /proc/loadavg: 1.50 0.49 0.17 3/179 21834 /proc/meminfo: memFree=28506748/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=150060 CPUtime=102.3 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 37102 0 0 0 10159 71 0 0 25 0 1 0 21591836 153661440 37019 4089446400 134512640 135751879 4287873920 18446744073709551615 134603875 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 37515 37019 146 303 0 37210 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 150060 [startup+162.301 s] /proc/loadavg: 1.87 0.78 0.29 3/179 21839 /proc/meminfo: memFree=28384756/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=244540 CPUtime=162.29 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 60667 0 0 0 16126 103 0 0 25 0 1 0 21591836 250408960 60584 4089446400 134512640 135751879 4287873920 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 61135 60584 146 303 0 60830 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 244540 [startup+222.301 s] /proc/loadavg: 1.95 1.00 0.39 3/179 21841 /proc/meminfo: memFree=28270488/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=333116 CPUtime=222.3 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 82709 0 0 0 22097 133 0 0 25 0 1 0 21591836 341110784 82626 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 83279 82626 146 303 0 82974 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 333116 [startup+282.301 s] /proc/loadavg: 2.02 1.19 0.49 3/179 21843 /proc/meminfo: memFree=28167648/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=417144 CPUtime=282.29 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 103687 0 0 0 28070 159 0 0 25 0 1 0 21591836 427155456 103604 4089446400 134512640 135751879 4287873920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 104286 103605 146 303 0 103981 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 417144 [startup+342.301 s] /proc/loadavg: 2.00 1.33 0.58 3/179 21844 /proc/meminfo: memFree=28060340/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=499928 CPUtime=342.3 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 124366 0 0 0 34044 186 0 0 25 0 1 0 21591836 511926272 124283 4089446400 134512640 135751879 4287873920 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 124982 124283 146 303 0 124677 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 499928 [startup+402.301 s] /proc/loadavg: 2.00 1.45 0.67 3/179 21845 /proc/meminfo: memFree=27958716/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=587184 CPUtime=402.3 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 146151 0 0 0 40017 213 0 0 25 0 1 0 21591836 601276416 146068 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 146796 146068 146 303 0 146491 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 587184 [startup+462.301 s] /proc/loadavg: 2.00 1.55 0.75 3/179 21847 /proc/meminfo: memFree=27856620/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=669704 CPUtime=462.3 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 166726 0 0 0 45986 244 0 0 25 0 1 0 21591836 685776896 166643 4089446400 134512640 135751879 4287873920 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 167426 166643 146 303 0 167121 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 669704 [startup+522.301 s] /proc/loadavg: 2.00 1.63 0.83 3/179 21849 /proc/meminfo: memFree=27763204/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=744884 CPUtime=522.31 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 185491 0 0 0 51964 267 0 0 25 0 1 0 21591836 762761216 185408 4089446400 134512640 135751879 4287873920 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 186221 185408 146 303 0 185916 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 744884 [startup+582.301 s] /proc/loadavg: 2.00 1.69 0.90 3/179 21851 /proc/meminfo: memFree=27673520/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=817164 CPUtime=582.3 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 203512 0 0 0 57938 292 0 0 25 0 1 0 21591836 836775936 203429 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 204291 203429 146 303 0 203986 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 817164 [startup+642.301 s] /proc/loadavg: 2.00 1.75 0.97 3/179 21852 /proc/meminfo: memFree=27584568/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=886612 CPUtime=642.31 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 220817 0 0 0 63915 316 0 0 25 0 1 0 21591836 907890688 220734 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 221653 220734 146 303 0 221348 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 886612 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.04 1.87 1.14 3/179 21857 /proc/meminfo: memFree=27342360/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1076492 CPUtime=822.32 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 268229 0 0 0 81840 392 0 0 25 0 1 0 21591836 1102327808 268146 4089446400 134512640 135751879 4287873920 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 269123 268146 146 303 0 268818 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 1076492 [startup+882.301 s] /proc/loadavg: 2.01 1.89 1.20 3/179 21859 /proc/meminfo: memFree=27254524/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1143924 CPUtime=882.32 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 285053 0 0 0 87814 418 0 0 25 0 1 0 21591836 1171378176 284970 4089446400 134512640 135751879 4287873920 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 285981 284970 146 303 0 285676 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 1143924 [startup+942.301 s] /proc/loadavg: 2.00 1.91 1.24 3/179 21860 /proc/meminfo: memFree=27174760/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1209364 CPUtime=942.32 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 301378 0 0 0 93790 442 0 0 25 0 1 0 21591836 1238388736 301295 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 302341 301295 146 303 0 302036 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1209364 [startup+1002.3 s] /proc/loadavg: 2.00 1.92 1.29 3/179 21861 /proc/meminfo: memFree=27080924/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1282596 CPUtime=1002.32 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 320516 0 0 0 99763 469 0 0 25 0 1 0 21591836 1313378304 320213 4089446400 134512640 135751879 4287873920 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 320649 320213 146 303 0 320344 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1282596 [startup+1062.3 s] /proc/loadavg: 2.00 1.93 1.33 3/179 21863 /proc/meminfo: memFree=27043184/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1298548 CPUtime=1062.33 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 324476 0 0 0 105737 496 0 0 25 0 1 0 21591836 1329713152 324173 4089446400 134512640 135751879 4287873920 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 324637 324173 146 303 0 324332 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1298548 [startup+1122.3 s] /proc/loadavg: 2.00 1.94 1.37 3/179 21865 /proc/meminfo: memFree=26962532/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1356428 CPUtime=1122.33 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 338905 0 0 0 111709 524 0 0 25 0 1 0 21591836 1388982272 338602 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 339107 338602 146 303 0 338802 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1356428 [startup+1182.3 s] /proc/loadavg: 2.00 1.95 1.40 3/179 21867 /proc/meminfo: memFree=26891420/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1408856 CPUtime=1182.33 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 351873 0 0 0 117687 546 0 0 25 0 1 0 21591836 1442668544 351570 4089446400 134512640 135751879 4287873920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 352214 351570 146 303 0 351909 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1408856 [startup+1242.3 s] /proc/loadavg: 2.00 1.95 1.44 3/179 21868 /proc/meminfo: memFree=26829996/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1450520 CPUtime=1242.33 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 362230 0 0 0 123670 563 0 0 25 0 1 0 21591836 1485332480 361927 4089446400 134512640 135751879 4287873920 18446744073709551615 134643076 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 362630 361927 146 303 0 362325 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1450520 [startup+1302.3 s] /proc/loadavg: 2.00 1.96 1.47 3/179 21869 /proc/meminfo: memFree=26756396/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1505628 CPUtime=1302.34 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 375936 0 0 0 129648 586 0 0 25 0 1 0 21591836 1541763072 375633 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 376407 375633 146 303 0 376102 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1505628 [startup+1362.3 s] /proc/loadavg: 2.05 1.98 1.50 4/179 21871 /proc/meminfo: memFree=26676472/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1566684 CPUtime=1362.34 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 391193 0 0 0 135623 611 0 0 25 0 1 0 21591836 1604284416 390890 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 391671 390890 146 303 0 391366 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1566684 [startup+1422.31 s] /proc/loadavg: 2.02 1.98 1.54 3/179 21873 /proc/meminfo: memFree=26602656/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1621120 CPUtime=1422.34 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 404771 0 0 0 141598 636 0 0 25 0 1 0 21591836 1660026880 404468 4089446400 134512640 135751879 4287873920 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 405280 404468 146 303 0 404975 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1621120 [startup+1482.3 s] /proc/loadavg: 2.00 1.98 1.56 3/179 21875 /proc/meminfo: memFree=26516056/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1692880 CPUtime=1482.34 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 422662 0 0 0 147570 664 0 0 25 0 1 0 21591836 1733509120 422359 4089446400 134512640 135751879 4287873920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 423220 422359 146 303 0 422915 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1692880 [startup+1542.3 s] /proc/loadavg: 2.00 1.98 1.59 3/179 21876 /proc/meminfo: memFree=26432176/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1756172 CPUtime=1542.34 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 438373 0 0 0 153544 690 0 0 25 0 1 0 21591836 1798320128 438070 4089446400 134512640 135751879 4287873920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 439043 438070 146 303 0 438738 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1756172 [startup+1602.3 s] /proc/loadavg: 2.00 1.98 1.61 3/179 21877 /proc/meminfo: memFree=26344592/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1824380 CPUtime=1602.34 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 455396 0 0 0 159516 718 0 0 25 0 1 0 21591836 1868165120 455093 4089446400 134512640 135751879 4287873920 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 456095 455093 146 303 0 455790 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1824380 [startup+1662.3 s] /proc/loadavg: 2.00 1.98 1.63 3/179 21879 /proc/meminfo: memFree=26258124/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1889652 CPUtime=1662.34 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 471689 0 0 0 165491 743 0 0 25 0 1 0 21591836 1935003648 471386 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 472413 471386 146 303 0 472108 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1889652 [startup+1722.3 s] /proc/loadavg: 2.00 1.98 1.65 3/179 21881 /proc/meminfo: memFree=26183296/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=1944672 CPUtime=1722.34 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 485423 0 0 0 171471 763 0 0 25 0 1 0 21591836 1991344128 485120 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 486168 485120 146 303 0 485863 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1944672 [startup+1782.3 s] /proc/loadavg: 2.00 1.98 1.67 3/179 21883 /proc/meminfo: memFree=26105736/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=2006360 CPUtime=1782.34 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 500814 0 0 0 177451 783 0 0 25 0 1 0 21591836 2054512640 500511 4089446400 134512640 135751879 4287873920 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 501590 500511 146 303 0 501285 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2006360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 1.98 1.67 3/179 21883 /proc/meminfo: memFree=26081668/32951124 swapFree=67111528/67111528 [pid=21748] ppid=21746 vsize=2025100 CPUtime=1800.05 /proc/21748/stat : 21748 (wbo1.4a) R 21746 21748 21650 0 -1 4202496 505471 0 0 0 179217 788 0 0 25 0 1 0 21591836 2073702400 505168 4089446400 134512640 135751879 4287873920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21748/statm: 506275 505168 146 303 0 505970 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2025100 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.07 CPU time (s): 1800.13 CPU user time (s): 1792.18 CPU system time (s): 7.95079 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2025100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.18 system time used= 7.95079 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 505471 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= 14 involuntary context switches= 2882 runsolver used 2.59161 second user time and 5.60715 second system time The end
Begin job on node139 at 2010-07-07 22:16:33 IDJOB=2699584 IDBENCH=79357 IDSOLVER=1200 FILE ID=node139/2699584-1278533793 PBS_JOBID= 11239199 Free space on /tmp= 73688 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-warehouse0_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699584-1278533793/watcher-2699584-1278533793 -o /tmp/evaluation-result-2699584-1278533793/solver-2699584-1278533793 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699584-1278533793.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1666aebbbae4b4440b4a935980e38a5c RANDOM SEED=1319439072 node139.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.841 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.68 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.841 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 : 5332.83 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.841 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.75 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.841 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.841 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.841 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.841 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.75 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.841 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28723488 kB Buffers: 140244 kB Cached: 3878568 kB SwapCached: 0 kB Active: 1145080 kB Inactive: 2935448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28723488 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2800 kB Writeback: 0 kB AnonPages: 62208 kB Mapped: 14428 kB Slab: 83644 kB PageTables: 4496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184540 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= 73680 MiB End job on node139 at 2010-07-07 22:46:35