Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.06 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb |
MD5SUM | 69b04711942c7a7cbb28264339dbffe2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 235 |
Best CPU time to get the best result obtained on this benchmark | 1800.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 223 |
Optimality of the best value was proved | NO |
Number of variables | 5584 |
Total number of constraints | 10895 |
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 | 10895 |
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 | 2555 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656080-1276582889.opb. 0.00/0.00 c Instance file HOME/instance-2656080-1276582889.opb 0.00/0.00 c File size is 3082602 bytes. 0.49/0.51 c Highest Coefficient sum: 2555 0.49/0.51 c ============================[ Problem Statistics ]============================= 0.49/0.51 c | | 0.49/0.51 c | Parsing time: 0.50 s | 0.49/0.51 c | Number Variables: 5584 | 0.49/0.51 c | Number Clauses: 0 | 0.49/0.51 c | Number Cardinality: 0 | 0.49/0.51 c | Number PB Constraints: 10895 | 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 5584 10895 368270 | 5000 0 nan | 0.000 % | 2.09/2.16 c | 100 | 5584 10895 368270 | 5500 100 38 | 0.000 % | 3.58/3.68 c | 250 | 5584 10895 368270 | 6050 250 39 | 0.000 % | 5.08/5.15 c | 475 | 5584 10895 368270 | 6655 475 39 | 0.000 % | 6.28/6.38 c | 812 | 5584 10895 368270 | 7320 812 40 | 0.000 % | 9.69/9.70 c | 1318 | 5584 10895 368270 | 8052 1318 44 | 0.000 % | 15.69/15.78 c | 2078 | 5584 10895 368270 | 8857 2078 42 | 0.000 % | 20.98/21.08 c | 3218 | 5584 10895 368270 | 9743 3218 40 | 0.000 % | 32.08/32.17 c | 4926 | 5584 10895 368270 | 10717 4926 42 | 0.000 % | 44.77/44.88 c | 7488 | 5584 10895 368270 | 11789 7488 43 | 0.000 % | 69.96/70.04 c | 11332 | 5584 10895 368270 | 12968 11332 47 | 0.000 % | 98.56/98.69 c | 17099 | 5577 10895 368270 | 14265 9786 51 | 0.125 % | 146.04/146.13 c | 25750 | 5577 10895 368270 | 15692 10406 52 | 0.125 % | 180.24/180.33 c There are 7 assigned variables. 0 in cost function. 180.94/181.02 c core #1 180.94/181.02 c core #2 180.94/181.02 c ============================[ Search Statistics ]============================== 180.94/181.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.94/181.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.94/181.02 c =============================================================================== 180.94/181.02 c | 0 | 5489 10928 350920 | 5000 0 nan | 0.000 % | 180.94/181.04 c =============================================================================== 181.14/181.27 c core #3 181.14/181.27 c ============================[ Search Statistics ]============================== 181.14/181.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.14/181.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.14/181.27 c =============================================================================== 181.14/181.27 c | 0 | 5498 10936 350931 | 5000 0 nan | 0.000 % | 181.14/181.29 c =============================================================================== 181.44/181.53 c core #4 181.44/181.53 c ============================[ Search Statistics ]============================== 181.44/181.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.44/181.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.44/181.53 c =============================================================================== 181.44/181.53 c | 0 | 5521 10943 350946 | 5000 0 nan | 0.000 % | 181.44/181.57 c =============================================================================== 181.74/181.82 c core #5 181.74/181.82 c ============================[ Search Statistics ]============================== 181.74/181.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.82 c =============================================================================== 181.74/181.82 c | 0 | 5532 10950 350962 | 5000 0 nan | 0.000 % | 181.84/181.91 c =============================================================================== 182.03/182.15 c core #6 182.03/182.15 c ============================[ Search Statistics ]============================== 182.03/182.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.15 c =============================================================================== 182.03/182.15 c | 0 | 5554 10956 350980 | 5000 0 nan | 0.000 % | 182.23/182.33 c =============================================================================== 182.44/182.57 c core #7 182.44/182.57 c ============================[ Search Statistics ]============================== 182.44/182.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.57 c =============================================================================== 182.44/182.57 c | 0 | 5566 10962 350999 | 5000 0 nan | 0.000 % | 182.83/182.94 c =============================================================================== 183.03/183.19 c core #8 183.03/183.19 c ============================[ Search Statistics ]============================== 183.03/183.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.19 c =============================================================================== 183.03/183.19 c | 0 | 5579 10968 351020 | 5000 0 nan | 0.000 % | 183.84/183.92 c | 102 | 5579 10968 351020 | 5500 102 24 | 1.414 % | 184.64/184.79 c | 252 | 5574 10968 351020 | 6050 252 25 | 1.855 % | 184.74/184.84 c =============================================================================== 184.93/185.09 c core #9 184.93/185.09 c ============================[ Search Statistics ]============================== 184.93/185.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.09 c =============================================================================== 184.93/185.09 c | 0 | 5600 10973 351043 | 5000 0 nan | 0.000 % | 185.85/185.99 c | 100 | 5600 10973 351043 | 5500 100 27 | 1.130 % | 187.14/187.29 c | 251 | 5591 10973 351043 | 6050 251 30 | 1.554 % | 187.54/187.61 c =============================================================================== 187.73/187.86 c core #10 187.73/187.86 c ============================[ Search Statistics ]============================== 187.73/187.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.73/187.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.73/187.86 c =============================================================================== 187.73/187.86 c | 0 | 5614 10980 351071 | 5000 0 nan | 0.000 % | 188.63/188.74 c | 100 | 5614 10980 351071 | 5500 100 26 | 1.127 % | 189.73/189.89 c | 250 | 5613 10980 351071 | 6050 250 28 | 1.145 % | 191.13/191.29 c | 475 | 5598 10980 351071 | 6655 475 30 | 1.409 % | 192.13/192.27 c =============================================================================== 192.44/192.52 c core #11 192.44/192.52 c ============================[ Search Statistics ]============================== 192.44/192.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.44/192.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.44/192.52 c =============================================================================== 192.44/192.52 c | 0 | 5627 10987 351097 | 5000 0 nan | 0.000 % | 193.23/193.36 c | 102 | 5627 10987 351097 | 5500 102 27 | 1.125 % | 194.33/194.46 c | 253 | 5627 10987 351097 | 6050 253 28 | 1.125 % | 195.64/195.73 c | 478 | 5627 10987 351097 | 6655 478 28 | 1.125 % | 197.53/197.62 c | 816 | 5627 10987 351097 | 7320 816 29 | 1.125 % | 200.83/200.90 c | 1322 | 5627 10987 351097 | 8052 1322 31 | 1.125 % | 204.23/204.33 c =============================================================================== 204.44/204.58 c core #12 204.44/204.58 c ============================[ Search Statistics ]============================== 204.44/204.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.44/204.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.44/204.58 c =============================================================================== 204.44/204.58 c | 0 | 5633 10992 351105 | 5000 0 nan | 0.000 % | 205.23/205.36 c | 100 | 5633 10992 351105 | 5500 100 26 | 1.123 % | 206.13/206.25 c | 250 | 5633 10992 351105 | 6050 250 29 | 1.123 % | 207.63/207.73 c | 477 | 5633 10992 351105 | 6655 477 31 | 1.123 % | 209.73/209.88 c | 814 | 5633 10992 351105 | 7320 814 31 | 1.123 % | 213.33/213.48 c | 1320 | 5633 10992 351105 | 8052 1320 33 | 1.123 % | 218.53/218.67 c | 2079 | 5633 10992 351105 | 8857 2079 35 | 1.123 % | 224.23/224.35 c =============================================================================== 224.53/224.61 c core #13 224.53/224.61 c ============================[ Search Statistics ]============================== 224.53/224.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.53/224.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.53/224.61 c =============================================================================== 224.53/224.61 c | 0 | 5649 10997 351133 | 5000 0 nan | 0.000 % | 225.43/225.51 c | 100 | 5649 10997 351133 | 5500 100 27 | 1.120 % | 226.63/226.76 c | 251 | 5649 10997 351133 | 6050 251 32 | 1.120 % | 227.92/228.09 c | 478 | 5649 10997 351133 | 6655 478 32 | 1.120 % | 229.84/229.97 c | 815 | 5649 10997 351133 | 7320 815 32 | 1.120 % | 233.22/233.37 c | 1322 | 5649 10997 351133 | 8052 1322 34 | 1.120 % | 239.32/239.48 c | 2083 | 5641 10997 351133 | 8857 1973 35 | 1.260 % | 247.72/247.82 c | 3222 | 5641 10997 351133 | 9743 3112 35 | 1.260 % | 250.12/250.29 c =============================================================================== 250.41/250.55 c core #14 250.41/250.55 c ============================[ Search Statistics ]============================== 250.41/250.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 250.41/250.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 250.41/250.55 c =============================================================================== 250.41/250.55 c | 0 | 5669 11001 351165 | 5000 0 nan | 0.000 % | 251.22/251.36 c | 100 | 5669 11001 351165 | 5500 100 25 | 0.840 % | 252.22/252.30 c | 251 | 5662 11001 351165 | 6050 251 28 | 1.102 % | 253.42/253.57 c | 476 | 5662 11001 351165 | 6655 476 30 | 1.102 % | 255.52/255.61 c | 813 | 5651 11001 351165 | 7320 424 31 | 1.154 % | 258.62/258.76 c | 1319 | 5651 11001 351165 | 8052 930 34 | 1.154 % | 263.12/263.25 c | 2078 | 5651 11001 351165 | 8857 1689 36 | 1.154 % | 269.22/269.35 c | 3217 | 5651 11001 351165 | 9743 2828 38 | 1.154 % | 281.42/281.59 c | 4925 | 5646 11001 351165 | 10717 3310 39 | 1.242 % | 293.11/293.25 c =============================================================================== 293.41/293.52 c core #15 293.41/293.52 c ============================[ Search Statistics ]============================== 293.41/293.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 293.41/293.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 293.41/293.52 c =============================================================================== 293.41/293.52 c | 0 | 5702 11007 351232 | 5000 0 nan | 0.000 % | 294.31/294.43 c | 100 | 5702 11007 351232 | 5500 100 27 | 0.835 % | 295.51/295.66 c | 250 | 5702 11007 351232 | 6050 250 28 | 0.835 % | 297.20/297.33 c | 475 | 5702 11007 351232 | 6655 475 30 | 0.835 % | 300.21/300.31 c | 815 | 5702 11007 351232 | 7320 815 33 | 0.835 % | 303.21/303.36 c | 1322 | 5702 11007 351232 | 8052 1322 34 | 0.835 % | 307.20/307.40 c | 2081 | 5701 11007 351232 | 8857 1473 35 | 0.852 % | 312.60/312.74 c | 3221 | 5689 11007 351232 | 9743 2603 36 | 1.061 % | 320.90/321.04 c | 4930 | 5684 11007 351232 | 10717 4312 34 | 1.391 % | 334.00/334.10 c | 7494 | 5669 11007 351232 | 11789 3895 30 | 1.409 % | 345.80/345.96 c =============================================================================== 346.09/346.22 c core #16 346.09/346.22 c ============================[ Search Statistics ]============================== 346.09/346.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 346.09/346.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 346.09/346.22 c =============================================================================== 346.09/346.22 c | 0 | 5710 11014 351251 | 5000 0 nan | 0.000 % | 346.99/347.15 c | 103 | 5710 11014 351251 | 5500 103 30 | 0.834 % | 348.29/348.48 c | 254 | 5710 11014 351251 | 6050 254 26 | 0.834 % | 349.50/349.62 c | 479 | 5703 11014 351251 | 6655 479 29 | 1.059 % | 351.20/351.35 c | 817 | 5701 11014 351251 | 7320 817 31 | 1.059 % | 353.49/353.63 c | 1323 | 5697 11014 351251 | 8052 1323 33 | 1.059 % | 357.69/357.81 c | 2083 | 5697 11014 351251 | 8857 2078 35 | 1.059 % | 365.00/365.17 c | 3222 | 5697 11014 351251 | 9743 3217 38 | 1.059 % | 374.90/375.05 c | 4931 | 5696 11014 351251 | 10717 4515 36 | 1.077 % | 383.79/383.92 c =============================================================================== 383.98/384.18 c core #17 383.98/384.18 c ============================[ Search Statistics ]============================== 383.98/384.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 383.98/384.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 383.98/384.18 c =============================================================================== 383.98/384.18 c | 0 | 5730 11021 351294 | 5000 0 nan | 0.000 % | 384.80/384.98 c | 100 | 5730 11021 351294 | 5500 100 26 | 0.831 % | 385.99/386.13 c | 250 | 5730 11021 351294 | 6050 250 29 | 0.831 % | 387.38/387.54 c | 475 | 5730 11021 351294 | 6655 475 29 | 0.831 % | 390.29/390.41 c | 814 | 5730 11021 351294 | 7320 814 29 | 0.831 % | 392.98/393.10 c | 1321 | 5730 11021 351294 | 8052 1321 29 | 0.831 % | 398.38/398.59 c | 2081 | 5730 11021 351294 | 8857 2081 31 | 0.831 % | 405.38/405.56 c | 3221 | 5730 11021 351294 | 9743 3221 33 | 0.831 % | 415.28/415.41 c | 4929 | 5730 11021 351294 | 10717 4929 34 | 0.831 % | 426.37/426.50 c | 7491 | 5730 11021 351294 | 11789 7491 34 | 0.831 % | 445.28/445.50 c | 11335 | 5730 11021 351294 | 12968 11335 32 | 0.831 % | 477.27/477.44 c | 17101 | 5720 11021 351294 | 14265 6621 35 | 1.004 % | 517.86/518.08 c | 25750 | 5720 11021 351294 | 15692 8026 37 | 1.004 % | 568.64/568.86 c =============================================================================== 568.94/569.15 c core #18 568.94/569.15 c ============================[ Search Statistics ]============================== 568.94/569.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 568.94/569.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 568.94/569.15 c =============================================================================== 568.94/569.15 c | 0 | 5735 11025 351301 | 5000 0 nan | 0.000 % | 569.74/569.90 c | 100 | 5735 11025 351301 | 5500 100 25 | 0.830 % | 570.65/570.80 c | 250 | 5735 11025 351301 | 6050 250 27 | 0.830 % | 571.75/571.99 c | 476 | 5735 11025 351301 | 6655 476 29 | 0.830 % | 573.44/573.63 c | 813 | 5735 11025 351301 | 7320 813 33 | 0.830 % | 575.64/575.82 c | 1320 | 5735 11025 351301 | 8052 1320 32 | 0.830 % | 579.44/579.68 c | 2081 | 5735 11025 351301 | 8857 2081 32 | 0.830 % | 586.14/586.31 c | 3221 | 5735 11025 351301 | 9743 3221 32 | 0.830 % | 596.73/596.94 c | 4931 | 5735 11025 351301 | 10717 4931 33 | 0.830 % | 610.53/610.73 c | 7493 | 5735 11025 351301 | 11789 7493 34 | 0.830 % | 631.82/632.05 c | 11337 | 5735 11025 351301 | 12968 11337 36 | 0.830 % | 664.32/664.53 c | 17104 | 5723 11025 351301 | 14265 8652 37 | 1.038 % | 718.60/718.87 c | 25753 | 5719 11025 351301 | 15692 3947 34 | 1.107 % | 722.30/722.55 c =============================================================================== 722.61/722.84 c core #19 722.61/722.84 c ============================[ Search Statistics ]============================== 722.61/722.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 722.61/722.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 722.61/722.84 c =============================================================================== 722.61/722.84 c | 0 | 5743 11029 351314 | 5000 0 nan | 0.000 % | 723.40/723.65 c | 100 | 5743 11029 351314 | 5500 100 29 | 0.829 % | 724.20/724.45 c | 250 | 5743 11029 351314 | 6050 250 28 | 0.829 % | 725.81/726.06 c | 478 | 5743 11029 351314 | 6655 478 30 | 0.829 % | 727.30/727.57 c | 815 | 5743 11029 351314 | 7320 815 30 | 0.829 % | 729.50/729.79 c | 1321 | 5743 11029 351314 | 8052 1321 33 | 0.829 % | 734.10/734.33 c | 2083 | 5743 11029 351314 | 8857 2083 32 | 0.829 % | 739.40/739.68 c | 3223 | 5743 11029 351314 | 9743 3223 31 | 0.829 % | 749.39/749.61 c | 4931 | 5743 11029 351314 | 10717 4931 33 | 0.829 % | 759.19/759.41 c | 7493 | 5743 11029 351314 | 11789 7493 31 | 0.829 % | 786.79/787.07 c | 11339 | 5743 11029 351314 | 12968 11339 33 | 0.829 % | 815.28/815.59 c | 17105 | 5743 11029 351314 | 14265 10279 35 | 0.829 % | 859.67/859.95 c | 25756 | 5743 11029 351314 | 15692 11384 37 | 0.829 % | 922.66/922.91 c | 38731 | 5743 11029 351314 | 17261 8409 37 | 0.829 % | 1018.73/1019.04 c | 58192 | 5619 11029 351314 | 18987 15350 36 | 3.212 % | 1024.22/1024.54 c =============================================================================== 1024.53/1024.86 c core #20 1024.53/1024.86 c ============================[ Search Statistics ]============================== 1024.53/1024.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1024.53/1024.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1024.53/1024.86 c =============================================================================== 1024.53/1024.86 c | 0 | 5755 11033 351335 | 5000 0 nan | 0.000 % | 1025.53/1025.86 c | 100 | 5755 11033 351335 | 5500 100 40 | 0.827 % | 1026.73/1027.02 c | 250 | 5755 11033 351335 | 6050 250 31 | 0.827 % | 1027.82/1028.16 c | 475 | 5755 11033 351335 | 6655 475 27 | 0.827 % | 1029.73/1030.08 c | 816 | 5755 11033 351335 | 7320 816 30 | 0.827 % | 1032.12/1032.42 c | 1323 | 5755 11033 351335 | 8052 1323 31 | 0.827 % | 1035.02/1035.39 c | 2082 | 5755 11033 351335 | 8857 2082 30 | 0.827 % | 1041.83/1042.17 c | 3222 | 5755 11033 351335 | 9743 3222 32 | 0.827 % | 1047.82/1048.17 c | 4930 | 5755 11033 351335 | 10717 4930 31 | 0.827 % | 1066.82/1067.18 c | 7494 | 5755 11033 351335 | 11789 7494 33 | 0.827 % | 1084.01/1084.35 c | 11338 | 5733 11033 351335 | 12968 9991 33 | 1.206 % | 1124.00/1124.35 c | 17105 | 5733 11033 351335 | 14265 8631 36 | 1.206 % | 1170.99/1171.34 c | 25756 | 5733 11033 351335 | 15692 9847 38 | 1.206 % | 1235.07/1235.42 c | 38730 | 5733 11033 351335 | 17261 14758 37 | 1.206 % | 1357.14/1357.59 c | 58191 | 5733 11033 351335 | 18987 16400 39 | 1.206 % | 1505.21/1505.67 c | 87384 | 5733 11033 351335 | 20886 16397 37 | 1.206 % | 1748.15/1748.65 c | 131175 | 5733 11033 351335 | 22974 16933 38 | 1.206 % |
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-2656080-1276582889/watcher-2656080-1276582889 -o /tmp/evaluation-result-2656080-1276582889/solver-2656080-1276582889 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656080-1276582889.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 1.00 3/106 2458 /proc/meminfo: memFree=1843408/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=5580 CPUtime=0 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 273 0 0 0 0 0 0 0 19 0 1 0 31945315 5713920 192 1992294400 134512640 135751879 4287144896 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 1395 193 140 303 0 337 0 [startup+0.0982871 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2458 /proc/meminfo: memFree=1843408/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=7716 CPUtime=0.09 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 942 0 0 0 9 0 0 0 19 0 1 0 31945315 7901184 861 1992294400 134512640 135751879 4287144896 18446744073709551615 135225284 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 1929 862 275 303 0 871 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7716 [startup+0.101287 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2458 /proc/meminfo: memFree=1843408/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=7716 CPUtime=0.09 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 964 0 0 0 9 0 0 0 19 0 1 0 31945315 7901184 883 1992294400 134512640 135751879 4287144896 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 1929 884 279 303 0 871 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7716 [startup+0.301306 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2458 /proc/meminfo: memFree=1843408/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=12568 CPUtime=0.28 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 2453 0 0 0 28 0 0 0 20 0 1 0 31945315 12869632 2372 1992294400 134512640 135751879 4287144896 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 3142 2373 577 303 0 2084 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12568 [startup+0.701344 s] /proc/loadavg: 1.00 1.00 1.00 3/106 2458 /proc/meminfo: memFree=1843408/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=14764 CPUtime=0.69 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 4244 0 0 0 68 1 0 0 20 0 1 0 31945315 15118336 3258 1992294400 134512640 135751879 4287144896 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 3691 3258 146 303 0 3386 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14764 [startup+1.50042 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2459 /proc/meminfo: memFree=1830256/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=14764 CPUtime=1.49 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 4244 0 0 0 148 1 0 0 23 0 1 0 31945315 15118336 3258 1992294400 134512640 135751879 4287144896 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 3691 3258 146 303 0 3386 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14764 [startup+3.10057 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2459 /proc/meminfo: memFree=1829760/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=14764 CPUtime=3.08 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 4245 0 0 0 307 1 0 0 25 0 1 0 31945315 15118336 3259 1992294400 134512640 135751879 4287144896 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 3691 3259 147 303 0 3386 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14764 [startup+6.30088 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2459 /proc/meminfo: memFree=1829760/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=14896 CPUtime=6.28 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 4268 0 0 0 627 1 0 0 25 0 1 0 31945315 15253504 3282 1992294400 134512640 135751879 4287144896 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 3724 3282 147 303 0 3419 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14896 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2459 /proc/meminfo: memFree=1829760/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=15168 CPUtime=12.68 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 4326 0 0 0 1266 2 0 0 25 0 1 0 31945315 15532032 3340 1992294400 134512640 135751879 4287144896 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 3792 3340 147 303 0 3487 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15168 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2459 /proc/meminfo: memFree=1829636/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=15696 CPUtime=25.48 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 4457 0 0 0 2544 4 0 0 25 0 1 0 31945315 16072704 3471 1992294400 134512640 135751879 4287144896 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 3924 3471 147 303 0 3619 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15696 [startup+51.1012 s] /proc/loadavg: 1.06 1.02 1.00 2/107 2461 /proc/meminfo: memFree=1828396/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=17036 CPUtime=51.07 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 4781 0 0 0 5099 8 0 0 25 0 1 0 31945315 17444864 3795 1992294400 134512640 135751879 4287144896 18446744073709551615 134607756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 4259 3795 147 303 0 3954 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17036 [startup+102.309 s] /proc/loadavg: 1.09 1.03 1.00 2/107 2461 /proc/meminfo: memFree=1825420/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=19808 CPUtime=102.26 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 5475 0 0 0 10212 14 0 0 25 0 1 0 31945315 20283392 4489 1992294400 134512640 135751879 4287144896 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 4952 4489 148 303 0 4647 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19808 [startup+162.302 s] /proc/loadavg: 1.09 1.04 1.00 2/107 2463 /proc/meminfo: memFree=1822444/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=22712 CPUtime=162.24 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 6211 0 0 0 16202 22 0 0 25 0 1 0 31945315 23257088 5225 1992294400 134512640 135751879 4287144896 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 5678 5225 148 303 0 5373 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22712 [startup+222.302 s] /proc/loadavg: 1.13 1.06 1.01 2/107 2465 /proc/meminfo: memFree=1798388/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=46680 CPUtime=222.22 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 12327 0 0 0 22190 32 0 0 25 0 1 0 31945315 47800320 11239 1992294400 134512640 135751879 4287144896 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 11670 11239 151 303 0 11365 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 46680 [startup+282.301 s] /proc/loadavg: 1.05 1.04 1.00 2/107 2467 /proc/meminfo: memFree=1794916/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=50128 CPUtime=282.21 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 13197 0 0 0 28181 40 0 0 25 0 1 0 31945315 51331072 12109 1992294400 134512640 135751879 4287144896 18446744073709551615 134518848 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 12532 12109 151 303 0 12227 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 50128 [startup+342.301 s] /proc/loadavg: 1.02 1.03 1.00 2/107 2469 /proc/meminfo: memFree=1792188/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=52676 CPUtime=342.19 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 13838 0 0 0 34172 47 0 0 25 0 1 0 31945315 53940224 12750 1992294400 134512640 135751879 4287144896 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 13169 12750 151 303 0 12864 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 52676 [startup+402.302 s] /proc/loadavg: 1.00 1.03 1.00 2/107 2469 /proc/meminfo: memFree=1788096/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=56772 CPUtime=402.19 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 14867 0 0 0 40162 57 0 0 25 0 1 0 31945315 58134528 13779 1992294400 134512640 135751879 4287144896 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 14193 13779 151 303 0 13888 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 56772 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2471 /proc/meminfo: memFree=1787972/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=56772 CPUtime=462.16 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 14867 0 0 0 46151 65 0 0 25 0 1 0 31945315 58134528 13779 1992294400 134512640 135751879 4287144896 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 14193 13779 151 303 0 13888 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 56772 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2473 /proc/meminfo: memFree=1787848/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=56772 CPUtime=522.15 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 14867 0 0 0 52140 75 0 0 25 0 1 0 31945315 58134528 13779 1992294400 134512640 135751879 4287144896 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 14193 13779 151 303 0 13888 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 56772 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2475 /proc/meminfo: memFree=1779168/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=65516 CPUtime=582.14 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 17030 0 0 0 58128 86 0 0 25 0 1 0 31945315 67088384 15942 1992294400 134512640 135751879 4287144896 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 16379 15942 151 303 0 16074 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 65516 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2477 /proc/meminfo: memFree=1779044/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=65516 CPUtime=642.13 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 17030 0 0 0 64117 96 0 0 25 0 1 0 31945315 67088384 15942 1992294400 134512640 135751879 4287144896 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 16379 15942 151 303 0 16074 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 65516 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2483 /proc/meminfo: memFree=1773464/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=70800 CPUtime=882.06 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 18357 0 0 0 88076 130 0 0 25 0 1 0 31945315 72499200 17269 1992294400 134512640 135751879 4287144896 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 17700 17269 151 303 0 17395 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 70800 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2485 /proc/meminfo: memFree=1773340/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=70800 CPUtime=942.05 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 18357 0 0 0 94065 140 0 0 25 0 1 0 31945315 72499200 17269 1992294400 134512640 135751879 4287144896 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 17700 17269 151 303 0 17395 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 70800 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 3/108 2488 /proc/meminfo: memFree=1744812/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=72388 CPUtime=1002.03 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 18764 0 0 0 100053 150 0 0 25 0 1 0 31945315 74125312 17676 1992294400 134512640 135751879 4287144896 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 18097 17676 151 303 0 17792 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 72388 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2490 /proc/meminfo: memFree=1759824/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=83800 CPUtime=1062.02 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 21597 0 0 0 106040 162 0 0 25 0 1 0 31945315 85811200 20509 1992294400 134512640 135751879 4287144896 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 20950 20509 151 303 0 20645 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 83800 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2492 /proc/meminfo: memFree=1759824/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=83800 CPUtime=1122 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 21597 0 0 0 112031 169 0 0 25 0 1 0 31945315 85811200 20509 1992294400 134512640 135751879 4287144896 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 20950 20509 151 303 0 20645 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 83800 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2494 /proc/meminfo: memFree=1759824/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=83800 CPUtime=1181.98 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 21597 0 0 0 118021 177 0 0 25 0 1 0 31945315 85811200 20509 1992294400 134512640 135751879 4287144896 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 20950 20509 151 303 0 20645 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 83800 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2496 /proc/meminfo: memFree=1759824/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=83800 CPUtime=1241.97 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 21597 0 0 0 124010 187 0 0 25 0 1 0 31945315 85811200 20509 1992294400 134512640 135751879 4287144896 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 20950 20509 151 303 0 20645 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 83800 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2496 /proc/meminfo: memFree=1759824/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=83800 CPUtime=1301.96 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 21597 0 0 0 130001 195 0 0 25 0 1 0 31945315 85811200 20509 1992294400 134512640 135751879 4287144896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 20950 20509 151 303 0 20645 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 83800 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2498 /proc/meminfo: memFree=1758708/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=85120 CPUtime=1361.94 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 21934 0 0 0 135989 205 0 0 25 0 1 0 31945315 87162880 20846 1992294400 134512640 135751879 4287144896 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 21280 20846 151 303 0 20975 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 85120 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2500 /proc/meminfo: memFree=1756476/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=87368 CPUtime=1421.94 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 22499 0 0 0 141975 219 0 0 25 0 1 0 31945315 89464832 21411 1992294400 134512640 135751879 4287144896 18446744073709551615 134519017 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 21842 21411 151 303 0 21537 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 87368 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2502 /proc/meminfo: memFree=1754616/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=89368 CPUtime=1481.92 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 22981 0 0 0 147965 227 0 0 25 0 1 0 31945315 91512832 21893 1992294400 134512640 135751879 4287144896 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 22342 21893 151 303 0 22037 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 89368 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2504 /proc/meminfo: memFree=1752880/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=91084 CPUtime=1541.9 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 23430 0 0 0 153954 236 0 0 25 0 1 0 31945315 93270016 22342 1992294400 134512640 135751879 4287144896 18446744073709551615 134519017 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 22771 22342 151 303 0 22466 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 91084 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2504 /proc/meminfo: memFree=1751020/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=92936 CPUtime=1601.89 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 23877 0 0 0 159943 246 0 0 25 0 1 0 31945315 95166464 22789 1992294400 134512640 135751879 4287144896 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 23234 22789 151 303 0 22929 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 92936 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2506 /proc/meminfo: memFree=1748912/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=94924 CPUtime=1661.87 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 24367 0 0 0 165932 255 0 0 25 0 1 0 31945315 97202176 23279 1992294400 134512640 135751879 4287144896 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 23731 23279 151 303 0 23426 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 94924 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2508 /proc/meminfo: memFree=1746804/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=96904 CPUtime=1721.85 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 24883 0 0 0 171918 267 0 0 25 0 1 0 31945315 99229696 23795 1992294400 134512640 135751879 4287144896 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 24226 23795 151 303 0 23921 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 96904 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2510 /proc/meminfo: memFree=1744572/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=99016 CPUtime=1781.84 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 25395 0 0 0 177905 279 0 0 25 0 1 0 31945315 101392384 24307 1992294400 134512640 135751879 4287144896 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 24754 24307 151 303 0 24449 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 99016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2510 /proc/meminfo: memFree=1743580/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=99808 CPUtime=1800.04 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 25616 0 0 0 179720 284 0 0 25 0 1 0 31945315 102203392 24528 1992294400 134512640 135751879 4287144896 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 24952 24528 151 303 0 24647 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 99808 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2510 /proc/meminfo: memFree=1743580/2059040 swapFree=4140224/4192956 [pid=2458] ppid=2456 vsize=99808 CPUtime=1800.04 /proc/2458/stat : 2458 (wbo1.4b) R 2456 2458 1345 0 -1 4202496 25616 0 0 0 179720 284 0 0 25 0 1 0 31945315 102203392 24528 1992294400 134512640 135751879 4287144896 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2458/statm: 24952 24528 151 303 0 24647 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 99808 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.06 CPU user time (s): 1797.2 CPU system time (s): 2.85856 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 99808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.2 system time used= 2.85857 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25616 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= 15 involuntary context switches= 5874 runsolver used 2.84857 second user time and 8.64768 second system time The end
Begin job on node018 at 2010-06-15 08:21:30 IDJOB=2656080 IDBENCH=2627 IDSOLVER=1161 FILE ID=node018/2656080-1276582889 PBS_JOBID= 11173519 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_16.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656080-1276582889/watcher-2656080-1276582889 -o /tmp/evaluation-result-2656080-1276582889/solver-2656080-1276582889 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656080-1276582889.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 69b04711942c7a7cbb28264339dbffe2 RANDOM SEED=2082599124 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1843936 kB Buffers: 32664 kB Cached: 95184 kB SwapCached: 6136 kB Active: 77080 kB Inactive: 63488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1843936 kB SwapTotal: 4192956 kB SwapFree: 4140224 kB Dirty: 5612 kB Writeback: 0 kB AnonPages: 10968 kB Mapped: 13056 kB Slab: 52684 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180416 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62480 MiB End job on node018 at 2010-06-15 08:51:32