Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.1 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb |
MD5SUM | de4cbecd7c9968d40b279ce145b888a9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 319 |
Best CPU time to get the best result obtained on this benchmark | 1798.03 |
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 | 8883 |
Total number of constraints | 17459 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17459 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2691 |
Number of bits of the biggest sum of numbers | 12 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680497-1277456163.opb. 0.00/0.00 c Instance file HOME/instance-2680497-1277456163.opb 0.00/0.00 c File size is 5036183 bytes. 0.89/0.95 c Highest Coefficient sum: 2691 0.89/0.95 c ============================[ Problem Statistics ]============================= 0.89/0.95 c | | 0.89/0.95 c | Parsing time: 0.93 s | 0.89/0.95 c | Number Variables: 8883 | 0.89/0.95 c | Number Clauses: 0 | 0.89/0.95 c | Number Cardinality: 0 | 0.89/0.95 c | Number PB Constraints: 17459 | 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 8883 17459 596088 | 5819 0 nan | 0.000 % | 3.79/3.83 c | 103 | 8883 17459 596088 | 6401 103 39 | 0.000 % | 5.39/5.43 c | 254 | 8883 17459 596088 | 7041 254 32 | 0.000 % | 6.99/7.03 c | 479 | 8883 17459 596088 | 7745 479 29 | 0.000 % | 9.29/9.32 c | 816 | 8883 17459 596088 | 8520 816 35 | 0.000 % | 13.58/13.65 c | 1323 | 8883 17459 596088 | 9372 1323 36 | 0.000 % | 21.79/21.81 c | 2082 | 8883 17459 596088 | 10309 2082 36 | 0.000 % | 29.39/29.48 c | 3221 | 8883 17459 596088 | 11340 3221 40 | 0.000 % | 42.89/42.95 c | 4930 | 8883 17459 596088 | 12474 4930 44 | 0.000 % | 61.37/61.49 c | 7493 | 8883 17459 596088 | 13722 7493 40 | 0.000 % | 86.67/86.70 c | 11337 | 8883 17459 596088 | 15094 11337 39 | 0.000 % | 146.75/146.87 c | 17103 | 8883 17459 596088 | 16604 9283 41 | 0.000 % | 180.24/180.30 c There are 0 assigned variables. 0 in cost function. 181.34/181.49 c core #1 181.34/181.49 c 181.34/181.49 c 181.34/181.49 c Core size: 10 Core Weight: 1 Total Weight: 1 181.34/181.49 c 181.34/181.49 c 181.34/181.49 c core #2 181.34/181.49 c 181.34/181.49 c 181.34/181.49 c Core size: 12 Core Weight: 1 Total Weight: 2 181.34/181.49 c 181.34/181.49 c 181.34/181.49 c ============================[ Search Statistics ]============================== 181.34/181.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.34/181.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.34/181.49 c =============================================================================== 181.34/181.49 c | 0 | 8774 17485 596111 | 5828 0 nan | 0.000 % | 181.45/181.50 c =============================================================================== 181.84/181.93 c core #3 181.84/181.93 c 181.84/181.93 c 181.84/181.93 c Core size: 16 Core Weight: 1 Total Weight: 3 181.84/181.93 c 181.84/181.93 c 181.84/181.93 c ============================[ Search Statistics ]============================== 181.84/181.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.93 c =============================================================================== 181.84/181.93 c | 0 | 8783 17493 596122 | 5831 0 nan | 0.000 % | 181.84/181.94 c =============================================================================== 182.24/182.38 c core #4 182.24/182.38 c 182.24/182.38 c 182.24/182.38 c Core size: 15 Core Weight: 1 Total Weight: 4 182.24/182.38 c 182.24/182.38 c 182.24/182.38 c ============================[ Search Statistics ]============================== 182.24/182.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.38 c =============================================================================== 182.24/182.38 c | 0 | 8808 17500 596137 | 5833 0 nan | 0.000 % | 182.34/182.44 c =============================================================================== 182.74/182.88 c core #5 182.74/182.88 c 182.74/182.88 c 182.74/182.88 c Core size: 17 Core Weight: 1 Total Weight: 5 182.74/182.88 c 182.74/182.88 c 182.74/182.88 c ============================[ Search Statistics ]============================== 182.74/182.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.88 c =============================================================================== 182.74/182.88 c | 0 | 8819 17507 596153 | 5835 0 nan | 0.000 % | 182.94/183.04 c =============================================================================== 183.34/183.48 c core #6 183.34/183.48 c 183.34/183.48 c 183.34/183.48 c Core size: 16 Core Weight: 3 Total Weight: 8 183.34/183.48 c 183.34/183.48 c 183.34/183.48 c ============================[ Search Statistics ]============================== 183.34/183.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.48 c =============================================================================== 183.34/183.48 c | 0 | 8843 17513 596171 | 5837 0 nan | 0.000 % | 183.64/183.76 c =============================================================================== 184.13/184.21 c core #7 184.13/184.21 c 184.13/184.21 c 184.13/184.21 c Core size: 20 Core Weight: 1 Total Weight: 9 184.13/184.21 c 184.13/184.21 c 184.13/184.21 c ============================[ Search Statistics ]============================== 184.13/184.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.21 c =============================================================================== 184.13/184.21 c | 0 | 8855 17519 596190 | 5839 0 nan | 0.000 % | 184.74/184.83 c =============================================================================== 185.14/185.27 c core #8 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c Core size: 21 Core Weight: 1 Total Weight: 10 185.14/185.27 c 185.14/185.27 c 185.14/185.27 c ============================[ Search Statistics ]============================== 185.14/185.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.27 c =============================================================================== 185.14/185.27 c | 0 | 8868 17525 596211 | 5841 0 nan | 0.000 % | 186.54/186.61 c | 100 | 8868 17525 596211 | 6425 100 24 | 1.005 % | 188.74/188.86 c =============================================================================== 189.15/189.29 c core #9 189.15/189.29 c 189.15/189.29 c 189.15/189.29 c Core size: 42 Core Weight: 6 Total Weight: 16 189.15/189.29 c 189.15/189.29 c 189.15/189.29 c ============================[ Search Statistics ]============================== 189.15/189.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.15/189.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.15/189.29 c =============================================================================== 189.15/189.29 c | 0 | 8891 17530 596234 | 5843 0 nan | 0.000 % | 190.64/190.79 c | 102 | 8891 17530 596234 | 6427 102 27 | 0.803 % | 192.44/192.52 c | 253 | 8883 17530 596234 | 7070 253 29 | 1.082 % | 192.84/192.91 c =============================================================================== 193.23/193.36 c core #10 193.23/193.36 c 193.23/193.36 c 193.23/193.36 c Core size: 30 Core Weight: 1 Total Weight: 17 193.23/193.36 c 193.23/193.36 c 193.23/193.36 c ============================[ Search Statistics ]============================== 193.23/193.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.23/193.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.23/193.36 c =============================================================================== 193.23/193.36 c | 0 | 8905 17537 596262 | 5845 0 nan | 0.000 % | 194.84/194.92 c | 100 | 8905 17537 596262 | 6430 100 26 | 0.802 % | 197.34/197.44 c | 250 | 8904 17537 596262 | 7073 250 30 | 0.813 % | 200.24/200.32 c | 477 | 8890 17537 596262 | 7780 477 34 | 1.003 % | 203.03/203.13 c =============================================================================== 203.44/203.58 c core #11 203.44/203.58 c 203.44/203.58 c 203.44/203.58 c Core size: 53 Core Weight: 1 Total Weight: 18 203.44/203.58 c 203.44/203.58 c 203.44/203.58 c ============================[ Search Statistics ]============================== 203.44/203.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.44/203.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.44/203.58 c =============================================================================== 203.44/203.58 c | 0 | 8923 17544 596298 | 5848 0 nan | 0.000 % | 204.83/204.92 c | 100 | 8923 17544 596298 | 6432 100 26 | 0.800 % | 206.64/206.71 c | 251 | 8923 17544 596298 | 7076 251 28 | 0.800 % | 209.54/209.68 c | 477 | 8923 17544 596298 | 7783 477 28 | 0.800 % | 213.44/213.50 c | 815 | 8923 17544 596298 | 8562 815 30 | 0.800 % | 219.02/219.18 c | 1321 | 8923 17544 596298 | 9418 1321 31 | 0.800 % | 226.63/226.75 c =============================================================================== 227.03/227.20 c core #12 227.03/227.20 c 227.03/227.20 c 227.03/227.20 c Core size: 24 Core Weight: 1 Total Weight: 19 227.03/227.20 c 227.03/227.20 c 227.03/227.20 c ============================[ Search Statistics ]============================== 227.03/227.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.03/227.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.03/227.20 c =============================================================================== 227.03/227.20 c | 0 | 8929 17549 596306 | 5849 0 nan | 0.000 % | 228.52/228.63 c | 100 | 8929 17549 596306 | 6434 100 28 | 0.800 % | 230.22/230.33 c | 251 | 8929 17549 596306 | 7078 251 28 | 0.800 % | 233.83/233.97 c | 477 | 8929 17549 596306 | 7785 477 29 | 0.800 % | 237.22/237.36 c | 814 | 8928 17549 596306 | 8564 814 30 | 1.533 % | 242.63/242.75 c | 1323 | 8926 17549 596306 | 9420 1323 31 | 1.533 % | 251.02/251.18 c | 2082 | 8863 17549 596306 | 10363 1447 35 | 1.533 % | 264.31/264.43 c | 3222 | 8863 17549 596306 | 11399 2587 36 | 1.533 % | 285.91/286.01 c =============================================================================== 286.31/286.46 c core #13 286.31/286.46 c 286.31/286.46 c 286.31/286.46 c Core size: 38 Core Weight: 13 Total Weight: 32 286.31/286.46 c 286.31/286.46 c 286.31/286.46 c ============================[ Search Statistics ]============================== 286.31/286.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 286.31/286.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 286.31/286.46 c =============================================================================== 286.31/286.46 c | 0 | 8951 17553 596336 | 5851 0 nan | 0.000 % | 287.81/287.95 c | 101 | 8951 17553 596336 | 6436 101 24 | 0.600 % | 289.22/289.30 c | 252 | 8945 17553 596336 | 7079 252 27 | 0.788 % | 291.52/291.61 c | 479 | 8944 17553 596336 | 7787 479 29 | 0.800 % | 295.50/295.68 c | 817 | 8938 17553 596336 | 8566 817 31 | 0.800 % | 301.09/301.21 c | 1323 | 8938 17553 596336 | 9423 1323 33 | 0.800 % | 308.89/309.09 c | 2082 | 8932 17553 596336 | 10365 1918 33 | 0.811 % | 320.78/320.92 c | 3221 | 8932 17553 596336 | 11401 3057 36 | 0.811 % | 338.38/338.52 c | 4930 | 8930 17553 596336 | 12542 4621 38 | 0.833 % | 367.07/367.27 c =============================================================================== 367.57/367.75 c core #14 367.57/367.75 c 367.57/367.75 c 367.57/367.75 c Core size: 61 Core Weight: 1 Total Weight: 33 367.57/367.75 c 367.57/367.75 c 367.57/367.75 c ============================[ Search Statistics ]============================== 367.57/367.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 367.57/367.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 367.57/367.75 c =============================================================================== 367.57/367.75 c | 0 | 8977 17559 596389 | 5853 0 nan | 0.000 % | 369.07/369.29 c | 102 | 8977 17559 596389 | 6438 102 24 | 0.598 % | 370.97/371.13 c | 252 | 8977 17559 596389 | 7082 252 29 | 0.598 % | 373.88/374.07 c | 478 | 8977 17559 596389 | 7790 478 31 | 0.598 % | 376.37/376.59 c | 816 | 8977 17559 596389 | 8569 816 32 | 0.598 % | 381.76/381.95 c | 1322 | 8977 17559 596389 | 9426 1322 35 | 0.598 % | 388.86/389.02 c | 2081 | 8977 17559 596389 | 10368 2081 34 | 0.598 % | 400.76/400.93 c | 3220 | 8977 17559 596389 | 11405 3220 34 | 0.598 % | 418.86/419.04 c | 4929 | 8977 17559 596389 | 12546 4929 36 | 0.598 % | 443.16/443.36 c | 7492 | 8977 17559 596389 | 13801 7492 37 | 0.598 % | 482.94/483.13 c | 11336 | 8977 17559 596389 | 15181 11336 39 | 0.598 % | 539.32/539.52 c | 17103 | 8977 17559 596389 | 16699 9415 43 | 0.598 % | 625.20/625.48 c | 25752 | 8961 17559 596389 | 18369 9251 48 | 0.775 % | 658.89/659.15 c =============================================================================== 659.39/659.67 c core #15 659.39/659.67 c 659.39/659.67 c 659.39/659.67 c Core size: 41 Core Weight: 1 Total Weight: 34 659.39/659.67 c 659.39/659.67 c 659.39/659.67 c ============================[ Search Statistics ]============================== 659.39/659.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 659.39/659.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 659.39/659.67 c =============================================================================== 659.39/659.67 c | 0 | 8986 17566 596410 | 5855 0 nan | 0.000 % | 660.90/661.17 c | 102 | 8986 17566 596410 | 6440 102 24 | 0.597 % | 662.90/663.15 c | 252 | 8986 17566 596410 | 7084 252 28 | 0.597 % | 664.99/665.21 c | 478 | 8986 17566 596410 | 7793 478 32 | 0.597 % | 668.29/668.51 c | 815 | 8986 17566 596410 | 8572 815 31 | 0.597 % | 674.20/674.48 c | 1322 | 8986 17566 596410 | 9430 1322 34 | 0.597 % | 681.48/681.77 c | 2081 | 8986 17566 596410 | 10373 2081 37 | 0.597 % | 691.48/691.79 c | 3222 | 8986 17566 596410 | 11410 3222 38 | 0.597 % | 709.29/709.60 c | 4930 | 8986 17566 596410 | 12551 4930 37 | 0.597 % | 735.28/735.58 c | 7492 | 8986 17566 596410 | 13806 7492 40 | 0.597 % | 773.56/773.90 c | 11336 | 8986 17566 596410 | 15187 11336 40 | 0.597 % | 832.15/832.48 c | 17103 | 8986 17566 596410 | 16705 9430 42 | 0.597 % | 921.72/922.00 c | 25752 | 8968 17566 596410 | 18376 6945 39 | 0.808 % | 923.42/923.71 c =============================================================================== 923.92/924.20 c core #16 923.92/924.20 c 923.92/924.20 c 923.92/924.20 c Core size: 49 Core Weight: 1 Total Weight: 35 923.92/924.20 c 923.92/924.20 c 923.92/924.20 c ============================[ Search Statistics ]============================== 923.92/924.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 923.92/924.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 923.92/924.20 c =============================================================================== 923.92/924.20 c | 0 | 8997 17573 596435 | 5857 0 nan | 0.000 % | 925.42/925.77 c | 101 | 8997 17573 596435 | 6443 101 26 | 0.597 % | 927.32/927.64 c | 251 | 8997 17573 596435 | 7087 251 31 | 0.597 % | 930.33/930.65 c | 476 | 8997 17573 596435 | 7796 476 31 | 0.597 % | 933.02/933.37 c | 814 | 8997 17573 596435 | 8576 814 33 | 0.597 % | 938.22/938.51 c | 1320 | 8997 17573 596435 | 9433 1320 32 | 0.597 % | 947.21/947.54 c | 2079 | 8997 17573 596435 | 10377 2079 34 | 0.597 % | 961.01/961.31 c | 3218 | 8997 17573 596435 | 11414 3218 34 | 0.597 % | 975.42/975.71 c | 4927 | 8997 17573 596435 | 12556 4927 35 | 0.597 % | 999.50/999.80 c | 7489 | 8997 17573 596435 | 13812 7489 36 | 0.597 % | 1036.59/1036.96 c | 11334 | 8986 17573 596435 | 15193 7952 37 | 0.718 % | 1080.68/1081.02 c | 17100 | 8951 17573 596435 | 16712 7288 36 | 1.105 % | 1105.68/1106.08 c =============================================================================== 1106.17/1106.55 c core #17 1106.17/1106.55 c 1106.17/1106.55 c 1106.17/1106.55 c Core size: 48 Core Weight: 3 Total Weight: 38 1106.17/1106.55 c 1106.17/1106.55 c 1106.17/1106.55 c ============================[ Search Statistics ]============================== 1106.17/1106.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1106.17/1106.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1106.17/1106.55 c =============================================================================== 1106.17/1106.55 c | 0 | 9002 17577 596442 | 5859 0 nan | 0.000 % | 1107.77/1108.11 c | 101 | 9002 17577 596442 | 6444 101 32 | 0.596 % | 1109.37/1109.72 c | 253 | 9002 17577 596442 | 7089 253 31 | 0.596 % | 1111.57/1111.97 c | 479 | 9002 17577 596442 | 7798 479 35 | 0.596 % | 1114.67/1115.06 c | 816 | 9002 17577 596442 | 8578 816 35 | 0.596 % | 1119.47/1119.88 c | 1324 | 9002 17577 596442 | 9435 1324 37 | 0.596 % | 1127.56/1127.95 c | 2087 | 9002 17577 596442 | 10379 2087 36 | 0.596 % | 1137.56/1137.91 c | 3227 | 9002 17577 596442 | 11417 3227 33 | 0.596 % | 1152.66/1153.09 c | 4936 | 9002 17577 596442 | 12559 4936 35 | 0.596 % | 1177.35/1177.79 c | 7498 | 9002 17577 596442 | 13815 7498 37 | 0.596 % | 1211.04/1211.41 c | 11342 | 9002 17577 596442 | 15196 11342 37 | 0.596 % | 1268.03/1268.46 c | 17108 | 9002 17577 596442 | 16716 9351 40 | 0.596 % | 1345.80/1346.27 c | 25757 | 9002 17577 596442 | 18388 9439 42 | 0.596 % | 1443.57/1444.03 c | 38731 | 9002 17577 596442 | 20226 13155 38 | 0.596 % | 1600.82/1601.31 c | 58195 | 9002 17577 596442 | 22249 11813 47 | 0.596 % | 1742.89/1743.41 c =============================================================================== 1743.48/1744.02 c core #18 1743.48/1744.02 c 1743.48/1744.02 c 1743.48/1744.02 c Core size: 60 Core Weight: 1 Total Weight: 39 1743.48/1744.02 c 1743.48/1744.02 c 1743.48/1744.02 c ============================[ Search Statistics ]============================== 1743.48/1744.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1743.48/1744.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1743.48/1744.02 c =============================================================================== 1743.48/1744.02 c | 0 | 9026 17581 596487 | 5860 0 nan | 0.000 % | 1744.79/1745.39 c | 102 | 9026 17581 596487 | 6446 102 32 | 0.595 % | 1746.39/1746.91 c | 252 | 9026 17581 596487 | 7091 252 28 | 0.595 % | 1748.18/1748.72 c | 478 | 9026 17581 596487 | 7800 478 27 | 0.595 % | 1750.48/1751.09 c | 816 | 9026 17581 596487 | 8580 816 28 | 0.595 % | 1756.19/1756.76 c | 1323 | 9026 17581 596487 | 9438 1323 32 | 0.595 % | 1764.78/1765.38 c | 2082 | 9026 17581 596487 | 10381 2082 34 | 0.595 % | 1772.78/1773.33 c | 3221 | 9026 17581 596487 | 11420 3221 35 | 0.595 % | 1792.37/1792.99 c | 4929 | 9026 17581 596487 | 12562 4929 37 | 0.595 % |
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-2680497-1277456163/watcher-2680497-1277456163 -o /tmp/evaluation-result-2680497-1277456163/solver-2680497-1277456163 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680497-1277456163.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.92 3/106 29184 /proc/meminfo: memFree=1825272/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=7496 CPUtime=0 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 291 0 0 0 0 0 0 0 18 0 1 0 86910817 7675904 209 1992294400 134512640 135752675 4289746400 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 1874 209 139 303 0 339 0 [startup+0.109077 s] /proc/loadavg: 1.00 1.00 0.92 3/106 29184 /proc/meminfo: memFree=1825272/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=9632 CPUtime=0.1 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 957 0 0 0 10 0 0 0 20 0 1 0 86910817 9863168 875 1992294400 134512640 135752675 4289746400 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 2408 875 275 303 0 873 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9632 [startup+0.201085 s] /proc/loadavg: 1.00 1.00 0.92 3/106 29184 /proc/meminfo: memFree=1825272/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=11492 CPUtime=0.19 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 1545 0 0 0 19 0 0 0 20 0 1 0 86910817 11767808 1463 1992294400 134512640 135752675 4289746400 18446744073709551615 135390993 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 2873 1463 393 303 0 1338 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11492 [startup+0.301093 s] /proc/loadavg: 1.00 1.00 0.92 3/106 29184 /proc/meminfo: memFree=1825272/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=13540 CPUtime=0.29 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 2183 0 0 0 29 0 0 0 20 0 1 0 86910817 13864960 2101 1992294400 134512640 135752675 4289746400 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 3385 2101 526 303 0 1850 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13540 [startup+0.701127 s] /proc/loadavg: 1.00 1.00 0.92 3/106 29184 /proc/meminfo: memFree=1825272/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=21316 CPUtime=0.69 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 4591 0 0 0 68 1 0 0 20 0 1 0 86910817 21827584 4509 1992294400 134512640 135752675 4289746400 18446744073709551615 134574009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 5329 4509 1018 303 0 3794 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21316 [startup+1.5012 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29185 /proc/meminfo: memFree=1804432/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=22396 CPUtime=1.49 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 6725 0 0 0 147 2 0 0 23 0 1 0 86910817 22933504 5145 1992294400 134512640 135752675 4289746400 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 5599 5145 143 303 0 5294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22396 [startup+3.10134 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29185 /proc/meminfo: memFree=1803936/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=22396 CPUtime=3.09 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 6725 0 0 0 307 2 0 0 25 0 1 0 86910817 22933504 5145 1992294400 134512640 135752675 4289746400 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 5599 5145 143 303 0 5294 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22396 [startup+6.30161 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29185 /proc/meminfo: memFree=1803936/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=22528 CPUtime=6.29 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 6727 0 0 0 627 2 0 0 25 0 1 0 86910817 23068672 5147 1992294400 134512640 135752675 4289746400 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 5632 5147 144 303 0 5327 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22528 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29185 /proc/meminfo: memFree=1803936/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=22660 CPUtime=12.68 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 6780 0 0 0 1265 3 0 0 25 0 1 0 86910817 23203840 5200 1992294400 134512640 135752675 4289746400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 5665 5200 144 303 0 5360 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22660 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29185 /proc/meminfo: memFree=1803936/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=23064 CPUtime=25.48 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 6871 0 0 0 2544 4 0 0 25 0 1 0 86910817 23617536 5291 1992294400 134512640 135752675 4289746400 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 5766 5291 144 303 0 5461 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23064 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29187 /proc/meminfo: memFree=1803192/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=23988 CPUtime=51.08 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 7112 0 0 0 5100 8 0 0 25 0 1 0 86910817 24563712 5532 1992294400 134512640 135752675 4289746400 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 5997 5532 144 303 0 5692 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23988 [startup+102.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29187 /proc/meminfo: memFree=1801580/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=25704 CPUtime=102.27 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 7521 0 0 0 10214 13 0 0 25 0 1 0 86910817 26320896 5941 1992294400 134512640 135752675 4289746400 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 6426 5941 144 303 0 6121 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25704 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29189 /proc/meminfo: memFree=1799844/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=27288 CPUtime=162.24 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 7936 0 0 0 16204 20 0 0 25 0 1 0 86910817 27942912 6356 1992294400 134512640 135752675 4289746400 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 6822 6356 145 303 0 6517 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 27288 [startup+222.308 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29191 /proc/meminfo: memFree=1756940/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=69908 CPUtime=222.24 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 18828 0 0 0 22194 30 0 0 25 0 1 0 86910817 71585792 17036 1992294400 134512640 135752675 4289746400 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 17477 17036 146 303 0 17172 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 69908 [startup+282.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29193 /proc/meminfo: memFree=1754212/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=72720 CPUtime=282.21 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 19507 0 0 0 28186 35 0 0 25 0 1 0 86910817 74465280 17715 1992294400 134512640 135752675 4289746400 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 18180 17715 146 303 0 17875 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 72720 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29204 /proc/meminfo: memFree=1749500/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=76076 CPUtime=342.18 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 20372 0 0 0 34176 42 0 0 25 0 1 0 86910817 77901824 18580 1992294400 134512640 135752675 4289746400 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 19019 18580 146 303 0 18714 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 76076 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29204 /proc/meminfo: memFree=1746648/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=79544 CPUtime=402.15 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 21223 0 0 0 40168 47 0 0 25 0 1 0 86910817 81453056 19431 1992294400 134512640 135752675 4289746400 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 19886 19431 146 303 0 19581 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 79544 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29206 /proc/meminfo: memFree=1746648/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=79544 CPUtime=462.14 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 21223 0 0 0 46162 52 0 0 25 0 1 0 86910817 81453056 19431 1992294400 134512640 135752675 4289746400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 19886 19431 146 303 0 19581 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 79544 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29208 /proc/meminfo: memFree=1746648/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=79544 CPUtime=522.13 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 21223 0 0 0 52156 57 0 0 25 0 1 0 86910817 81453056 19431 1992294400 134512640 135752675 4289746400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 19886 19431 146 303 0 19581 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 79544 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29210 /proc/meminfo: memFree=1746648/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=79544 CPUtime=582.12 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 21223 0 0 0 58150 62 0 0 25 0 1 0 86910817 81453056 19431 1992294400 134512640 135752675 4289746400 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 19886 19431 146 303 0 19581 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 79544 [startup+642.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29212 /proc/meminfo: memFree=1746648/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=79544 CPUtime=642.1 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 21223 0 0 0 64143 67 0 0 25 0 1 0 86910817 81453056 19431 1992294400 134512640 135752675 4289746400 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 19886 19431 146 303 0 19581 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 79544 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29218 /proc/meminfo: memFree=1737596/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=88600 CPUtime=882.04 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 23477 0 0 0 88118 86 0 0 25 0 1 0 86910817 90726400 21685 1992294400 134512640 135752675 4289746400 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 22150 21685 146 303 0 21845 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 88600 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29220 /proc/meminfo: memFree=1732016/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=94100 CPUtime=942.02 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 24867 0 0 0 94109 93 0 0 25 0 1 0 86910817 96358400 23075 1992294400 134512640 135752675 4289746400 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 23525 23075 146 303 0 23220 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 94100 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29220 /proc/meminfo: memFree=1731892/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=94100 CPUtime=1002 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 24867 0 0 0 100102 98 0 0 25 0 1 0 86910817 96358400 23075 1992294400 134512640 135752675 4289746400 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 23525 23075 146 303 0 23220 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 94100 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29222 /proc/meminfo: memFree=1731892/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=94100 CPUtime=1061.98 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 24867 0 0 0 106094 104 0 0 25 0 1 0 86910817 96358400 23075 1992294400 134512640 135752675 4289746400 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 23525 23075 146 303 0 23220 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 94100 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29224 /proc/meminfo: memFree=1727552/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1121.97 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25924 0 0 0 112085 112 0 0 25 0 1 0 86910817 100737024 24132 1992294400 134512640 135752675 4289746400 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24132 146 303 0 24289 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 98376 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29226 /proc/meminfo: memFree=1727552/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1181.94 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25924 0 0 0 118078 116 0 0 25 0 1 0 86910817 100737024 24132 1992294400 134512640 135752675 4289746400 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24132 146 303 0 24289 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 98376 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29228 /proc/meminfo: memFree=1727428/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1241.93 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25924 0 0 0 124072 121 0 0 25 0 1 0 86910817 100737024 24132 1992294400 134512640 135752675 4289746400 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24132 146 303 0 24289 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 98376 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29228 /proc/meminfo: memFree=1727304/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1301.91 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25924 0 0 0 130064 127 0 0 25 0 1 0 86910817 100737024 24132 1992294400 134512640 135752675 4289746400 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24132 146 303 0 24289 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 98376 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29230 /proc/meminfo: memFree=1727304/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1361.9 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25924 0 0 0 136057 133 0 0 25 0 1 0 86910817 100737024 24132 1992294400 134512640 135752675 4289746400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24132 146 303 0 24289 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 98376 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29232 /proc/meminfo: memFree=1727180/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1421.89 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25924 0 0 0 142047 142 0 0 25 0 1 0 86910817 100737024 24132 1992294400 134512640 135752675 4289746400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24132 146 303 0 24289 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 98376 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29234 /proc/meminfo: memFree=1727180/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1481.86 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25924 0 0 0 148038 148 0 0 25 0 1 0 86910817 100737024 24132 1992294400 134512640 135752675 4289746400 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24132 146 303 0 24289 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 98376 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29236 /proc/meminfo: memFree=1727180/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1541.84 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25924 0 0 0 154029 155 0 0 25 0 1 0 86910817 100737024 24132 1992294400 134512640 135752675 4289746400 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24132 146 303 0 24289 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 98376 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29236 /proc/meminfo: memFree=1727180/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1601.82 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25925 0 0 0 160021 161 0 0 25 0 1 0 86910817 100737024 24133 1992294400 134512640 135752675 4289746400 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24133 146 303 0 24289 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 98376 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29238 /proc/meminfo: memFree=1727180/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=98376 CPUtime=1661.8 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 25925 0 0 0 166014 166 0 0 25 0 1 0 86910817 100737024 24133 1992294400 134512640 135752675 4289746400 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24594 24133 146 303 0 24289 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 98376 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29240 /proc/meminfo: memFree=1725940/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=99564 CPUtime=1721.79 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 26227 0 0 0 172008 171 0 0 25 0 1 0 86910817 101953536 24435 1992294400 134512640 135752675 4289746400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 24891 24435 146 303 0 24586 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 99564 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29242 /proc/meminfo: memFree=1707836/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=117404 CPUtime=1781.78 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 30678 0 0 0 177999 179 0 0 25 0 1 0 86910817 120221696 28886 1992294400 134512640 135752675 4289746400 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 29351 28886 146 303 0 29046 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 117404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29242 /proc/meminfo: memFree=1707836/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=117404 CPUtime=1800.07 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 30678 0 0 0 179827 180 0 0 25 0 1 0 86910817 120221696 28886 1992294400 134512640 135752675 4289746400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 29351 28886 146 303 0 29046 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 117404 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.92 2/107 29242 /proc/meminfo: memFree=1707836/2059040 swapFree=4140112/4192956 [pid=29184] ppid=29182 vsize=117404 CPUtime=1800.07 /proc/29184/stat : 29184 (wbo1.4b) R 29182 29184 28782 0 -1 4202496 30678 0 0 0 179827 180 0 0 25 0 1 0 86910817 120221696 28886 1992294400 134512640 135752675 4289746400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29184/statm: 29351 28886 146 303 0 29046 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 117404 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.1 CPU user time (s): 1798.28 CPU system time (s): 1.82372 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 117404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.28 system time used= 1.82372 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30678 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= 10 involuntary context switches= 6819 runsolver used 2.97255 second user time and 8.5207 second system time The end
Begin job on node031 at 2010-06-25 10:56:03 IDJOB=2680497 IDBENCH=2630 IDSOLVER=1190 FILE ID=node031/2680497-1277456163 PBS_JOBID= 11188134 Free space on /tmp= 62416 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680497-1277456163/watcher-2680497-1277456163 -o /tmp/evaluation-result-2680497-1277456163/solver-2680497-1277456163 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680497-1277456163.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= de4cbecd7c9968d40b279ce145b888a9 RANDOM SEED=1692072186 node031.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1825676 kB Buffers: 31784 kB Cached: 93708 kB SwapCached: 5404 kB Active: 50028 kB Inactive: 90084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1825676 kB SwapTotal: 4192956 kB SwapFree: 4140112 kB Dirty: 7616 kB Writeback: 0 kB AnonPages: 13172 kB Mapped: 12028 kB Slab: 71004 kB PageTables: 4312 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183104 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62412 MiB End job on node031 at 2010-06-25 11:26:06